{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T04:39:35Z","timestamp":1754109575695,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,24]],"date-time":"2008-11-24T00:00:00Z","timestamp":1227484800000},"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":[[2008,11,24]]},"DOI":"10.1145\/1497308.1497428","type":"proceedings-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T17:33:43Z","timestamp":1254159223000},"page":"630-633","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A model-prover for constrained dynamic conversations"],"prefix":"10.1145","author":[{"given":"Diletta","family":"Cacciagrano","sequence":"first","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"given":"Flavio","family":"Corradini","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"given":"Rosario","family":"Culmone","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"given":"Luca","family":"Tesei","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]},{"given":"Leonardo","family":"Vito","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}]}],"member":"320","published-online":{"date-parts":[[2008,11,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Alloy analyzer http:\/\/alloy.mit.edu\/.  The Alloy analyzer http:\/\/alloy.mit.edu\/."},{"key":"e_1_3_2_1_2_1","unstructured":"BPML\n\n  \n  : Business Process Modeling Language http:\/\/www.bpmi.org\/.  BPML: Business Process Modeling Language http:\/\/www.bpmi.org\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Object Constraint Language Specification V. 2.0 http:\/\/www.klasse.nl\/ocl\/ocl-subm.html\/.  Object Constraint Language Specification V. 2.0 http:\/\/www.klasse.nl\/ocl\/ocl-subm.html\/."},{"key":"e_1_3_2_1_4_1","unstructured":"OCL 1.4 syntax checker http:\/\/www.klasse.nl\/ocl\/.  OCL 1.4 syntax checker http:\/\/www.klasse.nl\/ocl\/."},{"key":"e_1_3_2_1_5_1","unstructured":"OCLE 1.0 http:\/\/lci.cs.ubbcluj.ro\/ocle\/.  OCLE 1.0 http:\/\/lci.cs.ubbcluj.ro\/ocle\/."},{"key":"e_1_3_2_1_6_1","unstructured":"W3C XML Schema http:\/\/www.w3.org\/xml\/schema\/.  W3C XML Schema http:\/\/www.w3.org\/xml\/schema\/."},{"key":"e_1_3_2_1_7_1","unstructured":"WS-CDL: Web Service Choreography Description Language http:\/\/www.w3.org\/tr\/ws-cdl-10\/.  WS-CDL: Web Service Choreography Description Language http:\/\/www.w3.org\/tr\/ws-cdl-10\/."},{"key":"e_1_3_2_1_8_1","unstructured":"WSCI\n\n  \n  : Web Service Choreography Interface http:\/\/www.w3.org\/tr\/wsci\/.  WSCI: Web Service Choreography Interface http:\/\/www.w3.org\/tr\/wsci\/."},{"key":"e_1_3_2_1_9_1","unstructured":"WSCL\n\n  \n  : Web Service Conversation Language http:\/\/www.w3.org\/tr\/wscl10\/.  WSCL: Web Service Conversation Language http:\/\/www.w3.org\/tr\/wscl10\/."},{"key":"e_1_3_2_1_10_1","unstructured":"WSDL\n\n  \n  : Web Service Definition Language http:\/\/www.w3.org\/tr\/wsdl\/.  WSDL: Web Service Definition Language http:\/\/www.w3.org\/tr\/wsdl\/."},{"key":"e_1_3_2_1_11_1","unstructured":"XML Path Language (XPath) V. 2.0 http:\/\/www.w3.org\/tr\/xpath20\/.  XML Path Language (XPath) V. 2.0 http:\/\/www.w3.org\/tr\/xpath20\/."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"K. Anastasakis B. Bordbar G. Georg and I. Ray. UML2Alloy: A challenging model transformation. pages 436--450. 2007.   K. Anastasakis B. Bordbar G. Georg and I. Ray. UML2Alloy: A challenging model transformation. pages 436--450. 2007.","DOI":"10.1007\/978-3-540-75209-7_30"},{"issue":"7","key":"e_1_3_2_1_13_1","first-page":"674","article-title":"A framework for semantics of UML Sequence Diagrams","volume":"8","author":"Aredo D. B.","year":"2002","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646529.695214"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775210"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_9"},{"volume-title":"IEEE Computer Society","year":"2003","author":"Foster H.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2002.1.2.a1"},{"key":"e_1_3_2_1_20_1","series-title":"LNI","first-page":"128","volume-title":"Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists.","author":"Georg G.","year":"2001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"H.\n       \n      Hussmann B.\n       \n      Demuth and \n      \n      \n      F.\n       \n      Finger\n      \n  \n  . \n  Modular architecture for a toolset supporting OCL. In A. Evans S. Kent and B. Selic editors UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference York UK October \n  2000 Proceedings volume \n  1939\n   of \n  LNCS pages \n  278\n  --\n  293\n  . \n  Springer 2000.   H. Hussmann B. Demuth and F. Finger. Modular architecture for a toolset supporting OCL. In A. Evans S. Kent and B. Selic editors UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference York UK October 2000 Proceedings volume 1939 of LNCS pages 278--293. Springer 2000.","DOI":"10.1007\/3-540-40011-7_20"},{"key":"e_1_3_2_1_23_1","unstructured":"R. Marcano and N. Levy. Transformation rules of OCL constraints into B formal expressions. In J. J\u00fcrjens M. V. Cengarle E. B. Fernandez B. Rumpe and R. Sandner editors Critical Systems Development with UML -- Proceedings of the UML '02 workshop pages 155--162. Technische Universit\u00e4t M\u00fcnchen Institut f\u00fcr Informatik 2002.  R. Marcano and N. Levy. Transformation rules of OCL constraints into B formal expressions. In J. J\u00fcrjens M. V. Cengarle E. B. Fernandez B. Rumpe and R. Sandner editors Critical Systems Development with UML -- Proceedings of the UML '02 workshop pages 155--162. Technische Universit\u00e4t M\u00fcnchen Institut f\u00fcr Informatik 2002."},{"volume-title":"Springer","year":"2000","author":"Richters M.","key":"e_1_3_2_1_24_1"}],"event":{"name":"iiWAS08: 10th International Conference on Information Integration and Web-based Applications & Services","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Linz Austria","acronym":"iiWAS08"},"container-title":["Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1497308.1497428","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1497308.1497428","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:43Z","timestamp":1750250743000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1497308.1497428"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,24]]},"references-count":24,"alternative-id":["10.1145\/1497308.1497428","10.1145\/1497308"],"URL":"https:\/\/doi.org\/10.1145\/1497308.1497428","relation":{},"subject":[],"published":{"date-parts":[[2008,11,24]]},"assertion":[{"value":"2008-11-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}