基于情景演算多流程交互软件模型的研究与实现

多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基于黑板的流程交互模型,实现异步数据交换,具有集中控制、共享数据结构等特点,适用于流程间事件消息的传递,模型具有松耦合、灵活、通用和高效等特点;此研究方法与模型在CTS系统设计开发中得到具体应用.

Research and application on multi-process interaction software model based on situation calculus

To solve multi-process interactive problems of business process-centric complex information system(CIS) development and integration, multi-process interaction software model was proposed,based on situation calculus,presenting process static model with states transformation,actions sequence,and execution track,etc.Dynamic interactive behavior between processes was described by events formula and carried out by improved blackboard architecture,which realizes asynchronous data exchange,integrated control,and shared data structure,fits for event message transition between processes and processes modification,ensures processes control reliability,and achieves the flexibility of the process-oriented or function-oriented application integration system.The CTS for integrating multi-process enterprise applications was developed based on situation calculus multi-process interactive model,by whichconstitutes a smooth,loose coupling,and flexibility integration,efficient system development method,and was applied successfully in several actual enterprise application integration projects.