Web service orchestration and verification 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] David S. Rosenblum,et al. Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems , 2005, FASE.
[3] Sebastián Uchitel,et al. Tool support for model-based engineering of Web service compositions , 2005, IEEE International Conference on Web Services (ICWS'05).
[4] Roger C. Cheung,et al. A User-Oriented Software Reliability Model , 1978, IEEE Transactions on Software Engineering.
[5] Sebastián Uchitel,et al. Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[6] Holger Luczak,et al. Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets , 2006, ICATPN.
[7] Øystein Haugen,et al. Comparing UML 2.0 Interactions and MSC-2000 , 2004, SAM.
[8] 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).
[9] Marco Pistore,et al. A Request Language for Web-Services Based on Planning and Constraint Satisfaction , 2002, TES.
[10] Krys J. Kochut,et al. A CP-nets-based design and verification framework for Web services composition , 2004 .
[11] M. Beek,et al. A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods ? , 2006 .
[12] Mike P. Papazoglou,et al. Web Component: A Substrate for Web Service Reuse and Composition , 2002, CAiSE.
[13] Boualem Benatallah,et al. A Petri Net-based Model for Web Service Composition , 2003, ADC.
[14] Yong Xiao,et al. Verifying web services composition based on hierarchical colored petri nets , 2005, IHIS '05.
[15] 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.