{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:29:58Z","timestamp":1761708598829,"version":"3.38.0"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,10,27]],"date-time":"2010-10-27T00:00:00Z","timestamp":1288137600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1007\/s10270-010-0176-6","type":"journal-article","created":{"date-parts":[[2010,10,26]],"date-time":"2010-10-26T06:40:30Z","timestamp":1288075230000},"page":"251-272","source":"Crossref","is-referenced-by-count":9,"title":["Code generation for a family of executable modelling notations"],"prefix":"10.1007","volume":"11","author":[{"given":"Adam","family":"Prout","sequence":"first","affiliation":[]},{"given":"Joanne M.","family":"Atlee","sequence":"additional","affiliation":[]},{"given":"Nancy A.","family":"Day","sequence":"additional","affiliation":[]},{"given":"Pourya","family":"Shaker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,10,27]]},"reference":[{"key":"176_CR1","unstructured":"ApeSoft. Smartstate v4.1.0. http:\/\/www.smartstatestudio.com (2008)"},{"key":"176_CR2","doi-asserted-by":"crossref","unstructured":"Appel, A.W.: Semantics-directed code generation. In: Proceedings of ACM Symposium on Principles of Programming Language (POPL\u201985), pp. 315\u2013324. ACM Press, New York (1985)","DOI":"10.1145\/318593.318661"},{"issue":"1","key":"176_CR3","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/1044834.1044836","volume":"14","author":"L. Baresi","year":"2005","unstructured":"Baresi L., Pezz\u00e8 M.: Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1), 42\u201384 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"4","key":"176_CR4","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/136586.136587","volume":"1","author":"D. Batory","year":"1992","unstructured":"Batory D., O\u2019Malley S.: The design and implementation of hierarchical software systems with reusable components. ACM Trans. Softw. Eng. Methodol. 1(4), 355\u2013398 (1992)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"176_CR5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry G., Gonthier G.: The esterel synchronous programming language: design, semantics, implementation. Sci. Comp. Prog. 19(2), 87\u2013152 (1992)","journal-title":"Sci. Comp. Prog."},{"key":"176_CR6","doi-asserted-by":"crossref","unstructured":"Bjrklund, D., Lilius, J., Porres, I.: A unified approach to code generation from behavioral diagrams. In: Proceedings of Forum on Specification and Design Languages (FDL), pp. 21\u201334 (2003)","DOI":"10.1007\/1-4020-7991-5_2"},{"key":"176_CR7","unstructured":"Burmester, S., Giese, H., Schfer, W.: Code generation for hard real-time systems from real-time statecharts. Technical Report tr-ri-03-244, University of Paderborn (2003)"},{"key":"176_CR8","volume-title":"Program Generators with XML and Java","author":"C. Cleaveland","year":"2001","unstructured":"Cleaveland C.: Program Generators with XML and Java. Prentice-Hall, UK (2001)"},{"issue":"1","key":"176_CR9","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0167-6423(01)00033-8","volume":"41","author":"R. Cleaveland","year":"2002","unstructured":"Cleaveland R., Sims S.: Generic tools for verifying concurrent systems. Sci. Comp. Prog. 41(1), 39\u201347 (2002)","journal-title":"Sci. Comp. Prog."},{"key":"176_CR10","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and adequacy in software product line testing. In: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA), pp. 53\u201363 (2006)","DOI":"10.1145\/1147249.1147257"},{"key":"176_CR11","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki K., Eisenecker U.W.: Generative Programming: Methods, Tools, and Applications. ACM Press\/Addison-Wesley Publishing Co., New York\/USA (2000)"},{"issue":"4","key":"176_CR12","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel D. et\u00a0al.: STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403\u2013414 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"176_CR13","doi-asserted-by":"crossref","unstructured":"D\u2019Ambrogio, A.: A model transformation framework for the automated building of performance models from UML models. In: Proceedings of International Workshop on Software and Performance (WOSP\u201905), pp. 75\u201386. ACM Press, New York (2005)","DOI":"10.1145\/1071021.1071029"},{"key":"176_CR14","doi-asserted-by":"crossref","unstructured":"Day, N.A., Joyce, J.J.: Symbolic functional evaluation. In: TPHOLs, Volume 1690 of LNCS, pp. 341\u2013358. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48256-3_23"},{"issue":"2","key":"176_CR15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/PL00003929","volume":"12","author":"S. Diehl","year":"2000","unstructured":"Diehl S.: Natural semantics-directed generation of compilers and abstract machines. Form. Asps. Comp. 12(2), 71\u201399 (2000)","journal-title":"Form. Asps. Comp."},{"issue":"2","key":"176_CR16","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/TSE.2003.1178052","volume":"29","author":"L. Dillon","year":"2003","unstructured":"Dillon L., Stirewalt R.: Inference graphs: a computational structure supporting generation of customizable and correct analysis components. IEEE Trans. Softw. Eng. 29(2), 133\u2013150 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"176_CR17","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s00766-010-0102-z","volume":"15","author":"S. Esmaeilsabzali","year":"2010","unstructured":"Esmaeilsabzali S., Day N., Atlee J.M., Niu J.: Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15(2), 235\u2013256 (2010)","journal-title":"Requir. Eng."},{"key":"176_CR18","doi-asserted-by":"crossref","unstructured":"Floch, J.: Supporting evolution and maintenance by using a flexible automatic code generator. In: Proceedings of International Conference on Software Engineering (ICSE\u201995), pp. 211\u2013219. ACM Press, New York (1995)","DOI":"10.1145\/225014.225034"},{"key":"176_CR19","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma E., Helm R., Johnson R., Vlissides J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, USA (1995)"},{"key":"176_CR20","doi-asserted-by":"crossref","unstructured":"Gao, J., Heimdahl, M.P.E., Wyk, E.V.: Flexible and extensible notations for modeling languages. In: Proceedings of Fundamental Approaches to Software Engineering (FASE), pp. 102\u2013116 (2007)","DOI":"10.1007\/978-3-540-71289-3_9"},{"issue":"4","key":"176_CR21","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1145\/183432.183458","volume":"16","author":"J. Hannan","year":"1994","unstructured":"Hannan J.: Operational semantics-directed compilers and machine architectures. ACM Trans. Program. Lang. Syst. 16(4), 1215\u20131247 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"176_CR22","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1017\/S0960129500001559","volume":"2","author":"J. Hannan","year":"1992","unstructured":"Hannan J., Miller D.: From operational semantics to abstract machines. Math. Struct. Comput. Sci. 2(4), 415\u2013459 (1992)","journal-title":"Math. Struct. Comput. Sci."},{"key":"176_CR23","unstructured":"Harel, D.: On the formal semantics of statecharts. In: Symposium on Logic in Computer Science, pp. 54\u201364 (1987)"},{"issue":"3","key":"176_CR24","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"176_CR25","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel D., Naamad A.: The STATEMATE semantics of statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), 293\u2013333 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"176_CR26","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P.E., Keenan, D.J.: Generating code from hierarchical state-based requirements. In: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE\u201997), pp. 210\u2013220 (1997)","DOI":"10.1109\/ISRE.1997.566871"},{"issue":"3","key":"176_CR27","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C.L. Heitmeyer","year":"1996","unstructured":"Heitmeyer C.L., Jeffords R.D., Labaw B.G.: Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol. 5(3), 231\u2013261 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"176_CR28","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R.: Communicating Sequential Processes. Prentice-Hall, UK (1985)"},{"key":"176_CR29","unstructured":"IBM: Rational Rose RealTime v7.0.0. http:\/\/www.ibm.com\/rational (2005)"},{"key":"176_CR30","unstructured":"IBM: Rational Rhapsody in J v7.4. http:\/\/www.ibm.com\/software\/awdtools\/rhapsody\/ (2007)"},{"key":"176_CR31","unstructured":"IBM: Rational SDL Suite. http:\/\/www.ibm.com\/software\/awdtools\/sdlsuite\/ (2010). Accessed Sept 2010"},{"key":"176_CR32","unstructured":"ISO8807: LOTOS: a formal description technique based on the temporal ordering of observational behaviour. Technical Report, ISO (1988)"},{"key":"176_CR33","unstructured":"ITU-T: Recommendation Z.100. Specification and description language (SDL). Technical Report Z-100, International Telecommunication Union-Standardization Sector (1999)"},{"volume-title":"Partial Evaluation and Automatic Program Generation","year":"1993","key":"176_CR34","unstructured":"Jones, N., Gomard, C., Sestoft, P. (eds): Partial Evaluation and Automatic Program Generation. Prentice-Hall, UK (1993)"},{"volume-title":"Semantics-Directed Compiler Generation, volume LNCS 94","year":"1980","key":"176_CR35","unstructured":"Jones, N. (eds): Semantics-Directed Compiler Generation, volume LNCS 94. Springer, Berlin (1980)"},{"key":"176_CR36","doi-asserted-by":"crossref","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling: Enabling Full Code Generation","author":"S. Kelly","year":"2008","unstructured":"Kelly S., Tolvanen J.-P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley, NY (2008)"},{"key":"176_CR37","unstructured":"Knaack, J.L.: An algebraic approach to language translation. PhD Thesis, University of Iowa (1995)"},{"issue":"9","key":"176_CR38","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N.G. Leveson","year":"1994","unstructured":"Leveson N.G., Heimdahl M.P.E., Hildreth H., Reese J.D.: Requirements specification for process-control systems. IEEE Trans. Softw. Eng. 20(9), 684\u2013707 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"176_CR39","unstructured":"Lu, Y., Atlee, J.M., Day, N.A., Niu, J.: Mapping template semantics to SMV. In: Proceedings of Automotive Software Engineering (ASE\u201904), pp. 320\u2013325 (2004)"},{"key":"176_CR40","unstructured":"MathWorks. Simulink. http:\/\/www.mathworks.com\/products\/simulink (2010). Accessed Sept 2010"},{"key":"176_CR41","unstructured":"Mathworks. Stateflow 7. http:\/\/www.mathworks.com\/products\/stateflow\/ (2010). Accessed Sept 2010"},{"key":"176_CR42","doi-asserted-by":"crossref","unstructured":"McGregor, J.D.: Testing a software product line. Technical Report CMU\/SEI-2001-TR-022, Carnegie Mellon, Software Engineering Institute (2001)","DOI":"10.21236\/ADA401736"},{"key":"176_CR43","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking: An Approach to the State Explosion Problem","author":"K. McMillan","year":"1993","unstructured":"McMillan K.: Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic, Dordrecht (1993)"},{"key":"176_CR44","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R.: Communication and Concurrency. Prentice-Hall, New York (1989)"},{"key":"176_CR45","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569869","volume-title":"Action Semantics","author":"P. Mosses","year":"1992","unstructured":"Mosses P.: Action Semantics. Cambridge University Press, London (1992)"},{"key":"176_CR46","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey, F., Jzquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Proceedings of International Conference on Model Driven Engineering Languages and Systems (MoDELS), LNCS 3713, pp. 264\u2013278 (2005)","DOI":"10.1007\/11557432_19"},{"key":"176_CR47","unstructured":"Niu, J.: Metro: a semantics-based approach for mapping specification notations to analysis tools. PhD Thesis, University of Waterloo (2005)"},{"issue":"10","key":"176_CR48","doi-asserted-by":"crossref","first-page":"866","DOI":"10.1109\/TSE.2003.1237169","volume":"29","author":"J. Niu","year":"2003","unstructured":"Niu J., Atlee J.M., Day N.A.: Template semantics for model-based notations. IEEE Trans. Softw. Eng. 29(10), 866\u2013882 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"176_CR49","doi-asserted-by":"crossref","unstructured":"Niu, J., Atlee, J.M., Day, N.A.: Understanding and comparing model-based specification notations. In: Proceedings of IEEE International Requirements Engineering Conference (RE\u201903), pp. 188\u2013199. IEEE Computer Society Press, USA (2003)","DOI":"10.1109\/ICRE.2003.1232750"},{"key":"176_CR50","unstructured":"Object Management Group.: Unified modelling language: superstructure. version 2.0, formal\/05-07-04. http:\/\/www.omg.org (2005)"},{"key":"176_CR51","doi-asserted-by":"crossref","unstructured":"Paulson, L.: A semantics-directed compiler generator. In: Proceedings of ACM Symposium on Principles of Programming Language (POPL \u201982), pp. 224\u2013233. ACM Press, New York (1982)","DOI":"10.1145\/582153.582178"},{"key":"176_CR52","doi-asserted-by":"crossref","unstructured":"Pezz\u00e8, M., Young, M.: Constructing multi-formalism state-space analysis tools. In: IEEE International Conference on Software Engineering (ICSE), pp. 239\u2013249. ACM Press, New York (1997)","DOI":"10.1145\/253228.253278"},{"key":"176_CR53","volume-title":"A structural approach to operational semantics","author":"G. Plotkin","year":"1981","unstructured":"Plotkin G.: A structural approach to operational semantics. Computer Science Department, Aarhus University, Aarhus (1981)"},{"key":"176_CR54","unstructured":"Prout, A.: Parameterized code generation from template semantics. Master\u2019s Thesis, School of Computer Science, University of Waterloo (2005)"},{"key":"176_CR55","doi-asserted-by":"crossref","unstructured":"Prout, A., Atlee, J., Day, N., Shaker, P.: Semantically configurable code generation. In: ACM\/IEEE International Conference on Model-Driven Engineering Languages and Systems, pp. 705\u2013720 (2008)","DOI":"10.1007\/978-3-540-87875-9_49"},{"key":"176_CR56","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic B., Gullekson G., Ward P.: Real-Time Object-Oriented Modeling. Wiley, New York (1994)"},{"issue":"12","key":"176_CR57","first-page":"64","volume":"22","author":"K. Smith","year":"1997","unstructured":"Smith K.: Real-time object-oriented modeling: ObjecTime CASE tool simplifies real-time software development. Dr. Dobbs J Softw Tools 22(12), 64\u201374 (1997)","journal-title":"Dr. Dobbs J Softw Tools"},{"key":"176_CR58","doi-asserted-by":"crossref","unstructured":"Swint, G.S., et\u00a0al.: Clearwater: extensible, flexible, modular code generation. In: Proceedings of IEEE\/ACM International Conference on Automotive Software Engineerig (ASE\u201905), pp. 144\u2013153. ACM Press, New York (2005)","DOI":"10.1145\/1101908.1101931"},{"key":"176_CR59","doi-asserted-by":"crossref","unstructured":"Taleghani, A. Atlee, J.M.: Semantic variations among UML statemachines. In: ACM\/IEEE International Conference on Model-Driven Engineering Languages and Systems, pp. 245\u2013259 (2006)","DOI":"10.1007\/11880240_18"},{"key":"176_CR60","doi-asserted-by":"crossref","unstructured":"Tiella, R., Villafiorita, A., Tomasi, S.: FSMC+, a tool for the generation of Java code from statecharts. In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, pp. 93\u2013102 (2007)","DOI":"10.1145\/1294325.1294338"},{"key":"176_CR61","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: UML 2004\u2014The Unified Modeling Language, volume LNCS 3273, pp. 290\u2013304, October 2004 (2004)","DOI":"10.1007\/978-3-540-30187-5_21"},{"key":"176_CR62","unstructured":"von der Beeck, M.: A comparison of statecharts variants. In: ProCoS: Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 128\u2013148 (1994)"},{"key":"176_CR63","doi-asserted-by":"crossref","unstructured":"Wasowski, A.: On efficient program synthesis from statecharts. In: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, pp. 163\u2013170 (2003)","DOI":"10.1145\/780732.780755"},{"key":"176_CR64","unstructured":"WindRiver.: Betterstate. http:\/\/www.windriver.com\/portal\/server.pt (2005)"},{"key":"176_CR65","doi-asserted-by":"crossref","unstructured":"Yavuz-Kahveci, T., Bultan, T.: Specification, verification, and synthesis of concurrency control components. In: Proceedings of International Symposium on Software Testing and Analysis (ISSTA\u201902), pp. 169\u2013179. ACM Press, New York (2002)","DOI":"10.1145\/566172.566199"},{"key":"176_CR66","doi-asserted-by":"crossref","unstructured":"Zave, P., Jackson, M.: A call abstraction for component coordination. In: International Colloquium on Automata, Languages, and Programming: Workshop on Formal Methods and Component Interaction (2002)","DOI":"10.1016\/S1571-0661(04)80448-1"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0176-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0176-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0176-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T07:05:45Z","timestamp":1740639945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0176-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,27]]},"references-count":66,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["176"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0176-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2010,10,27]]}}}