CFP last date
22 April 2024
Reseach Article

Validation of UML Artifacts in Model Driven Engineering using Description Logics based Ontology Reasoners

by Ali Hanzala Khan, Naeem Abbas
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 171 - Number 3
Year of Publication: 2017
Authors: Ali Hanzala Khan, Naeem Abbas
10.5120/ijca2017915003

Ali Hanzala Khan, Naeem Abbas . Validation of UML Artifacts in Model Driven Engineering using Description Logics based Ontology Reasoners. International Journal of Computer Applications. 171, 3 ( Aug 2017), 9-16. DOI=10.5120/ijca2017915003

@article{ 10.5120/ijca2017915003,
author = { Ali Hanzala Khan, Naeem Abbas },
title = { Validation of UML Artifacts in Model Driven Engineering using Description Logics based Ontology Reasoners },
journal = { International Journal of Computer Applications },
issue_date = { Aug 2017 },
volume = { 171 },
number = { 3 },
month = { Aug },
year = { 2017 },
issn = { 0975-8887 },
pages = { 9-16 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume171/number3/28159-2017915003/ },
doi = { 10.5120/ijca2017915003 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-07T00:18:26.313376+05:30
%A Ali Hanzala Khan
%A Naeem Abbas
%T Validation of UML Artifacts in Model Driven Engineering using Description Logics based Ontology Reasoners
%J International Journal of Computer Applications
%@ 0975-8887
%V 171
%N 3
%P 9-16
%D 2017
%I Foundation of Computer Science (FCS), NY, USA
Abstract

This article presents an automatic approach to validate UML artifacts created during Model Driven Engineering. This validation approach may be used at both model and metamodel layer of Model Driven Architecture. This approach first automatically translates the UML artifacts into logical equivalent OWL 2 axioms and then use OWL 2 reasoners to validate the translations. Furthermore, the viability of the approach is demonstrated by validating 303 models and metamodels available in an online repository and the results show that half of the models and metamodels found erroneous.

References
  1. Stuart Kent. Model Driven Engineering. In Proc. of IFM International Formal Methods 2002, volume 2335 of LNCS. Springer-Verlag, 2002.
  2. OMG. UML 2.2 Superstructure Specification, February 2009. available at http://www.omg.org/.
  3. Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York, NY, USA, 2003.
  4. The Atlantic Zoo. Available at http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/.
  5. OMG. UML 2.2 Infrastructure Specification, February 2009. available at http://www.omg.org/.
  6. The Eclipse Modeling Framework website. http://www. eclipse.org/emf.
  7. Frank Budinsky, David Steinberg, Ed Merks, Raymond Ellersick, and Timothy J. Grose. Eclipse Modeling Framework. Addison Wesley Professional, August 2003.
  8. Fr´ed´eric Jouault and Jean B´ezivin. KM3: a DSL for Metamodel Specification. In Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Bologna, Italy, 2006.
  9. Marcus Alanen, Torbj¨orn Lundkvist, and Ivan Porres. Comparison of modeling frameworks for software engineering. Nordic J. of Computing, 12(4):321–342, 2005.
  10. R. Van Der Straeten. Inconsistency Management in Modeldriven Engineering. An Approach using Description Logics. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium, September 2005.
  11. Fernando Silva Parreiras, Steffen Staab, and Andreas Winter. On marrying ontological and metamodeling technical spaces. In ESEC-FSE ’07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 439–448, New York, NY, USA, 2007. ACM.
  12. Tobias Walter, Fernando Silva Parreiras, and Steffen Staab. OntoDSL: An ontology-based framework for domain-specific languages. In Andy Sch¨urr and Bran Selic, editors, MoDELS, volume 5795 of Lecture Notes in Computer Science, pages 408–422. Springer, 2009.
  13. Dragan Ga?sevi´c, Dragan Djuri´c, and Vladan Deved?zi´c. Mdabased automatic owl ontology development. Int. J. Softw. Tools Technol. Transf., 9(2):103–117, 2007.
  14. Shengjun Wang, Longfei Jin, and Chengzhi Jin. Ontology definition metamodel based consistency checking of uml models. pages 1 –5, may 2006.
  15. International Business Machines, Object Management Group, and Sandpiper Software. Ontology definition metamodel (ODM). OMG Document ad/2003-02-23. Available at http: //www.omg.org/.
  16. Conrad Bock, Achille Fokoue, Peter Haase, Rinke Hoekstra, Ian Horrocks, Alan Ruttenberg, Uli Sattler, and Michael Smith. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3 Recommendation Available at http://www.w3.org/TR/2009/ REC-owl2-syntax-20091027/.
  17. Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, and Mike Dean. SWRL: A semantic web rule language combining OWL and RuleML. Availible at http://www.w3.org/Submission/SWRL/, 2004.
  18. Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical owl-dl reasoner. Web Semant., 5(2):51–53, 2007.
  19. Vladimir Kolovski, Bijan Parsia, and Evren Sirin. Extending the shoiq(d) tableaux with dl-safe rules: First results. In Bijan Parsia, Ulrike Sattler, and David Toman, editors, Description Logics, volume 189 of CEUR Workshop Proceedings. CEURWS. org, 2006.
  20. MOFScript Homepage. Available at http://www.eclipse. org/gmt/mofscript/. [
  21. MOFScript User Guide, 2009. Document Available at http://www.eclipse.org/gmt/mofscript/doc/ MOFScript-User-Guide-0.8.pdf.
  22. Marcus Alanen and Ivan Porres. A Metamodeling Language Supporting Subset and Union Properties. Springer International Journal on Software and Systems Modeling, 7(1):103– 124, 2007. Available at http://www.springerlink.com/ content/8k67436222447147/.
  23. Clark and Parsia. Pellet: OWL 2 Reasoner for Java. Homepage, available at http://clarkparsia.com/pellet.
  24. Ali Hanzala Khan. Consistency of UML Based Designs using Ontology Reasoners. PhD thesis, Abo Akademi University, 2013.
  25. Ali Hanzala Khan and Ivan Porres. Consistency of uml class, object and statechart diagrams using ontology reasoners. J. Vis. Lang. Comput., 26(C):42–65, February 2015.
  26. David H. Akehurst and Stuart Kent and Octavian Patrascoiu. A relational approach to defining and implementing transformations between metamodels. Software and System Modeling, 2(4):215–239, 2003.
  27. Tony Clark, Andy Evans, and Stuart Kent. The Metamodelling Language Calculus: Foundation Semantics for UML. In Proceedings of the Fundamental Aspects of Software Engineering (FASE), pages 17–31, 2001.
  28. Bernhard Sch¨atz. Formalization and rule-based transformation of emf ecore-based models. pages 227–244, 2009.
  29. D´aniel Varr´o and Andr´as Pataricza. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling, 2(3):187–210, October 2003.
  30. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
Index Terms

Computer Science
Information Sciences

Keywords

Reasoning Metamodels Models MDE Ontology