Towards agent-based modeling and verification of collaborative business processes: An approach centered on interactions and behaviors

International Journal of Cooperative Information Systems

Volumn 18, Issue 3-4, 2009, Pages 423-479

  Stuit, Marco ^a   Szirbik, Nick B ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Agent behaviors; Agent interaction structuring; Business process modeling; Collaborative business processes; Hierarchical colored Petri nets; Process verification

Indexed keywords

EID: 74549116663     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0218843009002063     Document Type: Article

References (103)

1. S. A. White, Introduction to BPMN, BPTrends White Papers & Technical Briefs (2004), http://www.bptrends.com/publicationfiles/07-04%20WP%20Intro%20to% 20BPMN%20-%20White.pdf.
2. M. Dumas and A. H. M. ter Hofstede, UML activity diagrams as a workflow specification language, in "UML" 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools, eds. M. Gogolla and C. Kobryn (Springer, Berlin, 2001), pp. 76-90.
3. W. Scheer, O. Thomas and O. Adam, Process modeling using event-driven process chains, in Process-Aware Information Systems: Bridging People and Software through Process Technology, eds. M.Dumas,W. M. P. van der Aalst andA. H. M. terHofstede (John Wiley & Sons, Hoboken, New Jersey, 2005), pp. 119-145.
4. R. J. Mayer, M. K. Painter and P. S. deWitte, IDEF family of methods for concurrent engineering and business reengineering applications, Technical Report (Knowledge Based Systems, Inc., 1992), http://www.idef.com/pdf/IDEFFAMI.pdf.
5. J. Desel, Process modeling using petri nets, in Process-Aware Information Systems: Bridging People and Software through Process Technology, eds.M. Dumas, W.M. P. van der Aalst and A. H. M. ter Hofstede (John Wiley & Sons, Hoboken, New Jersey, 2005), pp. 147-177.
6. M. Pesic and W. M. P. van der Aalst, A declarative approach for flexible business processes management, in Business Process Management Workshops, eds. J. Eder and S. Dustdar (Springer, Berlin, 2006), pp. 169-180.
7. N. Melao and M. Pidd, A conceptual framework for understanding business processes and business process modeling, Information Systems J. 10(2) (2000) 105-129.
8. M. De Backer, M. Snoeck, G. Monsieur, W. Lemahieu and G. Dedene, A scenariobased verification technique to assess the compatibility of collaborative business processes, Data & Knowledge Engineering 68(6) (2009) 531-551.
9. K. Ryu and E. Yücesan, CPM: A collaborative process modelling for cooperative manufacturers, Advanced Engineering Informatics 21(2) (2007) 231-239.
10. B. J. Hommes, The evaluation of business process modeling techniques, PhD Thesis (Delft University of Technology, 2004), http://repository.tudelft.nl/ file/82937/ 044821.
11. K. Harrison-Broninski, Human Interactions: The Heart and Soul of Business Process Management (Meghan-Kiffer Press, Tampa, Florida, USA, 2005).
12. W. Binder, I. Constantinescu, B. Faltings, K. Haller and C. Türker, A multiagent system for the reliable execution of automatically composed ad-hoc processes, Autonomous Agents and Multi-Agent Systems 12(2) (2006) 219-237.
13. P. A. Buhler and J. M. Vidal, Towards adaptive workflow enactment using multiagent systems, Information Technology and Management 6(1) (2005) 61-87.
14. L. Ehrler, M. Fleurke, M. Purvis and B. T. R. Savarimuthu, Agent-based workflow management systems (WfMSs): JBees - a distributed and adaptive WfMS with monitoring and controlling capabilities, J. of Information Systems and E-Business Management 4(1) (2006) 5-23.
15. N. R. Jennings, P. Faratin, T. J. Norman, P. O'Brien and B. Odgers, Autonomous agents for business process management, Int. J. of Applied AI 14(2) (2000) 145-189.
16. Y. Verginadis and G. Mentzas, Agents and workflow engines for inter-organizational workflows in e-government cases, Business Process Management J. 14(2) (2008) 188-203.
17. Y. Yan, Z. Maamar and W. Shen, Integration of workflow and agent technology for business process management, in Proc. of The Sixth Int. Conf. on Computer Supported Cooperative Work in Design (IEEE Computer Society Press, Los Alamitos, 2001), pp. 420-426.
18. I. Partsakoulakis and G. Vouros, Agent-enhanced collaborative activity in organized settings, Int. J. of Cooperative Information Systems 15(1) (2006) 119-154.
19. K. Taveter and G. Wagner, A multi-perspective methodology for modelling interenterprise business processes, in Conceptual Modeling for New Information Systems Technologies, eds. H. Arisawa and Y. Kambayashi (Springer, Berlin, 2002), pp. 403- 416.
20. S. A. DeLoach, M. F. Wood and C. H. Sparkman, Multiagent systems engineering, The Int. J. of Software Engineering and Knowledge Engineering 11(3) (2001) 231-258.
21. C. Cheong and M. Winikoff, Improving flexibility and robustness in agent interactions: Extending Prometheus with Hermes, in Software Engineering for Multi-Agent Systems IV, eds. A. Garcia, R. Choren, C. Lucena, P. Giorgini, T. Holvoet and A. Romanovsky (Springer, Berlin, 2006), pp. 189-206.
22. L. Padgham and M. Winikoff, Prometheus: A methodology for developing intelligent agents, in Agent-Oriented Software Engineering III, eds. F. Giunchiglia, J. Odell and G. Weiss (Springer, Berlin, 2003), pp. 174-185.
23. P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia and L. Mylopoulos, Tropos: An agent-oriented software development methodology, Autonomous Agents and Multi- Agent Systems 8(3) (2004) 203-236.
24. M. J. Wooldridge, N. R. Jennings and D. Kinny, The GAIA Methodology for agentoriented analysis and design, Autonomous Agents and Multi-Agent Systems 3(3) (2000) 285-312.
25. G. Caire, W. Coulier, F. Garijo, J. Gomez, G. J. Pavon, F. Leal, P. Chainho, P. Kearney, J. Stark, R. Evans and P. Massonet, Agent oriented analysis using Message/ UML, in Agent-Oriented Software Engineering II, eds. M. J. Wooldridge, G. Weiss and P. Ciancarini (Springer, Berlin, 2002), pp. 119-135.
26. G. Caire, F. Leal, P. Chainho, R. Evans, F. G. Jorge, G. J. Pavon, P. Kearney, J. Stark and P. Massonet, MESSAGE: Methodology for agent-oriented software engineering, Technical Report (EURESCOM, 2001), http://www.eurescom.de/ ?pubdeliverables/ P900-series/P907/TI1/p907ti1.pdf.
27. B. Bauer, J. P. Müller and J. Odell, Agent UML: A formalism for specifying multiagent software systems, The Int. J. of Software Engineering and Knowledge Engineering 11(3) (2001) 207-230.
28. J. Odell, H. Van Dyke Parunak and B. Bauer, Extending UML for agents, in Proc. of the Agent-Oriented Information Systems Workshop at the 17th National Conf. on Artificial Intelligence (AAAI Press, Austin, Texas, 2000), pp. 3-17.
29. G. Wagner, The agent-object-relationship metamodel: Towards a unified view of state and behavior, Information Systems 28(5) (2003) 475-504.
30. R. Cervenka, I. Trenansḱy and M. Calisti, Modeling social aspects of multi-agent systems: The AML approach, in Agent-Oriented Software Engineering VI, eds. J. P. Müller and F. Zambonelli (Springer, Berlin, 2006), pp. 28-39.
31. R. Cervenka, I. Trenansḱy, M. Calisti and D. Greenwood, AML: Agent modeling language toward industry-grade agent-based modeling, in Agent-Oriented Software Engineering V, eds. J. Odell, P. Giorgini and J. P. Müller (Springer, Berlin, 2005), pp. 31-46. (Pubitemid 41231423)
32. I. Trencansky and R. Cervenka, Agent Modeling Language (AML): A comprehensive approach to modeling MAS, Informatica 29(4) (2005) 391-400. (Pubitemid 43037263)
33. M. Stuit and N. B. Szirbik, Modelling and executing complex and dynamic business processes by reification of agent interactions, in Engineering Societies in the Agents World VII, eds. G. O'Hare, A. Ricci, M. O'Grady and O. Dikenelli (Springer, Berlin, 2007), pp. 106-125.
34. M. T.Wynn, H.M.W. Verbeek,W. M. P. van der Aalst, A. H. M. ter Hofstede and D. Edmond, Business Process Verification - Finally a Reality!, Business Process Management J. 15(1) (2009) 74-92.
35. H. S. Nwana, L. Lee and N. R. Jennings, Co-ordination in software agent systems, British Telecom Technology J. 14(4) (1996) 79-88.
36. L. M. Camarinha-Matos and H. Afsarmanesh, Collaborative networks: A new scientific discipline, J. of Intelligent Manufacturing 16(4/5) (2005) 439-452.
37. M. Stuit, N. B. Szirbik and C. de Snoo, Interaction beliefs: A way to understand emergent organizational behaviour, in Proc. of the Ninth Int. Conf. on Enterprise Information Systems (INSTICC, Funchal, Madeira, Portugal, 2007), pp. 241-248.
38. Workflow Management Coalition, Workflow Management Coalition: Terminology & Glossary, Technical Report (WfMC, 1999), http://www.wfmc.org/standards/ docs/ TC-1011 term glossary v3.pdf.
39. M. R. Genesereth and S. P. Ketchpel, Software agents, Communications of the ACM 37(7) (1994) 48-53.
40. K. M. Carley, Computational organization science: A new frontier, in Proc. of the National Academy of Sciences 99(3) (2002) 7257-7262.
41. G. Genilloud and A. Wegmann, A foundation for the concept of role in object modeling, in Proc. of the Fourth Int. Conf. on Enterprise Distributed Object Computing Conf., IEEE Computer Society, Los Alamitos (2000), pp. 76-85.
42. F. Zambonelli, N. R. Jennings and M. J. Wooldridge, Organizational abstractions for the analysis and design of multi-agent systems, in Agent-Oriented Software Engineering, eds. P. Ciancarini and M. J. Wooldridge (Springer, Berlin, 2001), pp. 407-422.
43. J. Ferber and O. Gutknecht, A meta-model for the analysis and design of organizations in multi-agent systems, in Proc. of the 3rd Int. Conf. on Multi Agent Systems, IEEE Computer Society Press, Los Alamitos (1998), pp. 128-135.
44. J. Odell, H. Van Dyke Parunak and M. Fleischer, Modeling agent organizations using roles, Software and Systems Modeling 2(2) (2003) 76-81.
45. F. Steimann, Role = interface: A merger of concepts, J. of Object-Oriented Programming 14(4) (2001) 23-32.
46. F. Steimann, A radical revision of UML's role concept, in "UML" 2000 - The Unified Modeling Language, eds. A. Evans, S. Kent and B. Selic (Springer, Berlin, 2000), pp. 194-209.
47. F. Steimann, On the representation of roles in object-oriented and conceptual modeling, Data & Knowledge Engineering 35(1) (2000) 83-106.
48. M. Stuit, N. B. Szirbik and J. C. Wortmann, Building agent-based simulations using structural and process mental models, in Proc. of the Ninth Int. Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE Computer Society, Los Alamitos, CA, USA (2007), pp. 267-274.
49. G. G. Meyer and N. B. Szirbik, Anticipatory alignment mechanisms for behavioral learning in multi agent systems, in Anticipatory Behavior in Adaptive Learning Systems, eds. M. V. Butz, O. Sigaud, G. Pezzulo and G. Baldassarre (Springer, Berlin, 2007), pp. 325-344.
50. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski and A. P. Barros, Workflow patterns, Distributed and Parallel Databases 14(1) (2003) 5-51.
51. R. Eshuis and P. Grefen, Constructing customized process views, Data & Knowledge Engineering 64(2) (2008) 419-438.
52. M. Adams, A. H. M. ter Hofstede, D. Edmond and W. M. P. van der Aalst, Worklets: A service-oriented implementation of dynamic flexibility in workflows, in On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, eds. R. Meersman and Z. Tari (Springer, Berlin, 2006), pp. 291-308.
53. Business Rules Group, Defining business rules - What are they really?, Technical Report (Business Rules Group, 1995), http://www.businessrulesgroup. org/ first paper/BRG-whatisBR 3ed.pdf.
54. A. Ricci, A. Omicini and E. Denti, Virtual enterprises and workflow management as agent coordination issues, Int. J. of Cooperative Information Systems 11(3/4) (2002) 355-379.
55. G. G. Meyer and N. B. Szirbik, Agent behavior alignment: A mechanism to overcome problems in agent interactions during runtime, in Cooperative Information Agents XI, eds. M. Klusch, K. Hindriks, M. P. Papazoglou and L. Sterling (Springer, Berlin, 2007), pp. 270-284.
56. S. Bussmann, N. R. Jennings and M. J. Wooldridge, On the identification of agents in the design of production control systems, in Agent-Oriented Software Engineering, eds. P. Ciancarini and M. J. Wooldridge (Springer, Berlin, 2001), pp. 423-441.
57. K. Jensen, L. M. Kristensen and L. Wells, Coloured Petri nets and CPN Tools for modelling and validation of concurrent systems, Int. J. on Software Tools for Technology Transfer 9(3) (2007) 213-254.
58. W. M. P. van der Aalst, Workflow verification: Finding control-flow errors using Petri-net-based techniques, in Business Process Management, eds. W.M. P. van der Aalst, J. Desel and A. Oberweis (Springer, Berlin, 2000), pp. 161-183.
59. W. M. P. van der Aalst, Verification of workflow nets, in Application and Theory of Petri Nets 1997, eds. P. Azema and G. Balbo (Springer, Berlin, 1997), pp. 407-426.
60. K. Jensen, Hierarchical coloured Petri nets, in Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol.1 (Springer, Berlin, 1997), pp. 89-119.
61. K. Jensen, An introduction to the theoretical aspects of coloured Petri nets, in A Decade of Concurrency Reflections and Perspectives, eds. J. W. de Bakker,W. P. de Roever and G. Rozenberg (Springer, Berlin, 1994), pp. 230-272.
62. F. Gottschalk, W. M. P. van der Aalst, M. H. Jansen-Vullers and H. M. W. Verbeek, Protos2CPN: Using colored Petri nets for configuring and testing business processes, in Proc. of the Seventh Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (University of Aarhus, Aarhus, 2006), pp. 137-156.
63. W. M. P. van der Aalst and K. Van Hee, Workflow Management: Models, Methods and Systems (The MIT Press, Cambridge MA/London England, 2002).
64. R. Eshuis, Semantics and verification of UML activity diagrams for workflow modeling, PhD Thesis (University of Twente, 2002), http://www.ctit. utwente.nl/ library/phd/eshuis.pdf.
65. L. Cabac and D. Moldt, Formal semantics for AUML agent interaction protocol diagrams, in Agent-Oriented Software Engineering V, eds. J. Odell, P. Giorgini and J. P. Müller (Springer, Berlin, 2005), pp. 47-61.
66. R. M. Dijkman, M. Dumas and C. Ouyang, Semantics and analysis of business processes in BPMN, Information and Software Technology 50(12) (2008) 1281-1294.
67. G. B. Roest and N. B. Szirbik, Escape and intervention in multi-agent systems, AI & Society 24(1) (2009) 25-34.
68. F. Bellifemine, G. Caire, A. Poggi and G. Rimassa, JADE: A white paper, EXP Magazine, Telecom Italia 3(3) (2003) 6-19, http://jade.tilab.com/papers/ 2003/White PaperJADEEXP.pdf.
69. M. Stuit and G. G. Meyer, Agent interaction modeling based on product-centric data: A formal method to improve enterprise interoperability, in Agent-Based Technologies and Applications for Enterprise Interoperability, eds.K. Fischer, J. P. Müller, J. Odell and A. J. Berre (Springer, Berlin, 2009), pp. 197-219.
70. J. Odell, H. Van Dyke Parunak and B. Bauer, Representing agent interaction protocols in UML, in Agent-Oriented Software Engineering, eds. P. Ciancarini and M. J. Wooldridge (Springer, Berlin, 2001), pp. 201-218.
71. A. Sturm, D. Dori and O. Shehory, Single-model method for specifying multi-agent systems, in Proc. of the Second Int. Joint Conference on Autonomous Agents and Multiagent Systems (ACM, New York, 2003), pp. 121-128.
72. C. Hahn, C. Madrigal-Mora and K. A. Fischer, A platform-independent metamodel for multiagent systems, Autonomous Agents and Multi-Agent Systems 18(2) (2008) 239-266.
73. B. T. R. Savarithmu, M. Purvis and M. Purvis, Different perspectives on modeling workflows in an agent based workflow management system, in Knowledge-Based Intelligent Information and Engineering Systems, eds. R. Khosla, R. J. Howlett and L. C. Jain (Springer, Berlin, 2005), pp. 208-214. (Pubitemid 43936293)
74. N. R. Jennings, P. Faratin, T. J. Norman, P. O'Brien, B. Odgers and J. L. Olty, Implementing a business process management system using ADEPT: A real-world case study, Int. J. of Applied AI 14(5) (2000) 421-465.
75. M. Sierhuis, W. J. Clancey and R. J. J. van Hoof, Brahms: A multiagent modelling environment for simulating work processes and practices, Int. J. of Simulation and Process Modelling 3(3) (2007) 134-152.
76. Workflow and Agents Development Environment, WADE User Guide (Telecom Italia, 2008), http://jade.tilab.com/wade/doc/WADE-User-Guide.pdf.
77. M. Calisti and D. Greenwood, Goal-oriented autonomic process modelling and execution for next generation networks, in Modelling Autonomic Communications Environments, eds. S. van der Meer, M. Burgess and S. Denazis (Springer, Berlin, 2008), pp. 38-49.
78. G. Joeris, Decentralized and flexible workflow enactment based on task coordination agents, in Proc. of the 2nd Int. Bi-Conference Workshop on Agent-Oriented Information Systems (iCue Publishing, Berlin, 2000), pp. 41-62.
79. K. Palacz and D. C. Marinescu, An agent-based workflow management system, in Proc. of the AAAI Spring Symposium 2000 (AAAI Press, Menlo Park, California, 2000), pp. 119-126.
80. W. M. P. van der Aalst, P. Barthelmess, C. A. Ellis and J. Wainer, Proclets: A framework for lightweight interacting workflow processes, Int. J. of Cooperative Information Systems 10(4) (2001) 443-482. (Pubitemid 33372522)
81. J. W. Chang and C. T. Scott, Agent-based workflow: TRP support environment (TSE), Computer Networks and ISDN Systems 28(7) (1996) 1501-1511.
82. X. Chen and P. Chung, Cross-organisational workflow enactment via progressive linking by run-time agents, in Advances in Applied Artificial Intelligence, eds. M. Ali and R. Dapoigny (Springer, Berlin, 2006), pp. 54-59.
83. I. Hawryszkiewycz and J. Debenham, A workflow system based on agents, in Proc. of the 9th Int. Conf. on Database and Expert Systems Applications (Springer, Berlin, 1998), pp. 135-144.
84. C. J. Huang, A. J. C. Trappey and Y. H. Yao, Developing an agent-based workflow management system for collaborative product design, Industrial Management & Data Systems 106(5) (2006) 680-699.
85. M. P. Singh and M. H. Huhns, Multiagent systems for workflow, Int. J. of Intelligent Systems in Accounting, Finance and Management 8 (1999) 105-117.
86. H. Tarumi, K. Kida, Y. Ishiguro, K. Yoshifu and T. Asakura, WorkWeb system - Multi-Workflow management with a multi-agent system, in Proc. of the Int. ACM SIGGROUP Conf. on Supporting Group Work: The Integration Challenge (ACM, New York, 1997), pp. 299-308.
87. M. Wang and H. Wang, Intelligent agent supported business process management, in Proc. of the 38th Annual Hawaii Int. Conf. on System Sciences (IEEE Computer Society Press, Los Alamitos, 2005), pp. 71b-71b.
88. R. Thimm and T. Will, AMIRA - A state of the art analysis of workflow modelling and agent-based information systems, Technical Report (University of Trier, 2004), http://www.wi2.uni-trier.de/publications/2004 TechnicalReport thimmWill.pdf.
89. E. Bacarin, W. M. P. van der Aalst, E. Madeira and C. B. Medeiros, Towards modelling and simulating a multi-party negotiation protocol with coloured Petri nets, in Proc. of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (University of Aarhus, Aarhus, 2007), pp. 29-48.
90. J. Billington and K. G. Gupta, Effectiveness of coloured Petri nets for modelling and analysing the contract net protocol, in Proc. of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (University of Aarhus, Aarhus, 2007), pp. 49-65.
91. C. Hanachi and C. Sibertin-Blanc, Protocol moderators as active middle-agents in multi-agent systems, Autonomous Agents and Multi-Agent Systems 8(2) (2004) 131-164.
92. H. Oliveira de Almeida, L. Dias da Silva, A. Perkusich and E. de Barris Costa, A formal approach for the modelling and verification of multiagent plans based on model checking and Petri nets, in Software Engineering for Multi-Agent Systems III, eds. R. Choren, A. Garcia, C. Lucena and A. Romanovsky (Springer, Berlin, 2005), pp. 162-179.
93. D. Xu, R. Volz, T. Loerger and J. Yen, Modeling and verifying multi-agent behaviors using predicate/transition nets, in Proc. of the 14th Int. Conf. on Software Engineering and Knowledge Engineering (ACM, New York, 2002), pp. 193-200.
94. M. V. Costa Miranda and A. Perkusich, Modeling and analysis of a multi-agent system using colored Petri nets, in Proc. of the Workshop on Applications of Petri Nets to Intelligent System Development (Williamsburg, Virginia, USA), pp. 59-70.
95. D. Weyns and T. Holvoet, A colored Petri net for a multi-agent application, in Proc. of the Second Workshop on Modelling of Objects, Components and Agents (Aarhus, Denmark, 2002), pp. 121-141.
96. F. Camargo-Santacruz, J. F. Frausto-Soĺis and F. Ramos-Quintana, Modeling multiple interactions using colored Petri nets: A case study, in Advanced Distributed Systems, eds. F. F. Ramos, V. Lrios Rosillo and H. Unger (Springer, Berlin, 2005), pp. 182-193.
97. G. Decker and M. Weske, Local enforceability in interaction Petri nets, in Business Process Management, eds. G. Alonso, P. Dadam and M. Rosemann (Springer, Berlin, 2007), pp. 305-319.
98. M. Köhler, D. Moldt and H. Rölke, Modelling the structure and behaviour of Petri net agents, in Applications and Theory of Petri Nets 2001, eds. J. M. Colom and M. Koutny (Springer, Berlin, 2001), pp. 224-241.
99. J. Lian and S. M. Schatz, A modeling methodology for conflict control in multi-agent systems, Int. J. of Software Engineering and Knowledge Engineering 18(3) (2008) 263-303.
100. F. Lin and D. H. Norrie, Schema-based conversation modeling for agent-oriented manufacturing systems, Computers in Industry 46(3) (2001) 259-274.
101. T. Miyamoto, M. Sakamoto and S. Kumagai, On reachability analysis of multi agent nets, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E90-A(10) (2007) 2257-2260.
102. D. Moldt and F. Wienberg, Multi-agent systems based on coloured Petri nets, in Application and Theory of Petri Nets 1997, eds. P. Azema and G. Balbo (Springer, Berlin, 1997), pp. 82-101.
103. A. P. Barros, M. Dumas and A. H. M. ter Hofstede, Service interaction patterns: Towards a reference framework for service-based business process interconnection, Technical Report (Queensland University of Technology, 2005), http://www.work flowpatterns.com/documentation/documents/ ServiceInteractionPatterns.pdf.