Daniel Fötsch

Learn 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 this paper we present our approach to model and verify workflow-intensive systems. Besides the functional properties (given by the temporal work-flow 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(More)
Keywords: Software generation and transformation Higher-level transformation operators Operator hierarchy concept Transformation language XML XSLT a b s t r a c t 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(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 is essential for success in the e-business. 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(More)
Als Grundlage für die modellgetriebene Softwareentwicklung werden kor-rekte und qualitativ hochwertige Modelle bereits auf abstrakter fachlicher Ebene vor-ausgesetzt. 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)
Zusammenfassung Die Validierung und Verifikation ist eine zentrale Heraus-forderung der automatisierten Software-Entwicklung. Nur wenn es gelingt die Qualitätssicherungsaufgaben in signifikantem Umfang zu automatisieren, kann die Effizienz von generativen Entwicklungstechniken voll ausgenutzt werden. In dem Bericht werden die grundlegenden Vorgehenskonzepte(More)