Konferenzbeitrag
PDD Applied: A Model Driven Approach
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2007
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e. V.
Zusammenfassung
Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this methodology is being built at the moment. It allows modeling of business processes and uses Model Driven Software Development (MDSD) technologies to transform the business process models to a mathematical specifications. While MDSD usually is used to create software artifacts, in this approach it is used solely to transform the models into their target form for further validation.