The pi calculus and its applications
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
An axiomatic basis for computer programming
Communications of the ACM
The simulation semantics of systemC
Proceedings of the conference on Design, automation and test in Europe
Using an architecture description language for quantitative analysis of real-time systems
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Decomposing refinement proofs using assume-guarantee reasoning
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Event-Based Execution Architectures for Dynamic Software Systems
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
Tutorial: An Overview of UML 2.0
Proceedings of the 26th International Conference on Software Engineering
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Local and global deadlock-detection in component-based systems are NP-hard
Information Processing Letters
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Robustness in Interaction Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Everything Is PSPACE-Complete in Interaction Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Compositional analysis of deadlock-freedom for tree-like component architectures
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Synthesis from Component Libraries
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Towards Compositional Verification in MEDISTAM-RT Methodological Framework
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
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
Integrating automotive applications using overlay networks on top of a time-triggered protocol
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
Causal semantics for the algebra of connectors
Formal Methods in System Design
An ADL-approach to specifying and analyzing centralized-mode architectural connection
ECSA'10 Proceedings of the 4th European conference on Software architecture
Realization of virtual networks in the DECOS integrated architecture
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Systematic correct construction of self-stabilizing systems: a case study
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Reasoning about safety and progress using contracts
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Synthesizing probabilistic composers
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Rigorous design of robot software: A formal component-based approach
Robotics and Autonomous Systems
Behavioral specification based runtime monitors for OSGi services
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Synthesis of hierarchical systems
Science of Computer Programming
Hi-index | 0.00 |
We present an overview of results developed mainly at Verimag, by the author and his colleagues, on a framework for component-based construction, characterized by the following:The behavior of atomic components is represented by transition systems. Components are built from a set of atomic components by using "glue" operators For each component, it is possible to separate its behavior from its structure, due to specific properties of glue operators. We show an instance of this framework, which combines two independent classes of glue operators, Interaction Models and Priorities. The combination of interaction models and priorities is expressive enough to encompass heterogeneous interaction and execution. We show that separation between behavior and structure is instrumental for correctness-byconstruction. Finally, we discuss new research problems related to a structure-dependent notion of expressiveness.