Validating timed models of deployment components with parametric concurrency

DOI10.1007/978-3-642-18070-5_4MaRDI QIDQ3067533zbMATH OpenOpenAlexFDO

Authors Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, 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

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

Recommendations

• Integrating deployment architectures and resource consumption in timed object-oriented models
• Automatizing parametric reasoning on distributed concurrent systems
• scientific article; zbMATH DE number 4145305
• scientific article; zbMATH DE number 2111990
• Models for concurrency: Towards a classification

Cites work

• A Complete Guide to the Future
• A structural approach to operational semantics
• A system for compositional verification of asynchronous objects
• Abstraction and completeness for real-time Maude
• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• scientific article; zbMATH DE number 2090107 (Why is no real title available?)
• Maude: specification and programming in rewriting logic
• Scala actors: Unifying thread-based and event-based programming
• Schedulability of asynchronous real-time concurrent objects
• Software Product Line Engineering
• Task automata: Schedulability, decidability and undecidability
• Verification approach of Metropolis design framework for embedded systems

Cited in

(3)

• On the expressiveness of synchronization in component deployment
• Dynamic rebinding for concurrent object groups: theory and practice
• Integrating deployment architectures and resource consumption in timed object-oriented models

Describes a project that uses

Uses Software

• COSTA
• Maude
• Erlang
• JCobox

This page was built for publication: Validating timed models of deployment components with parametric concurrency

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