A Service-Oriented Architecture (SOA) Framework Component for Verification of Choreography
暂无分享,去创建一个
[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.