Keywords:

Keywords:

Keywords:
Astract: The software engineering process has significantly changed over the last decade. The paradigm Model-Driven Development (MDD) gained more and more popularity. In the past, models were typically used for brainstorming and communication purposes. This viewpoint has shifted dramatically. The software engineering process becomes more model-centric and less code-centric. Thus, models are the key artefacts in the development process and all steps rely on these models and their correctness. Sophisticated modelling techniques have been invented to ensure a consistent and comprehensive technology base. The standard for modelling structural and behavioural aspects of systems, the Unified Modelling Language (UML) was introduced by the Object Management Group (OMG). The problem is that an UML model is not necessary expressive enough to provide all complex aspects of a system. Some aspects of the domain are more expressed in natural language. Practise has shown that such situations will lead to ambiguities and to errors. Therefore the Object Constraint Language (OCL) can be used to specify conditions on models that must hold for the system. Apart from the development of standards for modelling systems, several vendors developed Computer-Aided Software Engineering (CASE) tools to provide a wide range of instruments to support the MDD approach. The support of the sophisticated techniques depends on the vendor-s realization of the standards, which is different from tool to tool. In general there is a lack of validating models in CASE tools, which is essential in the early design phase. Additionally, there is only little support for writing OCL expressions for models. Furthermore, models defined by the users of the tool are not validated against the well-formedness rules (WFR) - described with OCL - of the UML specification. An automatic validation of the OCL expressions of the UML specification before code generation allows the detection of errors in the early design phase and reduces problems for the further progress of projects. Thus, it is a huge value that CASE tools support the definition and validation of OCL expressions. The contribution of this master-s thesis is to provide an adaptive solution for managing OCL transformation in different environments or CASE tools, called ADOCLE. Therefore mapping patterns are defined to manage the schema matching between selectable environments (source and target schema). The OCL expressions are applied to a selectable source schema, which is mapped to a target schema. The goal of this work is to analyse OCL expressions and generate semantically equivalent expressions in the target schema depending on predefined transformation patterns.

Keywords:
Astract: For several years, Model Driven Software Development (MDSD) is on its rise and software models are not only used for design purposes but became a major element in the software engineering process. Modeling languages are available to describe models which are the basis for further development. In addition to the modeling languages, model transformations are an important ingredient of model driven software development. Basically, the goal of a model transformation is to transform a given source model to a desired target model. Often the model transformation fails and the troubleshooting is lengthy and timeconsuming because the mistakes can be in the transformation itself or in the metamodels. Another problem is to obtain a good test coverage. The aim of this work is to find an automated process which can test rule-based transformations. A tool is to be developed in Java, which is based on the meta language Ecore and model transformations in Atlas Transformation Language (ATL). One of the goals of the thesis is to find an automated white-box testing approach for model transformations in ATL. By the automatic generation of test instances a high test coverage should be ensured. In addition, various errors and especially runtime errors in the transformation should be detected. Beside the necessary basics such as Answer Set Programming (ASP) and testing in general the concrete implementation of the approach, the White-Box Testing (WBT) Tool, is described. Based on a collection of model transformations of the course "Model Engineering" of the Technical University of Vienna from the years 2009 until 2012 an evaluation is carried out and discussed. The method of evaluation is a case study with an objective test data set as the transformations are not created by ourselves. This set is significant with about 160 transformations. The results of the case study show that the developed WBT-Tool finds different errors. For example, failures during the validation of the models are detected and the tool finds runtime errors in the model transformation. An essential advantage is that there is no interaction except the initial setting and therefore more complex test data can be tested automatically.

Keywords: interoperability, DSML, UML, metamodeling, mappingmodel, WebML
Astract: Current software development projects comprise the development of complex software systems under immense time pressure. In the past decade, model-driven software development (MDSD) has become mainstream to tackle these challenges. In MDSD, domain specific modelling languages (DSML) are becoming more and more important. These languages allow to concisely represent all the peculiarities of a given domain in a model.
But being so specific, interoperability is needed with standardized modeling languages such as UML, because they offer a more common way of communication between different stakeholders. At the moment, interoperability can only be achieved by manually creating transformations between DSMLs and UML which is a challenging task.
This thesis presents a tool named ProfileGen, which tackles this challenge by proposing a semi-automatic approach for generating such transformations needed for interoperability between DSMLs and UML. In particular, a mapping language is presented which allows to manually link DSML elements with UML elements on a high-level of abstraction.
From such mappings, a generator framework automatically creates all artifacts needed for interoperability, including transformations from the DSMLs to UML and vice versa, as well as UML profiles for ensuring information loss free transformations .The approach is evaluated by a real-world case study, namely integrating WebML (a DSML for data-intensive Web applications) with UML.