The transaction pattern through automating TrAM

Ivan Launders, Simon Polovina, Richard Hill

Research output: Contribution to journalConference article

1 Citation (Scopus)

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 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
Volume483
Publication statusPublished - 1 Dec 2009
Externally publishedYes
Event17th International Conference on Conceptual Structures, ICCS 2009 - Moscow, Russian Federation
Duration: 26 Jul 200931 Jul 2009

Fingerprint

Industry
Model checking
Multi agent systems
Automation
Specifications

Cite this

Launders, Ivan ; Polovina, Simon ; Hill, Richard. / The transaction pattern through automating TrAM. In: CEUR Workshop Proceedings. 2009 ; Vol. 483.
@article{b7ea85b9b6a64ee6952a8ccc7bde0412,
title = "The transaction pattern through automating TrAM",
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 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.",
author = "Ivan Launders and Simon Polovina and Richard Hill",
year = "2009",
month = "12",
day = "1",
language = "English",
volume = "483",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR Workshop Proceedings",

}

The transaction pattern through automating TrAM. / Launders, Ivan; Polovina, Simon; Hill, Richard.

In: CEUR Workshop Proceedings, Vol. 483, 01.12.2009.

Research output: Contribution to journalConference article

TY - JOUR

T1 - The transaction pattern through automating TrAM

AU - Launders, Ivan

AU - Polovina, Simon

AU - Hill, Richard

PY - 2009/12/1

Y1 - 2009/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84887231564&partnerID=8YFLogxK

M3 - Conference article

VL - 483

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -