Specification and verification of declarative open interaction models. A logic-based approach

DOI10.1007/978-3-642-14538-4zbMath1252.68021OpenAlexW2502922278MaRDI QIDQ1958400

Marco Montali

Publication date: 28 September 2010

Published in: Lecture Notes in Business Information Processing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14538-4

zbMATH Keywords

verificationlogic programmingspecificationcomputational logicservice compositionbusiness process management

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Related Items (5)

Balanced multi-perspective checking of process conformance ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Unnamed Item ⋮ Contracts for cross-organizational workflows as timed dynamic condition response graphs ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

Uses Software

• SPIN
• Uppaal
• ATL
• LTL2BA

This page was built for publication: Specification and verification of declarative open interaction models. A logic-based approach