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 language | English |
|---|---|
| Number of pages | 14 |
| Journal | CEUR Workshop Proceedings |
| Volume | 483 |
| Publication status | Published - 1 Dec 2009 |
| Externally published | Yes |
| Event | 17th International Conference on Conceptual Structures - Moscow, Russian Federation Duration: 26 Jul 2009 → 31 Jul 2009 Conference number: 17 https://link.springer.com/conference/iccs-conceptstruct |