Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Software Engineering 2007- Beiträge zu den Workshops Fachtagung des GI-Fachbereichs Softwaretechnik, 27. - 30.03.2007 in Hamburg P-106, 281-286 (2007).



Stefan Böttinger (ed.), Ludwig Theuvsen (ed.), Susanne Rank (ed.), Marlies Morgenstern (ed.)


PDD applied: A model driven approach

Helge Sören Klimek


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.

Full Text: PDF

ISBN 978-3-88579-200-0

Last changed 04.10.2013 18:14:00