论文信息 - Plans for service composition

Plans for service composition

We study how to compose services in the presence of security constraints. By analysing the abstract behaviour of a set of services, we are able to determine the plans that drive safe program executions. These plans can be of different kinds, and we study here three of them, with different expressive power. Simple plans choose a single service for each request; multi-choice plans instead can choose among a set of services; dependent plans exploit the knowledge of past choices to decide for the future ones.

[1] Priya Narasimhan,et al. Special Issue Service-Oriented Computing , 2008 .

[2] Stefan Tai,et al. The next step in Web services , 2003, CACM.

[3] Sanjiva Weerawarana,et al. Service-Oriented Composition in BPEL4WS , 2003, WWW.

[4] Mike P. Papazoglou,et al. Introduction to the Special Issue on Service-Oriented Computing , 2003 .

[5] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .

[6] Jan Mendling. Business Process Execution Language for Web Service (BPEL) , 2006 .

[7] G. Winskel. The formal semantics of programming languages , 1993 .

[8] Gian Luigi Ferrari,et al. Enforcing secure service composition , 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).

[9] Mike P. Papazoglou,et al. Service-oriented computing: concepts, characteristics and directions , 2003, Proceedings of the Fourth International Conference on Web Information Systems Engineering, 2003. WISE 2003..