{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:03:41Z","timestamp":1742097821682,"version":"3.38.0"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1109\/tse.2002.1027798","type":"journal-article","created":{"date-parts":[[2002,10,18]],"date-time":"2002-10-18T21:39:07Z","timestamp":1034977147000},"page":"747-762","source":"Crossref","is-referenced-by-count":10,"title":["Formalizing and integrating the dynamic model for object-oriented modeling"],"prefix":"10.1109","volume":"28","author":[{"given":"B.H.C.","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.Y.","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.345825"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"volume-title":"Object-Oriented Modeling and Design","author":"Rumbaugh","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194000000031"},{"article-title":"A Rigorous Object-Oriented Design Process","volume-title":"Proc. Int\u2019l Conf. Software Process","author":"Wang","key":"ref7"},{"author":"Azcorra","key":"ref8","article-title":"LOTOS Tool Survey"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.469459"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.1994.346517"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"author":"Wang","key":"ref12","article-title":"An Application of a Rigorous Design Process"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857554"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MMCS.1995.484918"},{"key":"ref15","first-page":"855861","article-title":"A Regional Information System for Environmental Data Analysis","volume-title":"Photogrammetric Eng. & Remote Sensing","volume":"62","author":"Bourdeau"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"ref17","first-page":"5464","article-title":"On the Formal Semantics of Statecharts","volume-title":"Proc. Second IEEE Symp. Logic in Computer Science","author":"Harel"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35562-7_25"},{"year":"1997","key":"ref19","article-title":"BetterState"},{"key":"ref20","first-page":"4351","article-title":"Tools for LOTOS Specification Style Transformation","volume-title":"Formal Description Techniques, II","author":"vanEijk"},{"key":"ref21","first-page":"815839","article-title":"Tool Support to Implement LOTOS Formal Specifications","volume-title":"Computer Networks and ISDN Systems","volume":"25","author":"Manas"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DCFTS.1999.814292"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00009-8"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90111-T"},{"author":"Vives","key":"ref27","article-title":"LOLA: Quick Reference version 3R6"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0037"},{"article-title":"TROLLA Language for Object-Oriented Specification of Information Systems","volume-title":"ACM Trans. Information Systems","author":"Jungclaus","key":"ref29"},{"volume-title":"Real-Time Object-Oriented Modeling","author":"Selic","key":"ref30","doi-asserted-by":"crossref","DOI":"10.1016\/S1474-6670(17)46346-4"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1997.625087"},{"article-title":"The Semantics of UML State Machines","volume-title":"Proc. UML \u201999 conf.","author":"Lilius","key":"ref32"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1999.802135"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1999.802320"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809475"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919116"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.2000.891125"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/22077\/01027798.pdf?arnumber=1027798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T05:13:50Z","timestamp":1742015630000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1027798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":38,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2002,8]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2002.1027798","relation":{},"ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}