SMA---The Smyle Modeling Approach

Benedikt Bollig 1 Joost-Pieter Katoen 2 Carsten Kern 2 Martin Leucker 3
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning procedure to support engineers to interactively obtain design models from requirements, characterized as either being desired (positive) or unwanted (negative) system behavior. Within SMA, the learning approach is complemented by so-called scenario patterns where the engineer can specify clearly desired or unwanted behavior. This way, user interaction is reduced to the interesting scenarios limiting the design effort considerably. In SMA, the learning phase is further complemented by an effective analysis phase that allows for detecting design flaws at an early design stage. Using learning techniques allows us to gradually develop and refine requirements, naturally supporting evolving requirements, and allows for a rather inexpensive redesign in case anomalous system behavior is detected during analysis, testing, or maintenance. This paper describes the approach and reports on first practical experiences.
Type de document :
Article dans une revue
Computing and Informatics, Slovak University Press, Bratislava, 2010, 29 (1), pp.45-72
Liste complète des métadonnées
Contributeur : Stefan Haar <>
Soumis le : mardi 22 janvier 2013 - 17:03:19
Dernière modification le : vendredi 20 avril 2018 - 10:20:24


  • HAL Id : hal-00779913, version 1



Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA---The Smyle Modeling Approach. Computing and Informatics, Slovak University Press, Bratislava, 2010, 29 (1), pp.45-72. 〈hal-00779913〉



Consultations de la notice