School of Computing

An Embedded Domain Specific Language to Model, Transform and Quality Assure Business Processes in Business-Driven Development

Luana Micallef and Gordon J. Pace

In WICT 2008: 1st National ICT Conference, pages 182-196, Valletta, Malta, November 2008. Faculty of ICT, University of Malta.


In Business-Driven Development (BDD), business process models are produced by business analysts. To ensure that the business requirements are satisfied, the IT solution is directly derived through a process of model refinement. If models do not contain all the required technical details or contain errors, the derived implementation would be incorrect and the BDD lifecycle would have to be repeated. In this project we present a functional domain specific language embedded in Haskell, with which: 1) models can rapidly be produced in a concise and abstract manner, 2) enables focus on the specifications rather than the implementation, 3) ensures that all the required details, to generate the executable code, are specified, 4) models can be transformed, analysed and interpreted in various ways, 5) quality assures models by carrying out three types of checks; by Haskell.s type checker, at construction-time and by functions that analyse the soundness of models, 6) enables users to define quality assured composite model transformations.

Download publication 383 kbytes (PDF)

Bibtex Record

author = {Luana Micallef and Gordon J. Pace},
title = {{A}n {E}mbedded {D}omain {S}pecific {L}anguage to {M}odel, {T}ransform and {Q}uality {A}ssure {B}usiness {P}rocesses in {B}usiness-{D}riven {D}evelopment},
month = {November},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {27600_1238679671},
    booktitle = {WICT 2008: 1st National ICT Conference},
    address = {Valletta, Malta},
    organization = {Faculty of ICT, University of Malta},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014