Inconsistency Analysis at Integration of Evolving
Domain Specific Models based on OWL;
Proc. Joint MoDSE-MCCM 2009 Workshop on Models and
Evolution, 4-6th October 2009, Denver;
Abstract: Model driven engineering is one answer to increasing
demands on software development and maintenance. Today's software
systems are often large, complex but also safety-critical and
should be highly adaptable in life cycle. The efficient
development of large and complex software systems needs a high
degree of collaboration in the design and specification phases.
Well-defined, (graphical) modeling languages provide therefore a
matter of communication for software engineers. Besides the
distribution of development locations, the co-evolution of models
and the concurrency of work are typical in global software
engineering projects. This kind of collaborative modeling needs
reliable integration mechanisms for co-evolved model artifacts.
However, the syntactic and semantic correct (consistent)
integration of concurrent evolved models is not satisfactorily
supported. Especially the inconsistency identification and
analyzing for merged requirement- and software architecture models
is a creative, communication-intensive, and collaborative task.
This paper proposes an approach for an automatic identification
and analysis of syntactic and semantic inconsistencies to support
distributed modelers who synchronize their parallel