×

使用结构分解有效计算因果行为曲线。 (英语) Zbl 1233.68174号

Lilius,Johan(编辑)等人,《Petri网的应用和理论》。2010年6月21日至25日,第31届国际会议,PETRI NETS 2010,葡萄牙布拉加。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13674-0/pbk)。计算机科学课堂讲稿612863-83(2010)。
概述:行为矛盾的识别是软件工程的一个重要方面,特别是用于检查用作系统规范的业务流程模型与用作实现的相应工作流模型之间的一致性。在本文中,我们提出了因果行为模式作为一致性概念的基础,该概念捕获了重要的行为信息,如顺序、排他性和成对活动之间的因果关系。行为等效的现有概念,如互模拟和痕迹等效,也可以作为一致性概念应用。然而,它们在计算中是指数的。我们的因果行为简档的新概念提供了一个较弱的行为一致性概念,如果非结构化网络片段是非循环的或可以追溯到S-或T-网络,则可以使用结构分解技术为健全的自由选择工作流系统有效地计算该概念。
关于整个系列,请参见[Zbl 1189.68013号].

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68号30 软件工程的数学方面(规范、验证、度量、需求等)

软件:

BPEL2oWFN型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接