The Formal REA Model at the Operational Level

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F47813059%3A19520%2F13%3A%230002476" target="_blank" >RIV/47813059:19520/13:#0002476 - isvavai.cz</a>
Result on the web
<a href="http://iospress.metapress.com/content/m66k7701414v3377/?p=83236f85173c427e8823c0e75c829d80pi=2" target="_blank" >http://iospress.metapress.com/content/m66k7701414v3377/?p=83236f85173c427e8823c0e75c829d80pi=2</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3233/AO-140129" target="_blank" >10.3233/AO-140129</a>

Result language
angličtina
Original language name
The Formal REA Model at the Operational Level
Original language description
Despite the fact that a lot of attention has been directed towards the Resource-Event-Agent (REA) framework among researchers within enterprise modeling, it still lacks a comprehensive formal description. Most of the approaches used to arrive at a formalization of REA only use UML or other graphical representations. This paper aims to define the REA ontology at the operational level using formal logic tools. The general approach to a formal description of REA logic was motivated by LTAP introduced by Ito, Hagihara and Yonezaki. After the basic REA concepts have been presented, semantics and the logical language LREA are defined, including axioms of REA at the operational level. Formalization of REA ontology opens the way to discuss safe REA extension,that is to say, the consistency and interoperability of extended ontology. This could help to reason about REA ontology extensions enforced by the business domain developments. The subject of future research is briefly described in the co
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—

Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)