Modelling Local and Global Behaviour: Petri Nets and Event Coordination

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    Today, it is possible to generate major parts of a software system from models. Most of the generated code, however, concerns the structural parts of the software; the parts that concern the functionality or behaviour of a system are still programmed manually. In order to overcome this problem, we are developing the concept of coordination diagrams that define the global behaviour on top of structural software models. Basically, these diagrams define how the local behaviour of an element is coordinated with the behaviour of the elements it is connected to. The exact concepts of these coordination diagrams and their notation is still under development, but there exists a first prototype for experimenting and for fine-tuning its features. We call it the Event Coordination Notation (ECNO). For experimenting with the ECNO, we implemented also a simple modelling notation for the local behaviour, which is based on Petri nets. In this paper, we briefly discuss the general idea of the ECNO and then present ECNO nets that define the local behaviour of elements. They are implemented as a Petri net type for the ePNK tool, together with a code generator that produces code that can be used in the ECNO framework and runtime environment. This way, all the behaviour of a system can be modelled – and code can be generated that easily integrates with the structural models and existing software.
    Original languageEnglish
    Title of host publicationProceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’11)
    Publication date2011
    Publication statusPublished - 2011
    EventInternational Workshop on Petri Nets and Software Engineering 2011 - Newcastle upon Tyne, United Kingdom
    Duration: 20 Jun 201121 Jun 2011
    Conference number: 32/11


    WorkshopInternational Workshop on Petri Nets and Software Engineering 2011
    Country/TerritoryUnited Kingdom
    CityNewcastle upon Tyne
    OtherA satellite event of Petri Nets 2011 and ACSD 2011
    Internet address
    SeriesCEUR Workshop Proceedings


    • Event coordination
    • Local and global behaviour modelling
    • ECNO nets
    • Code generation
    • Model-based Software Engineering


    Dive into the research topics of 'Modelling Local and Global Behaviour: Petri Nets and Event Coordination'. Together they form a unique fingerprint.

    Cite this