The transaction pattern through automating TrAM

LAUNDERS, I., POLOVINA, S. and HILL, R. (2009). The transaction pattern through automating TrAM. In: 17th International Conference on Conceptual Structures, Moscow, Russia, July 26-31 2009. Aachen, CEUR-WS.


Download (439kB) | Preview
Official URL:


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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Paper presented at 17th International Conference on Conceptual Structures, Moscow, July 26-31 2009. <p> © the authors
Research Institute, Centre or Group: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Depositing User: Ann Betterton
Date Deposited: 10 Sep 2009
Last Modified: 23 Aug 2015 08:13

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics