×

兹马思-数学第一资源

业务流程时间约束的形式化建模与分析。(英语) Zbl 1368.68044
Bouabana Tebibel,Thouraya(ed.)等人,《重用和系统集成的形式化》。查姆:斯普林格(ISBN 978-3-319-16576-9/pbk;978-3-319-16577-6/电子书)。智能系统与计算的进展346149-172(2015)。
摘要:在本文中,我们对BPEL语言在语义层面上的时间约束进行形式化、分析和检查。我们建议将规则从BPEL语言转换为分布式低层实时模型(C-DATA)。该模型基于真实的并发语义,同时支持时间约束、动作持续时间和通信方面。这种转换方法为BPEL语言提供了一个形式化的语义,并允许对定性和定量需求进行形式化和分析。然后使用UPPAAL对基于值的时态逻辑属性(TCTL)进行模型检查,分析得到的C数据结构。
整个系列请参见[Zbl 1328.68011].
理学硕士:
68米11 Internet主题
68问55 计算理论中的语义学
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部