PhD Theses

Business Process Modelling - Languages, Goals, and Variabilities

This work has been finished in January 2008. Over the last decade more and more companies started to optimize their business processes in a way to meet its business goals. They develop business process models defining which activities have to be executed in which order under which conditions by whom and by using which resources.

Model Driven Development of Inter-organizational Workflows

This work has been finished in May 2004. The rise of the web has spurred automation of cooperation among organizations. Interorganizational workflows support such cooperations in a way similar to traditional intraorganizational workflows that support business processes within an organization.

Oberon-D - On Adding Database Funktionality to an Object-Oriented Development Environment

This work has been finished in October 1997.

Metadata-Based Middleware for Integrating Information Systems

This work has been finished in April 1999. Today, information systems are widely employed for administrating large amounts of data of various application areas. Due to historical, organizational, and technical reasons, their infrastructure is usually characterized by the keywords distribution and heterogeneity, in the sense that an organization comprises several physically distributed and heterogeneous information system components.

Smart Matching – An Approach for the Automatic Generation of Executable Schema Mappings

This work has been finished in September 2008. Information integration has a long history in computer science [1]. It has started with theintegration of database schemas in the early eighties. With the rise of the Semantic Web andthe emerging abundance of ontologies, the need for an automatic information integration increased further.

A Univied Peer-to-Peer Database Framework for XQueries over Dynamic Distributed Content and its Application for Scalable Service Discovery

This work has been finished in March 2002. In a large distributed system spanning administrative domains such as a Grid, it is desirable to maintain and query dynamic and timely information about active participants such as services, resources and user communities.

Adaptivity in Learning Management Systems focussing on Learning Styles

his work has been finished in December 2007. Learning management systems (LMSs) such as WebCT, Blackboard, and Moodle are commonly and successfully used in e-education. While they focus on supporting teachers in creating and holding online courses, they typically do not consider the individual differences of learners.

Formal Verification Techniques in Model Evolution

This work has been finished in July 2015. Correctness with respect to its specification is, with varying degree, crucial for all software developed today. Software that is developed following the model based development (MBD) approach is no exception to this observation.

Search-Based Model Transformations

This work has been finished in April 2016. Model-Driven Engineering (MDE) is a paradigm that promotes the use of models as the central artifacts for solving problems. In MDE, problem domains are specified using domain-specific modeling languages and models are concrete problem instances that abstract from reality to reduce complexity.

Conceptual Design of Secure Workflow Systems: An Object-Oriented Approach to the Uniform Modeling of Workflows, Organizations, and Security

This work has been finished in May 1998. The conceptual design of workflow systems comprises the modeling of organizational processes, organization structures, and security requirements. We present a comprehensive, conceptual workflow model that is to be used in early phases of the design of workflow systems that have high demands on security.