{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:30:44Z","timestamp":1730291444162,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/qsic.2009.31","type":"proceedings-article","created":{"date-parts":[[2010,1,20]],"date-time":"2010-01-20T21:08:33Z","timestamp":1264021713000},"page":"173-178","source":"Crossref","is-referenced-by-count":13,"title":["From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation"],"prefix":"10.1109","author":[{"given":"Valentin","family":"Chimisliu","sequence":"first","affiliation":[]},{"given":"Christian","family":"Schwarzl","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Peischl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref4"},{"journal-title":"OMG","article-title":"UML superstructure reference","year":"0","key":"ref3"},{"key":"ref10","first-page":"537","article-title":"Transformation of dynamic aspects of uml models into lotos behaviour expressions","volume":"11","author":"hnatkowska","year":"2001","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/BFb0053386","article-title":"Towards a formalization of the Unified Modeling Language","volume":"1241","author":"breu","year":"1999","journal-title":"Proceedings of the European Conference of Object Oriented Programming ECOOP'97"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC.2008.60"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.41"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s001659970003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"journal-title":"ISO","article-title":"ISO 8807: Information processing systems - open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour","year":"1989","key":"ref2"},{"journal-title":"Tech Rep UMCS-01–06–1","article-title":"A proposal for a LOTOS-based semantics for UML","year":"2001","author":"da silva","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0153-x"}],"event":{"name":"2009 9th International Conference on Quality Software (QSIC)","start":{"date-parts":[[2009,8,24]]},"location":"Jeju, Korea (South)","end":{"date-parts":[[2009,8,25]]}},"container-title":["2009 Ninth International Conference on Quality Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5379691\/5381320\/05381478.pdf?arnumber=5381478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T20:15:05Z","timestamp":1624565705000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5381478\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/qsic.2009.31","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}