75 search results - page 4 / 15 » Specifying and Composing Interaction Protocols for Service-O... |
SEFM
2009
IEEE
14 years 15 days ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
ESAW
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
ICSOC
2004
Springer
13 years 11 months ago
2004
Springer
Service oriented computing, with its aim of unhindered interoperability, is an appropriate paradigm for ad hoc networks, which are characterized by physical mobility of heterogeno...
ACSC
2008
IEEE
14 years 8 days ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
APSEC
2007
IEEE
14 years 4 days ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...