时序行为特征描述模式体系的化简  

Simplification of behavior property specification pattern system

作　　者：宋亮[1,2] 闻立杰[1] 王建民[1] 孔辉[1] 刘国平[2] 刘廷龙[2] 

机构地区：[1]清华大学软件学院,北京100084 [2]成都军区联勤部后勤信息中心,四川成都610015

出　　处：《计算机集成制造系统》2013年第8期1891-1897,共7页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(61003099);国家863计划资助项目(2012AA040904);教育部-中国移动科研基金资助项目(MCM20123011)~~

摘　　要：定义基于行为特征的业务过程模型的查询语言,需要坚实可靠的理论基础。业务过程中任务间发生的时序关系是业务过程模型行为的直接反映。现有的描述任务间发生的时序关系特征描述模式体系过于庞大、复杂,同时缺少对本质内在关系的分析和反映。运用数理逻辑的原理和方法对现有的描述任务间时序关系的模式体系进行了深入的分析和推导,在保留原体系描述能力的前提下,大大缩减了该体系的规模和复杂度,并为定义高效的基于行为语言的过程模型提供了理论基础。Query language definition of business process model based on behavioral properties need solid and reliable theoreti- cal basis. The sequential relationship between tasks is the directly reflect for business process behavior model in business processes. The existing Property Specification Pattern System （SPS） to describe sequential relationship is huge and complex for analyzing and reflecting inner relationship. By using the principle and method of mathematical logic, the existing SPS was analyzed and deduced deeply. The scale and complexity of this system were reduced significantly and the theory basis for be- havioral language-based process model was defined on the premise of reserving original system＇s description.

关 键 词：业务过程模型 行为特征 模式 特征描述模式体系 化简 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]