Supporting Model Refactorings Through Behaviour Inheritance Consistencies

Onderzoeksoutput: Conference paper

23 Citaten (Scopus)


This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be kept consistent. In the context of consistency within a model, behaviour inheritance consistencies restrict the way the behaviour of a subclass can specialize the behaviour of a superclass. In the context of model evolution, model refactorings restructure a model while preserving its behavioural properties. It is still an open research question how to define behaviour preservation properties for model refactorings. We claim that behaviour inheritance consistencies correspond, in an evolution context, to the preservation of behavioural properties between model versions. To illustrate this claim, we implemented consistency rules and preservation behaviour rules in Racer, a reasoning engine for description logics. We show how the same logic rules can be used to detect behaviour inheritance inconsistencies in a model and to detect the preservation of call behaviour properties during model refactoring.
Originele taal-2English
Titel«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications
Subtitel7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings
RedacteurenThomas Baar, Alfred Strohmeier, Ana Moreira
ISBN van elektronische versie978-3-540-30187-5
ISBN van geprinte versie978-3-540-23307-7
StatusPublished - 2004
Evenement7th International Conference on the Unified Modeling Language (UML2004) - Lisbon, Portugal
Duur: 11 okt 200415 okt 2004

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Conference7th International Conference on the Unified Modeling Language (UML2004)
AnderThe conference programme will feature invited talks, technical paper presentations, workshops, tutorials and panel discussions.
Internet adres

Bibliografische nota

Proceedings of the 7th International Conference UML 2004 - the Unified Modeling Language, Thomas Baar, Alfred Strohmeier, Ana Moreira, and Steve Mellor (Editors), Lisbon, Portugal, October 2004, pp. 305-319. (acceptance rate 22%)


Duik in de onderzoeksthema's van 'Supporting Model Refactorings Through Behaviour Inheritance Consistencies'. Samen vormen ze een unieke vingerafdruk.

Citeer dit