Daniel Fötsch

Learn 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)
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)
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)