Czasopismo
2013
|
Vol. 128, nr 1-2
|
97--111
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
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.
Czasopismo
Rocznik
Tom
Strony
97--111
Opis fizyczny
Bibliogr. 21 poz., rys.
Twórcy
autor
- University of Hamburg, Department for Informatics, Vogt-Kölln-Straße 30, D-22527 Hamburg, koehler@informatik.uni-hamburg.de
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.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-bf6c7bbb-c2d0-4db4-8589-ed41577ff8ae