Formal Semantics of Dynamic Constraints and Derivation Rules in ORM

QR Code

Formal Semantics of Dynamic Constraints and Derivation Rules in ORM

This paper provides formal semantics for an extension of the Object-Role Modeling approach to support declaration of dynamic rules. Dynamic rules differ from static rules by involving state transitions, rather than simply individual states. This paper restricts application of dynamic rules to single...

Full description

Bibliographic Details
Main Authors:	Balsters, Herman, Halpin, Terry
Format:	Article
Published:	IGI Global 2016
Subjects:	QA76 Computer software
Online Access:	http://eprints.intimal.edu.my/734/

Similar Items

Formalization of ORM revisited
by: Halpin, Terry
Published: (2012)

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)

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

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

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

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

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)

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

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

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff, et al.

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff
Published: (2010)

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

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

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

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

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
by: Nuraini Abdulganiyyi, Nuraini
Published: (2014)

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

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)

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)

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

Formalization of versioning rules for XML schema using UML class diagram
by: Aman, Hananni, et al.
Published: (2017)

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