PhD Theses

.js-id-Ongoing

Conflict-tolerant Model Versioning

This work has been finished in December 2011. Model-driven software engineering (MDSE), which has recently gained momentum in academia as well as in industry, changed the way in which modern software systems are built.

Read more

From Mining to Mapping and Roundtrip Transformations – A Systematic Approach to Model-based Tool Integration

This work has been finished in March 2008. Model-Driven Engineering (MDE) gains momentum in academia as well as in practice. A wide variety of modeling tools is already available supporting different development tasks and advocating different modeling languages.

Read more

Conceptual Models and Model-Based Business Metadata to Bridge the Gap between Data Warehouses and Organizations

This work has been finished in November 2007. Data warehouse systems are used by decision makers for performance measurement and decision support. Measures such as the number of transactions per customer or the increase of sales during a promotion are used to recognize warning signs and to decide on future investments with regard to the strategic goals of the organization.

Read more

Model Transformation by Example

This work has been finished in May 2008. Model-Driven Engineering (MDE) is getting more and more attention as a viable alternative to the traditional code-centric software development paradigm. With its progress, several model transformation approaches and languages have been developed in the past years.

Read more

Towards a Sustainable DWH Approach for Evidence-Based Healthcare

This work has been finished in September 2007. The healthcare industry is one of the world’s largest, fastest developing and most information-rich industries. Rapid growth of information technologies has brought immense opportunities for patient data sharing, development and dissemination of evidence-based medical knowledge and analysis across distributed, heterogeneous healthcare data sources.

Read more

Model Driven Product Line Engineering: Core Asset and Process Implications

This work has been finished in February 2011. Reuse is at the heart of major improvements in productivity and quality in Software Engineering. Both Model Driven Engineering (MDE) and Software Product Line Engineering (SPLE) are software development paradigm that promote reuse.

Read more

Modelling Ubiquitous Web Applications - Requirements and Concepts

This work has been finished in November 2001. E-commerce and m-commerce have dramatically boosted the demand for services which enable ubiquitous access. Ubiquity offers new opportunities and challenges in terms of time-aware, location-aware, device-aware and personalized services.

Read more

aspectUWA - Applying Aspect-Orientation to the Model-Driven Development of Ubiquitous Web Applications

This work has been finished in October 2007. Ubiquitous web applications (UWA) are a new type of web applications which are accessed in various contexts, i.e., through different devices, by users with various interests, at anytime from anyplace around the globe.

Read more

Testing and Debugging of Model Transformations

This work has been finished in December 2011. Model-Driven Engineering (MDE) proposes an active use of models to conduct the different phases of software development. The major vision is a shift from the idea of “everything is an object” in the object-oriented paradigm to the idea of “everything is a model” in MDE.

Read more

BOOM: An Approach for an Object-Oriented Fourth Generation System

This work has been finished in March 1998.

Read more

Approximate Constraint Logic Programming

This work has been finished in June 1998. This thesis describes results that can be used to improve constraint logic programming (CLP) by increasing its expressivity and efficiency. This is done by introducing

Read more

De Modo Operandi: Towards the Interoperability of Workflow Information

This work has been finished in April 1995. The research reported in this dissertation deals with workflow management and electronic publishing. Recent developments like the evolvement of international standards, advanced communication services, as well as new delivery platforms, have resulted in a bewildering number of workflow systems, each of them being a proprietary solution.

Read more

TriGSflow - Workflow Management Based on Active Object-Oriented Database Systems and Extended Transaction Mechanisms

This work has been finished in February 1997. Effective business process management is a key success factor of today’s organizations acting in global markets. Their business processes have to dynamically adapt to changing requirements while executing in a consistent and reliable manner, even at the presence of activities performing concurrently.

Read more

A Four Level Architecture for Hypermedia Database Management Systems

This work has been finished in March 1998. In this thesis the Hypermedia Database Management System (HyperD) Architecture for hypermedia database management systems and the classes needed to implement the architecture are described.

Read more

Definition of Behavior in Object-Oriented Databases by View Integration

This work has been finished in September 1998. Databases in large organizations are usually designed by a group of people including potential future users of the database who know the application domain from everyday business.

Read more

Active Object-Oriented Databases: From Conceptual Design to Logical Design

This work has been finished in February 1998. The design of active object-oriented databases includes modeling the structure of objects, their passive behavior in the form of operations that can be performed on them, and their active behavior in the form of business rules.

Read more

Handling Variants of Business Document Models

This work has been finished in December 2011. The United Nations Centre for Trade Facilitation and Electronic Business (UN/CEFACT) envisions seamless information exchange between business partners in electronic commerce. Therefore, UN/CEFACT provides the UML Profile for Core Components for the definition of document models based on UML class diagrams.

Read more

Context Aware Core Components Modeling

This work has been finished in October 2012. Business document standards usually cover a hierarchical structure of thousands of elements that may be relevant in any business context (any industry, any geopolitical region, etc.

Read more

The Model Morphing Approach - Horizontal Transformation of Business Process Models

This work has been finished in February 2008. Owing to company mergers and business to business interoperability, there is a need for model transformation in the area of business process modeling to facilitate model integration and model synchronisation.

Read more

Ant Algorithms for Self-Organization in Social Networks

This work has been finished in May 2007. Peer-to-peer networks and folksonomies are like living organisms, ever growing and changing as time goes on. This thesis addresses the applicability of algorithms derived from the self-organizing and emergent behavior observed from ant colonies to these complex networks for two specific purposes, namely (1) content-based search in unstructured peer-to- peer networks, and (2) the extraction of adaptive user profiles from folksonomies.

Read more

High Performance Computing in Finance - On the Parallel Implementation of Pricing and Optimization Models

This work has been finished in May 2006. High Performance Computing is useful in the field of finance for solving problems which are defined on models of financial variables in the form of sequences of scenarios along with their realization probabilities.

Read more

Testing of UML Activity Diagrams

In model-driven development, modeling languages provide the means for software development on a higher level of abstraction than traditional general purpose languages. However, compared to general purpose languages, these modeling languages often lack the proper tool support, such as tools for debugging and testing.

Read more

REA-DSL: Business Model Driven Data Engineering

This work has been finished in June 2012. Accounting Information Systems (AIS) are essential for companies not only to record and track what events are happening or what events have happened in the past, they are also one of the most important tools for management to predict the financial future of a firm and take according actions.

Read more

Self-Organization of Software Libraries: An Artificial Neural Network Approach

This work has been finished in November 1994.

Read more

Adaptable Model Versioning based on Model Transformation By Demonstration

This work has been finished in December 2011. Model-driven engineering (MDE) is evermore adopted in academia and industry for being a new paradigm helping software developers to cope with the ever increasing complexity of software systems being developed.

Read more

Business Documents for Inter-Organisational Business Processes

This work has been finished in December 2009. Automated business-to-business (B2B) interactions between companies are constantly superseding old paper-based processes. This automation of inter-organizational processes requires a two-fold agreement between the participating business partners.

Read more

Defining Executable Modeling Languages with fUML

This work has been finished in December 2014. Model-driven engineering (MDE) is a software development paradigm aiming to cope with the growing complexity of software systems by raising the level of abstraction.

Read more

Conceptual Design of Active Object-Oriented Databases

This work has been finished in September 1997. Business rules are statements about business policies and can be formulated according to the event-condition-action structure of rules provided by active database systems, which allow to react to predefined situations by performing an operation if a certain condition is satisfied when the event occurs.

Read more

Monitoring von verteilten Systemen

This work has been finished in June 2000. Enhancements to computer systems and networking technologies have lead to an increasing decentralization of services and data which implies the usage of common resources (e.

Read more

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.

Read more

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.

Read more

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

This work has been finished in October 1997.

Read more

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.

Read more

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.

Read more

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.

Read more

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.

Read more

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.

Read more

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.

Read more

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.

Read more

Conflict Resolution in Model Versioning

This work has been finished in July 2012. In most engineering disciplines, models are built as pragmatic, yet precise abstractions of huge systems. The model building process requires multiple people jointly elaborating on artifacts, which are analyzed, used to communicate among stakeholders, and act finally as construction plan for realizing the modeled system.

Read more

Model integration by virtualization

Model integration has been a recurring problem for several years now and gets even more impact due to the large amount of big, heterogenous model used in today’s industries. Virtualization has been successfully applied to data integration for a long time now and already received some attention in the modeling community, but is typically limited to providing read–only integrated information.

Read more

An Architecture Style for Cloud Application Modeling

UML is a widely adopted open standard to create architectural models from multiple viewpoints for various domains. Its language-inherent extension mechanism is being applied to systematically integrate domain-specific concepts via libraries and profiles because they are indispensable for model-based engineering (MBE).

Read more

Maintaining Consistency of Data on the Web

This work has been finished in December 2004. Increasingly more data is becoming available on the Web, estimates speaking of 1 billion documents in 2002. Most of the documents are Web pages whose data is considered to be in XML format, expecting it to eventually replace HTML, the current lingua franca of the Web, e.

Read more

Formal Specification of Distributed Systems - A Discrete Space-Time Logic

This work has been finished in April 1995.

Read more

Optimizing Configuration Data using Prescriptive Analytics

The dissertation project CODA addresses new, important research questions to combine operation data and configuration models/data for optimization of system configuration (engineering, planning, construction, maintenance) and operation. The results of CODA will be novel analytics methods and algorithms which will be exemplary evaluated for railway automation, but will be applicable to other domains as well.

Read more

A Runtime Model for SysML

Sabine Wolny ist Dissertantin im Doktorratskolleg CPPS – Doctoral College Cyber-Physical Production Systems. Details ihrer Arbeit finden sich hier.  

Read more

Leveraging Industry Standards and Model-Driven Engineering Techniques for Vertical Integration in Smart Manufacturing Environments

Smart manufacturing requires deeply integrated IT systems in order to foster flexibility in the setup, re-arrangement and use of attached physical manufacturing systems. In a vertical integration scenario, IT systems of different vendors might be in use and proprietary interfaces need to defined in order to allow the exchange of relevant information from one system to another.

Read more

Leveraging Semantic Web Technologies in Configuration Management

Although the concept of Semantic Web and Semantic Web technologies (SWT) in particular have been investigated over several years now, they were mainly seen as an interesting research topic having its application domain primarily in the World Wide Web (WWW) rather than be matured enough to be used within a productive environment that might have no direct relation to the WWW at all.

Read more

Concurrent Multi-Viewpoint Building Information modeling (COMBINE)

The processes in the Architecture, Engineering and Construction (AEC) and Facility Management (FM) industries are iterative – components are created, revised or discarded. There are many stakeholders with a multitude of domain-specific requirements and tools – for calculation, information visualisation and exchange, using a variety of standards (e.

Read more

Model-Driven Language Modernization

The introduction of Extensible Markup Language (XML) represented a tremendous leap towards the design of Domain-Specific Languages (DSLs). Although XML-based languages are well adopted and flexible, their generic editors miss modern DSL editor functionality.

Read more

A Generic and Generative White-Box Testing Framework for Model Transformations

The aim of this work is to provide a comprehensive model transformation testing framework supporting all testing phases, ranging from test source model generation to fault localization. Test model generation will be done following a white-box approach, leveraging the code of the transformation to achieve better results.

Read more