Constraints-based URDAD Model Verification
Fritz Solms, Priscilla Naa Dedei Hammond, Linda Marshall
2016
Abstract
In Model-Driven Engineering the primary artifact is a technology and architecture neutral model called a Platform Independent Model (PIM). The Use-Case, Responsibility Driven Analysis and Design (URDAD) is a service-oriented method which is used to construct a PIM commonly specified in the URDAD Domain- Specific Language (DSL). In this paper we show that model quality can be verified by specifying a set of quality constraints at metamodel level which are used to verify certain consistency, completeness, traceability and simplicity qualities of URDAD models. The set of constraints has been mapped onto the Object Constraint Language (OCL) and a tool used to verify these constraints has been developed. The set of constraints is also used by an URDAD model editor to verify aspects of model quality as it is being developed.
DownloadPaper Citation
in Harvard Style
Solms F., Hammond P. and Marshall L. (2016). Constraints-based URDAD Model Verification . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-189-2, pages 148-155. DOI: 10.5220/0005829401480155
in Bibtex Style
@conference{enase16,
author={Fritz Solms and Priscilla Naa Dedei Hammond and Linda Marshall},
title={Constraints-based URDAD Model Verification},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,},
year={2016},
pages={148-155},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005829401480155},
isbn={978-989-758-189-2},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: ENASE,
TI - Constraints-based URDAD Model Verification
SN - 978-989-758-189-2
AU - Solms F.
AU - Hammond P.
AU - Marshall L.
PY - 2016
SP - 148
EP - 155
DO - 10.5220/0005829401480155