Sciweavers

4286 search results - page 8 / 858
» Formalizing Service Interactions
Sort
View
FIW
2007
152views Communications» more  FIW 2007»
13 years 8 months ago
Considering Safety and Feature Interactions for Integrated Services of Home Network System
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
Ben Yan
AICT
2006
IEEE
210views Communications» more  AICT 2006»
14 years 1 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
AGENTS
2001
Springer
13 years 12 months ago
Building agents for service provisioning out of components
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
Ralf Sesseler
ATAL
2009
Springer
13 years 10 months ago
Choice, interoperability, and conformance in interaction protocols and service choreographies
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra,...
SEMWEB
2005
Springer
14 years 25 days ago
Choreography in IRS-III - Coping with Heterogeneous Interaction Patterns in Web Services
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
John Domingue, Stefania Galizia, Liliana Cabral