23 search results - page 3 / 5 » A transactional model for automatic exception handling |
SEW
2006
IEEE
15 years 3 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
103
Voted
IJAOSE
2008
14 years 9 months ago
2008
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
COORDINATION
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
66
Voted
VLDB
1992
ACM
15 years 1 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
84
Voted
FSTTCS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...