Formal REA model at operational level

Ito, Sohei and Vymetal, Dominik (2011): Formal REA model at operational level.

Abstract

Despite a lot of attention gained by the Resource-Event-Agent (REA) framework among researchers in enterprise modeling, it still lacks comprehensive formal description. Most of the formalization approaches to REA use only UML or other graphical representation. This paper aims to define REA ontology at operational level using formal logic tools. The general approach to formal logic description of REA was motivated by LTAP introduced by Ito, Hagihara and Yonezaki. After basic REA concepts are presented, semantics and logical language LREA are defined including axioms for the REA operational level. Future research is shortly described in conclusion.

• Item Type: MPRA Paper
• Language: English
• Keywords: REA framework; formal models; modal logic
• Subjects: A - General Economics and Teaching > A3 - Collective Works > A32 - Collective Volumes; L - Industrial Organization > L8 - Industry Studies: Services > L86 - Information and Internet Services ; Computer Software; O - Economic Development, Innovation, Technological Change, and Growth > O2 - Development Planning and Policy > O21 - Planning Models ; Planning Policy; C - Mathematical and Quantitative Methods > C6 - Mathematical Methods ; Programming Models ; Mathematical and Simulation Modeling > C60 - General

References

Batra, D., Sin, T. (2008). The READY Model: Patterns of Dynamic Behavior in REA-Based Accounting Applications. Information Systems Management. 25:200/210.ISSN 1934-8703. [online], [accessed 9.9.2010].

Borch, S.,E., Stephansen, C. (2004). Evaluating the REA Enterprise Ontology from an Operational Perspective. In: Proceedings of the enterprise Modeling and Ontologies for Interoperability Workshop 2004 (EMOI-INTEROP 2004) [Online], [accessed 7.12.2010], Available at: http://www.stefansen.dk/papers/ontology-paper-corrected.pdf

Buder, J-., Koschital, C., Felden, C. (2009). Formalization of REA Ontology. Americas Conference on Information Systems (AMCIA 2009) Proceedings. [online], [accessed 27.7.2010],available at: http://fak6.tufreiberg.de/fileadmin/Wirtschaftsinformatik/Publikatione/formalization_of_REA_ontology.pdf

Gailly, F. Poels, G. (2005). Development of a formal REA-Ontology representation. [online], [accessed 28.8.2010], available at: http://www. citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.8152

Geerts, G.,L., McCarthy, W.,E. (2002). An ontological analysis of the economic primitives of the extended-REA enterprise information architecture. International Journal of Accounting Information Systems, Vol. 3,Issue 1(March), pp. 1-16.

Geerts, G. L., McCarthy, W. E. (2006) Policy-Level Specification in REA Enterprise Information Systems. Journal of Information Systems. Vol 20, No. 2 pp. 37-63.

Heinrich, B., Bewernik, M., A., Hennberger, M., Krammer, A., Lautenbacher, F. (2008) SEMPA – Ein Ansatz der semantischen Prozessmanagements zur Plannung der Prozessmodellen. Wirtschaftsinformatik (50), 6, 445-460. [online], [accessed 12.9.2010], available at: http://www.uni-augsburg.de/exzellenz/kompetenz/kernkompetenzzentrum_fim/Forschung/paper/paper/wi-193.pdf.

Ito, S., Hagihara, S., Yonezaki, N. (2007): A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products, In Proceedings of the 17th European-Japanese Conference on Information Modeling and Knowledge Bases EJC2007, pp294-301.

McCarthy, W.E. (1982). The REA Accounting Model: A Generalized Framework for Accounting Systems in a Shared Data Environment. The Accounting Review (July 1982).: 554-578

McCarthy, W.E. (2003). The REA Modeling Approach to Teaching Accounting Information Systems. Issues in Accounting Education, Vol.18, No.4. pp.427-441.

Murthy, U., Wiggins, C. (2004) OOREA: An Object-Oriented Resources, Events, Agents Model for Enterprise Systems Design, Proceedings of the 25th ICIS, December 12-14, New York, NY, USA Paper 16.[online], [accessed 22.1.2011], available at: http://aisel.aisnet.org/icis2004/1

Vandenbossche, P.,E.,A., Wortmann, J.,C., (2006). Why accounting data models form research are not incorporated in DERP systems. Paper presented at the 2nd International REA Workshop, June 25, 2006, Fira Santorini Island, Greecel.[online], accessed[12.11.2010],

Vymětal, D., Hučka, M., Huňka, F., Kašík, J. (2009). Process and Value Chain Oriented Modeling: Combining both Perspective into One. In Huzar, Z., Nawrocki, J., Szpyrka, M. (eds.) Software Engineering Techniques in Progress. Krakow: AGH University of Science and Technology Press, 2009: pp. 43-52.

Vymětal , D. , (2009). Value Chain and Process Models: is the Gap between them real? In Distance Learning Simulation and Communication Proceedings. Brno: Univerzita obrany Brno, 2009. s. 198-205. ISBN 978-80-7231-638-0.