Analysis and verification of time requirements applied to the Web Services composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4184 LNCS, Issue , 2006, Pages 178-192

  Díaz, Gregorio ^a   Cambronero, María Emilia ^a   Tobarra, M Llanos ^a   Valero, Valentín ^a   Cuartero, Fernando ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; MATHEMATICAL MODELS; TELECOMMUNICATION SERVICES;

MODEL CHECKER ENGINE; MODEL CHECKING TECHNIQUES; WEB SERVICES;

WORLD WIDE WEB;

EID: 33845211680     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_12     Document Type: Conference Paper

References (20)

1. A. van Lamsweerde A. Dardenne and Stephen Fickas. Goal-directed requirements acquisition. page 350.
2. R. Alur and D. Dill. Automata for modeling real-time systems. In In Proceedings of the 17th International Colloquium on Automata, Languages and Programming, volume 443. Springer-Verlag, 1990.
3. Johan Bengtsson and Wang Yi. Timed automata: Semantics, algorithms and tools. In W. Reisig and G. Rozenberg, editors, In Lecture Notes on Concurrency and Petri Nets. Springer-Verlag, 2004.
4. Mario Bravetti, Claudio Guidi, Roberto Lucchi, and Gianluigi Zavattaro. Supporting e-commerce systems formalization with choreography languages. In SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, pages 831-835, New York, NY, USA, 2005. ACM Press.
5. Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, and Roberto Gorrieri. Web services for e-commerce: guaranteeing security access and quality of service. In SAC '04: Proceedings of the 2004 ACM symposium on Applied computing, pages 800-806, New York, NY, USA, 2004. ACM Press.
6. A. Rifaut J.F. Molderez A. van Lamsweerde C. Ponsard, P. Massonet and H. Tran Van. Early verification and validation of mission critical systems. In Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004.
7. Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, 1999.
8. R. Darimont and A. van Lamsweerde. Formal refinement patterns for goaldriven requirements elaboration. In Ninth International Workshop on Formal Methods for Industrial Critical Systemse, FSE-4 - 4th ACM Symp. on the Foundations of Software Engineering, October 1996.
9. Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, and Fernando L. Pelayo. Automatic verification of the tls handshake protocol. In SAC '04: Proceedings of the 2004 ACM symposium on Applied computing, pages 789-794. ACM Press, 2004.
10. Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, and Valentin Valero. An approach to handle real time and probabilistic behaviors in e-commerce: validating the set protocol. In SAC '05: Proceedings of the 2005 ACM symposium on Applied computing, pages 815-820. ACM Press, 2005.
11. Gregorio Díz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, and Fernando Cuartero. Automatic translation of ws-cdl choreographies to timed automata. In EPEW/WS-FM, volume 3670 of Lecture Notes in Computer Science, pages 230-242. Springer, 2005.
12. Nickolas Kavantzas et al. Web service choreography description language (wscdl) 1.0. http://www.w3.org/TR/ws-cdl-10/.
13. Constance Heitmeyer and Dino Mandrioli. Formal Methods for Real-Time Computing. John Wiley & Sons, 1996.
14. Tony Hoare. The verifying compiler: A grand challenge for computing research. J. ACM, 50(1):63-69, 2003.
15. K. Larsen, P. Pettersson, and Wang Yi. Uppaal in a nutshell. Journal on Software Tools for Technology Transfer, 1, 1997.
16. Kim G. Larsen, Paul Pettersson, and Wang Yi. Compositional and Symbolic Model-Checking of Real-Time Systems. In Proc. of the 16th IEEE Real-Time Systems Symposium, pages 76-87. IEEE Computer Society Press, Dec 1995.
17. Elena Navarro, Pedro Sanchez, Patricio Letelier, Juan A. Pastor, and Isidro Ramos. A goal-oriented approach for safety requirements specification. In 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'06), pages 319-326. IEEE Computer Society, 2006.
18. Costas Courcoubetis Rajeev Alur and David L. Dill. Model-checking in dense real-time. In Journal of Information and Computation, 1993.
19. J. Sifakis T.A. Henzinger, X. Nicollin and S. Yovine. Symbolic model checking for real-time systems. In In Proceedings of the IEEE Conference on Logics in Computer Science (LICS), 1992.
20. A. van Lamsweerde. Requirements engineering in the year 00: a research perspective. In International Conference on Software Engineering, page 519, 2000.