496 search results - page 61 / 100 » Model Checking Expressive Web Service Descriptions |
106
click to vote
WECWIS
2005
IEEE
15 years 8 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
103
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
UDDI registries are included as a standard offering within the product suite of any major SOA vendor, serving as the foundation for establishing design-time and run-time SOA govern...
123
click to vote
ICWE
2004
Springer
15 years 7 months ago
2004
Springer
Lookup of services is an important issues in many distributed systems. This paper deals with lookup in service-oriented architectures, such as Web services, P2P systems, GRIDs, or ...
128
Voted
JOT
2007
15 years 2 months ago
2007
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable busines...
129
Voted
EUROMICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...