Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
An algebraic framework for urgency
Information and Computation
Concurrency verification: introduction to compositional and noncompositional methods
Concurrency verification: introduction to compositional and noncompositional methods
Communication and Concurrency
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Operational and Compositional Semantics of Synchronous Automaton Compositions
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Modeling and Designing Heterogeneous Systems
Concurrency and Hardware Design, Advances in Petri Nets
Specifying Urgency in Timed I/O Automata
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Local and global deadlock-detection in component-based systems are NP-hard
Information Processing Letters
Compositional specification of behavioral semantics
Proceedings of the conference on Design, automation and test in Europe
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Software components for reliable automotive systems
Proceedings of the conference on Design, automation and test in Europe
An Approach to Modelling and Verification of Component Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Robustness in Interaction Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Everything Is PSPACE-Complete in Interaction Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Compositional analysis of deadlock-freedom for tree-like component architectures
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Translating AADL into BIP - Application to the Verification of Real-Time Systems
Models in Software Engineering
Classes and inheritance in actor-oriented design
ACM Transactions on Embedded Computing Systems (TECS)
Model checking: algorithmic verification and debugging
Communications of the ACM - Scratch Programming for All
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Exploring Multi-Paradigm Modeling Techniques
Simulation
On the Observable Behaviour of Composite Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Codesign of dependable systems: a component-based modeling language
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Constraints modeling for (profiled) UML models
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Partial order reduction for verification of real-time components
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
A methodology and supporting tools for the development of component-based embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Deriving complexity results for interaction systems from 1-safe Petri nets
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Ensuring properties of interaction systems
Program analysis and compilation, theory and practice
Reachability in Tree-Like Component Systems is PSPACE-Complete
Electronic Notes in Theoretical Computer Science (ENTCS)
A benchmark diagnostic model generation system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Probabilistic contracts for component-based design
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A language for formal design of embedded intelligence research systems
Robotics and Autonomous Systems
On the composition of time Petri nets
Discrete Event Dynamic Systems
Synthesizing glue operators from glue constraints for the construction of component-based systems
SC'11 Proceedings of the 10th international conference on Software composition
Automated addition of fault recovery to cyber-physical component-based models
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Compositional strategy mapping
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Systems-theoretic view of component-based software development
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
Modal event-clock specifications for timed component-based design
Science of Computer Programming
Deadlock-freedom in component systems with architectural constraints
Formal Methods in System Design
Probabilistic contracts for component-based design
Formal Methods in System Design
A theory of fault recovery for component-based models
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
From data to simulation models: component-based model generation with a data-driven approach
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
We propose a framework for component-based modeling using an abstract layered model for components. A component is the superposition of two models: a behavior model and an interaction model. Interaction models describe architectural constraints induced by connectors between components.We propose and analyze general requirements for component composition that motivated and guided the development of the framework. We define an associative and commutative composition operator on components encompassing heterogeneous interaction. As a particular instance of the proposed framework, we consider components where behavior models are transition systems and interaction models are described by priority relations on interactions. This leads to a concept of "flexible" composition different from usual composition in that it preserves deadlock-freedom and is appropriate for correctness by construction. Nevertheless, flexible composition is a partial operation. Product systems should be interaction safe in the sense that they do not violate constraints of the interaction model.We propose results ensuring correctness by construction of a system from properties of its interaction model and of its components. The properties considered include global deadlock-freedom, individual deadlock-freedom of components, and interaction safety.