Efficient semantics-based compliance checking using LTL formulae and unfolding

DOI10.1155/2013/962765zbMath1311.68089OpenAlexW2114689332WikidataQ59007201 ScholiaQ59007201MaRDI QIDQ364600

Liang Song, Lijie Wen, Hui Kong, Jian-min Wang

Publication date: 9 September 2013

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2013/962765

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of organizations, manpower planning in operations research (90B70)

Uses Software

• BPEL2oWFN

Cites Work

• Unnamed Item
• Formal semantics and analysis of control flow in WS-BPEL
• Branching processes of Petri nets
• A technique of state space search based on unfolding
• An improvement of McMillan's unfolding algorithm

This page was built for publication: Efficient semantics-based compliance checking using LTL formulae and unfolding