Loading...

Lightweight formalization and validation of ORM models

Jahangard Rafsanjani, A ; Sharif University of Technology | 2015

878 Viewed
  1. Type of Document: Article
  2. DOI: 10.1016/j.jlamp.2015.03.001
  3. Publisher: Elsevier Inc , 2015
  4. Abstract:
  5. Abstract ORM (Object Role Modeling) is a rich and popular conceptual modeling method. ORM has been used for data modeling, ontology engineering, modeling business rules, XML-Schemes and data warehouses, requirements engineering and web forms. Automated reasoning like satisfiability testing allows developers to detect modeling mistakes in the early stages of development. In this paper we propose a lightweight formalization of the ORM meta-model in Alloy. Using this meta-model as a toolkit one can easily specify ORM models in Alloy and verify various properties on them using the Alloy Analyzer. In order to achieve scalability, we use the cardinality of concepts to model their population. This increases the scalability of the approach dramatically. To show an application of the meta-model we formalize some unsatisfiability patterns and check them on the Alloy representation of the ORM model
  6. Keywords:
  7. Data warehouses ; Formal logic ; Formal specification ; Alloy analyzers ; Automated reasoning ; Conceptual model ; Object role models ; Ontology engineering ; Orm meta models ; Satisfiability checking ; Satisfiability testing ; Scalability
  8. Source: Journal of Logical and Algebraic Methods in Programming ; Volume 84, Issue 4 , July , 2015 , Pages 534-549 ; 23522216 (ISSN)
  9. URL: http://www.sciencedirect.com/science/article/pii/S235222081500019X