Skip to main content
Kent Academic Repository

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

Micallef, Luana, Pace, Gordon J. (2008) An Embedded Domain Specific Language to Model, Transform and Quality Assure Business Processes in Business-Driven Development. In: WICT 2008: 1st National ICT Conference. . , Valletta, Malta (KAR id:24081)

Abstract

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.

Item Type: Conference or workshop item (Paper)
Additional information: More at http://kar.kent.ac.uk/30564
Uncontrolled keywords: Business Process Modelling, Model Transformations, Process Quality Assurance, Business-Driven Development, Embedded Domain Specific Language
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Funders: University of Malta (https://ror.org/03a62bv60)
Depositing User: L. Micallef
Date Deposited: 29 Mar 2010 12:13 UTC
Last Modified: 12 Jul 2022 10:40 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/24081 (The current URI for this page, for reference purposes)

University of Kent Author Information

Micallef, Luana.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.