Leveraging integrated tools for model-based analysis of service compositions

Proceedings - 3rd International Conference on Internet and Web Applications and Services, ICIW 2008

Volumn , Issue , 2008, Pages 72-77

  Foster, Howard ^a   Mayer, Philip ^a,b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ANALYSIS; COMPUTER NETWORKS; INFORMATION SERVICES; INTERNET; LINGUISTICS; QUERY LANGUAGES; WORLD WIDE WEB;

DEVELOPMENT ENVIRONMENTS; SERVICE COMPOSITIONS;

STANDARDIZATION;

EID: 51049091186     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIW.2008.103     Document Type: Conference Paper

References (15)

1. Alexandre Alves et al., "Web service business execution language (wsbpel) v2.0", Oasis standard, OASIS, 2007.
2. Nickolas Kavantzas et al., "The web service choreography description language v1.0", W3c recommendation, W3C, Nov. 2005.
3. th IEEE Int. Conference on Automated Software Engineering. 2003, pp. 152-161, IEEE CS Press.
4. J. Magee and J. Kramer, Concurrency - State Models and Java Programs - 2nd Edition, John Wiley, 2006.
5. Xiang Fu, Tevfik Bultan, and Jianswen Su, "Wsat: A tool for formal analysis of web services", in 16th International Conference on Computer Aided Verification (CAV), Boston, MA, 2004.
6. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, and Arthur H. M. ter Hofstede, "Wofbpel: A tool for automated analysis of bpel processes", in ICSOC, 2005, pp. 484-489.
7. Niels Lohmann, "A feature-complete Petri net semantics for WSBPEL 2.0 and its compiler BPEL2oWFN", Informatik-Berichte 212, Humboldt-Universität zu Berlin, Aug. 2007.
8. Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, and Chao Cai, "Tool support for bpel verification in activebpel engine", in The Australian Software Engineering Conference (ASWEC), Melbourne, Australia, April 2007.
9. IBM Corp, Best Practices for Using Websphere Business Modeller and Monitor (REDP-4159-00), IBM RedBooks, 2006.
10. Jeannette Marie Wing Edmund Clarke, Formal methods : state of the art and future directions, Pittsburgh, Pa. : School of Computer Science, Carnegie Mellon University, 1996.
11. Howard Foster, Sebastian Uchitel, Jeff Magee, and Jeff Kramer, "Compatibility for web service choreography", in 3rd IEEE International Conference on Web Services (ICWS), San Diego, CA, 2004a, IEEE.
12. Howard Foster, Wolfgang Emmerich, Jeff Magee, Jeff Kramer, David S. Rosenblum, and Sebastian Uchitel, "Model Checking Service Compositions under Resource Constraints", in the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), 2007.
13. Philip Mayer and Hubert Baumeister, "Report on the sensoria case tool (d7.4b)", Deliverable, EU Project Sensoria, Aug. 2007.
14. Eclipse.org, "The eclipse open development platform v3.3", 2008, Available from: http://www.eclipse.org.
15. OSGi Alliance, "Osgi specification rel.4", 2007, Available from: http://www2.osgi.org/Specifications/.