Sciweavers

7 search results - page 1 / 2
» Realizability of Conversation Protocols With Message Content...
Sort
View
ICWS
2004
IEEE
13 years 8 months ago
Realizability of Conversation Protocols With Message Contents
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
Xiang Fu, Tevfik Bultan, Jianwen Su
SIGSOFT
2010
ACM
13 years 5 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
ICDCS
2009
IEEE
14 years 4 months ago
Transactional Mobility in Distributed Content-Based Publish/Subscribe Systems
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
Songlin Hu, Vinod Muthusamy, Guoli Li, Hans-Arno J...
IIWAS
2008
13 years 8 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
ICCS
2003
Springer
14 years 11 days ago
Using Conceptual Graphs to Capture Semantics of Agent Communication
Agent communication languages such as KQML and the FIPA ACL serve as metalanguages to define software agent message-passing protocols. These metalanguages are incompatible with eac...
Lois W. Harper, Harry S. Delugach