Validating Timed Models of Deployment Components with Parametric Concurrency

DOI10.1007/978-3-642-18070-5_4zbMath1308.68037OpenAlexW1491097096MaRDI QIDQ3067533

Olaf Owe, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Publication date: 21 January 2011

Published in: Formal Verification of Object-Oriented Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18070-5_4

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Dynamic rebinding for concurrent object groups: theory and practice, Integrating deployment architectures and resource consumption in timed object-oriented models

Uses Software

• COSTA
• Maude
• Erlang
• JCobox

Cites Work

• Scala actors: Unifying thread-based and event-based programming
• Conditional rewriting logic as a unified model of concurrency
• Maude: specification and programming in rewriting logic
• A structural approach to operational semantics
• A system for compositional verification of asynchronous objects
• Schedulability of asynchronous real-time concurrent objects
• Verification approach of Metropolis design framework for embedded systems
• Task automata: Schedulability, decidability and undecidability
• Abstraction and Completeness for Real-Time Maude
• Software Product Line Engineering
• A Complete Guide to the Future
• Unnamed Item
• Unnamed Item