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

计算机集成制造系统 ›› 2013, Vol. 19 ›› Issue (08 ): 1891-1897.

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

宋亮^1,2,闻立杰¹⁺,王建民¹,孔辉¹,刘国平²,刘廷龙²

1.清华大学软件学院
2.成都军区联勤部后勤信息中心

出版日期:2013-08-31 发布日期:2013-08-31
基金资助:
国家自然科学基金资助项目(61003099);国家863计划资助项目(2012AA040904);教育部—中国移动科研基金资助项目(MCM20123011)。

Simplification of behavior property specification pattern system

Online:2013-08-31 Published:2013-08-31
Supported by:
Project supported by the National Natural Science Foundation,China (No.61003099),the National High-Tech.R&D Program,China (No.2012AA040904),and the Ministry of Education and China Mobile Research Foundation,China(No.MCM20123011).

摘要/Abstract

摘要： 定义基于行为特征的业务过程模型的查询语言,需要坚实可靠的理论基础。业务过程中任务间发生的时序关系是业务过程模型行为的直接反映。现有的描述任务间发生的时序关系特征描述模式体系过于庞大、复杂,同时缺少对本质内在关系的分析和反映。运用数理逻辑的原理和方法对现有的描述任务间时序关系的模式体系进行了深入的分析和推导,在保留原体系描述能力的前提下,大大缩减了该体系的规模和复杂度,并为定义高效的基于行为语言的过程模型提供了理论基础。

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

Abstract: Query language definition of business process model based on behavioral properties need solid and reliable theoretical 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 behavioral language-based process model was defined on the premise of reserving original system's description.

Key words: business process model, behavior property, pattern, property specification pattern system, simplification

中图分类号:

TP391

宋亮,闻立杰,王建民,孔辉,刘国平,刘廷龙. 时序行为特征描述模式体系的化简[J]. 计算机集成制造系统, 2013, 19(08 ): 1891-1897.

[1]	顾九春,姜天华,朱惠琦. 多目标离散灰狼优化算法求解作业车间节能调度问题[J]. 计算机集成制造系统, 2021, 27(8): 2295-2306.
[2]	单子丹,李雲竹,盛晨辉. 云制造模式下差异化产品多时序生产优化[J]. 计算机集成制造系统, 2021, 27(6): 1681-1692.
[3]	王勇,周雪,刘永,许茂增. 基于车辆共享的多中心共同配送联盟优化[J]. 计算机集成制造系统, 2021, 27(6): 1820-1832.
[4]	李进宇,王秋莲,张炎. 基于递归分析的混流生产模式机械加工过程能效分析和状态监测[J]. 计算机集成制造系统, 2021, 27(5): 1341-1350.
[5]	王忠伟,尹谦,庞燕,邢立宁,任腾. 再制造闭环供应链回收问题研究进展[J]. 计算机集成制造系统, 2021, 27(4): 1201-1210.
[6]	李浩,王昊琪,刘根,王军令等. 工业数字孪生系统的概念、系统结构与运行模式[J]. 计算机集成制造系统, 2021, 27(12): 3373-3390.
[7]	孙延浩,张琦,袁志明,李智. 基于二维二元语义和前景理论的改进FMEA法[J]. 计算机集成制造系统, 2021, 27(12): 3439-3449.
[8]	陈春荣,何霆,廖永新,李海波,黄双喜. 基于需求/服务模式的大规模个性化网络服务定制方法[J]. 计算机集成制造系统, 2021, 27(12): 3659-3668.
[9]	易余胤,韩桂兰. 不同渠道效率下电商平台基于顾客行为的定价策略[J]. 计算机集成制造系统, 2021, 27(11): 3341-3355.
[10]	李丽丽,陈琨,高建民,李辉,冯增行,张建. 采用优化概率神经网络的质量异常识别方法[J]. 计算机集成制造系统, 2021, 27(10): 2813-2821.
[11]	李聪波,易茜,胡芮,朱道光,胡捷. 基于模式模糊识别的电动车双电机系统再生制动控制[J]. 计算机集成制造系统, 2020, 26(第4): 871-881.
[12]	徐博群,孙艳,刘肖健,卢纯福,洪滔,朱昱宁. 设计团队结构影响异步协作模式的仿真研究[J]. 计算机集成制造系统, 2020, 26(第2): 496-507.
[13]	许茂增,周翔,崔利刚,刘永,余国印. 低配送密度区域快递共同配送模式及利益分配[J]. 计算机集成制造系统, 2020, 26(第1): 181-190.
[14]	单子丹,项朝霞,陈琳. 多重驱动模式下开放式知识网络的时空演化模型及治理策略[J]. 计算机集成制造系统, 2020, 26(8): 2202-2215.
[15]	朱惠琦,邱莹,姜天华,胡明瑶. 消费者“最后一公里”配送模式、服务方式与配送时隙的联合选择[J]. 计算机集成制造系统, 2020, 26(7): 1998-2006.