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

批准号:
60903114
项目类别:
青年科学基金项目
资助金额:
17.0 万元
负责人:
卢亚辉
依托单位:
学科分类:
F0210.计算机图像视频处理与多媒体技术
结题年份:
2012
批准年份:
2009
项目状态:
已结题
项目参与者:
肖志娇、蔡树彬、李坚强、白鉴聪、吴涛、曹景华、唐丽娟
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
微信扫码咨询
中文摘要
业务过程管理技术(BPM)和面向服务体系结构(SOA)的出现,使得基于服务的协同业务过程成为企业间协作的重要手段。本课题以π演算为基础,对协同业务过程形式化建模和分析中的关键技术进行研究。首先对π演算进行扩展,提出一种Cπ演算,用于对协同业务过程进行建模。在此基础上进行下述分析,以保证协同业务过程的正确性、一致性和安全性。(1)协同模式分析:总结出协同业务过程中的协同模式,并用规约的方法证明协同模式的正确性。(2)一致性分析:通过部分互模拟语义定义出进程的一致性度量,用以分析协同业务过程与全局业务过程的一致性,以保证协同业务过程能够满足企业的业务目标。(3)安全性分析:建立支持多态和子类型的类型系统,用类型分析的方法来保证协同业务过程能够满足企业的访问控制安全策略。最后,开发出一个协同业务过程建模和分析工具。本课题的研究工作将对协同业务过程管理系统的开发和验证提供理论指导与工程方法。
英文摘要
业务过程管理技术(BPM)和面向服务体系结构(SOA)的出现,使得基于服务的协同业务过程成为企业间协作的重要手段。本课题以π演算为基础,对协同业务过程形式化建模和分析中的关键技术进行研究。研究内容包括: (1)协同模式分析。总结出了协同业务过程中的7种基本模式和45种协同模式。(2)正确性分析。提出了基于π演算进行企业业务过程交互行为建模以及协同业务过程正确性分析的方法。(3)一致性分析。提出了一种基于互模拟博弈图的进程一致性度量方法,用以分析协同业务过程与全局业务过程的一致性。(4)安全性分析。通过分析协同业务过程中的业务需求,提出了一种主动授权模型及其约束分析方法,提出了混合系统的不变量分析方法。在研究成果方面,共发表论文13篇,其中2篇SCI,10篇EI。在人才培养方面,培养3名硕士生顺利毕业。本课题的研究基本完成预定计划。本课题的研究工作将对协同业务过程管理系统的开发和验证提供理论指导与工程方法。
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus
DOI:10.1049/iet-sen.2008.0062
发表时间:2010-09
期刊:IET Softw.
影响因子:--
作者:L. Zhang;Yipeng Lu;F. Xu
通讯作者:L. Zhang;Yipeng Lu;F. Xu
DOI:--
发表时间:--
期刊:西安交通大学学报
影响因子:--
作者:翟治年;奚建清;卢亚辉;郭玉彬
通讯作者:郭玉彬
Constrained Optimal Controller Design of Aerial Robotics Based on Invariant Sets
基于不变集的空中机器人约束最优控制器设计
DOI:10.4304/jsw.6.2.193-200
发表时间:2011-01
期刊:Journal of Software
影响因子:--
作者:Jianqiang Li;Yahui Lu;Zhen Ji;Hailong Pei
通讯作者:Hailong Pei
DOI:--
发表时间:--
期刊:计算机集成制造系统
影响因子:--
作者:翟治年;卢亚辉;郭玉彬;贾连印;奚建清;刘艳霞
通讯作者:刘艳霞
DOI:--
发表时间:--
期刊:电子学报
影响因子:--
作者:翟治年;卢亚辉;奚建清;赵铁柱;汤德佑;顾春华
通讯作者:顾春华
国内基金
海外基金
