Web 服务组合技术框架及其研究进展

邓水光, 黄龙涛, 尹建伟, 李莹, 吴健 - 计算机集成制造系统, 2011 - cims-journal.cn
为了研究Web 服务组合技术, 以促使服务计算从概念走向应用, 提出了Web
服务组合的技术框架, 该框架涵盖了服务组合过程涉及的主要关键技术. 讨论了该研究框架中的 …

Choreographing web services

A Barker, CD Walton… - IEEE Transactions on …, 2009 - ieeexplore.ieee.org
This paper introduces the multiagent protocols (MAP) Web service choreography language
and demonstrates how service choreographies can be specified, verified, and enacted with …

Service interaction modeling: Bridging global and local views

JM Zaha, M Dumas, A Ter Hofstede… - 2006 10th IEEE …, 2006 - ieeexplore.ieee.org
In a service-oriented architecture (SOA), a system is viewed as a collection of independent
units (services) that interact with one another through message exchanges. Established …

A Petri net approach for the design and analysis of Web Services Choreographies

V Valero, ME Cambronero, G Díaz, H Macià - The Journal of Logic and …, 2009 - Elsevier
A Web Service is a self-describing, self-contained modular application that can be
published, located, and invoked over a network, eg the Internet. Web Services composition …

Modeling healthcare processes as service orchestrations and choreographies

M Benyoucef, C Kuziemsky, A Afrasiabi Rad… - Business Process …, 2011 - emerald.com
Purpose–Service‐oriented architecture is becoming increasingly important for healthcare
delivery as it assures seamless integration internally between various teams and …

Execution semantics for service choreographies

G Decker, JM Zaha, M Dumas - … Workshop on Web Services and Formal …, 2006 - Springer
A service choreography is a model of interactions in which a set of services engage to
achieve a goal, seen from the perspective of an ideal observer that records all messages …

Computer simulation: an important tool in the fast-food industry

AK Kharwat - 1991 Winter Simulation Conference Proceedings., 1991 - computer.org
Abstract Service-Oriented Computing (SOC) was introduced some years ago as a paradigm
that allows companies to expose their core competencies as services. Yet, we can only …

Service composition

G Baryannis, O Danylevych, D Karastoyanova… - … and Solutions for the …, 2010 - Springer
In the S-Cube research framework, the Service Composition and Co-ordination (SCC) layer
encompasses the functions required for the aggregation of multiple services into a single …

[PDF][PDF] Web 服务行为兼容性的判定与计算

邓水光, 李莹, 吴健, 邝砾, 吴朝晖 - 2007 - Citeseer
确保Web 服务行为兼容是实现Web 服务无缝集成与协作的一个重要问题.
在服务视图概念的基础上, 给出了Web 服务行为兼容性的相关定义. 提出一种基于π 演算的Web …

Towards the formal model and verification of web service choreography description language

Z Xiangpeng, Y Hongli, Q Zongyan - International Workshop on Web …, 2006 - Springer
Abstract The Web Services Choreography Description Language (WS-CDL) is a W3C
specification for the description of peer-to-peer collaborations of participants from a global …