An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.
Michael J. ButlerCarla FerreiraPublished in: COORDINATION (2004)
Keyphrases
- operational semantics
- long running
- business transactions
- formal semantics
- model theoretic
- electronic commerce
- denotational semantics
- mental states
- continuous queries
- agent programming
- data model
- low latency
- workflow management systems
- business processes
- activity diagrams
- speech acts
- query optimization
- sliding window
- access control
- data mining