Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
DOI10.1007/978-3-319-19249-9_10zbMATH Open1427.68188OpenAlexW1166377735MaRDI QIDQ5206949FDOQ5206949
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
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
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)
Cites Work
- Title not available (Why is that?)
- Specification and verification of declarative open interaction models. A logic-based approach
- Nested dynamic condition response graphs
- Adaptable processes
- Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
- Contextual Petri nets, asymmetric event structures, and processes
- An event structure semantics for general Petri nets
- Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14--18, 2011. Proceedings
- On the nature of events: another perspective in concurrency
- Model checking LTL using constraint programming
- Title not available (Why is that?)
- Bundle event structures and CCSP.
- Applications and Theory of Petri Nets 2004
- 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
- Causal ambiguity and partial orders in event structures
Cited In (10)
- Business process compliance using reference models of law
- Declarative event based models of concurrency and refinement in psi-calculi
- Nested dynamic condition response graphs
- Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
- Declarative choreographies and liveness
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs
- A theory of monitors
- On first-order runtime enforcement of branching-time properties
- Determinizing monitors for HML with recursion
- Consistently-detecting monitors
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)
