A framework for automated distributed implementation of component-based models

DOI10.1007/s00446-012-0168-6zbMath1256.68016OpenAlexW2050846431MaRDI QIDQ1938379

Marius Bozga, Jean Quilbeuf, Borzoo Bonakdarpour, Joseph Sifakis, Mohamad Y. Jaber

Publication date: 4 February 2013

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-012-0168-6

zbMATH Keywords

distributed systemsconflict resolutionBIPautomated transformationcommittee coordinationcomponent-based modelingcorrectness-by-construction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items

Dynamic input/output automata: a formal and compositional model for dynamic systems, Component-based formal modeling of PLC systems, Synthesis of large dynamic concurrent programs from dynamic specifications, Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation, From global choreographies to verifiable efficient distributed implementations, A framework for automated distributed implementation of component-based models, Feedback in Synchronous Relational Interfaces, Distributed Implementation of Systems with Multiparty Interactions and Priorities, A Theory Agenda for Component-Based Design

Uses Software

• Reo
• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new self-stabilizing maximal matching algorithm
• Sorting in \(c \log n\) parallel steps
• Termination detection for diffusing computations
• A calculus of communicating systems
• Composition for component-based modeling
• A framework for automated distributed implementation of component-based models
• A Notion of Glue Expressiveness for Component-Based Systems
• An $O(EV\log V)$ Algorithm for Finding a Maximal Weighted Matching in General Graphs
• A Simple Parallel Algorithm for the Maximal Independent Set Problem
• Reo: a channel-based coordination model for component composition
• Software transactional memory