{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:33Z","timestamp":1750307913568,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244150","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"643-648","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Using RT-UML for modelling web services"],"prefix":"10.1145","author":[{"given":"M. Emilia","family":"Cambronero","sequence":"first","affiliation":[{"name":"Universidad de Castilla-La Mancha, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Jos\u00e9","family":"Pardo","sequence":"additional","affiliation":[{"name":"Universidad de Castilla-La Mancha, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregorio","family":"D\u00edaz","sequence":"additional","affiliation":[{"name":"Universidad de Castilla-La Mancha, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valent\u00edn","family":"Valero","sequence":"additional","affiliation":[{"name":"Universidad de Castilla-La Mancha, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Extensible markup language (xml) 1.0","author":"Paoli Jean","year":"2004","unstructured":"Jean Paoli , Eve Maler , and et. al. Tim Bray . Extensible markup language (xml) 1.0 ( third edition), 2004 . http:\/\/www.w3.org\/TR\/2004\/REC-xml-20040204. Jean Paoli, Eve Maler, and et. al. Tim Bray. Extensible markup language (xml) 1.0 (third edition), 2004. http:\/\/www.w3.org\/TR\/2004\/REC-xml-20040204."},{"key":"e_1_3_2_1_2_1","volume-title":"Uddi version 3.0.2","author":"Clement Luc","year":"2004","unstructured":"Luc Clement , Andrew Hately , Claus von Riegen , and Tony Rogers . Uddi version 3.0.2 , 2004 . http:\/\/uddi.org\/pubs\/uddi_v3.htm. Luc Clement, Andrew Hately, Claus von Riegen, and Tony Rogers. Uddi version 3.0.2, 2004. http:\/\/uddi.org\/pubs\/uddi_v3.htm."},{"key":"e_1_3_2_1_3_1","volume-title":"Soap version 1.2 part 1: Messaging framework","author":"Hadley Marc","year":"2003","unstructured":"Marc Hadley , Noah Mendelsohn , and et. al Jean-Jacques Moreau . Soap version 1.2 part 1: Messaging framework , 2003 . http:\/\/www.w3.org\/TR\/soap12-part1. Marc Hadley, Noah Mendelsohn, and et. al Jean-Jacques Moreau. Soap version 1.2 part 1: Messaging framework, 2003. http:\/\/www.w3.org\/TR\/soap12-part1."},{"key":"e_1_3_2_1_4_1","volume-title":"Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language","author":"Weerawarana Sanjiva","year":"2004","unstructured":"Sanjiva Weerawarana , Roberto Chinnici , and et. al. Martin Gudgin . Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2004 . http:\/\/www.w3.org\/TR\/2004\/WD-wsdl20. Sanjiva Weerawarana, Roberto Chinnici, and et. al. Martin Gudgin. Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language, 2004. http:\/\/www.w3.org\/TR\/2004\/WD-wsdl20."},{"key":"e_1_3_2_1_5_1","volume-title":"December","author":"Arkin Assaf","year":"2004","unstructured":"Assaf Arkin , Sid Askary , and et. al. Ben Bloch . Web Services Business Process Execution Language Version 2.0 , December 2004 . http:\/\/www.oasisopen.org\/committees\/download.php\/10347\/wsbpel-specification-draft-120204.htm. Assaf Arkin, Sid Askary, and et. al. Ben Bloch. Web Services Business Process Execution Language Version 2.0, December 2004. http:\/\/www.oasisopen.org\/committees\/download.php\/10347\/wsbpel-specification-draft-120204.htm."},{"key":"e_1_3_2_1_6_1","unstructured":"Nickolas Kavantzas et al. Web Service Choreography Description Language (WSCDL) 1.0. http:\/\/www.w3.org\/TR\/ws-cdl-10\/.  Nickolas Kavantzas et al. Web Service Choreography Description Language (WSCDL) 1.0. http:\/\/www.w3.org\/TR\/ws-cdl-10\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_12"},{"volume-title":"Proceedings of International Conference on Internet and Web Applications and Services ICIW'06","author":"Diaz G.","key":"e_1_3_2_1_8_1","unstructured":"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 Proceedings of International Conference on Internet and Web Applications and Services ICIW'06 . IEEE Press. 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 Proceedings of International Conference on Internet and Web Applications and Services ICIW'06. IEEE Press."},{"volume-title":"Proceedings of First International Workshop on Automated Specification and Verification of Web Sites, Electronic Notes in Theoretical Computer Science.","author":"Diaz G.","key":"e_1_3_2_1_9_1","unstructured":"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, Electronic Notes in Theoretical Computer Science. 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, Electronic Notes in Theoretical Computer Science."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_17"},{"key":"e_1_3_2_1_11_1","author":"Larsen Kim Guldstrand","year":"1997","unstructured":"Kim Guldstrand Larsen , Paul Pettersson , and Wang Yi. UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1--2):134--152 , 1997 . Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer, 1(1--2):134--152, 1997.","journal-title":"Nutshell. International Journal on Software Tools for Technology Transfer, 1(1--2):134--152"},{"key":"e_1_3_2_1_12_1","volume-title":"September","author":"Mantell Keith","year":"2003","unstructured":"Keith Mantell . From UML to BPEL , September 2003 . http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-uml2bpel. Keith Mantell. From UML to BPEL, September 2003. http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-uml2bpel."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025120.1025689"},{"key":"e_1_3_2_1_14_1","unstructured":"OMG. UML 2.0 Superstructure proposal v.2.0. January 2003.  OMG. UML 2.0 Superstructure proposal v.2.0. January 2003."},{"key":"e_1_3_2_1_15_1","unstructured":"UML Profile for Schedulability Performance and Time Specification Version 1.1. In http:\/\/www.omg.org\/docs\/smsc\/04-12-05.pdf.  UML Profile for Schedulability Performance and Time Specification Version 1.1. In http:\/\/www.omg.org\/docs\/smsc\/04-12-05.pdf."},{"key":"e_1_3_2_1_16_1","volume-title":"Model Driven Architecture: Applying MDA to Enterprise Computing","author":"Frankel David","year":"2002","unstructured":"David Frankel . Model Driven Architecture: Applying MDA to Enterprise Computing . John Wiley & Sons, Inc. , New York, NY, USA , 2002 . David Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons, Inc., New York, NY, USA, 2002."},{"key":"e_1_3_2_1_17_1","volume-title":"Technical Report REC-xml-19980210, W3C","author":"Clark James","year":"1998","unstructured":"James Clark . XSL Transformations (XSLT) Version 1.0. Technical Report REC-xml-19980210, W3C , 1998 . http:\/\/www.w3.org\/TR\/xslt. James Clark. XSL Transformations (XSLT) Version 1.0. Technical Report REC-xml-19980210, W3C, 1998. http:\/\/www.w3.org\/TR\/xslt."},{"key":"e_1_3_2_1_18_1","volume-title":"Artisan Real Time Studio","author":"Artisan","year":"2001","unstructured":"Artisan tool 6.0. Artisan Real Time Studio , 2001 . Artisan tool 6.0. Artisan Real Time Studio, 2001."}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244150","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:54Z","timestamp":1750258074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":18,"alternative-id":["10.1145\/1244002.1244150","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244150","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}