Modeling component connectors in Reo by constraint automata

@article{Baier2006ModelingCC,
  title={Modeling component connectors in Reo by constraint automata},
  author={Christel Baier and Marjan Sirjani and Farhad Arbab and Jan J. M. M. Rutten},
  journal={Sci. Comput. Program.},
  year={2006},
  volume={61},
  pages={75-113}
}
Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given connectors, verification of the behavior of a connector, etc. requires an operational semantic model suitable for model checking. In this paper we introduce constraint automata and propose them as a semantic model for Reo. 2000 ACM Computing Classification: C… CONTINUE READING
Highly Influential
This paper has highly influenced 28 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 397 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 202 extracted citations

Coordination Models and Languages

Lecture Notes in Computer Science • 2016
View 20 Excerpts
Highly Influenced

Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic

Electr. Notes Theor. Comput. Sci. • 2006
View 12 Excerpts
Highly Influenced

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science • 2018
View 10 Excerpts
Highly Influenced

Coordination Models and Languages

Lecture Notes in Computer Science • 2014
View 5 Excerpts
Highly Influenced

A model of context-dependent component connectors

Sci. Comput. Program. • 2012
View 10 Excerpts
Highly Influenced

Declarative Agent Languages and Technologies X

Lecture Notes in Computer Science • 2012
View 5 Excerpts
Highly Influenced

Büchi automata for modeling component connectors

Software & Systems Modeling • 2010
View 10 Excerpts
Highly Influenced

397 Citations

02040'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 397 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science • 2004

Automata on Infinite Objects

Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics • 1990

An introduction to input/output automata

N. Lynch, M. R. Tuttle
CWI Quarterly • 1989

A Calculus of Communicating Systems

Lecture Notes in Computer Science • 1980

Similar Papers

Loading similar papers…