Modeling Component Connectors: Synchronisation and Context-Dependency

Authors:
Mohammad Izadi;Marcello M. Bonsangue;Dave Clarke
Affiliations:
-;-;-
Venue:
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Year:
2008

Citing 0
Cited 7

Automata for Context-Dependent Connectors

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Büchi automata for modeling component connectors

Software and Systems Modeling (SoSyM)
Controlled composition and abstraction for bottom-up integration and verification of abstract components

Information and Software Technology
Puff, the magic protocol

Formal modeling
Automata based model checking for reo connectors

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A model of context-dependent component connectors

Science of Computer Programming
A Büchi automata based model checking framework for reo connectors

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reo is an exogenous coordination language for component connectors extending data flow networks with synchronization and context-dependent behavior. We propose an operational model of Reo based on Buchi automata in which port synchronization is modeled by records labeling the transitions, whereas context dependencies are stored in the states. We provide a composition operator which models the joining of two connectors, and show that it can be obtained by using two standard operators: alphabet extension and automata product. Our semantics has the advantage over previous models in that it is based on standard automata theory, so that existing theories and tools can be easily reused. Moreover, it is the first formal model addressing all of Reo's features: synchronization, mutual exclusion, hiding, and context-ependency.