Composition for component-based modeling

DOI10.1016/J.SCICO.2004.05.014MaRDI QIDQ1776582zbMATH OpenOpenAlexFDO

Authors Gregor Gössler, Joseph Sifakis

Publication date 12 May 2005

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

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

zbMATH Keywords

transition systemsinteraction models

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A Model of Component-Based Programming
• On compositional modelling
• Compositional synthesis of modular systems
• A methodology of structured-modular composition programming

Cited in

(41)

• Feedback in synchronous relational interfaces
• A framework for automated distributed implementation of component-based models
• Synthesis from component libraries with costs
• Local and global deadlock-detection in component-based systems are NP-hard
• An Object-Oriented Component Model for Heterogeneous Nets
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• scientific article; zbMATH DE number 1693512 (Why is no real title available?)
• Modeling and analysis of real-time systems with mutex components
• scientific article; zbMATH DE number 1947732 (Why is no real title available?)
• Moving from interface theories to assembly theories
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• Ensuring Properties of Interaction Systems
• Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
• Robustness in Interaction Systems
• Building distributed controllers for systems with priorities
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
• Modal event-clock specifications for timed component-based design
• Probabilistic contracts for component-based design
• A general framework for architecture composability
• Assembly theories for communication-safe component systems
• Hierarchical composition of industrial components
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Threaded behavior protocols
• scientific article; zbMATH DE number 1787170 (Why is no real title available?)
• Abstract behavior types: a foundation model for components and their composition
• scientific article; zbMATH DE number 2113972 (Why is no real title available?)
• Automata-based component composition analysis
• A formal framework for distributed cyber-physical systems
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
• Everything Is PSPACE-Complete in Interaction Systems
• Analyzing component-based systems on the basis of architectural constraints
• Transactional Reduction of Component Compositions
• Conformance notions for the coordination of interaction components
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Failure-free coordinators synthesis for component-based architectures
• Principles of Distributed Systems
• Event-based functional decomposition
• Component-Based Construction of Deadlock-Free Systems
• Associative composition of components with double-sided interfaces
• Deadlock-freedom in component systems with architectural constraints
• Mathematical Frameworks for Component Software

This page was built for publication: Composition for component-based modeling

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