TinyOS is a widely used platform for the development of networked embedded systems offering a programming model targeting resource constrained devices. We present a software engineering approach where Coloured Petri Net (CPNs) models are used as a starting point for developing protocol software for the TinyOS platform. The approach consists of five refinement steps where a platform-independent CPN model is gradually transformed into a platform-specific model that enables automatic code generation. To evaluate our approach, we use it to obtain an implementation of the IETF RPL routing protocol for sensor networks.
Step 1: Component Architecture consists of annotating CPN submodules and substitution transitions corresponding to TinyOS components, and make explicit the interfaces used and provided by components.
Step 2: Resolving Interface Conflicts resolves interface conflicts allowing components to use multiple instances of an interface. This is done by annotating CPN arcs with information providing locally unique names.
ponents and interfaces by creating explicit submodules for command and events, and by refining colour sets to reflect the interface signatures. Step 4: Component Classification further refines the components by classifying them into four main types: timed, external, boot, and generic.
of the individual commands and events such that control flow and data
manipulation become explicit and organised into atomic statement blocks.
After the fifth refinement step has been performed, the CPN model includes
sufficient detail to be used as a basis for automated code generation.
The RPL Protocol and Code Generation. To evaluate our approach on
an industrial-sized example, we have conducted a case study based on the RPL
routing protocol [
Editor: Daniel Moldt Proceedings of the International Workshop on
Mod eling and B usiness E nvironments ModBE’13
http://ceur-ws.org/Vol-989
These are the proceedings of the International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013. It is a co-located event of Petri Nets 2013, the 34th international conference on Applications and Theory of Petri Nets and Concurrency.
More information about the workshop can be found at Business environments are a central application domain for modeling approaches. Basic paradigms of these approaches correspond to their central concepts, such as processes, objects, components, agents, services or organizations. Their inherent properties allow an adequate Business/IT-Alignment. Within the models and systems of this alignment several principle notions need to be incorporated, such as distribution, concurrency, correctness and adaptability. In this workshop modeling approaches will be discussed from various perspectives with several means.
While ModBE’13 (Modeling and Business Environments) will take place as a satellite event of Petri Nets 2013 other modeling techniques than Petri nets and their means are explicitly welcome. Furthermore, experts from the application domain will challenge the technical and conceptual solutions. ModBE’13 shall provide a forum for researchers from interested communities to investigate, experience, compare, contrast and discuss solutions for modeling in business environments. During the workshop a part of the available time is reserved for a group wise discussion of challenging questions. The program committee consists of:
Jan Mendling (Austria) Daniel Moldt (Germany) (Chair) Ambra Molesini (Italy) Berndt Müller (United Kingdom) Andreas Oberweis (Germany) Andrea Omicini (Italy) Sietse Overbeek (Germany) Alexei Sharpanskykh (The Netherlands) Christophe Sibertin-Blanc (France) Carla Simone (Italy) Ingo Timm (Germany) Ferucio Laurentiu Tiplea (Rumania) Adelinde Uhrmacher (Germany) Ulrich Ultes-Nitsche (Switzerland) Wamberto Vasconcelos (United Kingdom) Jan Martijn van der Werf (The Netherlands) Mathias Weske (Germany)
Manuel Wimmer (Austria) We received five high-quality contributions for which at least four reviews were made. In addition we received two posters. The program committee has accepted three of them for full presentation. Furthermore the committee accepted one papers as short presentations. Two more contributions were accepted as posters.
Furthermore, we would like to thank our colleagues in the local organization team at the University of Milano, Italy, for their support.
Without the enormous efforts of authors, reviewers, PC members and the organizational team this workshop wouldn’t provide such an interesting booklet.
Daniel Moldt
ModBE’13 Proceedings
Ernesto Damiani and Paolo Ceravolo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271
Yasir Imtiaz Khan and Matteo Risoldi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus . . . . . . . . 295
Jan Martijn van der Werf, Ronny Mans and Wil van der Aalst . . . . . . . . 313
Khodakaram Salimifard, Seyed Yaghoub Hosseini and Mohammad Sadegh Moradi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
Thomas Wagner and Lawrence Cabac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 353
Sofiane Bendoukha and Lawrence Cabac . . . . . . . . . . . . . . . . . . . . . . . . . . . . 355