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.

[img]
Preview
PDF
fulltext.pdf

Download (439kB) | Preview
Official URL: http://sunsite.informatik.rwth-aachen.de/Publicati...

Abstract

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
URI: http://shura.shu.ac.uk/id/eprint/32

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics