2009 | OriginalPaper | Buchkapitel
Oclets – Scenario-Based Modeling with Petri Nets
verfasst von : Dirk Fahland
Erschienen in: Applications and Theory of Petri Nets
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.