PhD Theses
Formal Specification of Distributed Systems - A Discrete Space-Time Logic
This work has been finished in April 1995.
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).
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.
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.
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.
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.
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.
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.
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.
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.
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.
Oberon-D - On Adding Database Funktionality to an Object-Oriented Development Environment
This work has been finished in October 1997.
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.
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.
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.
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.
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.
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.
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.
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.
Self-Organization of Software Libraries: An Artificial Neural Network Approach
This work has been finished in November 1994.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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
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.
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.
A Tour on TriGS - Development of an Active System and Application of Rule Patterns for Active Database Design
This work has been finished in September 1996.
BOOM: An Approach for an Object-Oriented Fourth Generation System
This work has been finished in March 1998.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
A Runtime Model for SysML
Sabine Wolny ist Dissertantin im Doktorratskolleg CPPS – Doctoral College Cyber-Physical Production Systems. Details ihrer Arbeit finden sich hier.
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.