Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Oclets - a formal approach to adaptive systems using scenario-based concepts – GRK-Wiki

Oclets - a formal approach to adaptive systems using scenario-based concepts

Aus GRK-Wiki

Wechseln zu: Navigation, Suche


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

Author

Abstract

Usually, a component in a distributed system has assumptions about the remaining components of the system. A change in one component might require to change other components as well. It may happen that the change has to be performed in the running system. In this paper, we propose a formal model for systems that change their behavior at run-time: An adaptive system is denoted as a set of scenarios using a Petri net syntax. Our operational model provides an adaptation operator that synthesizes and adapts the system behavior as a Petri net branching-process at run-time based on the given scenarios. We show the feasibility of our approach by the help of an example.

Downloads

BibTeX

@TECHREPORT{Fahland_2008_oclets,
 author    = {Fahland, Dirk},
 title     = {Oclets - a formal approach to adaptive systems using scenario-based concepts},
 institution = {Humboldt-Universit\"{a}t zu Berlin},
 year      = {2008},
 type      = {Informatik-Berichte},
 number    = {223},
 pdf       = {http://www.informatik.hu-berlin.de/~fahland/docs/fahland08_oclets_tr_223.pdf},
 keywords = {Adaptive/Flexible Workflows, Szenario-basierte Modelle, Petrinetze}
}
Persönliche Werkzeuge
Sprache