Composition for component-based modeling

DOI10.1016/j.scico.2004.05.014zbMath1075.68016OpenAlexW2107558091MaRDI QIDQ1776582

Joseph Sifakis, Gregor Gössler

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)

Related Items (21)

Local and global deadlock-detection in component-based systems are NP-hard ⋮ A framework for automated distributed implementation of component-based models ⋮ Modeling for supervisor synthesis -- a lock-bridge combination case study ⋮ Modal event-clock specifications for timed component-based design ⋮ Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System ⋮ Unnamed Item ⋮ Deadlock-freedom in component systems with architectural constraints ⋮ Probabilistic contracts for component-based design ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP ⋮ MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS ⋮ Synthesis from component libraries with costs ⋮ Assembly Theories for Communication-Safe Component Systems ⋮ Feedback in Synchronous Relational Interfaces ⋮ Building distributed controllers for systems with priorities ⋮ Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets ⋮ Robustness in Interaction Systems ⋮ Contracts for BIP: Hierarchical Interaction Models for Compositional Verification ⋮ Event-based functional decomposition ⋮ Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems ⋮ Everything Is PSPACE-Complete in Interaction Systems ⋮ Moving from interface theories to assembly theories

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