Loading...
Search for:
object-role-models
0.005 seconds
A model-driven approach to semi-structured database design
, Article Frontiers of Computer Science ; Volume 9, Issue 2 , 2015 , Pages 237-252 ; 20952228 (ISSN) ; Mirian Hosseinabadi, S ; Sharif University of Technology
Higher Education Press
2015
Abstract
Recently XML has become a standard for data representation and the preferred method of encoding structured data for exchange over the Internet. Moreover it is frequently used as a logical format to store structured and semi-structured data in databases. We propose a model-driven and configurable approach for modeling hierarchical XML data using object role modeling (ORM) as a flat conceptual model. First a non-hierarchical conceptual schema of the problem domain is built using ORM and then different hierarchical views of the conceptual schema or parts of it are specified by the designer using transformation rules. A hierarchical modeling notation called H-ORM is proposed to show these...
A Z approach to formalization and validation of ORM models
, Article Communications in Computer and Information Science, 20 July 2011 through 22 July 2011 ; Volume 194 CCIS , July , 2011 , Pages 513-526 ; 18650929 (ISSN) ; 9783642226021 (ISBN) ; Mirian Hosseinabadi, S. H ; Springer ; Sharif University of Technology
2011
Abstract
In this paper we present a formal definition of the basic concepts and notations of Object Role Modeling (ORM) using the Z formal specification language. Most of ORM concepts such as object and relationship types, value types, objectification, reference schemes, sub-types, roles and constraints such as uniqueness, mandatory, cardinality, subset, equality, exclusive and ring constraints are specified formally. Population is specified as objects, relationships and roles instances. These are specified using Z axioms and diagram instances are specified using Z schemas. This would enable validation and reasoning on the formal properties of ORM diagrams such as detecting constraint contradictions...
Lightweight formalization and validation of ORM models
, Article Journal of Logical and Algebraic Methods in Programming ; Volume 84, Issue 4 , July , 2015 , Pages 534-549 ; 23522216 (ISSN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
Elsevier Inc
2015
Abstract
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...