Advertisement

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

  • Julia Padberg
  • Kathrin Hoffmann
  • Hartmut Ehrig
  • Tony Modica
  • Enrico Biermann
  • Claudia Ermel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4422)

Abstract

In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networks of mobile devices that communicate with each other via wireless links without relying on an underlying infrastructure, e.g. in emergency scenarios, where an effective coordination is crucial among team members, each of them equipped with hand-held devices.

Workflows in manets can be adequately modeled using a layered architecture, where the overall workflow, the team members’ activities and the mobility issues are separated into three different layers, namely the workflow layer, the mobility layer and the team layer. Dividing the aho net model into layers immediately rises the question of consistency. We suggest a formal notion of layer consistency requiring that the team layer is given by the mapping of the individual member’s activities to the gluing of the workflow and the mobility layer. The main results concern the maintenance of the layer consistency when changing the workflow layer, the mobility layer and the team layer independently.

References

  1. 1.
  2. 2.
    Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional Semantics of Open Petri Nets Based on Deterministic Processes. MSCS 15(1), 1–35 (2005)zbMATHMathSciNetGoogle Scholar
  3. 3.
    Baresi, L., Maurino, A., Modafferi, S.: Workflow partitioning in mobile information systems. In: Mobile Information Systems. IFIP International Federation for Information Processing, vol. 158, pp. 93–106. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Biermann, E., Modica, T., Hoffmann, K.: Categorical Foundation for Layer Consistency in AHO-Net Models Supporting Workflow Management in MANETs. Technical Report 2006/13, TU Berlin, Fak. IV (2006)Google Scholar
  5. 5.
    Bottoni, P., De Rosa, F., Hoffmann, K., Mecella, M.: Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks. MIS 2(1), 51–76 (2006)Google Scholar
  6. 6.
    De Rosa, F., Malizia, A., Mecella, M.: Disconnection Prediction in Mobile Ad hoc Networks for Supporting Cooperative Work. IEEE Pervasive Comp. 4(3), 62–70 (2005)CrossRefGoogle Scholar
  7. 7.
    Ehrig, H., Padberg, J.: Graph Grammars and Petri Net Transformations. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 496–536. Springer, Heidelberg (2004)Google Scholar
  8. 8.
    Hoffmann, K., Ehrig, H., Mossakowski, T.: High-Level Nets with Nets and Rules as Tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 268–288. Springer, Heidelberg (2005)Google Scholar
  9. 9.
    Kindler, E., Weber, M.: The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. Software Tools for Technology Transfer 3(4), 486–497 (2001)zbMATHGoogle Scholar
  10. 10.
    Maurino, A., Modafferi, S.: Partitioning Rules for Orchestrating Mobile Information Systems.. Personal and Ubiquitous Computing 9(5), 291–300 (2005)CrossRefGoogle Scholar
  11. 11.
    Padberg, J., Urbasek, M.: Rule-Based Refinement of Petri Nets: A Survey. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 161–196. Springer, Heidelberg (2003)Google Scholar
  12. 12.
    Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1: Foundations. World Scientific, Singapore (1997)zbMATHGoogle Scholar
  13. 13.
    van der Aalst, W.M.P., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. TCS 270(1-2), 125–203 (2002)zbMATHCrossRefGoogle Scholar
  14. 14.
    van der Aalst, W.M.P., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)Google Scholar
  15. 15.
    van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140–156. Springer, Heidelberg (2001)CrossRefGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Julia Padberg
    • 1
  • Kathrin Hoffmann
    • 1
  • Hartmut Ehrig
    • 1
  • Tony Modica
    • 1
  • Enrico Biermann
    • 1
  • Claudia Ermel
    • 1
  1. 1.Institute for Software Technology and Theoretical Computer Science, Technical University of BerlinGermany

Personalised recommendations