1663 search results - page 179 / 333 » Compositional Service Trees |
168
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
148
click to vote
MMNS
2004
15 years 8 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
159
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
153
click to vote
ICSOC
2007
Springer
16 years 25 days ago
2007
Springer
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
160
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...