Analyzing web service contracts - An aspect oriented approach

Proceedings - International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2007

Volumn , Issue , 2007, Pages 149-154

  Cambronero, Emilia ^a   Okika, Joseph C ^b   Ravn, Anders P ^b  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACTS; INFORMATION SERVICES; INFORMATION THEORY; SPECIFICATIONS; TRANSLATION (LANGUAGES); WEB SERVICES; WORLD WIDE WEB;

ASPECT ORIENTED; CASE STUDIES; INTERNATIONAL CONFERENCES; MODEL CHECKING; SEMANTIC MODELING; SERVICE CONTRACTING; SERVICE ORIENTED ARCHITECTURE (SOA); SIMULATION RELATION;

UBIQUITOUS COMPUTING;

EID: 47849102418     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/UBICOMM.2007.9     Document Type: Conference Paper

References (26)

1. Y. Lafon and N. Mitra, "SOAP Version 1.2 Part 0: Primer (Second Edition)," W3C, W3C Recommendation, Apr. 2007, http://www.w3.org/TR/2007/ REC-soap12-part0-20070427/.
2. S. Seely, SOAP: Cross Platform Web Service Development Using XML. Upper Saddle River, NJ, USA: Prentice Hall PTR, 2001, foreword By-Kent Sharkey.
3. A. Karmarkar, M. Gudgin, M. Hadley, Y. Lafon, J.-J. Moreau, H. F. Nielsen, and N. Mendelsohn, "SOAP version 1.2 part 1: Messaging framework (second edition)," W3C, W3C Recommendation, Apr. 2007, http://www.w3.org/ TR/2007/REC-soap12-part1-20070427/.
4. B. Meyer, Object-oriented software construction (2nd ed.). Upper Saddle River, NJ, USA: Prentice-Hall, Inc., 1997.
5. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana, BPEL4WS, Business Process Execution Language for Web Services Version 1.1, IBM, 2003. [Online]. Available: http://download.boulder.ibm.com/ibmdl/ pub/software/dw/specs/wsbpel/ws-bpel.pdf
6. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, "Web services choreography description language version 1.0," W3C, W3C Working Draft, Dec. 2004, http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/.
7. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, "UPPAAL in 1995," in Tools and Algorithms for Construction and Analysis of Systems, 1996, pp. 431-434. [Online]. Available: citeseer.ist.psu.edu/article/bengtsson96uppaal.html
8. J. Clark, "XSL Transformations (XSLT) Version 1.0," W3C, Tech. Rep. REC-xml-19980210, 1998, http://www.w3.org/TR/xslt. [Online]. Available: citeseer.nj.nec.com/bray98extensible.html
9. G. Castagna, N. Gesbert, and L. Padovani, "A theory of contracts for web services," in PLAN-X '07, 5th ACM-SIGPLAN Workshop on Programming Language Technologies for XML, jan 2007.
10. S. Carpineti, G. Castagna, C. Laneve, and L. Padovani, "A formal account of contracts for Web Services," in WS-FM, 3rd Int.l Workshop on Web Services and Formal Methods, ser. LNCS, no. 4184. Springer, 2006, pp. 148-162.
11. H. Davulcu, M. Kifer, and I. V. Ramakrishnan, "CTR-S: A Logic for Specifying Contracts in Semantic Web Services," in Proceedings of WWW2004, May 2004, pp. 144-153.
12. D. Reeves, B. Grosof, M. Wellman, and H. Chan, "Toward a declarative language for negotiating executable contracts," in In Proc. AAAI-99, 1999.
13. C. Prisacariu and G. Schneider, "A formal language for electronic contracts," in 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), ser. Lecture Notes in Computer Science, M. Bonsangue and E. B. Johnsen, Eds., vol. 4468. Springer, June 2007, pp. 174-189.
14. A. Beugnard, J.-M. Jezequel, N. Plouzeau, and D. Watkins, "Making Components Contract Aware," Computer, vol. 32, no. 7, pp. 38-45, 1999.
15. B. Meyer, Eiffel: the language. Upper Saddle River, NJ, USA: Prentice-Hall, Inc., 1992.
16. R. Heckel and M. Lohmann, "Towards contract-based testing of web services," 2004.
17. A. Keller and H. Ludwig, "The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services," Journal of Network and Systems Management, vol. 11, no. 1, pp. 57-81, March 2003.
18. "Web Services Agreement Specification (WS-Agreement)," https://forge.gridforum.org/projects/graap-wg/document/WS- AgreementSpecification/en/7, 2004.
19. "Web Services Architecture," W3C Working Group Note, www.w3.org/TR/ws-arch/, Feb 2004.
20. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, Web Services Description Language (WSDL) 1.1, 1st ed., W3C, March 2001, URL: http://www.w3c.org/TR/wsdl.
21. D. Booth and C. K. Liu, "Web services description language (WSDL) version 2.0 part 0: Primer," W3C, Candidate Recommendation, March 2006.
22. GI-Dagstuhl, "Modelling contest: Common component modelling example (cocome)." [Online]. Available: http://agrausch.informatik.unikl.de/CoCoME
23. J. Leavens, "JML's rich, inherited specification for behavioural subtypes," in Proc. 8th International Conference on Formal Engineering Methods (ICFEM06), ser. LNCS, vol. 4260. Springer, 2006.
24. G. Diaz, J. J. Pardo, M. E. Cambronero, V. Valero, and F. Cuartero, "Verification of Web Services with Timed Automata," in Proceedings of First International Workshop on Automated Specification and Verification of Web Sites, vol. 157. Springer Verlags Electronics Notes in Theoretical Computer Science series, 2005, pp. 19-34.
25. G. Diaz, M. E. Cambronero, J. J. Pardo, V. Valero, and F. Cuartero, "Automatic Generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques," in IEEE International Conference on Internet and Web Applications and Services ICIW'06, vol. 1257.
26. P. Giambiagi, O. Owe, A. Ravn, and G. Schneider, "Language-based support for service oriented architectures: Future directions," in Proceedings of ICSOFT'06, Setúbal, Portugal, September 2006.