Dirk Fahland. Oclets - scenario-based modeling with Petri nets. In Giuliana Franceschinis and Karsten Wolf, editors, Proceedings of the 30th International Conference on Petri Nets and Other Models Of Concurrency, 22-26 May 2009, Volume 5606 of Lecture Notes in Computer Science, pages 223-242, Paris, France, June 2009. Springer, Heidelberg.

Authors

• Dirk Fahland¹⁾

Abstract

We present a novel, operational, formal model for scenario-based modeling with Petri nets. A scenario-based model describes the system behavior in terms of partial runs, called scenarios. This paradigm has been formalized in message sequence charts (MSCs) and live sequence charts (LSCs) which are in industrial and academic use. A particular application for scenarios are process models in disaster management where system behavior has to be adapted frequently, occasionally at run-time. An operational semantics of scenarios would allow to execute and adapt such systems on a formal basis.

In this paper, we present a class of Petri nets for specifying and modeling systems with scenarios and anti-scenarios. We provide an operational semantics allowing to iteratively construct partially ordered runs that satisfy a given specification. We prove the correctness of our results.

Keywords: scenarios, operational semantics, partial order semantics, Petri nets

Case Study

The concepts and examples that are presented in the paper can be modeled and simulated in our tool Greta. You can download the example files used in this paper.

Referenced Tools

• Greta (to model and simulate scenario-based processes)

Bibtex

¹⁾ Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, 10099 Berlin