{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:25:43Z","timestamp":1725452743890},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aiccsa.2005.1387100","type":"proceedings-article","created":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T20:16:50Z","timestamp":1112386610000},"page":"583-590","source":"Crossref","is-referenced-by-count":1,"title":["An integrated environment for communicating UML statechart diagrams"],"prefix":"10.1109","author":[{"given":"V.S.W.","family":"Lam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Padget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"877","article-title":"On execution semantics of UML statechart diagrams using the ?-calculus","author":"lam","year":"2003","journal-title":"Proceedings of the International Conference on Software Engineering Research and Practice"},{"journal-title":"An Introduction to ANTLR","year":"0","author":"parr","key":"22"},{"journal-title":"The Java Web Services Tutorial","year":"2003","author":"armstrong","key":"17"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"23"},{"journal-title":"Sun's Java 2 Platform Standard Edition (J2SE) Web Site","year":"0","key":"18"},{"journal-title":"Logic in Computer Science Modelling and Reasoning about Systems","year":"2000","author":"huth","key":"24"},{"journal-title":"Notes on Programming Standard ML of New Jersey (Version 110 0 6)","year":"2001","author":"pucella","key":"15"},{"journal-title":"Introduction to Compiler Techniques A First Course Using ANSI C LEX and YACC","year":"1990","author":"bennett","key":"16"},{"journal-title":"Extensible Markup Language (XML) 1 0","year":"2000","author":"bray","key":"13"},{"journal-title":"The Definition of Standard ML","year":"1990","author":"milner","key":"14"},{"journal-title":"A Tutorial and Reference de Scription of ArgoUML","year":"2002","author":"ramirez","key":"11"},{"journal-title":"OMG XML Metadata Interchange (XMI) Specification Version 1 2","year":"2002","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICECT.2004.1319738"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"20","first-page":"80","article-title":"An agent-based secure internet payment system for mobile computing","author":"roma?o","year":"1998","journal-title":"Proc TREC 98"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"journal-title":"OMG Unified Modeling Language Specification Version 1 5","year":"2003","key":"1"},{"journal-title":"A Verification Tool for the Polyadic ?-Calculus","year":"1994","author":"victor","key":"10"},{"journal-title":"Communicating and Mobile Systems The ?-Calculus","year":"1999","author":"milner","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2004.1316717"},{"journal-title":"Automated Equivalence Checking of UML Statechart Diagrams Using the MWB","year":"0","author":"lam","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2003.1260217"},{"key":"9","first-page":"428","article-title":"The mobility workbench: A tool for the ?-calculus","author":"victor","year":"1994","journal-title":"CAV '94"},{"journal-title":"Poseidon for UML Users Guide","year":"2002","author":"boger","key":"8"}],"event":{"name":"The 3rd ACS\/IEEE International Conference onComputer Systems and Applications, 2005.","location":"Cairo, Egypt"},"container-title":["The 3rd ACS\/IEEE International Conference onComputer Systems and Applications, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9525\/30191\/01387100.pdf?arnumber=1387100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T03:47:02Z","timestamp":1489549622000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1387100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2005.1387100","relation":{},"subject":[]}}