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.
|Number of pages
|CEUR Workshop Proceedings
|Published - 1 Dec 2009
|17th International Conference on Conceptual Structures - Moscow, Russian Federation
Duration: 26 Jul 2009 → 31 Jul 2009
Conference number: 17