计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2013年
8期
1891-1897
,共7页
宋亮%闻立杰%王建民%孔辉%刘国平%刘廷龙
宋亮%聞立傑%王建民%孔輝%劉國平%劉廷龍
송량%문립걸%왕건민%공휘%류국평%류정룡
业务过程模型%行为特征%模式%特征描述模式体系%化简
業務過程模型%行為特徵%模式%特徵描述模式體繫%化簡
업무과정모형%행위특정%모식%특정묘술모식체계%화간
business process model%behavior property%pattern%property specification pattern system%simplification
定义基于行为特征的业务过程模型的查询语言,需要坚实可靠的理论基础.业务过程中任务间发生的时序关系是业务过程模型行为的直接反映.现有的描述任务间发生的时序关系特征描述模式体系过于庞大、复杂,同时缺少对本质内在关系的分析和反映.运用数理逻辑的原理和方法对现有的描述任务间时序关系的模式体系进行了深入的分析和推导,在保留原体系描述能力的前提下,大大缩减了该体系的规模和复杂度,并为定义高效的基于行为语言的过程模型提供了理论基础.
定義基于行為特徵的業務過程模型的查詢語言,需要堅實可靠的理論基礎.業務過程中任務間髮生的時序關繫是業務過程模型行為的直接反映.現有的描述任務間髮生的時序關繫特徵描述模式體繫過于龐大、複雜,同時缺少對本質內在關繫的分析和反映.運用數理邏輯的原理和方法對現有的描述任務間時序關繫的模式體繫進行瞭深入的分析和推導,在保留原體繫描述能力的前提下,大大縮減瞭該體繫的規模和複雜度,併為定義高效的基于行為語言的過程模型提供瞭理論基礎.
정의기우행위특정적업무과정모형적사순어언,수요견실가고적이론기출.업무과정중임무간발생적시서관계시업무과정모형행위적직접반영.현유적묘술임무간발생적시서관계특정묘술모식체계과우방대、복잡,동시결소대본질내재관계적분석화반영.운용수리라집적원리화방법대현유적묘술임무간시서관계적모식체계진행료심입적분석화추도,재보류원체계묘술능력적전제하,대대축감료해체계적규모화복잡도,병위정의고효적기우행위어언적과정모형제공료이론기출.
