Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/25280
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Micallef, Luana | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.date.accessioned | 2018-01-02T14:14:31Z | - |
dc.date.available | 2018-01-02T14:14:31Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Micallef, L., & Pace, G. J. (2009). Embedded languages for business process modelling, transformation and quality assurance in business-driven development (No. CS2009-02). Msida. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/25280 | - |
dc.description.abstract | In Business-Driven Development (BDD), process models are produced by business analysts. To ensure that the defined requirements are satisfied, the IT solution must ideally be derived directly from the specifications through a process of model refinement. However, if the original models contain errors or lack some technical detail, an incorrect implementation would be inferred and the entire BDD life-cycle would have to be revised. In this report, we investigate the use of embedded language techniques to enable more abstract model descriptions and enable quality assurance and transformation of models. We have embedded such a domain-specific language in the functional programming language Haskell and show how it enables: (i) the rapid development of models in a concise and abstract manner, focusing on the specifications rather than the implementation and ensuring that all the required details to generate the executable code are specified; (ii) quality assurance of the models through the use of Haskell’s type checker, at construction-time and through soundness analysis; (iii) transformation, analysis and interpretation of the models; and (iv) definition of composite model transformations, including the use of quality assurance. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | University of Malta. Faculty of Information and Communication Technology | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Embedded computer systems | en_GB |
dc.subject | Computer hardware description languages | en_GB |
dc.title | Embedded languages for business process modelling, transformation and quality assurance in business-driven development | en_GB |
dc.type | report | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Embedded_Languages_for_Business_Process_Modelling_.pdf | 2.92 MB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.