STREAM an REA-MERODE Transaction Status Specification

Laurier, Wim;Horiuchi, Satoshi
(2026) 45TH INTERNATIONAL CONFERENCE ON CONCEPTUAL MODELING (ER2026) — Location: St-John’s, NL, Canada (5.October.2026)

Files

978-3-032-40795-5_30.pdf
  • Embargo Access until 2027-10-01
  • Adobe PDF
  • 2.93 MB
Request a copy
Handout.pdf
  • Open Access
  • Adobe PDF
  • 579.1 KB
Download

Details

Authors
Abstract
Business transactions are fundamental to contemporary information systems, yet their operational implementation often lacks a precise, executable specification of transaction states and lifecycles. Although the Resource-Event-Agent (REA) ontology provides a strong semantic foundation for modeling economic phenomena, it offers limited support for representing dynamic state changes and end-to-end transaction behavior. This paper introduces STREAM (Status of Transaction REA-MERODE), a comprehensive transaction status specification that formalizes business transaction lifecycles as a synchronized set of finite state machines grounded in REA and implemented using the MERODE model-driven engineering methodology. STREAM explicitly defines transaction states and transitions across all phases identified in ISO/IEC 15944-planning, identification , negotiation, actualization, and post-actualization. In contrast to prior REA-or ISO-based approaches, the specification systematically incorporates iterative offer-counteroffer negotiation as well as unsuccessful transactions, rollbacks, and restarts. The resulting model could serve as a reusable and extensible template for developing standardized, interoperable, and ontology-driven business information systems.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Laurier, W., & Horiuchi, S. (2026). STREAM an REA-MERODE Transaction Status Specification. Lecture Notes in Computer Science, 17081, 463-472. https://doi.org/10.1007/978-3-032-40795-5_30 (Original work published 2026)