Authors:
Fritz Solms
;
Priscilla Naa Dedei Hammond
and
Linda Marshall
Affiliation:
University of Pretoria, South Africa
Keyword(s):
Model-driven Engineering, Model Validation, URDAD, Metamodel, Object Constraint Language, Domain-Specific Language.
Related
Ontology
Subjects/Areas/Topics:
Cross-Feeding between Data and Software Engineering
;
Model-Driven Engineering
;
Service-Oriented Software Engineering and Management
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Software Quality Management
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.