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.

Download


Paper 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