The transaction pattern through automating TrAM

Ivan Launders, Simon Polovina, Richard Hill

Research output: Contribution to journalConference articlepeer-review

1 Citation (Scopus)


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 concep- tual 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.

Original languageEnglish
Number of pages14
JournalCEUR Workshop Proceedings
Publication statusPublished - 1 Dec 2009
Externally publishedYes
Event17th International Conference on Conceptual Structures - Moscow, Russian Federation
Duration: 26 Jul 200931 Jul 2009
Conference number: 17


Dive into the research topics of 'The transaction pattern through automating TrAM'. Together they form a unique fingerprint.

Cite this