Formalization of ORM revisited

QR Code

Formalization of ORM revisited

Fact-oriented modeling approaches such as Object-Role Modeling (ORM) and Natural Language Information Analysis Method (NIAM) enable conceptual information models to be expressed using graphical diagrams that may be assigned formal semantics by mapping them onto sets of logical formulae. Various form...

Full description

Bibliographic Details
Main Author:	Halpin, Terry
Format:	Teaching Resource
Language:	English
Published:	Springer Berlin Heidelberg 2012
Subjects:	QA76 Computer software
Online Access:	http://eprints.intimal.edu.my/129/ http://eprints.intimal.edu.my/129/1/12.pdf

Similar Items

Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
by: Balsters, Herman, et al.
Published: (2016)

Predicate reference and navigation in ORM
by: Halpin, Terry
Published: (2009)

Enhanced verbalization of ORM models
by: Curland, Matthew, et al.
Published: (2012)

The NORMA software tool for ORM 2
by: Curland, Matthew, et al.
Published: (2011)

Mapping ORM to Datalog: An Overview
by: Halpin, Terry, et al.
Published: (2010)

Automated Verbalization of ORM Models in Malay and Mandarin
by: Lim, Shin Huei, et al.
Published: (2016)

Recent enhancements to ORM
by: Halpin, Terry, et al.
Published: (2013)

Reference scheme reduction on subtypes in ORM
by: Carver, Andy, et al.
Published: (2013)

A Proposal for Folding in ORM Diagrams
by: Morgan, Tony
Published: (2010)

Roles in ORM: A suggested semantics
by: Carver, Andy
Published: (2011)

Verbalizing ORM models in Malay and Mandarin
by: Lim, Shin Huei, et al.
Published: (2013)

Fact-Orientation and Conceptual Logic
by: Halpin, Terry
Published: (2011)

Structural Aspects of Data Modeling Languages
by: Halpin, Terry
Published: (2011)

Modeling of Linguistic Reference Schemes
by: Halpin, Terry
Published: (2015)

Modeling of reference schemes
by: Halpin, Terry
Published: (2013)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Form-and-fact based modeling
by: Halpin, Terry, et al.
Published: (2012)

Basics
by: Halpin, Terry, et al.
Published: (2015)

Key LogiQL Concepts
by: Halpin, Terry, et al.
Published: (2015)

Quick Start
by: Halpin, Terry, et al.
Published: (2015)

Intermediate Aspects
by: Halpin, Terry, et al.
Published: (2015)

Diving Deeper
by: Halpin, Terry, et al.
Published: (2015)

Advanced Aspects
by: Halpin, Terry, et al.
Published: (2015)

Running Your Programs
by: Halpin, Terry, et al.
Published: (2015)

Running the LogiQL REPL
by: Halpin, Terry, et al.
Published: (2015)

LogiQL Syntax
by: Halpin, Terry, et al.
Published: (2015)

Built-In Operators and Predicates
by: Halpin, Terry, et al.
Published: (2015)

Summary of Constraints
by: Halpin, Terry, et al.
Published: (2015)

Programming Conventions
by: Halpin, Terry, et al.
Published: (2015)

LogiQL and Predicate Logic
by: Halpin, Terry, et al.
Published: (2015)

LogiQL and SQL
by: Halpin, Terry, et al.
Published: (2015)

Testing Your Programs
by: Halpin, Terry, et al.
Published: (2015)

Improving Your Program’s Performance
by: Halpin, Terry, et al.
Published: (2015)

Enriched support for ring constraints
by: Halpin, Terry, et al.
Published: (2011)

Atomicity and semantic normalization
by: Carver, Andy, et al.
Published: (2010)

EMMSAD 2011
by: Halpin, Terry, et al.
Published: (2011)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

The new formal specification framework of individual emergency, response and preparedness
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Collaborative Filtering Similarity Measures: Revisiting
by: Al-Bashiri, Hael, et al.
Published: (2017)

Framework For Merging Object-Oriented Formal Specifications
by: Taibi , Fathi
Published: (2010)