Supporting Conceptual Modelling in ORM by Reasoning
Object-Role Modelling (ORM) is a framework for modelling and querying information at the conceptual level. It comes to support the design of large-scale industrial applications allowing the users to easily model the domain. The expressiveness of the ORM constraints may lead to implicit consequences that can go undetected by the designer in complex diagrams during the software development life cycle. To avoid these issues we perform the reasoning on ORM diagrams in order to detect relevant formal properties, such as inconsistencies or redundancies, that cause a software quality degradation leading to an increment of development times and costs.
In this paper we present an extension of ORM formalisation by Derivation Rules, which are additional ORM constructs that capture some relevant information of the domain that cannot be expressed in standard ORM.
Moreover, we provide a tool (UCM Framework) which enables reasoning on conceptual modelling software along with an implemented case of study (ORMiE).
KeywordsORM Conceptual modelling Reasoning Rules
- 1.Halpin, T.A.: Object-role modeling: Principles and benefits. IJISMD 1(1), 33–57 (2010)Google Scholar
- 2.Halpin, T.: A Logical Analysis of Information Systems: static aspects of the data-oriented perspective. PhD thesis (July 1989)Google Scholar
- 4.Sportelli, F.: NORMA: A software for intelligent conceptual modeling. In: Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, 6–9 July 2016 (2016)Google Scholar
- 5.Jarrar, M.: Towards automated reasoning on ORM schemes. In: 26th International Conference on Conceptual Modeling, ER 2007, pp. 181–197 (2007)Google Scholar
- 6.Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, 4–10 August 2001, pp. 155–160 (2001)Google Scholar
- 7.Jarrar, M.: Mapping ORM into the SHOIN/OWL description logic. In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Proceedings, Vilamoura, Portugal, 25–30 November 2007, Part I, pp. 729–741 (2007)Google Scholar
- 8.Keet, C.M.: Mapping the object-role modeling language ORM2 into description logic language dlrifd. CoRR, abs/cs/0702089 (2007)Google Scholar
- 9.Franconi, E., Mosca, A., Solomakhin, D.: The formalization of ORM2 and its encoding in OWL2. In: International Workshop on Fact-Oriented Modeling (ORM 2012) (2012)Google Scholar
- 11.Artale, A., Franconi, E.: Extending DLR with labelled tuples, projections, functional dependencies and objectification. In: Proceedings of the 29th International Workshop on Description Logics (2016)Google Scholar
- 13.Halpin, T.A., Morgan, T.: Information Modeling and Relational Databases, 2nd edn. Morgan Kaufmann, San Francisco (2008)Google Scholar
- 14.Fact++ reasoner. http://owl.man.ac.uk/factplusplus/
- 15.Moreira, J.L.R., Sales, T.P., Guerson, J., Braga, B.F.B., Brasileiro, F., Sobral, V., Menthor editor: An ontology-driven conceptual modeling platform. In: Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, 6–9 July 2016 (2016)Google Scholar
- 16.Sportelli, F., Franconi, E.: Formalisation of ORM derivation rules and their mapping into OWL," in On the Move to Meaningful Internet Systems: OTM 2016 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Proceedings, Rhodes, Greece, 24–28 October 2016, pp. 827–843 (2016)Google Scholar