Incompleteness of first-order temporal logic with until
Theoretical Computer Science
Theoretical Computer Science
On the interpretability of arithmetic in temporal logic
Theoretical Computer Science
Handbook of theoretical computer science (vol. B)
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Understanding, building and using ontologies
International Journal of Human-Computer Studies
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Proceedings of the Conference on Logic of Programs
Model-Driven Design Using Business Patterns
Model-Driven Design Using Business Patterns
Modeling and Designing Accounting Systems: Using Access to Build a Database
Modeling and Designing Accounting Systems: Using Access to Build a Database
The READY Model: Patterns of Dynamic Behavior in REA-Based Accounting Applications
Information Systems Management
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Towards ontology-driven information systems: redesign and formalization of the REA ontology
BIS'07 Proceedings of the 10th international conference on Business information systems
An operational semantics of program dependence graphs for unstructured programs
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
| Hi-index | 0.00 |
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.