The Formal REA Model at the Operational Level

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

The Formal REA Model at the Operational Level

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

The Formal REA Model at the Operational Level

Popis výsledku anglicky

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

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

O - Projekt operacniho programu

Rok uplatnění

2013

Kód důvěrnosti údajů

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

Název periodika

Applied Ontology

ISSN

1570-5838

e-ISSN

—

Svazek periodika

Vol. 8

Číslo periodika v rámci svazku

Number 4/2013

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

26

Strana od-do

275 - 300

Kód UT WoS článku

000333129900003

EID výsledku v databázi Scopus

—