Skip to main content
Article thumbnail
Location of Repository

The transaction pattern through automating TrAM

By I. Launders, S. Polovina and R. Hill


<p>Transaction Agent Modelling (TrAM) has demonstrated how the early requirements of complex enterprise systems can be captured and described in a lucid yet rigorous way. Using Geerts and McCarthy’s REA (Resource-Events-Agents) model as its basis, the TrAM process manages to capture the ‘qualitative’ dimensions of business transactions and business processes. A key part of the process is automated model-checking, which CG has revealed to be beneficial in this regard. It enables models to retain the high-level business concepts yet providing a formal structure at that high-level that is lacking in Use Cases. Using a conceptual catalogue informed by transactions, we illustrate the automation of a transaction pattern from which further specialisations impart a tested specification for system implementation, which we envisage as a multi-agent system in order to reflect the dynamic world of business activity. It would furthermore be able to interoperate across business domains as they would share the generalised TM as a pattern.</p

Publisher: CEUR-WS
Year: 2009
OAI identifier:

Suggested articles


  1. (1993). A Transaction Approach to Portable Ontology Specification.
  2. (2009). A Transactions Pattern for Structuring Unstructured Corporate Information in Enterprise Applications”, doi
  3. (2008). An Automated Conceptual Catalogue for the Enterprise’, Supplementary
  4. (1979). An Entity-Relationship View of Accounting Models”, The Accounting Review,
  5. (1993). Bridging Accounting and Business Strategic Planning Using Conceptual Graphs”, Conceptual Structures: Theory
  6. (2006). Capturing and Specifying Multi-Agent Systems for the Management of Community Healthcare’
  7. (1991). Database Accounting Systems”,
  8. (1994). Design patterns: Elements of reusable object-oriented software,
  9. (2005). Enhancing the Initial Requirements Capture of Multi-Agent Systems through Conceptual Graph”,
  10. (2005). From concepts to agents: Towards a framework for multi-agent system modelling”,
  11. (2000). Knowledge Representation: Logical, Philosophical, and Computational Foundations, doi
  12. (2006). Model-driven design using business patterns.
  13. (1992). ObjectOriented Software Engineering.
  14. (2005). Patterns for the Pragmatic Web.
  15. (1982). The REA Accounting Model: A Generalized Framework for Accounting Systems in a Shared Data Environment”, The Accounting Review,
  16. (2004). UML Distilled (Third Edition),

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.