Lightweight formalization and validation of ORM models

DOI10.1016/J.JLAMP.2015.03.001MaRDI QIDQ2348800zbMATH OpenOpenAlexFDO

Authors Amir Jahangard-Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi

Publication date 15 June 2015

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.03.001

zbMATH Keywords

formal specificationobject-role modelingsatisfiability checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A formalization of the Binary Object-Role Model based on logic
• Reasoning About ORA-SS Data Models Using the Semantic Web
• Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures
• scientific article; zbMATH DE number 2084356
• Subtyping and polymorphism in object-role modelling

Cited in

(2)

• A Z approach in validating ORA-SS data models
• A formalization of the Binary Object-Role Model based on logic

Describes a project that uses

Uses Software

• UML2Alloy

This page was built for publication: Lightweight formalization and validation of ORM models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2348800)