This presentation highlights applications of Reo in formalizing business models. We show how to apply Reo in formalizing modeling standards: BPMN, BPEL, UML Sequence Diagram and Activity Diagrams to provide means to model check such early products of software development. These transformations mainly are realized in Atlas Transformation Language, a …
read moreOther presentations
Tool demonstration
Software Tools Demonstration
A number of our colleague in SEN3 have been developing software tools in the context of their various projects. Many, but not all, of these tools are related to Reo and are integrated into the Eclipse Coordination Tools (ECT). The ECT also incorporates some tools developed by …
read more
Page 1 / 1