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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Teaching Resource |
| Language: | en |
| Published: |
Springer Berlin Heidelberg
2012
|
| Subjects: | |
| Online Access: | http://eprints.intimal.edu.my/129/1/12.pdf http://eprints.intimal.edu.my/129/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1831337056979124224 |
|---|---|
| author | Halpin, Terry |
| author_facet | Halpin, Terry |
| author_sort | Halpin, Terry |
| building | INTI Library |
| collection | Institutional Repository |
| content_provider | INTI International University |
| content_source | INTI Institutional Repository |
| continent | Asia |
| country | Malaysia |
| description | 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 formalizations for such mappings exist. This paper extends such previous work by providing a new approach to formalizing second generation ORM (ORM 2). We show that the metalevel association between semantic value type and data type must be a mapping relationship rather than a subtyping relationship, and we axiomatize a special representation relationship to support this mapping at the instance level. Our new formalization includes coverage of preferred reference schemes and additional constraints introduced in ORM 2. Other issues examined briefly include the use of finite model theory, sorted logic, and practical choices for implementing certain kinds of logical formulae as constraints or derivation rules. |
| format | Teaching Resource |
| id | my-inti-eprints.129 |
| institution | INTI International University |
| language | en |
| publishDate | 2012 |
| publisher | Springer Berlin Heidelberg |
| record_format | eprints |
| spelling | my-inti-eprints.1292016-04-06T10:14:08Z http://eprints.intimal.edu.my/129/ Formalization of ORM revisited Halpin, Terry QA76 Computer software 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 formalizations for such mappings exist. This paper extends such previous work by providing a new approach to formalizing second generation ORM (ORM 2). We show that the metalevel association between semantic value type and data type must be a mapping relationship rather than a subtyping relationship, and we axiomatize a special representation relationship to support this mapping at the instance level. Our new formalization includes coverage of preferred reference schemes and additional constraints introduced in ORM 2. Other issues examined briefly include the use of finite model theory, sorted logic, and practical choices for implementing certain kinds of logical formulae as constraints or derivation rules. Springer Berlin Heidelberg 2012 Teaching Resource NonPeerReviewed text en http://eprints.intimal.edu.my/129/1/12.pdf Halpin, Terry (2012) Formalization of ORM revisited. [Teaching Resource] |
| spellingShingle | QA76 Computer software Halpin, Terry Formalization of ORM revisited |
| title | Formalization of ORM revisited |
| title_full | Formalization of ORM revisited |
| title_fullStr | Formalization of ORM revisited |
| title_full_unstemmed | Formalization of ORM revisited |
| title_short | Formalization of ORM revisited |
| title_sort | formalization of orm revisited |
| topic | QA76 Computer software |
| url | http://eprints.intimal.edu.my/129/1/12.pdf http://eprints.intimal.edu.my/129/ |
| url_provider | http://eprints.intimal.edu.my |