Representing and analysing composed web services using Cress

Journal of Network and Computer Applications

Volumn 30, Issue 2, 2007, Pages 541-562

  Turner, Kenneth J ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

Bpel (Business Process Execution Logic); Lotos (Language Of Temporal Ordering Specification); Web service

Indexed keywords

COMPUTER GRAPHICS; GRAPHICAL USER INTERFACES; SUPERVISORY AND EXECUTIVE PROGRAMS; WORLD WIDE WEB;

BUSINESS PROCESS EXECUTION LOGIC (BPEL); LANGUAGE OF TEMPORAL ORDERING SPECIFICATION (LOTOS); WEB SERVICES;

INFORMATION SERVICES;

EID: 33846221366     PISSN: 10848045     EISSN: 10958592     Source Type: Journal    
DOI: 10.1016/j.jnca.2006.02.001     Document Type: Article

References (26)

1. Aho A.V., Gallagher S., Griffeth N.D., Schell C.R., and Swayne D.F. SCF3/Sculptor with Chisel: requirements engineering for communications services. In: Kimbler K., and Bouma W. (Eds). Proceedings of fifth feature interactions in telecommunications and software systems (September 1998), IOS Press, Amsterdam, Netherlands 45-63
2. Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, et al., editors. Business process execution language for web services. Version 1.1. BEA, IBM, Microsoft, SAP, Siebel, May 2003.
3. Arkin A, Askary S, Bloch B, Curbera F, Goland Y, Kartha N, et al., editors. Web services business process execution language. Version 2.0 (Draft). Billerica, MA, USA: Organization for The Advancement of Structured Information Standards; February 2005.
4. BPMI. Business Process Management Initiative. Version 1.0. Business Process Modeling Notation; May 2004.
5. Chirichiello A, Salaün G. Encoding abstract descriptions into executable web services: towards a formal development. In: Proceedings of web intelligence 2005. New York, USA: Institution of Electrical and Electronic Engineers Press; December 2005.
6. Ferrara A. Web services: a process algebra approach. In: Proceedings of second international conference on service-oriented computing. New York, USA: ACM Press; November 2004. p. 242-51.
7. Foster H, Uchitel S, Kramer J, Magee J. Model-based verification of web service compositions. In: Automated software engineering 2003. Montreal, Canada; October 2003.
8. Foster H, Uchitel S, Kramer J, Magee J. Compatibility verification for web service choreography. In: Second international conference on web services. San Diego, CA, USA; July 2004.
9. Haddad S, Melliti T, Moreaux P, Rampacek S. Modelling web services interoperability. In: Proceedings of the sixth international conference on enterprise information systems. Porto, Portugal; April 2004.
10. ISO/IEC. Information Processing Systems-Open Systems Interconnection-Lotos-A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807. International Organization for Standardization, Geneva, Switzerland; 1989.
11. ITU. Message Sequence Chart (MSC). ITU-T Z.120. International Telecommunications Union, Geneva, Switzerland; 2000a.
12. ITU. Specification and Description Language. ITU-T Z.100. International Telecommunications Union, Geneva, Switzerland; 2000b.
13. Jard C., and Jéron T. TGV: Theory, principles and algorithms. Software Tools Technol Trans (2005) 297-315
14. Staab S., van der Aalst W., Benjamins V.R., Sheth A., Miller J.A., Bussler C., et al. Web services: been there, done that. IEEE Intell Syst 18 1 (2003) 72-85
15. Turner K.J. Formalising the Chisel feature notation. In: Calder M.H., and Magill E.H. (Eds). Proceedings of sixth feature interactions in telecommunications and software systems (May 2000), IOS Press, Amsterdam, Netherlands 241-256
16. Turner K.J. Modelling SIP services using Cress. In: Peled D.A., and Vardi M.Y. (Eds). Proceedings of formal techniques for networked and distributed systems (FORTE XV). Lecture notes in computer science vol. 2529 (November 2002), Springer, Berlin, Germany 162-177
17. Turner K.J. Analysing interactive voice services. Computer Networks 45 5 (2004) 665-685
18. Turner K.J. Formalising web services. In: Wang F. (Ed). Proceedings of formal techniques for networked and distributed systems (FORTE XVIII1). Lecture notes in computer science vol. 3731 (October 2005), Springer, Berlin, Germany 473-488
19. Turner K.J. Test generation for radiotherapy accelerators. Software Tools Technol Trans 7 4 (2005) 361-375
20. Turner KJ. Validating feature-based specifications. Software practice and experience, May 2005c, in press.
21. Weiss M. Feature interactions in web services. In: Amyot D., and Logrippo L. (Eds). Proceedings of seventh feature interactions in telecommunications and software systems (June 2003), IOS Press, Amsterdam, Netherlands 149-156
22. Weiss M, Esfandari B. On feature interactions in web services. In: Proceedings of IEEE international conference on web services. San Diego, CA, July 2004. p. 88-95.
23. World-Wide Web Consortium. Simple Object Access Protocol (SOAP). Version 1.2. World-Wide Web Consortium, June 2003.
24. World-Wide Web Consortium. Web Ontology Language (OWL)-overview. Version 1.0. World-Wide Web Consortium, Geneva, Switzerland, February 2004.
25. World-Wide Web Consortium. Web services description language (WSDL). Version 2.0 (Draft). World-Wide Web Consortium, August 2005a.
26. World-Wide Web Consortium. Web services choreography description language. Candidate Version 1.0. World-Wide Web Consortium, Geneva, Switzerland, November 2005b.