Applying algebraic approaches for modeling workflows and their transformations in mobile networks

  • Authors:

  • Paolo Bottoni;Fabio De Rosa;Kathrin Hoffmann;Massimo Mecella

  • Affiliations:

  • Università/di Roma "La Sapienza", Dipartimento di Informatica e Sistemistica, Rome, Italy. E-mail: {bottoni, derosa}@di.uniroma1.it/ mecella@dis.uniroma1.it;Università/di Roma "La Sapienza", Dipartimento di Informatica e Sistemistica, Rome, Italy. E-mail: {bottoni, derosa}@di.uniroma1.it/ mecella@dis.uniroma1.it;Technische Universitä/t Berlin, Institut fü/r Softwaretechnik und Theoretische Informatik, Berlin, Germany. E-mail: hoffmann@cs.tu-berlin.de;Università/di Roma "La Sapienza", Dipartimento di Informatica e Sistemistica, Rome, Italy. E-mail: {bottoni, derosa}@di.uniroma1.it/ mecella@dis.uniroma1.it

  • Venue:
  • Mobile Information Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

Visualization

Abstract

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.