Specifying and Monitoring Temporal Properties in Web Services Compositions
暂无分享,去创建一个
Slim Kallel | Mohamed Jmaiel | Mira Mezini | Anis Charfi | Tom Dinkelaker | M. Mezini | A. Charfi | M. Jmaiel | Slim Kallel | T. Dinkelaker
[1] Cristina V. Lopes,et al. Aspect-oriented programming , 1999, ECOOP Workshops.
[2] Steven J. DeRose,et al. XML Path Language (XPath) , 1999 .
[3] Marco Pistore,et al. Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).
[4] Antoni Ligeza,et al. Algebraic temporal specifications with extended TUS. Hierarchical granular terms and their applications , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).
[5] Raman Kazhamiakin,et al. Representation, Verification, and Computation of Timed Properties in Web , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).
[6] Luciano Baresi,et al. A Timed Extension of WSCoL , 2007, IEEE International Conference on Web Services (ICWS 2007).
[7] Anis Charfi,et al. Aspect-oriented workflow languages: AO4BPEL and applications , 2007 .
[8] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .
[9] Boualem Benatallah,et al. A Petri Net-based Model for Web Service Composition , 2003, ADC.
[10] Cristina V. Lopes,et al. Aspect-oriented programming , 1999, ECOOP Workshops.
[11] R. McKenzie,et al. The logic of time representation , 1987 .
[12] Howard Foster,et al. A rigorous approach to engineering web service compositions , 2006 .
[13] Nawal Guermouche,et al. Timed Specification For Web Services Compatibility Analysis , 2008, Electron. Notes Theor. Comput. Sci..
[14] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[15] Mira Mezini,et al. AO4BPEL: An Aspect-oriented Extension to BPEL , 2007, World Wide Web.
[16] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[17] Jun Sun,et al. Verification of Computation Orchestration Via Timed Automata , 2006, ICFEM.
[18] Wolfgang Emmerich,et al. Efficient online monitoring of web-service SLAs , 2008, SIGSOFT '08/FSE-16.