{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:43:09Z","timestamp":1777902189716,"version":"3.51.4"},"reference-count":29,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2010,5,19]],"date-time":"2010-05-19T00:00:00Z","timestamp":1274227200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2012,3]]},"abstract":"<jats:p>In this paper we introduce a tool called the Web Service Translation tool (WST), which we are developing to implement a methodology for the design, validation and verification of Web Services with timed restrictions. This methodology works by making several translations, from phase to phase in the software development life cycle, where the system is represented at each phase by XML models. We use XSL Transformations (XSLT), which is a language for transforming XML documents. The purpose of these translations is to generate XML code automatically for a Web Service system and to obtain Web Services description models with Timed Automata for validating and verifying composite Web Services with time restrictions.<\/jats:p>","DOI":"10.1177\/0037549710372098","type":"journal-article","created":{"date-parts":[[2010,5,19]],"date-time":"2010-05-19T20:44:18Z","timestamp":1274301858000},"page":"349-364","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":8,"title":["WST: a tool supporting timed composite Web Services Model transformation"],"prefix":"10.1177","volume":"88","author":[{"given":"M Emilia","family":"Cambronero","sequence":"first","affiliation":[{"name":"Associate Professor at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregorio","family":"D\u00edaz","sequence":"additional","affiliation":[{"name":"Associate Professor at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrique","family":"Mart\u00ednez","sequence":"additional","affiliation":[{"name":"PhD Student at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valent\u00edn","family":"Valero","sequence":"additional","affiliation":[{"name":"Full Professor at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Llanos","family":"Tobarra","sequence":"additional","affiliation":[{"name":"Postdoc Researcher at the University of Castilla-La Mancha, Department of Computer Science, Albacete, Spain."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2010,5,19]]},"reference":[{"key":"bibr1-0037549710372098","unstructured":"Arkin A, Askary S, Bloch B, Curbera F, Goland Y, Kartha N, Web Services Business Process Execution Language Version 2.0, December 2004. http:\/\/www.oasis-open.org"},{"key":"bibr2-0037549710372098","unstructured":"Kavantzas N, Burdett D, Ritzinger G, Fletcher T, Lafon Y, Barreto C. Web Service Choreography Description Language (WSCDL) 1.0, 2005. http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"bibr3-0037549710372098","first-page":"191","volume-title":"Proceedings of the 14th Australasian Database Conference","volume":"17","author":"Hamadi R","year":"2003"},{"key":"bibr4-0037549710372098","unstructured":"OMG. UML 2.0 Superstructure proposal v.2.0 January 2003."},{"key":"bibr5-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"bibr6-0037549710372098","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Proceedings 10th International Conference on Computer Aided Verification","volume":"1427","author":"Bozga M"},{"key":"bibr7-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"bibr8-0037549710372098","first-page":"771","volume-title":"29th IEEE\/ACM International Conference on Software Engineering (ICSE)","author":"Foster H","year":"2006"},{"key":"bibr9-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1177\/0037549709104727"},{"key":"bibr10-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1504\/IJSPM.2008.023680"},{"key":"bibr11-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_48"},{"key":"bibr12-0037549710372098","volume-title":"Design and Validation of Protocols","author":"Holzmann GJ","year":"1990"},{"key":"bibr13-0037549710372098","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"Holzmann GJ","year":"2003"},{"key":"bibr14-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1109\/CEC-EEE.2007.19"},{"key":"bibr15-0037549710372098","unstructured":"Kazhamiakin R. Formal Analysis of Web Service Compositions. PhD Dissertation, University of Trento, 2007."},{"key":"bibr16-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"bibr17-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_13"},{"key":"bibr18-0037549710372098","unstructured":"Cook WR, Misra J. A Structured Orchestration Language, 2005. http:\/\/orc.csres.utexas.edu\/"},{"key":"bibr19-0037549710372098","first-page":"89","volume-title":"Proceedings of the International Workshop on Web Languages and Formal Methods (Electronic Notes in Theoretical Computer Science, Vol. 151(2))","author":"Nakajima S","year":"2005"},{"key":"bibr20-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72912-9_2"},{"key":"bibr21-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2007.14"},{"key":"bibr22-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27071-X_13"},{"key":"bibr23-0037549710372098","first-page":"307","volume-title":"ICEBE 2006: Proceedings of the IEEE International Conference on e-Business Engineering","author":"Zhou X"},{"key":"bibr24-0037549710372098","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"van Lamsweerde A","year":"1993","journal-title":"Sci Comput Programm"},{"key":"bibr25-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_12"},{"key":"bibr26-0037549710372098","first-page":"125","volume-title":"QEST 2006: Proceedings of the Third International Conference on the Quantitative Evaluation of Systems","author":"Behrmann G","year":"2006"},{"key":"bibr27-0037549710372098","unstructured":"Object Management Group. UML Profile for Schedulability, Performance, and Time Specification, Version 1.1, 2005. http:\/\/www.omg.org\/docs\/smsc\/04-12-05.pdf."},{"key":"bibr28-0037549710372098","doi-asserted-by":"publisher","DOI":"10.1109\/SCW.2006.35"},{"key":"bibr29-0037549710372098","volume-title":"Web Services Choreographies Verification","author":"Cambronero ME","year":"2009"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549710372098","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549710372098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:22:28Z","timestamp":1777634548000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549710372098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,19]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["10.1177\/0037549710372098"],"URL":"https:\/\/doi.org\/10.1177\/0037549710372098","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,19]]}}}