209 search results - page 4 / 42 » Semi-Automatic Distribution Pattern Modeling of Web Service ... |
IS
2006
13 years 7 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
ESCIENCE
2005
IEEE
14 years 1 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
ELPUB
2006
ACM
14 years 1 months ago
2006
ACM
Electronic publishing exploits numerous possibilities to present or exchange information and to communicate via most current media like the Internet. By utilizing modern Web techn...
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
The Semantic Web services has become a challenging research topic in the last half of decade. Various frameworks offer means to semantically describe all the related aspects of Sem...