496 search results - page 30 / 100 » Model Checking Expressive Web Service Descriptions |
PTS
2008
13 years 11 months ago
2008
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
MDAI
2004
Springer
14 years 3 months ago
2004
Springer
The problem of finding quality information and services on the Web is analyzed. We present two user-centered evaluation methodologies to characterize the quality of the Web docume...
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
ECOWS
2009
Springer
14 years 4 months ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...
IEEECIT
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...