Sciweavers

1460 search results - page 88 / 292
» A Meta-Modeling Approach to Web Services
Sort
View
ER
2006
Springer
170views Database» more  ER 2006»
15 years 7 months ago
A Semantic Transformation Approach for ISO 15926
Abstract. Traditional industries anticipate supporting cross-organizational cooperation as applied in the semantic Web and Web services environments. However, the international sta...
Sari Hakkarainen, Lillian Hella, Darijus Strasunsk...
KBSE
2003
IEEE
15 years 8 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
MKM
2004
Springer
15 years 8 months ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt
132
Voted
CAISE
2008
Springer
15 years 5 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
FIS
2008
15 years 4 months ago
A Framework for Selecting Trusted Semantic Web Services
Trusted semantic Web services might play a key role in the Future Internet. In this paper, we describe WSTO our comprehensive trust based framework supporting the selection and inv...
Stefania Galizia, Alessio Gugliotta