| 基于逻辑模型的过程仿真系统研究 |
| |
| 引用本文： | 刘洪涛,李磊.基于逻辑模型的过程仿真系统研究[J].计算技术与自动化,2005,24(2):124-126. |
| |
| 作者姓名： | 刘洪涛 李磊 |
| |
| 作者单位： | 广东工业大学自动化学院,广东 广州 510090;中山大学软件研究所,广东 广州 510275 |
| |
| 摘 要： | 企业的业务流程是非常复杂的，在为企业设计与流程相关的软件的失败率很高，原因在于所设计的软件处理的流程与企业实际运行的流程不相符合。针对该问题，本文采用一阶逻辑形式化的描述了一个过程仿真系统模型，并基于此模型设计过程仿真系统，以用于检验所仿真的流程是否与实际流程相符合。
|
| 关 键 词： | 企业流程 逻辑模型 过程仿真系统 |
| 文章编号： | 1003-6199(2005)02-0124-03 |
| 修稿时间： | 2004年9月10日 |
Process Simulation System Based on Logic -model |
| |
| LIU Hong-tao,LI Lei.Process Simulation System Based on Logic -model[J].Computing Technology and Automation,2005,24(2):124-126. |
| |
| Authors: | LIU Hong-tao LI Lei |
| |
| Affiliation: | LIU Hong-tao~1,LI Lei~2 |
| |
| Abstract: | Enterprise business processs is very complex, and the failure rate of developing software for enterprise is very high. The reason is the inconsistency of business process between software and enterprise. To solve the problem, the thesis used the logic to formally describe an enterprise business process model. At the same time, an enterprise business process system was developed in the base of logic model to verify whether the simulated process is consistent with enterprise real process. |
| |
| Keywords: | enterprise business logic model process simulation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
