ABSTRACT
Business agents have precise responsibilities assigned to organizational business roles. They collaborate and interact in order to achieve the business goals of the organization. The activity of business agents follows behavioral patterns that are specified according to the business rules of the organization. In this paper we present how business process models that define organizational activity can be modeled and implemented using agent-oriented programming. In particular we present how business processes captured as role-activity diagrams can be formalized and enacted using AgentSpeak programs. This approach of combining sound methods of business process and agent-oriented modeling opens new possibilities for the development of agent-based business organizations.
- A. Armando, E. Giunchiglia, M. Maratea, and S. E. Ponta. An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. Journal of Computer and System Sciences, 78(1):119--141, 2012. Google ScholarDigital Library
- T. M. Behrens and J. Dix. Model checking multi-agent systems with logic based petri nets. Annals of Mathematics and Artificial Intelligence, 51(2):81--121, 2007. Google ScholarDigital Library
- R. H. Bordini, J. F. Hübner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, 2007. Google ScholarDigital Library
- A. Bădică and C. Bădică. Formal verification of business processes represented as role activity diagrams. In Proc. Federated Conference on Computer Science and Information Systems -- FedCSIS 2011, pages 277--280. IEEE Press, 2011.Google Scholar
- A. Bădică, C. Bădică, and V. Liţoiu. Role activity diagrams as finite state processes. In Proc. 2nd International Symposium on Parallel and Distributed Computing -- ISPDC 2003, pages 15--22, Los Alamitos, CA, USA, 2003. IEEE Computer Society. Google ScholarDigital Library
- M. G. Cimino and F. Marcelloni. Autonomic tracing of production processes with mobile and agent-based computing. Information Sciences, 181(5):935--953, 2011. Google ScholarDigital Library
- B. Curtis, M. Kellner, and J. Over. Process modeling. Communications of the ACM, 35(9):75--90, 1992. Google ScholarDigital Library
- A. Dasgupta, A. Krishna, and A. K. Ghose. Requirements modeling with agent programming. In G. A. Papadopoulos, W. Wojtkowski, G. Wojtkowski, S. Wrycza, and J. Zupancic, editors, Information Systems Development, pages 675--683. Springer, 2010.Google Scholar
- H. Endert, B. Hirsch, T. Küster, and S. Albayrak. Towards a mapping from bpmn to agents. In J. Huang, R. Kowalczyk, Z. Maamar, D. Martin, I. Müller, S. Stoutenburg, and K. Sycara, editors, Service-Oriented Computing: Agents, Semantics, and Engineering, volume 4504 of Lecture Notes in Computer Science, pages 92--106. Springer Berlin Heidelberg, 2007. Google ScholarDigital Library
- Y. Gong, S. Overbeek, and M. Janssen. Business rules for creating process flexibility: Mapping rif rules and bdi rules. In D. Chiu, L. Bellatreche, H. Sasaki, H.-f. Leung, S.-C. Cheung, H. Hu, and J. Shao, editors, Web Information Systems Engineering -- WISE 2010 Workshops, volume 6724 of Lecture Notes in Computer Science, pages 142--155. Springer Berlin Heidelberg, 2011. Google ScholarDigital Library
- F. Gouidis, T. Patkos, G. Flouris, and D. Plexousakis. Declarative reasoning approaches for agent coordination. In A. Likas, K. Blekas, and D. Kalles, editors, Artificial Intelligence: Methods and Applications, volume 8445 of Lecture Notes in Computer Science, pages 489--503. Springer International Publishing, 2014.Google Scholar
- Jason: a java-based interpreter for an extended version of agentspeak. Available at http://jason.sourceforge.net//. Accessed in February, 2016.Google Scholar
- N. Jennings and M. Wooldridge. Applications of intelligent agents. In N. Jennings and M. Wooldridge, editors, Agent Technology, pages 3--28. Springer Berlin Heidelberg, 1998. Google ScholarDigital Library
- M. Koubarakis and D. Plexousakis. A formal framework for business process modelling and design. Information Systems, 27(5):299--319, 2002. Google ScholarDigital Library
- K. Kravari, E. Kontopoulos, and N. Bassiliades. Emerald: A multi-agent system for knowledge-based reasoning interoperability in the semantic web. In Proceedings of the 6th Hellenic Conference on Artificial Intelligence: Theories, Models and Applications -- SETN'10, Lecture Notes in Computer Science, pages 173--182. Springer-Verlag, Berlin, Heidelberg, 2010. Google ScholarDigital Library
- H. Mili, G. Tremblay, G. B. Jaoude, E. Lefebvre, L. Elabed, and G. E. Boussaidi. Business process modeling languages: Sorting through the alphabet soup. ACM Computing Surveys, 43(1):4:1--4:56, 2010. Google ScholarDigital Library
- A. Muscar and C. Bădică. Towards a declarative framework for the specification of agent-driven auctions. Engineering Intelligent Systems, 21(2--3):75--87, 2013.Google Scholar
- M. A. Ould. Business Process Management: A Rigorous Approach. British Computer Society, 2005.Google Scholar
- A. Paschke, H. Boley, A. Kozlenkov, and B. L. Craig. Rule responder: Ruleml-based agents for distributed collaboration on the pragmatic web. In S. B. Shum, M. Lind, and H. Weigand, editors, Proceedings of the 2nd International Conference on Pragmatic Web, ICPW 2007, Tilburg, The Netherlands, October 22-23, 2007, volume 280 of ACM International Conference Proceeding Series, pages 17--28. ACM, 2007. Google ScholarDigital Library
- R. Plesa and L. Logrippo. An agent-based architecture for providing enhanced communication services. In L. T. Yang, A. B. Waluyo, J. Ma, L. Tan, and B. Srinivasan, editors, Mobile Intelligence, pages 320--342. John Wiley & Sons, Inc., 2010.Google ScholarCross Ref
- A. S. Rao. Agentspeak(l): Bdi agents speak out in a logical computable language. In W. Van de Velde and J. Perram, editors, Agents Breaking Away, volume 1038 of Lecture Notes in Computer Science, pages 42--55. Springer Berlin Heidelberg, 1996. Google ScholarDigital Library
- Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(11):51--92, 1993. Google ScholarDigital Library
- I. Zinnikus, X. Cao, and K. Fischer. Agent-supported collaboration and interoperability for networked enterprises: Modeling interactions and service compositions. Computers in Industry, 64(8):938--950, 2013. Google ScholarDigital Library
Recommendations
Modelling and implementing modularised BDI agents with capability relationships
The BDI model is the foundation for one of the most widely used architectures to develop autonomous agents. Such model provides the concepts of beliefs, desires and intentions, which comprise the internal agent structure. Although much work has been ...
Modelling dependable collaborative time-constrained business processes
Resilient Enterprise Information SystemsThe effectiveness of the information system that a particular organisation uses for running its business depends largely on the success in modelling such business. This is due to the fact that the business model defines the requirements of the ...
Activity diagram patterns for modeling quality constraints in business processes
MoDELS'05: Proceedings of the 8th international conference on Model Driven Engineering Languages and SystemsQuality management is an important aspect of business processes. Organizations must implement quality requirements, e.g., according to standards like ISO 9001. Existing approaches on business process modeling provide no explicit means to enforce such ...
Comments