Sciweavers

Share
ENTCS
2010

Transaction Scripts: Making Implicit Scenarios Explicit

8 years 9 months ago
Transaction Scripts: Making Implicit Scenarios Explicit
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have described how interactions specified in a scenario can be translated into a tuples-based behavioural description, namely vector languages. In this paper we show how reasoning against order-theoretic properties of such languages can reveal missing behaviours which are not explicitly described in the scenario but are still possible. Our approach supports the gradual refinement of scenarios of interaction into a complete set of behaviours that includes all desirable orderings of execution and prohibits emergent behaviour of the transaction. Key words: transactions, interactions, dependencies, concurrency, UML 2.0 sequence diagrams, vector semantics
Sotiris Moschoyiannis, Amir R. Razavi, Paul J. Kra
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where ENTCS
Authors Sotiris Moschoyiannis, Amir R. Razavi, Paul J. Krause
Comments (0)
books