There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2008

Pages: 326-341

DOI: 10.1007/978-3-540-85758-7_24

SO-VID: dabe5a39-64d7-406d-8bbc-9818ae925a47

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 32

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata
Authors: Fabrizio Maggi, Marco Montali, Michael Westergaard …
Using Propositional Logic for Requirements Verification of Service Workflow
Authors: Wattana Viriyasitavat, Li Xu, Andrew Martin …
Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems
Authors: Linh Thao Ly, Stefanie Rinderle-Ma, Peter Dadam

See all cited by

Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Read this book at