Modeling and Analysis of Reo Connectors Using Alloy

R. Khosravi; M. Sirjani; Nesa Asoudeh; Shaghayegh Sahebi; H. Iravanchi

DOI:10.1007/978-3-540-68265-3_11

Corpus ID: 7283131

Modeling and Analysis of Reo Connectors Using Alloy

@inproceedings{Khosravi2008ModelingAA,
  title={Modeling and Analysis of Reo Connectors Using Alloy},
  author={R. Khosravi and M. Sirjani and Nesa Asoudeh and Shaghayegh Sahebi and H. Iravanchi},
  booktitle={COORDINATION},
  year={2008}
}

R. Khosravi, M. Sirjani, +2 authors H. Iravanchi

Published in COORDINATION 2008

Computer Science

Reo is an exogenous coordination language based on a calculus of channel composition. Different formal models have been developed for this language. In this paper, we present a new approach to modeling and analysis of Reo connectors using Alloy which is a lightweight modeling language based on first-order relational logic. We provide a reusable library of Reo channels in Alloy that can be used to create a model of a Reo connector in Alloy. The model is simple and reflects the original structure… CONTINUE READING

View via Publisher