REA (resources, events, agents) -- онтология для бухучета и экономики, закрепленная в ISO/IEC 15944-4:2006 (Open-edi,
http://workspace.infoman.ca/sc32_wg1/images/8/8d/SC32WG1_N0317_FDIS-15944-4-final.pdf) и UN/CEFACT как модуль бухгалтерско-экономической специализации для UMM (UN/CEFACT Modeling Methodology,
http://umm-dev.org/, все очень знакомо: профили UML).
Несколько наборов ссылок:
http://en.wikipedia.org/wiki/Resources_Events_Agents,
http://reatechnology.com/what-is-rea.html,
https://www.msu.edu/~mccarth4/, версия вторая:
http://www.managementinformatics.ugent.be/cgi-bin/php-cgiwrap/a64526/REAv2-WIKI/index.php?title=Main_Page, связка с DSL (профиль UML) --
http://www.dsmforum.org/events/DSM10/Papers/Gailly.pdf Интересно, что в REA выделяются patterns -- которые, как мы знаем, весьма похожи на методы (или "институты", как о них любят догадываться разные экономисты).
В этих паттернах четко прослеживается duality (которая по сути -- поставка против платежа. Далее идем к "квантовой теории" прав, и добрым словом поминаем 4D-онтологию). Ну, и постоянно вспоминается DEMO с ее трансакциями и дискурсом.
Основные концепты:
-- economic resource: A thing that is scarce and has utility for economic agents and is something users of business applications want to plan, monitor and control.
-- economic agent: An individual or organization capable of having control over economic resources, and transferring or receiving the control to or from other individuals or organizations.
-- economic event: A change in the value of an economic resource that is under the control of the enterprise. Each economic event is either an increment economic event or a decrement economic event.
-- commitment: A promise or obligation of economic agents to perform an economic event in the future. Each commitment is either an increment commitment or a decrement commitment.
Основные аксиомы:
-- stockflow axiom: At least one increment economic event and one decrement economic event exist for each economic resource; conversely increment and decrement economic events must affect
identifiable economic resources.
-- duality axiom: All decrement economic events must be eventually paired in duality relationships with increment economic events and vice-versa.
-- participation axiom: Each economic event must be related by a provide relationship to an economic agent and by a receive relationship to an economic agent.
-- reciprocal axiom: Each increment commitment must be related by a reciprocity relationship to at least one decrement commitment and vice versa.
-- fulfillment axiom: Each commitment must be fulfilled by at least one economic event; increment commitments must be fulfilled by increment economic events and decrement commitments must be fulfilled by decrement economic events.
Конечно, различных экономических онтологий множество. Но не все они дошли до уровня ISO и рутинно преподаются бухгалтерам. Нужно будет приглядеться.
На закуску: слайды и papers с семинара Ontological Specification of Interoperability Semantics for Financial Information and Business Reporting Systems (2008) --
http://nsfaccountingontology.wik.is/Workshop И гораздо больше свеженьких статей (июнь 2007г) с конференции "25 лет REA" --
http://www.aisvillage.com/rea25/program.html и там еще
http://www.aisvillage.com/rea25/Track2Papers.htm. В принципе, после этой конференции тамошние люди начали понимать, что Resource это в экономике не столько он сам (деньги или вещи), сколько Rights --
http://www.managementinformatics.ugent.be/cgi-bin/php-cgiwrap/a64526/REAv2-WIKI/index.php?title=CommitmentsClaimsAndResources. И это исходя из чисто онтологических проверок! Истинная априорность подхода ;)
kuznetsov в 2007г. после своего доклада на Лебедевских чтениях по аксиоматике в праксеологии и экономической теории (см.
http://g-l-memorial.ice.ru/135691) думал вернуться к этому вопросу. Еще пара лет, и можно будет ему об этом напомнить. Надеюсь, у нас к этому времени будет уже какой-то инструментарий, чтобы не в пауэрпойнте аксиомы выписывать...