原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
动态工作流建模分析和验证的研究
陆永强1党齐民2
(华东理工大学信息学院200237)
(1chii
chobits2@hotmail．tom，2qmdang@ecustedu，cn)
摘要随着电子商务、办公自动化应用的不断深入，工作流技术得到越来越广泛的应用．但同时，人
们也对工作流技术的应用提出了更高的要求，特别是要求工作流管理系统具有良好的灵活性和动态处理
能力，以便有效的支持今天所处的动态的、不确定的和易于出错的协同工作环境．本文首先针对办公业
务流程的灵活多变性，归纳总结出了进行模型动态调整的规则，然后重点讨论和分析了工作流模型中的结
构冲突问题，并就并发丢失问题提出了正确性校验算法，以验证改变后工作流模型的语法正确性。
关键词工作流；动态建模；结构冲突；规约规则
of WorkflowModel
Researchon andValidation
Analysis Dynamic
LU
Yong-qian91，DANGqi-mind
(『1chii_chobits2@hotmail．com，2qmdang@ecIJst．edu．ca)
withthe st【ldyofelectroniccomlTlerceandoffice workflow
Abstract：Alongcontinuously apphcanon，the
amoreandmoreextensive inthe alsoflowedatechnical
techniqueget application．Btitmeantime，people
to forwarda tothe toworktoflowthe to
system
applicationput hi曲errequestwork,requesting management
the viridand tOhandlean ordertovalid
have staid
good dynamic abilityespecially,in supporttodaydynamic
be be aworkenvironment．
stateof ofwith tOcomeamissof in with
placeof,indeterminationeasy conjunction
佻textaimsat幻transactthebusiness firstofmuchmorevivid t0
process change up carry
sex，induce幻tally
ofthemodel discussionand aworktOflowthe
Oiltherule dynamicstate point
adjustment,then analyzed
文档评论（0）