ABSTRACT
In model-driven development models are the primary artifacts in the software development process. Consequently, the quality of those models affects the quality of the developed system significantly. Therefore, adequate methods for ensuring a high quality of models are needed. Model execution can serve as the crucial basis for such methods by enabling to debug and test models. In this paper, we present ongoing research towards a model execution framework based on fUML that enables to test and validate UML models efficiently by providing debugging capabilities, as well as a test framework for automated model testing.
- P. Baker, Z. R. Dai, J. Grabowski, O. Haugen, and I. Schieferdecker. Model-Driven Testing: Using the UML Testing Profile. Springer, 2008. Google ScholarDigital Library
- B. R. Bryant, J. Gray, M. Mernik, P. J. Clarke, R. B. France, and G. Karsai. Challenges and directions in formalizing the semantics of modeling languages. Computer Science and Information Systems, 8(2): 225--253, 2011.Google ScholarCross Ref
- J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen. Empirical assessment of MDE in industry. In Proc. of ICSE'11, pages 471--480, 2011. Google ScholarDigital Library
- R. Mannadiar and H. Vangheluwe. Debugging in domain-specific modelling. In Proc. of SLE'10, pages 276--285, 2010. Google ScholarDigital Library
- A. Zeller. Why Programs Fail: A Guide to Systematic Debugging. Elsevier, 2005. Google ScholarDigital Library
Index Terms
- Moliz: a model execution framework for UML models
Recommendations
An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations
WRT '12: Proceedings of the Fifth Workshop on Refactoring ToolsWhen refactorings are applied to software models that are specified using the Unified Modeling Language (UML), the actual model and the graphical presentation of the model using a diagram need to be distinguished. While UML refactoring tools exist, they ...
Domain-specific language modelling with UML profiles by decoupling abstract and concrete syntaxes
UML profiling presents some acknowledged deficiencies, among which the lack of expressiveness of the profiled notations, together with the high coupling between abstract and concrete syntaxes outstand. These deficiencies may cause distress among UML-...
Model-driven engineering with domain-specific meta-modelling languages
Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
Comments