An embedded domain specific language to model, transform and quality assure business processes in business-driven development

摘要

In Business-Driven Development (BDD), businessudprocess models are produced by business analysts. Toudensure that the business requirements are satisfied, theudIT solution is directly derived through a process ofudmodel refinement. If models do not contain all theudrequired technical details or contain errors, the derivedudimplementation would be incorrect and the BDDudlifecycle would have to be repeated. In this project weudpresent a functional domain specific languageudembedded in Haskell, with which: 1) models canudrapidly be produced in a concise and abstract manner,ud2) enables focus on the specifications rather than theudimplementation, 3) ensures that all the required details,udto generate the executable code, are specified, 4)udmodels can be transformed, analysed and interpreted inudvarious ways, 5) quality assures models by carrying outudthree types of checks; by Haskell‟s type checker, atudconstruction-time and by functions that analyse theudsoundness of models, 6) enables users to define qualityudassured composite model transformations.