PDD applied: A model driven approach
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