Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
A Formal Approach to Adaptive Processes using Scenario-based Concepts – GRK-Wiki

A Formal Approach to Adaptive Processes using Scenario-based Concepts

Aus GRK-Wiki

Wechseln zu: Navigation, Suche


  • accepted for and presented at the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), satellite event of the 8th International Conference on Application and Theory of Petri Nets and other Models of Concurrency (ATPN 2007), Siedlce, Poland

Author

Abstract

The problem and need for adapting business processes and service behavior to cope with changing circumstances is identified well. Standard models for business processes still rely on a fixed process logic, the change of which is rather hard to achieve. Ad-hoc changes to a standard model are usually considered too `dangerous' as they are performed in not well-defined manner. Other models for adaptive processes deviate to some extent from established business process models. This deviation comes at the price of limited understandability and loss in analysis capabilities.

We propose a model for adaptive processes based on Petri nets which have successfully been applied in modeling and analyzing business process and web services. Our operator to adapt the behavior of such models is formalized by the help of scenario-based concepts known from live-sequence charts in purely mathematical terms. This combination of concepts allows to write down the result of the adaptation rather than how adaptation shall be performed.

Downloads

  • slides of the presentation Adaptive Processes in Disaster Management .pdf
  • paper .pdf

BibTeX

@INPROCEEDINGS{Fahland2007_fabpws,
 author = {Dirk Fahland},
 title = {A Formal Approach to Adaptive Processes using Scenario-based Concepts.},
 booktitle = {Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07)},
 year = {2007},
 editor = {Kees {van} Hee and Wolfgang Reisig and Karsten Wolf},
 pages = {71--85},
 address = {Siedlce, Poland},
 month = {jun},
 publisher = {University of Podlasie}
}
Persönliche Werkzeuge
Sprache