On the use of a domain-specific modeling language in the development of multiagent systems

The study of Multiagent Systems (MASs) focuses on those systems in which many intelligent agents interact with each other. The agents are considered to be autonomous entities which contain intelligence that serves for solving their selfish or common problems, and to achieve certain goals. However, the autonomous, responsive, and proactive natures of agents make the development of agent-based software systems more complex than other software systems. Furthermore, the design and implementation of a MAS may become even more complex and difficult to implement when considering new requirements and interactions for new agent environments like the Semantic Web. We believe that both domain-specific modeling and the use of a domain-specific modeling language (DSML) may provide the required abstraction, and hence support a more fruitful methodology for the development of MASs. In this paper, we first introduce a DSML for MASs called SEA_ML with both its syntax and semantics definitions and then show how the language and its graphical tools can be used during model-driven development of real MASs. In addition to the classical viewpoints of a MAS, the proposed DSML includes new viewpoints which specifically support the development of software agents working within the Semantic Web environment. The methodology proposed for the MAS development based on SEA_ML is also discussed including its example application on the development of an agent-based stock exchange system.

[1]  Aniruddha S. Gokhale,et al.  Domain-Specific Modeling , 2008, Handbook of Dynamic System Modeling.

[2]  Marie-Pierre Gleizes,et al.  Model Driven Engineering for Designing Adaptive Multi-Agents Systems , 2008, ESAW.

[3]  Diomidis Spinellis,et al.  Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer? , 2009, IEEE Software.

[4]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[5]  Moharram Challenger,et al.  The GMF-based syntax tool of a DSML for the semantic web enabled multi-agent systems , 2011, SPLASH Workshops.

[6]  Gauthier Picard,et al.  ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering , 2002, ESAW.

[7]  Agostino Poggi,et al.  Developing multi‐agent systems with a FIPA‐compliant agent framework , 2001 .

[8]  Franco Zambonelli,et al.  Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers , 2006, AOSE.

[9]  Moharram Challenger,et al.  A Domain Specific Metamodel for Semantic Web Enabled Multi-Agent Systems , 2011, CAiSE Workshops.

[10]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[11]  Moharram Challenger,et al.  Design and implementation of a multiagent stock trading system , 2012, Softw. Pract. Exp..

[12]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[13]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[14]  Klaus Fischer,et al.  A platform-independent metamodel for multiagent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[15]  Christian Hahn A domain specific modeling language for multiagent systems , 2008, AAMAS.

[16]  Colin Potts,et al.  A CASE tool supported methodology for the design of multi-agent systems , 2002 .

[17]  Ferber,et al.  [IEEE Comput. Soc International Conference on Multi Agent Systems - Paris, France (3-7 July 1998)] Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160) - A meta-model for the analysis and design of organizations in multi-agent systems , 1998 .

[18]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

[19]  Elena Navarro,et al.  Model-driven engineering techniques for the development of multi-agent systems , 2012, Eng. Appl. Artif. Intell..

[20]  Anupriya Ankolekar,et al.  Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..

[21]  Jorge J. Gómez-Sanz,et al.  The INGENIAS Methodology and Tools , 2005 .

[22]  Moharram Challenger,et al.  SEA_L: A Domain-specific Language for Semantic Web enabled Multi-agent Systems , 2012, 2012 Federated Conference on Computer Science and Information Systems (FedCSIS).

[23]  Jim Steel,et al.  Model transformation: a declarative, reusable patterns approach , 2003, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings..

[24]  Andrea Omicini,et al.  MAS Meta-models on Test: UML vs. OPM in the SODA Case Study , 2005, CEEMAS.

[25]  Gabriel Ciobanu,et al.  Flexible software architecture and language for mobile agents , 2012, Concurr. Comput. Pract. Exp..

[26]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[27]  Zoran Budimac,et al.  Software agents: Languages, tools, platforms , 2011, Comput. Sci. Inf. Syst..

[28]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[29]  Matthias Klusch,et al.  Integration of Multiagent Systems and Semantic Web Services on a Platform Independent Level , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[30]  Graham Kendall,et al.  The Co-evolution of Trading Strategies in A Multi-agent Based Simulated Stock Market Through the Integration of Individual Learning and Social Learning , 2003 .

[31]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[32]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[33]  Darryl N. Davis,et al.  A multi-agent framework for stock trading. , 2000 .

[34]  Yan Su,et al.  Co-evolution of Successful Trading Strategies in A Simulated Stock Market , 2003, ICMLA.

[35]  Gabor Karsai,et al.  The design of a language for model transformations , 2006, Software & Systems Modeling.

[36]  Winfried Lamersdorf,et al.  Jadex: A BDI Reasoning Engine , 2005, Multi-Agent Programming.

[37]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[38]  Mark Strembeck,et al.  An approach for the systematic development of domain‐specific languages , 2009, Softw. Pract. Exp..

[39]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[40]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[41]  Wendy Hall,et al.  The Semantic Web Revisited , 2006, IEEE Intelligent Systems.

[42]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[43]  Maria João Varanda Pereira,et al.  Program comprehension for domain-specific languages , 2008, Comput. Sci. Inf. Syst..

[44]  Franco Zambonelli,et al.  A Study of Some Multi-agent Meta-models , 2004, AOSE.

[45]  Roy Grønmo,et al.  Toward Standardised Model to Text Transformations , 2005, ECMDA-FA.

[46]  Marian H. Nodine,et al.  A Metamodel for Agents, Roles, and Groups , 2004, AOSE.

[47]  Juha-Pekka Tolvanen,et al.  Domain-Specific Modeling: Enabling Full Code Generation , 2008 .

[48]  Reiko Heckel,et al.  Agent-Oriented Modeling with Graph Transformation , 2000, AOSE.

[49]  Geylani Kardas,et al.  Model-driven development of multiagent systems: a survey and evaluation , 2013, The Knowledge Engineering Review.

[50]  Gabor Karsai,et al.  Challenges and directions in formalizing the semantics of modeling languages , 2011, Comput. Sci. Inf. Syst..

[51]  M. Pechoucek,et al.  Agent Exchange - Virtual Trading Environment , 2003, HoloMAS.

[52]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[53]  Klaus Fischer,et al.  The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems , 2009, AOSE.

[54]  José M. Vidal,et al.  Agents on the Web: Inside an Agent , 2001, IEEE Internet Comput..

[55]  Kecheng Liu,et al.  A multi-agent decision support system for stock trading , 2002, IEEE Netw..

[56]  Ian Horrocks,et al.  A Software Framework for Matchmaking Based on Semantic Web Technology , 2004, Int. J. Electron. Commer..

[57]  Donald J. McCubbrey,et al.  Management Information Systems for the Information Age , 1997 .

[58]  Marjan Mernik,et al.  Formal and Practical Aspects of Domain-Specific Languages: Recent Developments , 2012 .

[59]  Audris Kalnins,et al.  Model Transformation Language MOLA , 2003, MDAFA.

[60]  Paulo S. C. Alencar,et al.  A Generative Approach for Multi-agent System Development , 2004, SELMAS.

[61]  Monique Calisti,et al.  AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling , 2004, AOSE.

[62]  Costin Badica,et al.  Multi-Agent Systems, Ontologies and Negotiation for Dynamic Service Composition in Multi-Organizational Environmental Management , 2012, Software Agents, Agent Systems and Their Applications.

[63]  Marjan Mernik,et al.  From DCOM interfaces to domain-specific modeling language: A case study on the sequencer , 2011, Comput. Sci. Inf. Syst..

[64]  Andrew Lucas,et al.  JACK Intelligent Agents – Summary of an Agent Infrastructure , 2001 .

[65]  Andy Evans,et al.  Language driven development and MDA. , 2004 .

[66]  Shahram Rahimi,et al.  A multi-agent framework for stock trading , 2009, Int. J. Intell. Inf. Database Syst..

[67]  Paul A. Fishwick,et al.  Handbook of Dynamic System Modeling , 2007 .

[68]  A. B. Davis,et al.  Management Information Systems for the Information Age (4th ed.) , 2004 .

[69]  Jeffrey C. Carver,et al.  Program comprehension of domain-specific and general-purpose languages: comparison using a family of experiments , 2011, Empirical Software Engineering.

[70]  Martin Fowler,et al.  Domain-Specific Languages , 2010, The Addison-Wesley signature series.

[71]  Andrea Omicini,et al.  SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems , 2000, AOSE.

[72]  Oguz Dikenelli,et al.  Modeling Tools for Platform Specific Design of Multi-Agent Systems , 2009, MATES.

[73]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[74]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[75]  F. Migeon,et al.  Model Driven Engineering for Designing Adaptive Multi-Agent Systems , 2007 .

[76]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[77]  Marta Posada,et al.  Strategic Software Agents in Continuous Double Auction Under Dynamic Environments , 2006, IDEAL.

[78]  Iván García-Magariño,et al.  A technique fordefining agent-oriented engineering processes with tool support , 2010, Eng. Appl. Artif. Intell..

[79]  Jesús Sánchez Cuadrado,et al.  Building Domain-Specific Languages for Model-Driven Development , 2007, IEEE Software.

[80]  Jorge J. Gómez-Sanz,et al.  FAML: A Generic Metamodel for MAS Development , 2009, IEEE Transactions on Software Engineering.

[81]  Andrea Omicini,et al.  Artifacts in the A&A meta-model for multi-agent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[82]  Sandeep Kumar,et al.  Agent-Based Semantic Web Service Composition , 2012, SpringerBriefs in Electrical and Computer Engineering.

[83]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[84]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[85]  Oguz Dikenelli,et al.  Model Driven Development of Semantic Web Enabled Multi-Agent Systems , 2009, Int. J. Cooperative Inf. Syst..

[86]  Bernhard Bauer,et al.  UML 2.0 and agents: how to build agent-based systems with the new UML standard , 2005, Eng. Appl. Artif. Intell..

[87]  Moharram Challenger,et al.  Towards a DSML for semantic web enabled multi-agent systems , 2010 .

[88]  Jorge J. Gómez-Sanz,et al.  Model Driven Development of Multi-Agent Systems , 2006, ECMDA-FA.