欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
提出一种面向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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：