摘要
提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题。
According to the properties of Artifact,semi-structured data is used to represent it.Taking advantage of Predict/Transition Petri-Net（Pr/T-Net）,a new method is proposed to formalize the business process model,in which the static predict is the set of Document Type Definition（DTD） which gives Artifact structure and the transition is a kind of first-order logic language which operates the XML.The arrival,persistence and uniqueness of the Artifact are analyzed.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第20期37-39,42,共4页
Computer Engineering
基金
国家自然科学基金资助项目(60773100)
作者简介
王颖（1980-），女，博士研究生，主研方向：业务过程管理，Petri网，半结构化数据XML；E—mail：wangying@ysu．edu．cn
刘国华，教授、博士生导师；
赵丹枫，博士研究生
赵威，博士研究生
