Rigorous development of component-based systems using component metadata and patterns

DOI10.1007/s00165-016-0375-1zbMath1348.68167OpenAlexW2345401972WikidataQ121755331 ScholiaQ121755331MaRDI QIDQ333322

Marcel V. M. Oliveira, Augusto Sampaio, A. W. Roscoe, Rodrigo A. Ramos, Pedro Antonino, Alejandro Mota

Publication date: 28 October 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:8ecc6dbf-5cda-4d40-8b02-db0d2bcec21b

zbMATH Keywords

designsCSPbehavioural patterncomponent-based developmentcorrect by constructiondeadlock analysismetadata

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

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving ⋮ Compositional and local livelock analysis for CSP ⋮ The Automatic Detection of Token Structures and Invariants Using SAT Checking ⋮ Mitigating Multi-target Attacks in Hash-Based Signatures

Uses Software

• D-Finder
• rCOS
• ArchJava
• Reo
• SysML
• FDR2
• FDR3
• SOFA 2.0
• ProBE
• PACC starter kit

Cites Work

• rCOS: a refinement calculus of object systems
• Conformance notions for the coordination of interaction components
• Understanding concurrent systems
• Local and global deadlock-detection in component-based systems are NP-hard
• A Static Analysis Framework for Livelock Freedom in CSP
• Compositional State Space Reduction Using Untangled Actions
• A Model of Component-Based Programming
• Compositional Verification for Component-Based Systems and Application
• Component Publications and Compositions
• Ensuring Properties of Interaction Systems
• Robustness in Interaction Systems
• Reo: a channel-based coordination model for component composition
• Confluence Thanks to Extensional Determinism
• An Approach to Modelling and Verification of Component Based Systems
• A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
• FDR3 — A Modern Refinement Checker for CSP
• Everything Is PSPACE-Complete in Interaction Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item