Failure-free coordinators synthesis for component-based architectures

DOI10.1016/j.scico.2008.03.001zbMath1151.68463OpenAlexW2070623752WikidataQ124326901 ScholiaQ124326901MaRDI QIDQ931099

Massimo Tivoli, Paola 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) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Automated synthesis of application-layer connectors from automata-based specifications ⋮ Contract-based discovery of Web services modulo simple orchestrators ⋮ Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

Uses Software

• SYNTHESIS