资源描述:
《面向Multiagent的商务过程模型研究》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、上海交通大学博士学位论文使过程模型具有严密的代数语义为商务过程模型的进一步验证奠定了基础第四章涉及对过程模型的性质描述尤其是正确性的表示采用了模态Mu算子一种表达力强的时态逻辑来描述的性质比如避免死锁正确终止等并给出了工作流模型的正确性准则并谈到了如何用Tableau证明方法来验证模型的正确性给出了相应的实例第五章讨论了过程模型的更改基于ð演算的弱模拟性质定义了更改前后工作流模型间的相等关系关系以及包含关系并识别了相应的模型变换规则通过采用这些变换规则从而对对模型进行更改有助于优化业务过程减少冗余活动增大活动的并发性提供企业业务过程的运作效率第六章主要涉及
2、商务过程管理系统的实现即基于BDIAgent的工作流系统体系结构及实现并研究了如何从分析阶段的角色模型到设计实现阶段BDIagent的对应关系第七章以国家863/CIMS主题重大攻关项目基于可重构技术支持动态联盟的敏捷供应链及其相关技术攻关对本文的研究内容在敏捷供应链中的具体实现作进一步的讨论和验证最后一章对本论文的研究作了归纳列举了一些本研究的创新和特色之处并商务过程建模的进一步研究作了展望关键词商务过程建模工作流系统模型验证p演算模态Mu算子BDIagentii上海交通大学博士学位论文RESEARCHONMULTI-AGENTORIENTEDBUSIN
3、ESSPROCESSMODELINGABSTRACTBusinessprocessescoordinationisabouthowtomodelbusinessprocessandprovidethesupportofITfortheoperationofbusinessprocess.Itoffersanimportantmeansforautomatingbusinessprocessesaswellasreorganizingbusinessprocessinenterprises.Inthispaper,wefirstlypresenttheapp
4、roachofagent-oriented,organization-basedbusinessmodeling(AOO-BPM),whichintegrateshigh-levelconcepts,suchasgoal,role,responsibility,etc.,fromcoordinationtheory,enterpriseintegration.Byassigningrolesintoagentuntildesignphrase,ourapproachseparatesthedesignphrasefromtheanalysisphrase,
5、thusmakingitpossibletoreusetheresultsoftheanalysisphrase.Fortypicalbusinessprocessinenterprises,itdiffersfromofficeautomationinhavingfixed,explicitlyrepresentedbusinessprocess.Thus,multi-agentscooperatetorealizebusinessprocesses(i.e.workflow)andachievesbusinessobjectives.Thecorrec
6、tnessofbusinessprocessmodelisakeytoensurethecorrectoperationofbusinessprocessinenterprises.Inordertoverifyprocessmodel,itisnecessarytodescribethesemanticofmodelsusingaformalapproach.Inthispaper,weadoptp-calculustoformalizeprocessmodes(workflowmodel).Asaresult,theprocessmodelisofwe
7、ll-definedalgebraicsemantics.ThepropertiesofmodelcanbeexpressedbymodalMu-calculus,akindofexpressivetemporallogic.Therefore,theproblemofverificationisconvertedintotheoneofwhetherprocessesinthep-calculussatisfythelogicalformulaexpressedinMu-calculusornot.Thisverificationcanbesolvedb
8、yTableauproof.Basedonthebisimulat