一种分布式过程模型及实例的优化方法

一种分布式过程模型及实例的优化方法

于万钧¹, 胡兆玮¹, 李倩倩¹, 杨博², 刘大有²

1. 东北电力大学信息工程学院, 吉林省吉林 132012; 2. 吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2006-05-18 修回日期:1900-01-01 出版日期:2006-08-26 发布日期:2006-11-26
通讯作者: 于万钧

Optimization Approach of Distributed Process Model and Instance

YU Wanjun¹, HU Zhaowei¹, LI Qianqian¹, YANG Bo², LIU Dayou²

1. Institute of Information Engineering, Northeast Dianli University, Jilin 132012, Jilin Province, China; 2. College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2006-05-18 Revised:1900-01-01 Online:2006-08-26 Published:2006-11-26
Contact: YU Wanjun

摘要/Abstract

摘要： ADEPT模型具有分布式对称控制结构, 可以对控制流、数据流建模. 但由于ADEPT模型未被形式化描述, 所以无法判断过程模型及其实例的正确性.对ADEPT模型进行了形式化定义, 并结合实例状态机给出了过程实例的形式化描述; 在此基础上提出了用于验证过程模型正确性及过程实例一致性的优化方法.

关键词: ADEPT, 分布式优化, 过程模型, 过程实例

Abstract: ADEPT model with distributed symmetrical control structures can be used to model control flow and data flow. But we are unable to evaluate the correctness of process model and process instance due to the lack of for malization. A formalized definition of ADEPT model was given, and its instance was formally specified according to the state machine of instance. Upon the work stated above, an approach to evaluate model correctness and instance consistency was proposed lastly.

Key words: ADEPT, distributed optimization, process model, process instance

中图分类号:

TP301

于万钧, 胡兆玮, 李倩倩, 杨博, 刘大有. 一种分布式过程模型及实例的优化方法[J]. J4, 2006, 44(06): 208-212.

YU Wanjun, HU Zhaowei, LI Qianqian, YANG Bo, LIU Dayou. Optimization Approach of Distributed Process Model and Instance[J]. J4, 2006, 44(06): 208-212.