The formal REA model at the operational level

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.

[1]  C. Janie Chang,et al.  Modeling and Designing Accounting Systems: Using Access to Build a Database , 2006 .

[2]  William E. McCarthy,et al.  The REA Modeling Approach to Teaching Accounting Information Systems , 2003 .

[3]  William E. McCarthy,et al.  Augmented Intensional Reasoning in Knowledge-Based Accounting Systems , 2000, J. Inf. Syst..

[4]  Dov M. Gabbay,et al.  Temporal logic (vol. 1): mathematical foundations and computational aspects , 1994 .

[5]  Souhei Ito,et al.  An Operational Semantics of Program Dependence Graphs for Unstructured Programs , 2006, ASIAN.

[6]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[7]  Martín Abadi,et al.  The Power of Temporal Proofs , 1989, Theor. Comput. Sci..

[8]  William E. McCarthy,et al.  An ontological analysis of the economic primitives of the extended-REA enterprise information architecture , 2002, Int. J. Account. Inf. Syst..

[9]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[10]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[11]  Ildikó Sain,et al.  Completeness Problems in Verification of Programs and Program Schemes , 1979, MFCS.

[12]  Pavel Hruby,et al.  Model-Driven Design Using Business Patterns , 2011, J. Inf. Syst..

[13]  Carsten Felden,et al.  Formalization of REA Ontology , 2009, AMCIS.

[14]  Fred Kröger,et al.  On the Interpretability of Arithmetic in Temporal Logic , 1990, Theor. Comput. Sci..

[15]  William E. McCarthy,et al.  Policy-Level Specifications in REA Enterprise Information Systems , 2006, J. Inf. Syst..

[16]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[17]  Geert Poels,et al.  Development of a formal REA-ontology Representation , 2005, EMOI-INTEROP.

[18]  Dinesh Batra,et al.  The READY Model: Patterns of Dynamic Behavior in REA-Based Accounting Applications , 2008, Inf. Syst. Manag..

[19]  Casper E. Wiggins,et al.  OOREA: An Object-Oriented Resources, Events, Agents Model for Enterprise Systems Design , 2004, ICIS.

[20]  Michael Grüninger,et al.  The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..

[21]  Cheryl L. Dunn,et al.  Enterprise Information Systems: A Pattern-Based Approach , 2003 .

[22]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[23]  Geert Poels,et al.  Towards Ontology-Driven Information Systems: Redesign and Formalization of the REA Ontology , 2007, BIS.

[24]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[25]  Jc Johan Wortmann,et al.  Why accounting data models from research are not incorporated in ERP systems , 2006 .

[26]  Andrzej Szalas,et al.  Incompleteness of First-Order Temporal Logic with Until , 1988, Theor. Comput. Sci..

[27]  Nicola Guarino,et al.  Understanding and building, using ontologies , 1997, Int. J. Hum. Comput. Stud..

[28]  Christian Stefansen,et al.  Evaluating the REA Enterprise Ontology from an Operational Perspective , 2004, CAiSE Workshops.

[29]  Souhei Ito,et al.  A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products , 2007, EJC.

[30]  Hans Weigand,et al.  Model-based auditing using REA , 2012, Int. J. Account. Inf. Syst..

[31]  Geert Poels,et al.  A Consolidated Enterprise Reference Model - Integrating McCarthy's and Hruby's Resource-Event-Agent Reference Models , 2010, ICEIS.

[32]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .