2010 8th IEEE International Conference on Software Engineering and Formal Methods 2010
DOI: 10.1109/sefm.2010.26
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: Abstract-Reo is a graphical channel-based coordination language that enables the modeling of complex behavioral protocols using a small set of channel types with well-de ned behavior. Reo has been developed for the coordination of standalone components and services, which makes it suitable for the modeling of service-based business processes. The formal semantic models for Reo lay the grounds for computer-aided analysis of different aspects of Reo diagrams, including their animation, simulation and veri cation… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
18
0

Year Published

2011
2011
2019
2019

Publication Types

Select...
5
3

Relationship

0
8

Authors

Journals

citations
Cited by 40 publications
(18 citation statements)
references
References 25 publications
0
18
0
Order By: Relevance
“…Neither flow correlation nor error handling is considered in the model. Dynamic topology changes are possible and there exist also extensions for the treatment of time 43,44 based on timed automata. Pattern-based data selection on channels can be seen as a basic form of coordination principle.…”
Section: Reomentioning
confidence: 99%
“…Neither flow correlation nor error handling is considered in the model. Dynamic topology changes are possible and there exist also extensions for the treatment of time 43,44 based on timed automata. Pattern-based data selection on channels can be seen as a basic form of coordination principle.…”
Section: Reomentioning
confidence: 99%
“…An automated tool integrated in ECT translates Reo models into mCRL2 and provides a bridge to its tool set. This translation and its application for the analysis of workflows modeled in Reo are discussed in [58,62,63]. Through mCRL2, it is possible to verify the behavior of timed Reo connectors, or Reo connectors with more elaborate data-dependent behavior than Vereofy supports.…”
Section: Overview Of Reomentioning
confidence: 99%
“…Alternatively, a user can add an arbitrary component to the model as we illustrated in our case study in Section 5. For some frequently used components, e.g., Variable [40], the system adds the mCRL2 specifications automatically. For other components such a behavior can be specified manually or inferred from the associated external specification, e.g.…”
Section: Tool Supportmentioning
confidence: 99%