Communicating sequential processes
Communicating sequential processes
Communication and concurrency
On the expressive power of programming languages
Proceedings of the third European symposium on programming on ESOP '90
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Specifying and Composing Non-functional Requirements in Model-Based Development
SC '09 Proceedings of the 8th International Conference on Software Composition
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
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
Revisiting glue expressiveness in component-based systems
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Runtime verification of component-based systems
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Rigorous system design: the BIP approach
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
Communications of the ACM
Network securing against threatening requests
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
A Modal Interface Theory for Component-based Design
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
Rigorous component-based system design
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
On composing and proving the correctness of reactive behavior
Proceedings of the Eleventh ACM International Conference on Embedded Software
Synthesis of hierarchical systems
Science of Computer Programming
Hi-index | 0.02 |
Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g.automaton and Turing machine. This leads to a notion of expressiveness which is not adequate for component-based systems where separation between behavior and coordination mechanisms is essential. The paper proposes a notion of glue expressiveness for component-based frameworks characterizing their ability to coordinate components.Glueis a closed under composition set of operators mapping tuples of behavior into behavior. Glue operators preserve behavioral equivalence. They only restrict the behavior of their arguments by performing memoryless coordination.Behavioral equivalence induces an equivalence on glue operators. We compare expressiveness of two glues G1and G2by considering whether glue operators of G1have equivalent ones in G2(strong expressiveness). Weak expressiveness is defined by allowing a finite number of additional behaviors in the arguments of operators of G2.We propose an SOS-style definition of glues, where operators are characterized as sets of SOS-rules specifying the transition relation of composite components from the transition relations of their constituents. We provide expressiveness results for the glues of BIP and of process algebras such as CCS, CSP and SCCS. We show that for the considered expressiveness criteria, glues of the considered process calculi are less expressive than general SOS glue. Furthermore, glue of BIP has exactly the same strong expressiveness as glue definable by the SOS characterization.