A Service-Oriented Architecture (SOA) Framework Component for Verification of Choreography

Service-Oriented Architecture (SOA) is a paradigm that encourages organization to understand, how their information technology infrastructure capabilities can be organized to achieve business goals? SOA promises a challenging generation of information systems application based on a new set of standards for enabling self describing, interoperable web services. The web service composition supports choreography in SOA. The web service composition is mainly managed through orchestration and choreography of services. In this paper, we propose a Framework for Service Choreography (FSC) to control the business processes in SOA to reduce complexity in web service composition. To address choreography security issues while passing messages between the services choreographed in SOA, we also propose a Verification Model (VM) using Security Assertions Markup Language (SAML 2.0) to provide authentication and authorization. Then, we have implemented the proposed choreography model.

[1]  David Stuart Robertson,et al.  Choreographing Web Services , 2009, IEEE Transactions on Services Computing.

[2]  Maximilian Röglinger,et al.  Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques , 2009, Bus. Inf. Syst. Eng..

[3]  Pedro I. Rivera-Vega,et al.  A Framework for Smooth Composition of Choreographies of Web Services , 2007, IEEE International Conference on Web Services (ICWS 2007).

[4]  R. Kamatchi Security Visualization Collaborative Security Framework for Service Oriented Architecture , 2012 .

[5]  Damjan Kova A Survey of Web services Orchestration and Choreography with Formal Models , 2011 .

[6]  Claus Pahl,et al.  A Semantical Framework for the Orchestration and Choreography of Web Services , 2005, WLFM@FM.

[7]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[8]  Hans-Arno Jacobsen,et al.  A distributed framework for reliable and efficient service choreographies , 2011, WWW.

[9]  Mihhail Matskin,et al.  Logic-based Web services composition: from service description to process model , 2004 .

[10]  Hatem Hadj Kacem,et al.  Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration , 2012, 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[11]  Man Zhang,et al.  A Model-Driven Approach for Dynamic Web Service Composition , 2009, 2009 WRI World Congress on Software Engineering.

[12]  Zair Abdelouahab,et al.  A security framework for SOA applications in mobile environment , 2010, ArXiv.