Modelling Local and Global Behaviour: Petri Nets and Event Coordination

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

View graph of relations

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
Pages42-56
StatePublished

Conference

ConferenceInternational Workshop on Petri Nets and Software Engineering (PNSE 2012)
Number32
CountryUnited Kingdom
CityNewcastle upon Tyne
Period20/06/1121/06/11
Internet addresshttp://www.informatik.uni-hamburg.de/TGI/events/pnse11/
NameCEUR Workshop Proceedings
Number723
ISSN (Print)1613-0073

Keywords

  • Event coordination, Local and global behaviour modelling, ECNO nets, Code generation, Model-based Software Engineering
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6293356