Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language

Abstract

Among the agent-oriented methodologies that use goals for specication of multi-agent systems, the Goal Model for Dynamic Systems (GMoDS) method allows to specify goals during requirements engineering process and then to use them throughout the system development and at runtime. Because the semantics of the GMoDS models involves the use of object-oriented concepts we choose to express a GMoDS model in an object-oriented specication. We use Event-B as a method for both specifying the GMoDS models and implementing the semantics of the runtime model of GMoDS. Because Event-B is not an object-oriented language, the goal of our research is to add support to Event-B for object-oriented modeling by using the modularization plug-in of the Rodin framework. This aim of paper is twofold: (a) to describe an object-oriented specication in Event-B, and (b) to express a GMoDS model into an object-oriented Event-B specication.

Authors

  • Marius Brezovan University of Craiova, Romania
  • Liana Stanescu University of Craiova, Romania
  • Eugen Ganea University of Craiova, Romania

Downloads

Published

03/18/2016

How to Cite

Brezovan, M., Stanescu, L., & Ganea, E. (2016). Expressing GMoDS Models into Object-Oriented Models Using the Event-B Language. Informatica, 40(1). Retrieved from https://www.informatica.si/index.php/informatica/article/view/1168

Issue

Vol. 40 No. 1 (2016)

Section

Special issue papers

License

Authors retain copyright in their work. By submitting to and publishing with Informatica, authors grant the publisher (Slovene Society Informatika) the non-exclusive right to publish, reproduce, and distribute the article and to identify itself as the original publisher.

All articles are published under the Creative Commons Attribution license CC BY 3.0. Under this license, others may share and adapt the work for any purpose, provided appropriate credit is given and changes (if any) are indicated.

Authors may deposit and share the submitted version, accepted manuscript, and published version, provided the original publication in Informatica is properly cited.