Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Oclets - Scenario-Based Modeling with Petri Nets – GRK-Wiki

Oclets - Scenario-Based Modeling with Petri Nets

Aus GRK-Wiki

Wechseln zu: Navigation, Suche

Technical Report of the Humboldt-Universität zu Berlin, Institut für Informatik, Informatik-Bericht number 223.



Scenario-based specifications are used for modeling highly-complex, distributed systems in terms of partial runs (scenarios) the system shall have. But it is difficult to derive an implementing, operational model from a given set of scenarios, especially if concepts like anti-scenarios which must not occur are used. In this paper, we present a novel model for scenario-based specifications with Petri nets including anti-scenarios; we provide an operational semantics for our model.



   Author = {Dirk Fahland},
   Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008},
   Editor = {Niels Lohmann and Karsten Wolf},
   Month = sep,
   Pages = {1-6},
   Pdf = {http://CEUR-WS.org/Vol-380/paper01.pdf},
   Publisher = {CEUR-WS.org},
   Series = {CEUR Workshop Proceedings},
   Title = {Oclets -- Scenario-Based Modeling with {Petri} Nets},
   Volume = {380},
   Year = {2008}}
Persönliche Werkzeuge