{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T05:35:08Z","timestamp":1731476108529,"version":"3.28.0"},"reference-count":28,"publisher":"Institution of Engineering and Technology (IET)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2008,10,20]]},"DOI":"10.1049\/iet-sen:20070045","type":"journal-article","created":{"date-parts":[[2008,10,21]],"date-time":"2008-10-21T22:32:10Z","timestamp":1224628330000},"page":"391-403","source":"Crossref","is-referenced-by-count":4,"title":["Theory for classifying equivalences of unified modelling language activity diagrams"],"prefix":"10.1049","volume":"2","author":[{"given":"V.S.W.","family":"Lam","sequence":"first","affiliation":[{"name":"Computer Centre, The University of Hong Kong, Pokfulam Road, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20070045_r1","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/HASE.1999.809474","author":"Gnesi","year":"1999","journal-title":"IEEE Int. Symp. High-Assurance Systems Engineering"},{"key":"10.1049\/iet-sen:20070045_r2","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-0-387-35562-7_25","author":"Latella","year":"1999","journal-title":"Int. Conf. Formal Methods for Open Object-Oriented Distributed Systems"},{"key":"10.1049\/iet-sen:20070045_r3","doi-asserted-by":"publisher","DOI":"10.1007\/s001659970003"},{"key":"10.1049\/iet-sen:20070045_r4","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(01)00012-1"},{"key":"10.1049\/iet-sen:20070045_r5","first-page":"430","author":"Lilius","year":"1999","journal-title":"UML'99"},{"key":"10.1049\/iet-sen:20070045_r6","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-45499-3_22","author":"B\u0308orger","year":"2000","journal-title":"Int. Conf. Algebraic Methodology and Software Technology"},{"journal-title":"UML 2000 Workshop Dynamic Behaviour in UML Models: Semantic Questions","year":"2000","author":"Rodrigues","key":"10.1049\/iet-sen:20070045_r7"},{"journal-title":"UML 2000 Workshop Dynamic Behaviour in UML Models: Semantic Questions","year":"2000","author":"Bolton","key":"10.1049\/iet-sen:20070045_r8"},{"key":"10.1049\/iet-sen:20070045_r9","first-page":"166","author":"Eshuis","year":"2002","journal-title":"Int. Conf. Software Engineering"},{"key":"10.1049\/iet-sen:20070045_r10","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"10.1049\/iet-sen:20070045_r11","first-page":"47","author":"Yang","year":"2004","journal-title":"Int. Conf. Workshop on the Engineering of Computer-based Systems"},{"journal-title":"German Software Engineering Conf. 2005","year":"2005","author":"St\u0308orrle","key":"10.1049\/iet-sen:20070045_r12"},{"key":"10.1049\/iet-sen:20070045_r13","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125809"},{"key":"10.1049\/iet-sen:20070045_r14","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/3-540-61604-7_84","author":"Maggiolo-Schettini","year":"1996","journal-title":"CONCUR '96"},{"key":"10.1049\/iet-sen:20070045_r15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"10.1049\/iet-sen:20070045_r16","first-page":"46","author":"Park","year":"2000","journal-title":"Int. Workshop on Rapid System Prototyping"},{"key":"10.1049\/iet-sen:20070045_r17","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/HCC.2003.1260217","author":"Lam","year":"2003","journal-title":"Proc. 2003 IEEE Symp. Human Centric Computing Languages and Environments"},{"key":"10.1049\/iet-sen:20070045_r18","first-page":"1","volume":"100","author":"Milner","year":"1992"},{"key":"10.1049\/iet-sen:20070045_r19","first-page":"203","volume":"94","author":"Milner","year":"1993","journal-title":"Proc. Int. NATO Summer School"},{"key":"10.1049\/iet-sen:20070045_r20","doi-asserted-by":"crossref","unstructured":"Parrow, J.: \u2018An introduction to the -calculus\u2019, Bergstra, A., Ponse, J.A., Smolka, S.A., Handbook of process algebra, (Elsevier Science 2001),8, p. 479\u2013543","DOI":"10.1016\/B978-044482830-9\/50026-6"},{"key":"10.1049\/iet-sen:20070045_r21","unstructured":"Milner, R.: \u2018Communicating and Mobile Systems: the -calculus\u2019, (Cambridge University Press 1999)"},{"key":"10.1049\/iet-sen:20070045_r22","unstructured":"OMG: UML 2.0 superstructure specification August 2005, http:\/\/www.omg.org, accessed July 28, 2006"},{"issn-type":"print","author":"Lam","key":"10.1049\/iet-sen:20070045_r23","ISSN":"http:\/\/id.crossref.org\/issn\/0218-1940"},{"key":"10.1049\/iet-sen:20070045_r24","unstructured":"Pilone, D., and Pitman, N.: \u2018UML 2.0 in a nutshell\u2019, (O'Reilly 2005)"},{"key":"10.1049\/iet-sen:20070045_r25","first-page":"43","volume":"2","author":"Bock","year":"2003"},{"key":"10.1049\/iet-sen:20070045_r26","first-page":"7","volume":"2","author":"Bock","year":"2003"},{"key":"10.1049\/iet-sen:20070045_r27","unstructured":"Bennett, S., Skelton, J., and Lunn, K.: \u2018Schaum's outlines of UML\u2019, 2nd(McGraw-Hill 2005)"},{"key":"10.1049\/iet-sen:20070045_r28","unstructured":"Johnsonbaugh, R.: \u2018Discrete mathematics\u2019, revised(Macmillan 1986)"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20070045?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:27:24Z","timestamp":1731436044000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20070045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,20]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,10,20]]}},"alternative-id":["10.1049\/iet-sen:20070045"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20070045","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2008,10,20]]}}}