Keywords: Health Level 7, Clinical Document Architecture, XML Schema, Schematron, XQuery, Constraint Checking, Didactics
Astract: There are a variety of different sources where electronic healthcare information may be produced, such as equipment measuring parameters of the human body or personnel entering patient information into a healthcare information application.
Representing healthcare information electronically allows to exchange information quickly utilizing all of information technology's advantages. One of the keys for electronic healthcare information exchange is a common format to represent information, such as it is specified through healthcare standards.
Regardless of the source of information, there are different possibilities where healthcare information may result into erroneous or faulty information.
The source of erroneous information may be physical equipment producing wrong results, as well as a human entering wrong information into an information system.
Having healthcare information available electronically, and moreover represented in a common format such as it is specified through healthcare standards, allows the processing of information using healthcare information applications.
Therefore, one of the goals of this thesis is to identify different sources in healthcare information processing where erroneous information may occur. Based on these findings, notations are identified that may be used to define constraints. The purpose of constraints is to allow the definition of rules, which may then be applied to healthcare information, in order to discover inconsistent and erroneous parts thereof. Furthermore, different technologies, including hardware and software, are described which may be used to apply constraints.
With the necessary theoretical background and technology, a fictional scenario is described. The purpose of the scenario is to illustrate different approaches to define and apply constraints to evaluate the quality and consistency of healthcare information. In particular, three different approaches are implemented and illustrated. It is then shown how constraint notations and the technology to apply constraints may support didactics in the healthcare area. The results found during the implementation and illustration of three different approaches are then evaluated, compared, and described. The findings include characteristics, advantages and disadvantages of each of the approaches taken. It is found that not all constraint notations and technologies are capable to define and apply constraints in order to discover erroneous healthcare information. However, even though certain technologies show limits, they have other advantages such as the configuration of a hardware device instead of creating an entire software application.
Finally, the conclusion of this thesis points to further areas where exploratory work is needed, but which has been beyond the scope of this thesis.

Keywords:
Astract: Today's online model repositories offer to download and view the textual specifications of e.g. metamodels and models in the browser. For users, in order to efficiently search a model repository, a graphical visualization of the stored models is desirable. First attempts that automatically generate class diagrams as bitmaps, however, do not scale for large models and fail to present all information. In this paper, we present our Web 2.0 MetaModelbrowser, a model visualization service which provides an Ajax-based tree-viewer for efficiently browsing Ecore-based metamodels and their models. As a main contribution of this work the MetaModelbrowser is complementary to existing model repositories in that its visualization service can be integrated into them. The MetaModelbrowser, furthermore, allows zooming in and out of the details of arbitrarily sized models as necessary. Furthermore, we have done some case studies on the one hand how to extend the MetaModelbrowser, e.g., for creation, update, and deletion of model elements as well as supporting model weaving, and on the other hand how to incorporate the MetaModelbrowser in current versioning systems.

Keywords:
Astract: Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model transformation languages to realize necessary mappings between concepts of the metamodels defining the modeling languages supported by different tools. Existing model transformation languages, however, lack appropriate abstraction mechanisms for resolving recurring kinds of structural heterogeneities one has to primarily cope with when creating such mappings. We propose a framework for building reusable mapping operators which allow the automatic transformation of models. For each mapping operator, the operational semantics is specified on basis of Colored Petri Nets, providing a uniform formalism not only for representing the transformation logic together with the metamodels and the models themselves, but also for executing the transformations, thus facilitating understanding and debugging. To demonstrate the applicability of our approach, we apply the proposed framework for defining a set of mapping operators which are intended to resolve typical structural heterogeneities occurring between the core concepts usually used to define metamodels.

Keywords:
Astract: In this paper, we report our experiences on teaching the Unifi ed Modeling Language in the large. More precisely, about 1000 computer science and business informatics students attend our course Object-Oriented Modeling each year. Requiring a profound understanding of the UML, many advanced courses like Software Engineering or Model Engineering build on the knowledge imparted by our course. In order to achieve our ambitious teaching targets, we establish personal mentoring despite the mass enhanced with e-learning facilities.

Keywords:
Astract: The development of complex software systems requires appropriate abstraction mechanisms in terms of model-driven engineering techniques (MDE) and proper support for allowing developers to work in parallel in terms of version control systems (VCSs). For realizing the vision of MDE, a bundle of standards has been made available recently, whereas the versioning of models has not gained the necessary attention yet, although being of paramount importance for the success of MDE in practice. In this paper, we propose a first vision of AMOR (Adaptable Model Versioning) to leverage version control in the area of MDE. The innovations of AMOR are threefold. Firstly, AMOR supports precise conflict detection, i.e., previously undetected as well as wrongly indicated conflicts shall be avoided. Secondly, AMOR focuses on intelligent conflict resolution by providing techniques for the representation of conflicting modifications as well as suggesting proper resolution strategies. Thirdly, AMOR targets an adaptable versioning framework, empowering modelers to flexibly balance between reasonable adaptation effort and proper versioning support while ensuring generic applicability to various domain-specific modeling languages and associated tools.