Sciweavers

4286 search results - page 58 / 858
» Formalizing Service Interactions
Sort
View
IEEECIT
2005
IEEE
15 years 8 months ago
Web Service Interactions: Analysis and Design
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
Jianwen Su
APWEB
2003
Springer
15 years 7 months ago
An Event Based Approach to Web Service Design and Interaction
This paper advocates an approach to web service design and interaction that is based on web services simultaneously participating in shared business events. In contrast to one-to-o...
Wilfried Lemahieu, Monique Snoeck, Cindy Michiels,...
INTETAIN
2005
Springer
15 years 8 months ago
COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile Tourist Guide Applications
COMPASS2008 is a general service platform developed to be utilized as the tourist and city explorers assistant within the information services for the Beijing Olympic Games 2008. T...
Ilhan Aslan, Feiyu Xu, Hans Uszkoreit, Antonio Kr&...
EDOC
2006
IEEE
15 years 8 months ago
Service Interaction Modeling: Bridging Global and Local Views
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
Johannes Maria Zaha, Marlon Dumas, Arthur H. M. te...
FMICS
2010
Springer
15 years 3 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre