{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:31:50Z","timestamp":1737178310211,"version":"3.33.0"},"reference-count":26,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T00:00:00Z","timestamp":1207008000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1016\/j.jss.2007.06.007","type":"journal-article","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T17:56:33Z","timestamp":1183139793000},"page":"517-535","source":"Crossref","is-referenced-by-count":7,"title":["Model-driven migration of supervisory machine control architectures"],"prefix":"10.1016","volume":"81","author":[{"given":"Bas","family":"Graaf","sequence":"first","affiliation":[]},{"given":"Sven","family":"Weber","sequence":"additional","affiliation":[]},{"given":"Arie","family":"van Deursen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jss.2007.06.007_bib1","doi-asserted-by":"crossref","unstructured":"Baxter, I.D., Pidgeon, C., Mehlich, M., 2004. DMS: Program transformations for practical scalable software evolution. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004). IEEE CS, pp. 625\u2013634.","DOI":"10.1109\/ICSE.2004.1317484"},{"key":"10.1016\/j.jss.2007.06.007_bib2","unstructured":"Bosch, J., Molin, P., 1999. Software architecture design: evaluation and transformation. In: Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS\u201999). IEEE CS, pp. 4\u201310."},{"key":"10.1016\/j.jss.2007.06.007_bib3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/smr.304","article-title":"Architectural support in industry: a reflection using C-POSH","volume":"17","author":"Bril","year":"2005","journal-title":"J. Softw. Maint. Evol.: Res. Pract"},{"year":"2002","series-title":"Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"Buttazzo","key":"10.1016\/j.jss.2007.06.007_bib4"},{"year":"2002","series-title":"Documenting Software Architectures: Views and Beyond","author":"Clements","key":"10.1016\/j.jss.2007.06.007_bib5"},{"key":"10.1016\/j.jss.2007.06.007_bib6","unstructured":"Eclipse Foundation, 2005. Eclipse modeling framework (EMF). http:\/\/www.eclipse.org\/emf."},{"key":"10.1016\/j.jss.2007.06.007_bib7","doi-asserted-by":"crossref","unstructured":"Fahmy, H., Holt, R.C., 2000a. Software architecture transformations. In: Proceedings of the 16th International Conference on Software Maintenance (ICSM 2000). IEEE CS, pp. 88\u201396.","DOI":"10.1109\/ICSM.2000.883020"},{"key":"10.1016\/j.jss.2007.06.007_bib8","doi-asserted-by":"crossref","unstructured":"Fahmy, H., Holt, R.C., 2000b. Using graph rewriting to specify software architectural transformations. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering. IEEE CS, pp. 187\u2013196.","DOI":"10.1109\/ASE.2000.873663"},{"issue":"7","key":"10.1016\/j.jss.2007.06.007_bib9","doi-asserted-by":"crossref","first-page":"1187","DOI":"10.1109\/TAC.2003.814101","article-title":"Reduced supervisors for timed discrete-event systems","volume":"48","author":"Gohari","year":"2003","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"10.1016\/j.jss.2007.06.007_bib10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/MS.2003.1241368","article-title":"Embedded software engineering: state of the practice","volume":"20","author":"Graaf","year":"2003","journal-title":"IEEE Software"},{"key":"10.1016\/j.jss.2007.06.007_bib11","series-title":"Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE 2004)","first-page":"361","article-title":"Model-driven program transformation of a large avionics framework","author":"Gray","year":"2004"},{"key":"10.1016\/j.jss.2007.06.007_bib12","unstructured":"IEEE-1471, 2000. IEEE recommended practice for architectural description of software intensive systems. IEEE Std 1471\u20132000."},{"key":"10.1016\/j.jss.2007.06.007_bib13","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I., 2005. Transforming models with ATL. In: Proceedings of the Model Transformations in Practice Workshop at MoDELS2005.","DOI":"10.1007\/11663430_14"},{"issue":"2","key":"10.1016\/j.jss.2007.06.007_bib14","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MS.2006.50","article-title":"In practice: UML software architecture and design description","volume":"23","author":"Lange","year":"2006","journal-title":"IEEE Software"},{"year":"1985","series-title":"Program Evolution: Processes of Software Change","key":"10.1016\/j.jss.2007.06.007_bib15"},{"key":"10.1016\/j.jss.2007.06.007_bib16","unstructured":"MDR, 2006. mdr: netbeans.org : Metadata repository. <http:\/\/mdr.netbeans.org\/>."},{"key":"10.1016\/j.jss.2007.06.007_bib17","unstructured":"OMG, 2001. OMG Unified Modeling Language Specification, version 1.4. <http:\/\/www.uml.org>."},{"key":"10.1016\/j.jss.2007.06.007_bib18","unstructured":"OMG, 2005a. MDA. <http:\/\/www.omg.org\/mda>."},{"key":"10.1016\/j.jss.2007.06.007_bib19","unstructured":"OMG, 2005b. Meta-object facility (MOF). <http:\/\/www.omg.org\/mof>."},{"issue":"4","key":"10.1016\/j.jss.2007.06.007_bib20","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/141874.141884","article-title":"Foundations for the study of software architecture","volume":"17","author":"Perry","year":"1992","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"1","key":"10.1016\/j.jss.2007.06.007_bib21","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","article-title":"Supervisory control of a class of discrete event processes","volume":"25","author":"Ramadge","year":"1987","journal-title":"SIAM J. Control Optimiz."},{"key":"10.1016\/j.jss.2007.06.007_bib22","article-title":"Real-time management of resource allocation systems. A discrete event systems approach","volume":"vol. 79","author":"Reveliotis","year":"2005"},{"key":"10.1016\/j.jss.2007.06.007_bib23","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1016\/S0377-2217(99)00311-2","article-title":"Analysis of reactive scheduling problems in a job-shop environment","volume":"126","author":"Sabuncuoglu","year":"2000","journal-title":"Eur. J. Oper. Res."},{"key":"10.1016\/j.jss.2007.06.007_bib24","doi-asserted-by":"crossref","unstructured":"Van den Nieuwelaar, N., 2004. Supervisory machine control by predictive-reactive scheduling. Ph.D. thesis, Technische Univ. Eindhoven.","DOI":"10.23919\/ECC.2003.7086463"},{"key":"10.1016\/j.jss.2007.06.007_bib25","doi-asserted-by":"crossref","unstructured":"Van Deursen, A., Hofmeister, C., Koschke, R., Moonen, L., Riva, C., 2004. Symphony: View-driven software architecture reconstruction. In: Proceedings of the Fourth Working IEEE\/IFIP Conf. Software Architecture (WICSA 4). IEEE CS, pp. 122\u2013134.","DOI":"10.1109\/WICSA.2004.1310696"},{"key":"10.1016\/j.jss.2007.06.007_bib26","series-title":"Proceedings of Colloque de combinatoire \u00e9num\u00e9rative (UQAM 1985), Montreal, Canada","first-page":"321","article-title":"Heaps of pieces, I: Basic definitions and combinatorial lemmas","volume":"vol. 1234","author":"Viennot","year":"1986"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121207001410?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121207001410?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T00:25:07Z","timestamp":1737159907000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121207001410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["S0164121207001410"],"URL":"https:\/\/doi.org\/10.1016\/j.jss.2007.06.007","relation":{},"ISSN":["0164-1212"],"issn-type":[{"type":"print","value":"0164-1212"}],"subject":[],"published":{"date-parts":[[2008,4]]}}}