Sciweavers

1052 search results - page 97 / 211
» Business Process Execution Language for Web Services
Sort
View
ICFP
2007
ACM
13 years 12 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
SEMWEB
2004
Springer
14 years 1 months ago
Trust Negotiation for Semantic Web Services
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
Daniel Olmedilla, Rubén Lara, Axel Polleres...
SEMWEB
2005
Springer
14 years 1 months ago
Discovery and Uncertainty in Semantic Web Services
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
Francisco Martín-Recuerda, Dave Robertson
OTM
2005
Springer
14 years 1 months ago
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
Jingtao Yang, Corina Cîrstea, Peter Henderso...
BIS
2007
147views Business» more  BIS 2007»
13 years 9 months ago
Facilitating Business Interoperability from the Semantic Web
Abstract. Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are diffi...
Roberto García, Rosa Gil