Titlebook: Web Services, E-Business, and the Semantic Web; CAiSE 2002 Internati Christoph Bussler,Richard Hull,Jian Yang Conference proceedings 2002 S

Circumscribe

The World of e-Business: Web-Services, Workflows, and Business Transactionseed for support for business conversations and the need for distinguishing between three basic elements within a business transaction. In addition, we argue that an extensible framework such as the Business Transaction Protocol (BTP) proposed by OASIS is necessary for building robust and extendible e-business applications.

Foreshadow

endocardium

枯燥

A Service Infrastructure for e-Science: The Case of the ARION Systemroducing scientific information in an open, distributed and federated system. More advanced e-services, which depend on the scientific content of the system, can be built upon this infrastructure, such as decision making and/or policy support using various information brokering techniques.

比喻好

泄露

Value-Added Web Services Composition Using Automatic Program Synthesishesis and composition methods to value added web services composition. We also describe some technical details within the approach, in particular, a web service description language and a program synthesis method.

卵石

WSOL — Web Service Offerings Languagea Web Service in WSOL, in addition to WSDL, enables selection of a more appropriate Web Service and service offering for particular circumstances. Further, it supports dynamic adaptation and management of Web Service compositions using manipulation of service offerings.

Pander

WSOL — Web Service Offerings Languagea Web Service in WSOL, in addition to WSDL, enables selection of a more appropriate Web Service and service offering for particular circumstances. Further, it supports dynamic adaptation and management of Web Service compositions using manipulation of service offerings.

喃喃而言

chance

Formal Verification of e-Services and Workflowsa versatile technique and more suitable for verification of e-service specifications. If this is combined with other techniques such as abstraction and widening, it is possible to solve a large category of interesting verification problems for e-services.