ACSD
2009
IEEE
13 years 7 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
SRDS
2003
IEEE
13 years 9 months ago
2003
IEEE
The paper presents and compares Appia and Cactus, two frameworks for protocol composition. The comparison is based on the experience gained in implementing a faulttolerant Atomic ...
IEEESCC
2006
IEEE
13 years 10 months ago
2006
IEEE
Business process management in service-oriented computing (SOC) environments poses special challenges. In particular, SOC environments are dynamic, thereby requiring frequent chan...
IFIP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...