Affiliations: Department of Fisheries Distribution and Management, National Fisheries University, Yamaguchi, Japan. E-mail: ito@fish-u.ac.jp | School of Business Administration in Karvina, Silesian University in Opava, Karvina, Czech Republic. E-mail: vymetal@opf.slu.cz
Note: [] Corresponding author: Sohei Ito, Department of Fisheries Distribution and Management, National Fisheries University, 2-7-1 Nagata-Honcho, Shimonoseki, Yamaguchi 759-6595, Japan. E-mail: ito@fish-u.ac.jp
Abstract: 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 conclusion.
Keywords: REA framework, formal models, temporal logic
