Copenhagen Programming Language Seminar

Formal Modeling and Analysis of Flexible Workflows

in Mobile Ad-hoc Networks

Julia Padberg
Technische Universität Berlin

Thursday 13 March 2008 10:00-11:00
ITU, Rued Langgaards Vej 7, Auditorium 2A.18


The research of the project “Formal modeling and analysis of flexible processes in mobile ad-hoc networks” which is funded by the German Research Council, is presented in this talk. Mobile ad-hoc networks consist of mobile nodes which communicate with each other inde-pendent of a stable infrastructure during the constant change of the topology of the network, depending on the current position of the nodes and of their availability. This directly influ-ences the workflows that are enacted at the application layer. These are interrupted for net-work specific reasons, and hence need to be changed rapidly and unpredictably. The central topic of both the talk and the project is a formal technique for modeling and ana-lyzing such workflows. Reconfigurable Petri nets present such a technique that on the one hand enables the modeling of flexible workflows in mobile ad-hoc networks and on the other hand supports changes of the network topology and the transformation of workflows. These reconfigurable nets are Petri nets which have initial markings and additionally a set of rules for the modification of the net during runtime in order to adapt the net to new requirements. Analysis of reconfigurable Petri nets concerns the firing behavior, the transformation behavior or both. One important concurrency issue is to analyze the conditions for executing net trans-formations and token firing in arbitrary order. The coordination of workflow execution and adaptation is modeled on the basis of algebraic higher-order nets. These are high-level Petri nets with reconfigurable nets as tokens, but cor-responding results can be merely sketched here. Subsequently, case studies and some proto-typical tool support are presented and discussed with respect to practical applications. The talk will be concluded with a short elucidation of prospective research areas.

Scientific host: Lars Birkedal. Administrative host: Annette Enggaard. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org