基于π28436;算的协同业务过程建模与分析的研究

项目名称： 基于π28436;算的协同业务过程建模与分析的研究

项目编号： No.60903114

项目类型： 青年科学基金项目

立项/批准年度： 2010

项目学科： 武器工业

项目作者： 卢亚辉

作者单位： 深圳大学

项目金额： 17万元

中文摘要： 业务过程管理技术(BPM)和面向服务体系结构(SOA)的出现，使得基于服务的协同业务过程成为企业间协作的重要手段。本课题以π28436;算为基础，对协同业务过程形式化建模和分析中的关键技术进行研究。首先对π28436;算进行扩展，提出一种Cπ28436;算，用于对协同业务过程进行建模。在此基础上进行下述分析，以保证协同业务过程的正确性、一致性和安全性。(1)协同模式分析：总结出协同业务过程中的协同模式，并用规约的方法证明协同模式的正确性。(2)一致性分析：通过部分互模拟语义定义出进程的一致性度量，用以分析协同业务过程与全局业务过程的一致性，以保证协同业务过程能够满足企业的业务目标。(3)安全性分析：建立支持多态和子类型的类型系统，用类型分析的方法来保证协同业务过程能够满足企业的访问控制安全策略。最后，开发出一个协同业务过程建模和分析工具。本课题的研究工作将对协同业务过程管理系统的开发和验证提供理论指导与工程方法。

中文关键词： 协同业务过程；π28436;算；模式；互模拟博弈；安全

英文摘要：

英文关键词： Collaborative Business Process；πalculus；Pattern；Bisimulation Game；Security