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

(duration 10/06 - 09/08)

Workflows

  • P. Buhler and J. M. Vidal.
    Towards adaptive workflow enactment using mutiagent systems.
    Information Technology and Management Journal: Special Issue on Universal Enterprise Integration, 6:61-87, 2005.
  • P. Buhler, J. M. Vidal, and H. Verhagen.
    Adaptive Workflow = web services + agents.
    In Proc. of the Int. Conference on Web Services (ICWS '03), pages 131-137. CSREA Press, 2003.
  • F. Casati, S. Ceri, Pernici, and G. B. Pozzi.
    Workflow evolution.
    Data and Knowledge Engineering, 24(3):211-238, 1998.
  • J. Dehnert and W. M. P. van der Aalst.
    Bridging the gap between business models and workflow specifications.
    Int. J. Cooperative Inf. Syst., 13(3):289-332, 2004.
  • C. Ellis, K. Keddara, and G. Rozenberg.
    Dynamic Change Within Workflow Systems.
    In Proc. of the Conference on Organizational Computing Systems (COOCS'95), pages 10 - 21. ACM Press, 1995.
  • C.A. Ellis and G. J. Nutt.
    Modeling and Enactment of Workflow Systems.
    In M.A. Marsan, editor, Proc. of the Int. Conference on Application and Theory of Petri Nets (ATPN'93), volume 691of LNCS, pages 1-16. Springer, 1993.
  • S. Foster, D. Moore, M. Flester, and B. Nebesh.
    Control and Management in a Mobile Agent Workflow Architecture.
    In Proc. of the Int. Conference on Autonomous Agents (Agents'99), 1999.
  • Yanbo Han.
    Software Infrastructure for Configurable Workflow System - A Model-Driven Approach Based on Higher-Order Nets and CORBA.
    PhD thesis, Technical University Berlin, 1997.
  • Y. Han and A. Sheth.
    On Adaptive Workflow Modeling.
    In Proc. of the Int. Conference on Information System Analysis and Synthesis, pages 108-116. Springer, 1998.
  • S. Jablonski and C. Bussler, editors.
    Workflow Management: Modeling Concepts, Architecture, and Implementation.
    International Thomson Computer Press, 1996.
  • M. Kradolfer and A. Geppert.
    Dynamic workflow schema evolution based on workflow type versioning and workflow migration.
    In Proc. of the IFCIS Int. Conference on Cooperative Information Systems (CoopIS'99), pages 104-114. IEEE Computer Society, 1999.
  • P. Lawrence, editor.
    Workflow Handbook 1997, Workflow Management Coalition.
    John Wiley and Sons, 1997.
  • J. Liu and S. Singh.
    ATCP: TCP for Mobile Ad Hoc Networks.
    IEEE Journal on Selected Areas Communications, 90(7), 2001.
  • W. Su, S. J. Lee, and M. Gerla.
    Mobility Prediction and Routing in Ad hoc Wireless Networks.
    International Journal of Network Management, 11(1):3-30, 2001.
  • S. Sadiq, M. Reichert, and P. Dadam.
    Managing change and time in dynamic workflow processes.
    IJCIS, 9(1-2):93-116, 2000.
  • J. W. Shepherdson, S. G. Thompson, and B. R. Odgers.
    Cross Organisational Workflow Co-ordinated by Software Agents.
    In Ch. Bussler, P. W. P. J. Grefen, H. Ludwig, and M.-C. Shan, editors, Proc. of the Workshop on Cross-Organizational Workflow Management and Co-Ordination, volume 17 of CEUR Workshop Proceedings. CEUR-WS.org, 1999.
  • J. M. Vidal, P. Buhler, and C. Stahl.
    Multiagent Systems with Workflows.
    Internet Computing, 8:76-82, 2004.
  • W. M. P. van der Aalst.
    The Application of Petri Nets toWorkflow Management.
    The Journal of Circuits, Systems and Computer, 8(1):21-66, 1998.
  • W. M. P van der Aalst.
    How to handle dynamic change and capture management information? an approach based on generic workflow models.
    Comput. Syst. Sci. Eng., 16(5):295-318, 2001.
  • W. M. P. van der Aalst, , and K. Hee, editors.
    Workflow Management: Models, Methods, and Systems.
    MIT Press, 2004.
  • Workflow Management Coalition.
    http://www.wfmc.org.