Daniel Fötsch

Learn More
In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we augment the model and model checking with additional property treatment to deal with multifarious non-functional properties and property hierarchies. This enables a more powerful verification(More)
In the recent time the eXtensible Markup Language (XML) is playing an increasing role in the exchange of nearly all kind of Web-based data and elsewhere. Hence, the development and enhancement of XML document transformation technologies and concepts become essential in the future. However, numerous specific transformation approaches specify their(More)
The assurance of quality and reliability of process models and workflows is essential for model driven software development. There are numerous ways to achieve these objectives. One is model checking, through which it can be verified that a model satisfies specific logical rules. The model to be checked is usually given as a finite state machine. Rules have(More)
In the software development (e.g. with product lines or refactoring) transformations play an increasing role. To ease and automate these transformations, we propose a solution based on the operator hierarchy concept. It allows to define transformation operator hierarchies containing different levels of transformation operators. The operators capture(More)
The assurance of quality and reliability is essential for success in the ebusiness. However, missing validation mechanisms are a serious problem in web page development. Most web based programming languages do not support validation and other security features. Furthermore, the usage of different languages increases the complexity. We present an approach to(More)
Als Grundlage für die modellgetriebene Softwareentwicklung werden korrekte und qualitativ hochwertige Modelle bereits auf abstrakter fachlicher Ebene vorausgesetzt. Um die Qualität der Modelle zu sichern, existieren verschiedene Ansätze wie Modellprüfen (Model Checking). Modellprüfen ist eine formale Methode, mit der Modelle gegen eine Spezifikation(More)
A key issue in exchanging XML-based data is their transformation. However, available transformation languages are generally still low-level. Their low-level transformation operators do not reflect the target language concepts and terminologies. Moreover, transformation correctness is usually beyond the scope of such operators. This paper presents a generic(More)