Visual Syntax of UML Class and Package Diagram Constructs as an Ontology

Anitta Thomas, Aurona J. Gerber, Alta van der Merwe

Abstract

Diagrams are often studied as visual languages with an abstract and a concrete syntax (concrete syntax is often referred to as visual syntax), where the latter contains the visual representations of the concepts in the former. A formal specification of the concrete syntax is useful in diagram processing applications as well as in achieving unambiguous understanding of diagrams. Unified Modeling Language (UML) is a commonly used modeling language to represent software models using its diagrams. Class and package diagrams are two diagrams of UML. The motivation for this work is twofold; UML lacks a formal visual syntax specification and ontologies are under-explored for visual syntax specifications. The work in this paper, therefore, explores using ontologies for visual syntax specifications by specifying the visual syntax of a set of UML class and package diagram constructs as an ontology in the Web ontology language, OWL. The reasoning features of the ontology reasoners are then used to verify the visual syntax specification. Besides formally encoding the visual syntax of numerous UML constructs, the work also demonstrates the general value of using OWL for visual syntax specifications.

References

  1. (2012a). Information technology - Object Management Group Unified Modeling Language (OMG UML), Infrastructure. Object Management Group.
  2. (2012b). Information technology - Object Management Group Unified Modeling Language (OMG UML), Superstructure. Object Management Group.
  3. Bock, J., Haase, P., Ji, Q., and Volz, R. (2008). Benchmarking OWL Reasoners. In van Harmelen, F., Herzig, A., Hitzler, P., Lin, Z., Piskac, R., and Qi, G., editors, Proceedings of the ARea2008 Workshop. CEUR Workshop Proceedings.
  4. Drewes, F. and Klempien-Hinrichs, R. (2000). Picking Knots from Trees: The Syntatic Structure of Celtic Knotwork. In Michael Anderson, P. C. and Haarslev, V., editors, Theory and Application of Diagrams, First International Conference, Diagrams 2000, volume 1889 of Lecture Notes in Artifical Intelligence, pages 89-104. Springer.
  5. Elaasar, M. and Labiche, Y. (2011). Diagram Definition: a Case Study with the UML Class Diagram. In MoDELS 2011, Lecture Notes in Computer Science, pages 364-378. Springer.
  6. G Costagliola, A De Lucia, S. O. and Tortora, G. (1997). A Framework of Syntactic Models for the Implementation of Visual Languages. In Proceedings of IEEE Symposium on Visual Languages, pages 58-65. IEEE.
  7. Haarslev, V. (1995). Formal Semantics of Visual Languages using Spatial Reasoning. In Visual Languages, Proceedings., 11th IEEE International Symposium on, pages 156-163.
  8. Haarslev, V. (1996). Using Description Logic for Reasoning about Diagrammatical Notations. In L. Padgham (Ed.) Proceedings of the International Workshop on Description Logics, pages 124-128.
  9. Horridge, M., Drummond, N., Jupp, S., Moulton, G., and Stevens, R. (2009). A Practical Guide To Building OWL Ontologies Using Protégé 4 and CO-ODE Tools. University of Manchester.
  10. Horrocks, I., Parsia, B., and Sattler, U. (2012). OWL 2 Web Ontology Language: Direct Semantics (Second Edition). World Wide Web Consortium.
  11. Horrocks, I., Patel-Schneider, P. F., and van Harmelen, F. (2003). From SHIQ and RDF to OWL: the making of a Web Ontology Language. Web Semantics: Science, Services and Agents on the World Wide Web, 1(1):7 - 26.
  12. Javed, F., Mernik, M., Bryant, B. R., and Gray, J. (2005). A Grammar-Based Approach to Class Diagram Validation. In Fourth International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), St. Louis, MO.
  13. Marriott, K., Meyer, B., and Wittenburg, K. B. (1998). Visual Language Theory. chapter A Survey of Visual Language Specification and Recognition, pages 5-85. Springer-Verlag New York, Inc., New York, NY, USA.
  14. Minas, M. (2006). Syntax Definition with Graphs. Electron. Notes Theor. Comput. Sci., 148(1):19-40.
  15. Moody, D. and van Hillegersberg, J. (2009). Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams. In Gas?evic, D., Lämmel, R., and Van Wyk, E., editors, Software Language Engineering, volume 5452 of Lecture Notes in Computer Science, pages 16-34. Springer Berlin Heidelberg.
  16. Motik, B., Cuenca Grau, B., and Sattler, U. (2008). Structured Objects in OWL: Representation and Reasoning. In Proceedings of the 17th International Conference on World Wide Web, WWW 7808, pages 555-564, New York, NY, USA. ACM.
  17. Niknam, M. and Kemke, C. (2011). Modeling Shapes and Graphics Concepts in an Ontology. In Janna Hastings, Oliver Kutz, M. B. and Borgo, S., editors, Proceedings of the First Interdisciplinary Workshop on SHAPES.
  18. Parreiras, F. S. and Staab, S. (2010). Using Ontologies with UML Class-based Modeling: The TwoUse Approach. Data & Knowledge Engineering, 69(11):1194 - 1207. Special issue on contribution of ontologies in designing advanced information systems.
  19. Peter Cheng, M. A. and Haarslev, V. (2000). Preface. Theory and Application of Diagrams, First International Conference, Diagrams 2000.
  20. Renz, J. (2002). Qualitative Spatial Reasoning with Topological Information. Springer-Verlag, Berlin, Heidelberg.
  21. Wyner, A. and Hoekstra, R. (2012). A Legal Case OWL Ontology with an Instantiation of Popov V. Hayashi. Artif. Intell. Law, 20(1):83-107.
  22. Zhang, K. (2007). Spatial Specification. In Visual Languages and Applications, pages 37-57. Springer US.
Download


Paper Citation


in Harvard Style

Thomas A., J. Gerber A. and van der Merwe A. (2015). Visual Syntax of UML Class and Package Diagram Constructs as an Ontology . In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 1: KEOD, (IC3K 2015) ISBN 978-989-758-158-8, pages 17-28. DOI: 10.5220/0005584600170028


in Bibtex Style

@conference{keod15,
author={Anitta Thomas and Aurona J. Gerber and Alta van der Merwe},
title={Visual Syntax of UML Class and Package Diagram Constructs as an Ontology},
booktitle={Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 1: KEOD, (IC3K 2015)},
year={2015},
pages={17-28},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005584600170028},
isbn={978-989-758-158-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 1: KEOD, (IC3K 2015)
TI - Visual Syntax of UML Class and Package Diagram Constructs as an Ontology
SN - 978-989-758-158-8
AU - Thomas A.
AU - J. Gerber A.
AU - van der Merwe A.
PY - 2015
SP - 17
EP - 28
DO - 10.5220/0005584600170028