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
Download (429kB) | 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: 21 Dec 2010 11:29
    URI: http://shura.shu.ac.uk/id/eprint/32

    Actions (login required)

    View Item

    Downloads

    Downloads per month over past year

    View more statistics