Failure-free coordinators synthesis for component-based architectures

DOI10.1016/J.SCICO.2008.03.001MaRDI QIDQ931099zbMATH OpenOpenAlexWikidataFDO

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

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)

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

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

Describes a project that uses

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)