4286 search results - page 30 / 858 » Formalizing Service Interactions |
117
click to vote
AOSE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
94
Voted
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
124
Voted
MM
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
140
click to vote
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
137
Voted
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...