Book Chapter10.1007/978-3-642-15898-8_14
Automatic structure-based code generation from coloured Petri nets: a proof of concept
Lars Michael Kristensen,Michael Westergaard +1 more
- 20 Sep 2010
- Vol. 6371, pp 215-230
20
TL;DR: Process-Partitioned CPNs (PP-CPNs) is introduced which is a subclass of CPN's equipped with an explicit separation of process control flow, message passing, and access to shared and local data.
read more
Abstract: Automatic code generation based on Coloured Petri Net (CPN) models is challenging because CPNs allow for the construction of abstract models that intermix control flow and data processing, making translation into conventional programming constructs difficult.We introduce Process-Partitioned CPNs (PP-CPNs) which is a subclass of CPNs equipped with an explicit separation of process control flow, message passing, and access to shared and local data. We show how PP-CPNs caters for a four phase structure-based automatic code generation process directed by the control flow of processes. The viability of our approach is demonstrated by applying it to automatically generate an Erlang implementation of the Dynamic MANET On-demand (DYMO) routing protocol specified by the Internet Engineering Task Force (IETF).
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
On the use of Pragmatics for Model-based Development of Protocol Software.
Kent Inge Fagerland Simonsen
- 01 Jan 2011
TL;DR: An approach for generating protocol software for different platforms based upon Coloured Petri Nets (CPN) is outlined by outlining an approach to annotate the CPN models with pragmatics which can be used in a code generator when mapping the constructs of theCPN model onto the target platform.
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation
Kent Inge Fagerland Simonsen,Lars Michael Kristensen +1 more
- 03 Jun 2014
TL;DR: An application of the approach as implemented in the PetriCode tool to obtain protocol software implementing the IETF WebSocket protocol demonstrates the scalability of this approach to real protocols.
Code Generation from Pragmatics Annotated Coloured Petri Nets
Kent Inge Fagerland Simonsen
- 01 Jan 2015
TL;DR: The practical application of CPNs for protocol validation is illustrated by focusing on selected aspects of four recent projects involving industrial-sized protocols, and how behavioural visualisation in combination with a CPN model provides an effective way of rapidly constructing an executable prototype of a protocol design.
3
A new method to deduce counterexamples in secure routing protocols based on strand space model
TL;DR: An attack analysis method is proposed to find all possible attacks that cause nonexistent routes to be accepted and take endairA—a classic secure routing protocol in ad hoc networks—as an example to verify the correctness and effectiveness of the new method.
2
Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets.
Michael Westergaard
- 01 Jan 2011
TL;DR: An approach for modeling parallel algorithms and programs, i.e., algorithms and Programs where processes communicate via shared memory, is described, supporting extracting a model from an abstract description and generation of correct implementation code.
References
•Book
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Claude Girault,Rüdiger Valk +1 more
- 08 Jan 2013
TL;DR: In this article, the main phases in the life cycle of design and implementation of a system are discussed in detail including practical issues, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
491
•Book
On the Move to Meaningful Internet Systems 2005: Coopis, DOA, and Odbase
Robert Meersman,Zahir Tari +1 more
- 01 Jan 2008
TL;DR: The role of Foundational Ontologies in Manufacturing Domain Applications and Intellectual Property Rights Management using a Semantic Web Information System are discussed.
374
•Book
Petri nets for systems engineering
Claude Girault,Rüdiger Valk +1 more
- 01 Jan 2002
TL;DR: In this book abstraction is used to create larger nets from smaller ones, and this kind of abstraction will be represented graphically as shown in Figure 2.13c.
310
•Journal Article
On the move to meaningful Internet systems 2004 : CoopIS, DOA, and ODBASE : OTM confederated international conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004 : proceedings (part II)
TL;DR: Cooperative Information Systems (CoopIS) 2004 International Conference (International Conference on Cooperative Information Systems) PC Co-chairs' Message- Keynote- Business Process Optimization- Workflow/Process/Web Services, I- Discovering Workflow Transactional behavior from Event-based Log- A Flexible Mediation Process for Large Distributed Information Systems- Exception Handling Through a Workflow- WorkFlow/Process, Web Services, II- Flexible and Composite Schema Matching Algorithm- Analysis, Transformation, and Improvements of ebXML Choreographies based on Work
309