Sciweavers

1460 search results - page 113 / 292
» A Meta-Modeling Approach to Web Services
Sort
View
APSEC
2004
IEEE
13 years 12 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
EON
2008
13 years 9 months ago
Semantic System Integration - Incorporating Rule based Semantic Bridges into BPEL Processes
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
Nils Barnickel, Ralf Weinand, Matthias Flügge
ICWS
2007
IEEE
13 years 9 months ago
An Integrated Development Environment for Web Service Composition
Web services provide an instantiation of the loosely coupled service–oriented architecture and facilitate the process of enterprise application integration by encapsulating info...
Girish Chafle, Gautam Das, Koustuv Dasgupta, Arun ...
SIGSOFT
2008
ACM
14 years 9 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
C3S2E
2009
ACM
14 years 2 months ago
Integrating heterogeneous user interfaces in service oriented web applications
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
Matthias Tilsner, Adrian Fiech, Thomas Specht