Failure-free coordinators synthesis for component-based architectures

DOI10.1016/J.SCICO.2008.03.001zbMATH Open1151.68463OpenAlexW2070623752WikidataQ124326901 ScholiaQ124326901MaRDI QIDQ931099FDOQ931099

Authors: Massimo Tivoli, P. Inverardi 

Publication date: 25 June 2008

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2008.03.001

Recommendations

• Coordination Models and Languages
• Analyzing component-based systems on the basis of architectural constraints
• Deadlock-freedom in component systems with architectural constraints
• Composition for component-based modeling
• Behavioural contracts for a sound assembly of components

zbMATH Keywords

component-based software engineeringcomponent adaptationadaptor synthesiscomponent assemblycomponent composition

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (3)

• Contract-based discovery of Web services modulo simple orchestrators
• Automated synthesis of application-layer connectors from automata-based specifications
• Automated synthesis of application-layer connectors from automata-based specifications

Uses Software

• SYNTHESIS

This page was built for publication: Failure-free coordinators synthesis for component-based architectures

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