Other presentations

  1. Reo: Applications in Formalizing Standard Models

    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 more
  2. 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

hosted by