Constraints-based URDAD Model Verification

Fritz Solms, Priscilla Naa Dedei Hammond, Linda Marshall


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.


  1. Aggoun, A. e. a. (2006). The ecli pe user manual.
  2. Berkenkötter, K. (2006). Ocl-based validation of a railway domain profile. In Proceedings of the 2006 International Conference on Models in Software Engineering, MoDELS'06, pages 159-168, Berlin, Heidelberg. Springer-Verlag.
  3. Brambilla, M., Cabot, J., and Wimmer, M. (2012). ModelDriven Software Engineering in Practice. Morgan & Claypool Publishers, 1st edition.
  4. Cabot, J., Clariso, R., and Riera, D. (2008). Verification of uml/ocl class diagrams using constraint programming. In Software Testing Verification and Validation Workshop, 2008. ICSTW 7808. IEEE International Conference on, pages 73-80.
  5. Cohen, J. (1996). Logic programming and constraint logic programming. ACM Comput. Surv., 28(1):257-259.
  6. Dan, L. (2010). QVT Based Model Transformation from Sequence Diagram to CSP. In Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, pages 349-354.
  7. Delmas, R., Pires, A. F., and Polacsek, T. (2013). A verification and validation process for model-driven engineering. In Array, editor, EUCASS Proceedings Series Advances in AeroSpace Sciences, volume 6, pages 455- 468.
  8. Elmansouri, R., Hamrouche, H., and Chaoui, A. (2011). From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom3 Tool.
  9. International Journal of Computer Science Issues, 8(2):368-374.
  10. Fieber, F., Huhn, M., and Rumpe, B. (2008). Modellqualität als indikator für softwarequalität: eine taxonomie. Informatik-Spektrum, 31(5):408 424.
  11. Fowler, M. (2010). Domain Specific Languages. AddisonWesley Professional, 1st edition.
  12. Frankel, D. S. (2003). Model Driven Architecture: Applying MDA to enterprise computing. John Wiley & Sons, New York.
  13. Gronback, R. C. and Merks, E. (2008). Model Driven Architecture at Eclipse. The European Journal for the Informatics Professional, 2008(II).
  14. Group, O. M. (2006). Meta Object Facility (MOF) Core Specification Version 2.0.
  15. Heidenreich, F., Johannes, J., Karol, S., Seifert, M., and Wende, C. (2011). Model-based language engineering with emftext. In Lmmel, R., Saraiva, J., and Visser, J., editors, GTTSE, volume 7680 of Lecture Notes in Computer Science, pages 322-345. Springer.
  16. Lange, C. and Chaudron, M. (2005). Managing Model Quality in UML-Based Software Development. In Software Technology and Engineering Practice, 2005. 13th IEEE International Workshop on, pages 7-16.
  17. Lindland, O., Sindre, G., and Solvberg, A. (1994). Understanding quality in conceptual modeling. IEEE Software, 11(2):42-49.
  18. Malgouyres, H. and Motet, G. (2006). A uml model consistency verification approach based on meta-modeling formalization. In Proceedings of the 2006 ACM Symposium on Applied Computing, SAC 7806, pages 1804- 1809, New York, NY, USA. ACM.
  19. Mohagheghi, P. and Aagedal, J. (2007). Evaluating Quality in Model-Driven Engineering. In MISE 7807: Proceedings of the International Workshop on Modeling in Software Engineering, pages 6-11, Washington, DC, USA. IEEE Computer Society.
  20. Ng, M. Y. and Butler, M. (2003). Towards formalizing UML state diagrams in CSP. In Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on, pages 138-147.
  21. Object Management Group (2012). OCL 2.3.1 Specification.
  22. Solms, F. (2007). Technology Neutral Business Process Design using URDAD. In Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT07, pages 52-70, Amsterdam, The Netherlands, The Netherlands. IOS Press. ACM ID: 1566976.
  23. Solms, F., Edwards, C., Paar, A., and Gruner, S. (2011a). A Domain-Specific Language for URDAD Based Requirements Elicitation. In Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment, SAICSIT 7811, pages 224-230, New York, NY, USA. ACM.
  24. Solms, F. and Loubser, D. (2009). Generating MDA's platform independent model using URDAD. KnowledgeBased Systems, 22(3):174-185.
  25. Steinberg, D., Budinsky, F., Paternostro, M., and Merks, E. (2009). EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, 2nd edition.
  26. Xia, H. and Li, Z. (2009). Verification web services composition based on owl-s. In Knowledge Acquisition and Modeling, 2009. KAM 7809. Second International Symposium on, volume 1, pages 164-167.
  27. Zhi-Jun, D., Jun-li, W., and Chang-Jun, J. (2005). Semantic web service composition based on owl-s. In Semantics, Knowledge and Grid, 2005. SKG 7805. First International Conference on, pages 98-98.

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

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,},

in EndNote Style

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