Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

DOI10.1007/978-3-319-19249-9_10MaRDI QIDQ5206949zbMATH OpenOpenAlexFDO

Authors Søren Debois, Tijs Slaats, Thomas Hildebrandt

Publication date 19 December 2019

Published in FM 2015: Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-19249-9_10

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• Nested dynamic condition response graphs
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Adaptable processes
• Declarative event based models of concurrency and refinement in psi-calculi

Cites work

• Adaptable processes
• An event structure semantics for general Petri nets
• Applications and Theory of Petri Nets 2004
• Bundle event structures and CCSP.
• Causal ambiguity and partial orders in event structures
• Contextual Petri nets, asymmetric event structures, and processes
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Enabling flexibility in process-aware information systems. Challenges, methods, technologies
• Event structures for arbitrary disruption
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• Model checking LTL using constraint programming
• Nested dynamic condition response graphs
• On the nature of events: another perspective in concurrency
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
• Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings
• Specification and verification of declarative open interaction models. A logic-based approach

Cited in

(10)

• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• A theory of monitors
• Determinizing monitors for HML with recursion
• Declarative event based models of concurrency and refinement in psi-calculi
• Nested dynamic condition response graphs
• Business process compliance using reference models of law
• Consistently-detecting monitors
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
• On first-order runtime enforcement of branching-time properties
• Declarative choreographies and liveness

This page was built for publication: Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5206949)