Assembly Theories for Communication-Safe Component Systems

DOI10.1007/978-3-642-54848-2_10zbMath1310.68057OpenAlexW82454509MaRDI QIDQ5170748

Rolf Hennicker, Alexander Knapp, Martin Wirsing

Publication date: 24 July 2014

Published in: From Programs to Systems. The Systems perspective in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54848-2_10

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Compositional Specification in Rewriting Logic ⋮ Moving from interface theories to assembly theories

Uses Software

• D-Finder
• MIO Workbench

Cites Work

• Unnamed Item
• Compatibility in a multi-component environment
• Composition for component-based modeling
• Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
• Modal Interface Theories for Communication-Safe Component Assemblies
• On Weak Modal Compatibility, Refinement, and the MIO Workbench
• On Communicating Finite-State Machines
• Modal I/O Automata for Interface and Product Line Theories

This page was built for publication: Assembly Theories for Communication-Safe Component Systems