Circumscribe
发表于 2025-3-30 10:33:09
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
发表于 2025-3-30 15:35:57
http://reply.papertrans.cn/103/10217/1021628/1021628_52.png
endocardium
发表于 2025-3-30 20:00:33
http://reply.papertrans.cn/103/10217/1021628/1021628_53.png
枯燥
发表于 2025-3-30 23:34:28
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.
比喻好
发表于 2025-3-31 01:40:11
http://reply.papertrans.cn/103/10217/1021628/1021628_55.png
泄露
发表于 2025-3-31 07:46:07
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.
卵石
发表于 2025-3-31 11:50:33
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
发表于 2025-3-31 17:07:08
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.
喃喃而言
发表于 2025-3-31 20:56:56
http://reply.papertrans.cn/103/10217/1021628/1021628_59.png
chance
发表于 2025-4-1 00:56:05
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.