Formal modeling and analysis of flexible processes in mobile ad-hoc networks

(duration 10/06 - 09/08)

Contents
People
Contact
Results
Literature
MANETs
Workflows
Graph and Net transformation
Petri Nets
Petri Net Processes

MANETs

  • A. Agostini and G. DeMichelis.
    Improving Flexibility of Workflow Management Systems.
    In W. M. P. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management, Models, Techniques, and Empirical Studies (BPM'00), volume 1806 of LNCS, pages 218-234. Springer, 2000.
  • D. P. Agrawal and Q. A. Zeng.
    Introduction to Wireless and Mobile Systems.
    Thomson Brooks/Cole, 2003.
  • P. Bottoni, F. De Rosa, K. Hoffmann, and M. Mecella.
    Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks.
    Mobile Information Systems, 2(1):51-76, 2006. accepted.
  • T. Breyer, M. Klein, P. Obreiter, and B. König-Ries.
    Activity-Based User Modeling in Service-Oriented Ad hoc Networks.
    In R. Battiti, M. Conti, and R. Lo Cigno, editors, Proc. of the Working Conference on Wireless On-demand Network Systems (WONS'04), volume 2928 of LNCS, pages 43-56. Springer, 2004.
  • T. Camp, J. Boleng, and V. Davis.
    A survey of mobility models for ad hoc network research.
    Wireless Commun. Mobile Comput. (WCMC), Special Issue on Mobile Ad Hoc Networking: Research, Trends and Applications, 2(5):483-502, 2002.
  • F. De Rosa, V. Di Martino, L. Paglione, and M. Mecella.
    Mobile Adaptive Information Systems on MANET: What We Need as Basic Layer?
    In Proc. of the IEEE Workshop on Multichannel and Mobile Information Systems (MMIS'03), 2003.
  • X. Hong, M. Gerla, G. Pei, and C.-C. Chiang.
    A group mobility model for ad hoc wireless networks.
    In Proc. of ACM Int. Workshop on modeling, analysis and simulation of wireless and mobile systems (MSWIM'99), pages 53-60, 1999.
  • J. Kong, X. Hong, Y. Yi, J. S. Park, J. Liu, and M. Gerla.
    A Secure Ad-hoc Routing Approach using Localized Self-healing Communities.
    In P. R. Kumar, A. T. Campbell, and R. Wattenhofer, editors, Proc. of the ACM Int. Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc'05), pages 254-265. ACM, 2005.
  • J. Korhonen, L. Pajunen, and J. Puustjärvi.
    Automatic Composition of Web Service Workflows Using a Semantic Agent.
    In Proc. of the Int. Conference on Web Intelligence (WI 2003), pages 566-569. IEEE Computer Society, 2003.
  • M. Mecella, T. Catarci, M. Angelaccio, A. Buttarazzi, A. Krek, and S. Dustdar.
    WORKPAD: an Adaptive Peer-to-Peer Software Infrastructure for Supporting Collaborative Work of Human Operators in Emergency/Disaster Scenarios.
    In Proc. of CTS 2006 - Special Sesseion on Mobile Collaborative Work, 2006. to appear.
  • T. Salonidis and L. Tassiulas.
    Distributed Dynamic Scheduling For End-to-end Rate Guarantees In Wireless Ad Hoc Networks.
    In P. R. Kumar, A. T. Campbell, and R. Wattenhofer, editors, Proc. of the ACM Int. Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc'05), 2005.
  • D. S. Tan, S. Zhou, J. M. Ho, J. S. Mehta, and H. Tanabe.
    Design and evaluation of an individually simulated mobility model in wireless ad hoc networks.
    In Proc. of the Communication Networks and Distributed Systems Modeling and Simulation Conference, 2002.