Comparing Six Modeling Approaches

Mussbacher, Gunter; Abed, Wisam Al; Alam, Omar; Ali, Shaukat; Beugnard, Antoine; Bonnet, Valentin; Bræk, Rolv; Capozucca, Alfredo; Cheng, Betty H. C.; Fatima, Urooj; Georg, Geri; Guelfi, Nicolas; Istoan, Paul; Jézéquel, Jean-Marc; Kienzle, Jörg; Klein, Jacques; Lezoray, Jean-Baptiste; Malakuti, Somayeh; Moreira, Ana; Phung-Khac, An; Troup, Lucy J.

doi:10.1007/978-3-642-29645-1_22

Cited by 4 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…MESSIR concepts illustrations are given using a crisis management case study. It is a simplified version of the one proposed in [52,53]. In the version used in this paper, the system (called iCrash ) is intended to support the management of crisis situations.…”

Section: Running Examplementioning

confidence: 99%

The MESSIR Flexible Scientific Approach to Requirements Engineering

Guelfi

2022

Software

Self Cite

View full text Add to dashboard Cite

Among the software engineering development phases, requirements engineering is the one that has the most impact on project success or failure. To be executed in various contexts, there is an important need for flexibility and efficient tool support. A flexible requirements engineering method should include several levels allowing for more or less completeness and precision. Some project contexts would need a lightweight activity using structured natural language but still being guided and grounded partly on professional standards. Some more advanced projects would need more complete requirements documents and would benefit from a description language based on scientific notions allowing for better precision for specific system operations. Some business or safety critical systems would need an approach allowing for requirements simulation and verification. Requirements engineering education is an important objective to prepare future engineers to understand those requirements engineering needs and be prepared for practice in a professional setting. In the last five years, we have developed a requirements engineering method called Messir with a tool Excalibur and experiments in academia have been made to see how it was solving actual software engineering problems focusing first on requirements engineering education. Messir components represent in themselves some improvements w.r.t. the state of the art of the “standard” theories, methods and tools, mainly by introducing an improved requirements engineering process, language and verification support based on executable requirements specifications. Furthermore, the Messir approach solves also some actual problems related to software engineering education by offering a product line framework for setting up or improving courses in computer science curricula. The main result being to contribute to develop the software engineering capabilities of engineers and scientists that feed the job market in industry, research or education.

show abstract

Section: Running Examplementioning

confidence: 99%

The MESSIR Flexible Scientific Approach to Requirements Engineering

Guelfi

2022

Software

Self Cite

View full text Add to dashboard Cite

show abstract

“…Formal models are used to specify the structures of varying design alternatives and design requirements, along with experiments that conform the two. Mussbacher, et al, have performed a detailed comparison of six different modelling approaches in [6]. The modelling approaches that were assessed include Aspect-oriented User Requirements Notation (AoURN ) [7], Activity Theory (AT ) [8], The Cloud Component Approach (CCA), Model Driven Service Engineering (MDSE ) [9], Object-oriented Software Product Line Modelling (OO-SPL) [10], and Reusable Aspect Models (RAM ) [11,12].…”

Section: State-of-the-artmentioning

confidence: 99%

Extracting finite state models from i* models

Deb

Chaki

Ghose

2016

Journal of Systems and Software

View full text Add to dashboard Cite

i * models are inherently sequence agnostic. There is an immediate need to bridge the gap between such a sequence agnostic model and an industry implemented process modelling standard like Business Process Modelling Notation (BPMN).This work is an attempt to build State Transition Models from i * models. In this paper, we first spell out the Naive Algorithm formally, which is on the lines of Formal Tropos [1]. We demonstrate how the growth of the State Transition Model Space can be mapped to the problem of finding the number of possible paths between the Least Upper Bound (LUB ) and the Greatest Lower Bound (GLB ) of a k-dimensional hypercube Lattice structure. We formally present the mathematics for doing a quantitative analysis of the space growth. The Naive Algorithm has its main drawback in the hyperexponential explosion caused in the State Transition Model space. This is identified and the Semantic Implosion Algorithm is proposed which exploits the temporal information embedded within the i * model of an enterprise to reduce the rate of growth of the State Transition Model space. A comparative quantitative analysis between the two approaches concludes the superiority of the Semantic Implosion Algorithm.

show abstract

State-of-the-Art

Deb¹,

Chaki²

2020

Services and Business Process Reengineering

View full text Add to dashboard Cite

Comparing Six Modeling Approaches

Cited by 4 publications

References 12 publications

The MESSIR Flexible Scientific Approach to Requirements Engineering

The MESSIR Flexible Scientific Approach to Requirements Engineering

Extracting finite state models from i* models

State-of-the-Art

Contact Info

Product

Resources

About