Design and generation of Web services choreographies with time constraints

Journal of Universal Computer Science

Volumn 17, Issue 13, 2011, Pages 1800-1829

  Emilia Cambronero, M ^a   Valero, Valentín ^a   Martínez, Enrique ^b  

^a ESII   (Spain)

^b INSTITUTO DE INVESTIGACIÓN EN INFORMÁTICA DE ALBACETE   (Spain)

Author keywords

Code generation; Design; Modeling; Real Time systems; UML; Web services; WS CDL

Indexed keywords

EID: 83455195450     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. [Alor-Hernández et al., 2009] G. Alor-Hernández et al. Mapping UML Diagrams for Generating WS-CDL Code. In ICDS '09:The Third International Conference on Digital Society, pages 229-234, Cancun, Mexico, 2009. IEEE Computer Society.
2. [Ambler, 2005] S. W. Ambler. The Elements of UML(TM) 2.0 Style. Cambridge University Press, New York, NY, USA, 2005.
3. [Arkin et al., 2004] A. Arkin et al. Web Services Business Process Execution Language 2.0, December 2004. http://www.oasis-open.org/committees/ download.php/10347/wsbpel-specification-draft-120204.htm.
4. [Benatallah et al., 2005] B. Benatallah, M. Dumas and Q. Z. Sheng. Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services. Volume 17, number 1 of Distrib. Parallel Databases, pages 5-37, 2005.
5. [Cambronero et al., 2011] M. E. Cambronero, G. Díaz, E. Martínez and V. Valero. WST: A Tool Supporting Timed Composite Web Services Model Transformation. In Simulation: Transactions of the Society for Modeling and Simulation International journal, to appear in 2011.
6. [Cambronero et al., 2006]M. E. Cambronero, G. Díaz, J. J. Pardo, V. Valero and F. Pelayo. RT-UML forModeling Real-TimeWeb Services. In In proceedings of Modeling, Design, and Analysis for Service Oriented Architecture Workshop, mda4soa, SCC 2006, pages 131-139, Chicago, USA, 2006. IEEE Computer Society.
7. [Cambronero et al., 2009] M. E. Cambronero, V. Valero, G. Díaz and E. Martínez. Web Services Choreographies Verification. Technical Report DIAB-09-04-1. University of Castilla-La Mancha, 2009.
8. [Cambronero et al., 2010]M. E. Cambronero, V. Valero and G. Díaz. Verification of Real-Time Systems Design. Volume 17 of Software Testing, Verification and Reliability Journal, pages 3-37, 2010.
9. [Clark, 1998] J. Clark. XSL Transformations (XSLT) Version 1.0. Technical Report REC-xml-19980210, W3C, 1998. http://www.w3.org/TR/xslt.
10. [Dardenne et al., 1993] A. Dardenne, A. van Lamsweerde and S. Fickas. Goal-directed Requirements Acquisition, 1993, volume 20, pages 3-50. http://www.w3.org/TR/2004/WD-wsdl20.
11. [Díaz et al., 2006] G. Díaz and 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 Proceedings of International Conference on Internet and Web Applications and Services ICIW, vol. 1257, pages 33-40, 2006. IEEE Computer Society Press.
12. [Foster et al., 2005a] H. Foster, S. Uchitel, J. Magee and J. Kramer. Leveraging eclipse for integrated model-based engineering of web service compositions. In eclipse: Proceedings of the OOPSLA workshop on Eclipse technology eXchange, pages 95-99, New York, NY, USA, 2005. ACM.
13. [Foster et al., 2005b] H. Foster, S. Uchitel, J. Magee and J. Kramer. Tool support for model-based engineering of web service compositions. In ICWS: Proceedings of the IEEE International Conference on Web Services, pages 95-102, Washington, DC, USA, 2005. IEEE Computer Society.
14. [Graf et al., 2006] S. Graf, I. Ober and I. Ober. Timed annotations with UML. Volume 8, number 2 of International Journal on Software Tools for Technology Transfer, pages 113-127, 2006.
15. [Halvorsen and Haugen, 2006] O. Halvorsen and O. Haugen. Proposed Notation for Exception Handling in UML 2 Sequence Diagrams. In ICWS: Proceedings of the IEEE International Software Engineering Conference, Australian, p ages 29-40, WLos Alamitos, CA, USA, 2006. IEEE Computer Society.
16. [Hamadi and Benatallah, 2003] R. Hamadi and B. Benatallah. A Petri Netbased Model for Web Service Composition. In ADC '03: Proceedings of the 14th Australasian database conference, 2003.
17. [Kavantzas et al., 2005] N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon and C. Barreto. Web Service Choreography Description Language (WSCDL) 1.0. http://www.w3.org/TR/ws-cdl-10/.
18. [Larsen et al., 1997] K. G. Larsen, P. Pettersson and W. Yi. Uppaal in a nutshell. Volume 1, numbers 1-2 of International Journal on Software Tools for Technology Transfer (STTT), pages 134-152, December 1997.
19. [OMG, 2002]OMG. Response to the OMG RFP for Schedulability, Performance and Time, v. 2.0. OMG document ad/2002-03-04, March 2002.
20. [Lorenz and Six, 2006] A. Lorenz and H.-W. Six. Tailoring uml activities to use case modeling for web application development. In CASCON: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, pages 333-338, New York, NY, USA, 2006. ACM.
21. [OMG, 2003] OMG UML 2.0 Superstructure proposal v.2.0. In OMG document ad/03-01-02, January, 2003.
22. [Piotrowski and Krawczyk, 2008] M. Piotrowski and H. Krawczyk. Using UML/WS-CDL for Modeling Negotiation Scenarios. In IFIP International Federation for Information Processing, pages 119-126, Volume 283, 2008. Springer Boston.
23. [Weerawarana et al., 2004] S. Weerawarana et al. Web services de-scription language (wsdl) version 2.0 part 1: Core language, 2004. http://www.w3.org/TR/2004/WD-wsdl20.
24. [W3C, 2011] World Wide Web Consortium (W3C). http://www.w3.org/.
25. [Zarras et al., 2004a] A. Zarras, P. Vassiliadis and V. Issarny. UML Profile for Schedulability, Performance, and Time Specification, Version 1.1. OMG, December 2004 http://www.omg.org/docs/smsc/04-12-05.pdf.
26. [Zarras et al., 2004b] A. Zarras, P. Vassiliadis and V. Issarny. Model-driven dependability analysis of webservices. In Robert Meersman and Zahir Tari, editors, CoopIS/DOA/ODBASE (2), volume 3291 of Lecture Notes in Computer Science, pages 1608-1625. Springer, 2004.
27. [Zhang et al., 2008] P. Zhang, B. Li, H. Muccini, Y. Zhou and M. Sun. Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. In ICWS '08: Proceedings of the 2008 IEEE International Conference on Web Services, pages 752-753, Washington, DC, USA, 2008. IEEE Computer Society.