Title :
From GMoDS models to object-oriented specifications in Event-B
Author :
Brezovan, Marius ; Stanescu, Liana ; Ganea, Eugen
Author_Institution :
Fac. of Autom., Comput. & Electron., Univ. of Craiova, Craiova, Romania
Abstract :
This paper represents a first attempt to express in Event-B the models of the GMoDS (The Goal Model for Dynamic Systems) methodology. GMoDS is a major result of the research related to Organization-Based Multiagent System Engineering methodology (O-MaSE), allowing to specify goals during requirements engineering process and then to use them throughout the system development and at runtime. We choose Event-B as a modelling language for specifying the GMoDS models for two reasons: (a) Event-B has the concept of proving correctness, which supports the accuracy of software development, and (b) its supporting tool, RODIN, is open-source, and it is used in many software industrial applications. Because Event-B is not object-oriented, and because several concepts used in GMoDS are related to object-orientation, we have included in the corresponding Event-B specifications the object-oriented concepts used in the GMoDS models, without changing the syntax and semantics of Event-B, and without using the UML-B tool.
Keywords :
formal specification; multi-agent systems; object-oriented methods; Event-B specifications; GMoDS models; O-MaSE; RODIN; UML-B tool; goal model for dynamic systems methodology; modelling language; object-oriented specifications; open-source tool; organization-based multiagent system engineering methodology; requirements engineering process; software development; Adaptation models; Context; Multi-agent systems; Object oriented modeling; Proposals; Runtime; Semantics;
Conference_Titel :
System Theory, Control and Computing (ICSTCC), 2013 17th International Conference
Conference_Location :
Sinaia
Print_ISBN :
978-1-4799-2227-7
DOI :
10.1109/ICSTCC.2013.6689050