Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents

Domain-specific modeling languages (DSMLs) for Multi-agent Systems (MAS) mostly provide checks and validations on modeled systems according to the related syntax and semantics descriptions. However, they do not have a built-in support for debugging MAS models which makes the control of model correctness difficult. Hence, in this paper, we present our ongoing work which aims at providing debugging inside MAS DSMLs. We describe two possible ways of deriving debuggers for MAS DSMLs. The first alternative is based on the construction of a mapping between MAS model entities and the generated code while the second one considers the metamodel-based description of the operational semantics of executing agents. Pros and cons of each approach are also discussed.

[1]  Martin Gogolla,et al.  Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17) , 2017, MODELS.

[2]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[3]  Moharram Challenger,et al.  On the use of a domain-specific modeling language in the development of multiagent systems , 2014, Eng. Appl. Artif. Intell..

[4]  Mariela Inés Cortés,et al.  MAS-ML 2.0: Supporting the modelling of multi-agent systems with different agent architectures , 2015, J. Syst. Softw..

[5]  Hui Wu,et al.  Grammar-driven generation of domain-specific language debuggers , 2008 .

[6]  Andreas Zeller,et al.  Why Programs Fail: A Guide to Systematic Debugging , 2005 .

[7]  Bedir Tekinerdogan,et al.  A systematic approach to evaluating domain-specific modeling language environments for multi-agent systems , 2015, Software Quality Journal.

[8]  Moharram Challenger,et al.  Domain-specific modelling language for belief-desire-intention software agents , 2018, IET Softw..

[9]  Joachim Fischer,et al.  Modelling a Debugger for an Imperative Voice Control Language , 2009, SDL Forum.

[10]  Moharram Challenger,et al.  A Metamodel for Jason BDI Agents , 2016, SLATE.

[11]  Benoît Combemale,et al.  Supporting efficient and advanced omniscient debugging for xDSMLs , 2015, SLE.

[12]  Agostino Poggi,et al.  Agent-oriented model-driven development for JADE with the JADEL programming language , 2017, Comput. Lang. Syst. Struct..

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

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

[15]  Jorge J. Gómez-Sanz,et al.  Special issue on model-driven engineering of multi-agent systems in theory and practice , 2017, Computer languages, systems & structures.

[16]  Onn Shehory,et al.  Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks , 2014 .

[17]  Jürgen Dingel,et al.  Model-level, platform-independent debugging in the context of the model-driven development of real-time systems , 2017, ESEC/SIGSOFT FSE.

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

[19]  Andrei Chis,et al.  Practical domain-specific debuggers using the Moldable Debugger framework , 2015, Comput. Lang. Syst. Struct..

[20]  Jeffrey G. Gray,et al.  Efficient and scalable omniscient debugging for model transformations , 2015, Software Quality Journal.

[21]  Hans Vangheluwe,et al.  Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool , 2017, MODELS.

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