Modeling and Enactment of Business Agents Using Jason

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.

References

1. 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.
2. 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.
3. R. H. Bordini, J. F. Hübner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, 2007.
4. 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.
5. 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.
6. M. G. Cimino and F. Marcelloni. Autonomic tracing of production processes with mobile and agent-based computing. Information Sciences, 181(5):935--953, 2011.
7. B. Curtis, M. Kellner, and J. Over. Process modeling. Communications of the ACM, 35(9):75--90, 1992.
8. 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.
9. 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.
10. 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.
11. 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.
12. Jason: a java-based interpreter for an extended version of agentspeak. Available at http://jason.sourceforge.net//. Accessed in February, 2016.
13. 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.
14. M. Koubarakis and D. Plexousakis. A formal framework for business process modelling and design. Information Systems, 27(5):299--319, 2002.
15. 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.
16. 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.
17. 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.
18. M. A. Ould. Business Process Management: A Rigorous Approach. British Computer Society, 2005.
19. 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.
20. 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.
21. 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.
22. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(11):51--92, 1993.
23. 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.