Table of Contents Author Guidelines Submit a Manuscript
Mobile Information Systems
Volume 2, Issue 1, Pages 51-76

Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks

Paolo Bottoni,1 Fabio De Rosa,1 Kathrin Hoffmann,2 and Massimo Mecella1

1Universitàdi Roma "La Sapienza", Dipartimento di Informatica e Sistemistica, Rome, Italy
2Technische Universität Berlin, Institut für Softwaretechnik und Theoretische Informatik, Berlin, Germany

Received 13 June 2006; Accepted 13 June 2006

Copyright © 2006 Hindawi Publishing Corporation. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


In emergency scenarios we can obtain a more effective coordination among team members, each of them equipped with hand-held devices, through the use of workflow management software. Team members constitute a Mobile Ad-hoc NETwork (MANET), whose topology both influences and is influenced by the workflow. In this paper we propose an algebraic approach for modeling workflow progress as well as its modifications as required by topology transformations. The approach is based on Algebraic Higher-Order Nets and sees both workflows and topologies as tokens, allowing their concurrent modification.