250 search results - page 38 / 50 » Towards Formal Verification of Web Service Composition |
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
ICFEM
2005
Springer
14 years 2 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
JOT
2008
13 years 8 months ago
2008
As Service-Oriented Computing is gaining mainstream adoption, Services are emerging as core-building blocks of today's applications. In particular, web services have become t...
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the personalisation services designed for self e-learning networks in the SeLeNe project. A self e-learning network consists of web-based learning objects that...
DEBU
2002
13 years 8 months ago
2002
Comprehensive semantic descriptions of Web services are essential to exploit them in their full potential, that is, discovering them dynamically, and enabling automated service ne...