Policy based Web Service Orchestration and Goal Reachability Analysis using MSC and CP Nets
暂无分享,去创建一个
[1] J. Kramer,et al. LTSA-BPEL 4 WS : Tool Support for Model-based Verification of Web Service Compositions , 2003 .
[2] Roger C. Cheung,et al. A User-Oriented Software Reliability Model , 1978, IEEE Transactions on Software Engineering.
[3] Olaf Kluge,et al. Modelling a Railway Crossing with Message Sequence Charts and Petri Nets , 2003, Petri Net Technology for Communication-Based Systems.
[4] Sebastián Uchitel,et al. Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[5] Sheila A. McIlraith,et al. Simulation, verification and automated composition of web services , 2002, WWW.
[6] Krys J. Kochut,et al. A CP-nets-based design and verification framework for Web services composition , 2004 .
[7] Yong Xiao,et al. Verifying web services composition based on hierarchical colored petri nets , 2005, IHIS '05.
[8] Vijayalakshmi Atluri,et al. Using Semantics for Policy-Based Web Service Composition , 2005, Distributed and Parallel Databases.
[9] Holger Luczak,et al. Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets , 2006, ICATPN.
[10] Marco Pistore,et al. A Request Language for Web-Services Based on Planning and Constraint Satisfaction , 2002, TES.
[11] Vijayalakshmi Atluri,et al. Self-manifestation of composite multimedia objects to satisfy security constraints , 2003, SAC '03.
[12] David S. Rosenblum,et al. Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems , 2005, FASE.
[13] M. Beek,et al. A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods ? , 2006 .
[14] Øystein Haugen,et al. Comparing UML 2.0 Interactions and MSC-2000 , 2004, SAM.
[15] Antonio Bucchiarone,et al. Web Service Composition Approaches: From Industrial Standards to Formal Methods , 2007, Second International Conference on Internet and Web Applications and Services (ICIW'07).
[16] Mike P. Papazoglou,et al. Web Component: A Substrate for Web Service Reuse and Composition , 2002, CAiSE.
[17] Basit Shafiq,et al. Secure Information Sharing in a Virtual Multi-Agency Team Environment , 2007, Electron. Notes Theor. Comput. Sci..
[18] Boualem Benatallah,et al. A Petri Net-based Model for Web Service Composition , 2003, ADC.
[19] Michel A. Reniers,et al. High-level message sequence charts , 1997, SDL Forum.
[20] Wil M. P. van der Aalst,et al. Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System , 2005, OTM Conferences.