{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:09:26Z","timestamp":1725556166769},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/sysose.2013.6575280","type":"proceedings-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T12:18:30Z","timestamp":1376482710000},"page":"279-284","source":"Crossref","is-referenced-by-count":0,"title":["Modeling a real case metasystem architecture using finite state process formalism"],"prefix":"10.1109","author":[{"given":"Roberto W. S.","family":"Rodrigues","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Metasystem Transition","year":"2013","author":"turchin","key":"17"},{"key":"18","article-title":"Formalising UML Activity Diagrams using Finite State Processes","author":"rodrigues","year":"2000","journal-title":"Dynamic Behaviour in UML Models Semantic Questions - ?? 2000 York UML 2000"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1142\/9789812798039_0001"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ACSSC.1989.1200995"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1987.1663532"},{"journal-title":"SoS Systems Engineering and Test & Evaluation Final Report of the NDIA SE Division SoS SE and T&E Committees","year":"2012","author":"dahmann","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon.2012.6189453"},{"journal-title":"Concurrency State Models and Java Programming","year":"2006","author":"magee","key":"12"},{"key":"3","first-page":"75","article-title":"Checkpointing Facility on a Metasystem","author":"cardinal","year":"0","journal-title":"Proceeding Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652284"},{"journal-title":"An Analysis of Errors in a Reuse-oriented Development Environment","year":"1995","author":"basili","key":"1"},{"journal-title":"From System-of-Systems to Meta-Systems Ambiguities and Challenges System of Systems","year":"2012","author":"djavanshir","key":"10"},{"journal-title":"Software Engineering","year":"2009","author":"sommerville","key":"7"},{"key":"6","first-page":"712","author":"pressman","year":"2010","journal-title":"Software Engineering A Practitioner's Approach"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2131050"},{"journal-title":"Theoretical Analysis of Information Systems","year":"1973","author":"langefors","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1504\/IJSSE.2011.040556"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICMSE.2010.5719797"}],"event":{"name":"2013 8th International Conference on System of Systems Engineering (SoSE)","start":{"date-parts":[[2013,6,2]]},"location":"Maui, HI, USA","end":{"date-parts":[[2013,6,6]]}},"container-title":["2013 8th International Conference on System of Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6571724\/6575224\/06575280.pdf?arnumber=6575280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T23:50:27Z","timestamp":1490226627000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6575280\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/sysose.2013.6575280","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}