Defining Multi-Party Compromises using Unfoldings of Workflow Nets

• Autorzy: Köhler-Bußmeier, M.
• Języki publikacji: EN

Abstrakty

EN

In this paper we develop a negotiation and contracting framework for inter-organisational workflows. The overall aim is to compute a group-plan from a given set of individual plans, where plans are formulated in the context of a given inter-organisational workflow between the agents. A general problem is that the individual plans are not consistent, i.e. the intersection of all individual plans does not contain a complete process, which leads from the initial state of the workflow to its final state. Therefore, negotiation is needed to obtain a compromise. In this paper we develop a generic negotiation protocol and use branching processes as the elementary data structure. The generic protocol is adapted within the specifics of our SONAR-framework. SONAR is a specification framework that defines the organisational structure of multi-agent systems. SONAR has a formal notion of teams and team-formation which is used here to instantiate the strategy parameters.

Słowa kluczowe

EN

branching processes; inter-organisational workflow; negotiation protocol; partial plans; Petri net; SONAR; teamwork; unfoldings

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 128, nr 1-2
• Strony: 97--111
• Opis fizyczny: Bibliogr. 21 poz., rys.

Twórcy

autor

Köhler-Bußmeier, M.

• University of Hamburg, Department for Informatics, Vogt-Kölln-Straße 30, D-22527 Hamburg,

Bibliografia

• [1] van der Aalst, W. M. P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes, The Computer Journal, 53(1), 2010, 90-106.
• [2] Aalst, W. v. d.: Verification of Workflow Nets, Application and theory of Petri nets (P. Azeme, G. Balbo, Eds.), vol. 1248ofLNCS, Springer-Verlag, 1997.
• [3] Aalst, W. v. d.: Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets, Systems Analysis - Modelling - Simulation, 34(3), 1999, 335-367.
• [4] Best, E., Fernández, C.: Nonsequential processes: a Petri netview, Springer-Verlag, 1988.
• [5] Cabac, L., Dörges, T., Rölke, H.: A Monitoring Toolset for Petri Net-based Agent-oriented Software Engineering, Application and Theory of Petri Nets (2008) (R. Valk, K. M. van Hee, Eds.), vol. 5062 of LNCS, Springer-Verlag, 2008.
• [6] Dignum, V., Ed.: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, IGI Global, Information Science Reference, 2009.
• [7] Durfee, E. H.: Distributed Problem Solving and Planning, in: Weiß [21], 425-458.
• [8] Engelfriet, J.: Branching processes of Petri nets, Acta Informatica, 28, 1991, 575-591.
• [9] Esparza, J., Heljanko, K.: Unfoldings - A Partial-Order Approach to Model Checking, EATCS Monographs in Theoretical Computer Science, Springer-Verlag, 2008.
• [10] Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets, Information and Control, 57, 1983, 125147.
• [11] Grahlmann, B., Best, E.: PEP - More than a Petri Net Tool, TACAS (T. Margaria, B. Steffen, Eds.), 1055, Springer, 1996, ISBN 3-540-61042-1.
• [12] Hickmott, S. L., Rintanen, J., Thiébaux, S., White, L. B.: Planning via Petri Net Unfolding, Joint Conference on Artificial Intelligence (M. M. Veloso, Ed.), 2007.
• [13] Köhler, M.: A Formal Model of Multi-Agent Organisations, Fundamenta Informaticae, 79(3-4), 2007, 415 - 430.
• [14] Köhler-Bußmeier, M.: Hornets: Nets within Nets combined with Net Algebra, Application and Theory of Petri Nets (2009) (K. Wolf, G. Franceschinis, Eds.), vol. 5606 of LNCS, Springer-Verlag, 2009.
• [15] Köhler-Bußmeier, M., Wester-Ebbinghaus, M., Moldt, D.: A Formal Model for Organisational Structures behind Process-Aware Information Systems, Transactions on Petri Nets and Other Models of Concurrency. Special Issue on Concurrency in Process-Aware Information Systems, 5460, 2009, 98-114.
• [16] Köhler-Bußmeier, M., Wester-Ebbinghaus, M., Moldt, D.: Generating Executable MAS-Prototypes from SONAR Specifications, Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, COIN’10 (M. De Vos, N. Fornara, J. V Pitt, G. A. Vouros, Eds.), 6541,2010.
• [17] Kummer, O., Wienberg, F., Duvigneau,M. etal.: An Extensible Editor and Simulation Engine for Petri Nets: Renew, International Conference on Application and Theory of Petri Nets (2004) (J. Cortadella, W. Reisig, Eds.), vol. 3099 of LNCS, Springer-Verlag, 2004.
• [18] Lesser, V, Decker, K. et al. Neiman, D., Podorozhny, R., NagendraPrasad, M., Raja, A., Vincent, R., Xuan, P., Zhang, X.: Evolution of the GPGP/TAEMS Domain-Independent Coordination Framework, Autonomous Agents and Multi-Agent Systems, 9(1), July 2004, 87-143.
• [19] Reisig, W., Rozenberg, G., Eds.: Lectures on Petri Nets I: Basic Models, vol. 1491 of LNCS, Springer-Verlag, 1998.
• [20] Smith, R. G.: The contract net: A formalism for the control of distributed problem solving, Joint Conference on Artificial Intelligence (IJCAI-77), 1977.
• [21] Weiß, G., Ed.: Multiagent systems: A modern approach to Distributed Artificial Intelligence, MIT Press, 1999.