A domain specific modeling language for multiagent systems

ABSTRACT

Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in building complex systems is the lack of clear requirements and domain knowledge needed to come up with a detailed design of the system. Agent technologies are a suitable programming paradigm to cope with the complexity of modern software systems. However, existing agent-based methodologies and tools are developed for experienced programmers and are not suitable for non-agent experts. This paper discusses a domain specific modeling language for multiagent systems that (i) provides a clear syntax and semantics to define agent-based systems in a graphical visualized manner and (ii) can be used to automatically derive code from its design through model transformations.

References

1. F. Bellifemine, F. Bergenti, G. Caire, and A. Poggi. JADE - a java agent development framework., volume 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations, chapter 5, pages 125--147. Springer, Berlin et al., 2005.
2. C. Bernon, M. Cossentino, M.-P. Gleizes, P. Turci, and F. Zambonelli. A study of some multi-agent meta-models. In J. Odell, P. Giorgini, and J. Müller, editors, Agent-Oriented Software Engineering V: 5th International Workshop, AOSE 2004. Revised Selected Papers, Lecture Notes in Computer Science 3382, pages 62--77. Springer-Verlag, 2005.
3. R. H. Bordini, M. Dastani, and M. Winikoff. Current issues in multi-agent systems development (invited paper). In Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World, volume 4457 of Lecture Notes in Artificial Intelligence, pages 38--61, 2007.
4. P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. TROPOS: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multiagent Systems, 8(3):203--236, 2004.
5. S. Cook, G. Jones, S. Kent, and A. C. Wills. Domain-Specific Development with Visual Studio DSL Tools. Addison-Wesley Professional; 1 edition, 2007.
6. M. Cossentino. From requirements to code with the PASSI methodology. In B. Henderson-Sellers and P. Giorgini, editors, Agent-Oriented Methodologies, Hershey, PA, USA, 2005. Idea Group Inc.
7. R. Davis and R. G. Smith. Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20:63--109, 1983.
8. K. Fischer, C. Hahn, and C. Madrigal-Mora. Agent-oriented software engineering: a model-driven approach. Int. J. Agent-Oriented Software Engineering, 1(3/4):334--369, 2007.
9. C. Hahn, C. Madrigal-Mora, and K. Fischer. A platform-independent model for agents. Technical Report RR-07-01A, German Research Center for Artificial Intelligence (DFKI GmbH), Stuhlsatzenhausweg 3, D-66123 Saarbrücken, 2002.
10. G. Jayatilleke, J. Thangarajah, L. Padgham, and M. Winikoff. Component agent framework for domain-experts (CAFnE) toolkit. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pages 1465--1466, New York, 2006. ACM Press.
11. L. Padgham, J. Thangarajah, and M. Winikoff. Tool support for agent development using the prometheus methodology. In Proceedings of the Fifth International Conference on Quality Software, pages 383--388, Washington, 2005. IEEE Computer Society.
12. L. Padgham and M. Winikoff. Prometheus: A Methodology for Developing Intelligent Agents. In F. Giunchiglia, J. Odell, and G. Weiß, editors, Agent-Oriented Software Engineering (AOSE-2002), volume 2585 of Lecture Notes in Computer Science, pages 174--185, Berlin et al., 2002. Springer.
13. M. Papasimeon and C. Heinze. Extending the UML for designing JACK agents. In Proceedings of the Australian Software Engineering Conference (ASWEC 01), 2001.
14. L. Penserini, A. Perini, A. Susi, and J. Mylopoulos. From stakeholder intentions to software agent implementations. In Proceedings of the 18th Conference on Advanced Information Systems Engineering, volume 4001 of LNCS. Springer Verlag, 2006.
15. G. Picard and M.-P. Gleizes. Methodologies and Software Engineering for Agent Systems, The Agent-Oriented Software Engineering Handbook, chapter 8, The ADELFE Methodology. Kluwer Academic Publishers, 2004.
16. A. Pokahr, L. Braubach, and W. Lamersdorf. Jadex: A BDI Reasoning Engine, volume 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations, chapter 6, pages 149--174. Springer, Berlin et al., 2005.
17. A. S. Rao and M. P. Georgeff. Modeling agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of the 2rd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473--484, Cambridge, Mass., 1991. Morgan Kaufmann.
18. D. Roe, K. Broda, and A. Russo. Mapping uml models incorporating OCL constraints into Object-Z. Technical Report 2003/9, Imperial College, 180 Queen's Gate, London, 2002.
19. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
20. G. Smith and I. J. Hayes. Structuring real-time Object-Z specifications. In Proceedings of the Second International Conference on Integrated Formal Methods, volume 1945 of Lecture Notes In Computer Science, pages 97--115, London, 2000. Springer.
21. J. Thangarajah, L. Padgham, and M. Winikoff. Prometheus design tool. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pages 127--128, New York, 2005. ACM Press.
22. J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall, 1996.
23. F. Zambonelli, N. Jennings, and M. Wooldridge. Developing multiagent systems: the Gaia methodology. ACM Transactions on Software Engineering and Methodology, 12(3):417--470, 2003.
24. I. Zinnikus, C. Hahn, M. Klein, and K. Fischer. An agent-based, model-driven approach for enabling interoperability in the area of multi-brand vehicle configuration. In B. J. Krämer, K.-J. Lin, and P. Narasimhan, editors, ICSOC, volume 4749 of Lecture Notes in Computer Science, pages 330--341. Springer, 2007.

Index Terms

• Computing methodologies

  • Artificial intelligence

    • Distributed artificial intelligence

• Software and its engineering

  • Software organization and properties

    • Software system structures

      • Software architectures