| 一种分布式过程模型及实例的优化方法 |
| |
| 引用本文： | 于万钧,胡兆玮,李倩倩,杨博,刘大有.一种分布式过程模型及实例的优化方法[J].吉林大学学报(理学版),2006,44(6):208-212. |
| |
| 作者姓名： | 于万钧 胡兆玮 李倩倩 杨博 刘大有 |
| |
| 作者单位： | 1. 东北电力大学 信息工程学院, 吉林省 吉林 132012; 2. 吉林大学 计算机科学与技术学院, 长春 130012 |
| |
| 摘 要： | ADEPT模型具有分布式对称控制结构, 可以对控制流、数据流建模. 但由于ADEPT模型未被形式化描述, 所以无法判断过程模型及其实例的正确性.对ADEPT模型进行了形式化定义, 并结合实例状态机给出了过程实例的形式化描述; 在此基础上提出了用于验证过程模型正确性及过程实例一致性的优化方法.
|
| 关 键 词： | ADEPT 分布式优化 过程模型 过程实例 |
| 收稿时间： | 2006-05-18 |
Optimization Approach of Distributed Process Model and Instance |
| |
| YU Wan jun,HU Zhao wei,LI Qian qian,YANG Bo,LIU Da you.Optimization Approach of Distributed Process Model and Instance[J].Journal of Jilin University: Sci Ed,2006,44(6):208-212. |
| |
| Authors: | YU Wan jun HU Zhao wei LI Qian qian YANG Bo LIU Da you |
| |
| Institution: | 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 |
| |
| 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. |
| |
| Keywords: | ADEPT distributed optimization process model process instance |
|
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
|
