{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T21:40:01Z","timestamp":1749591601858,"version":"3.41.0"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,9,26]],"date-time":"2016-09-26T00:00:00Z","timestamp":1474848000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100011914","name":"M\u00e4lardalen University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100011914","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s10270-016-0556-7","type":"journal-article","created":{"date-parts":[[2016,9,26]],"date-time":"2016-09-26T02:16:12Z","timestamp":1474856172000},"page":"1311-1337","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the automated translational execution of the action language for foundational UML"],"prefix":"10.1007","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0401-1036","authenticated-orcid":false,"given":"Federico","family":"Ciccozzi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,26]]},"reference":[{"key":"556_CR1","unstructured":"Abouzahra, A., B\u00e9zivin, J., Del\u00a0Fabro, M.D. and Jouault, F.: A practical approach to bridging domain specific languages with UML profiles. In Proceedings of the Best Practices for Model Driven Software Development at OOPSLA, volume\u00a05. Citeseer (2005)"},{"key":"556_CR2","doi-asserted-by":"crossref","unstructured":"Badreddin, O., Lethbridge, T.C. and Forward, A.: Investigation and evaluation of uml action languages. In Model-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on, pages 264\u2013273. IEEE (2014)","DOI":"10.5220\/0004699902640273"},{"key":"556_CR3","doi-asserted-by":"crossref","unstructured":"Berardinelli, L., Langer, P. and Mayerhofer, T.: Combining fUML and profiles for non-functional analysis based on model execution traces. In Procs of QoSA (2013)","DOI":"10.1145\/2465478.2465493"},{"key":"556_CR4","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2013","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd, Olton (2013)"},{"key":"556_CR5","unstructured":"Brooks, F.: No silver bullet. April (1987)"},{"key":"556_CR6","doi-asserted-by":"crossref","unstructured":"Burmako, E.: Scala macros: let our powers combine!: on how rich syntax and static types work with metaprogramming. In Proceedings of the 4th Workshop on Scala, page\u00a03. ACM (2013)","DOI":"10.1145\/2489837.2489840"},{"key":"556_CR7","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ciccozzi, F., Mazzini, S., Puri, S., Panunzio, M., Zovi, A. and Vardanega, T.: Chess: a model-driven engineering tool environment for aiding the development of complex industrial systems. In Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE\/ACM International Conference on, pp. 362\u2013365. IEEE (2012)","DOI":"10.1145\/2351676.2351748"},{"key":"556_CR8","unstructured":"Ciccozzi, F.: Dethroning programming languages as endorsed means for fine-grained uml behaviour modelling in open source mde. In Workshop on Open Source Software for Model Driven Engineering, September (2015)"},{"key":"556_CR9","doi-asserted-by":"crossref","unstructured":"Ciccozzi, F., Cicchetti, A. and Sj\u00f6din, M.: Towards Translational Execution of Action Language for Foundational UML. In 39th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2013, Santander, Spain, September 4-6, 2013, pp 153\u2013160 (2013)","DOI":"10.1109\/SEAA.2013.31"},{"key":"556_CR10","unstructured":"Ciccozzi, F., Cicchetti, A., Sj\u00f6din, M.: Round-trip support for extra-functional property management in model-driven engineering of embedded systems. Inf. Softw. Technol. 55(6), 1085\u20131100 (2013)"},{"key":"556_CR11","doi-asserted-by":"crossref","unstructured":"Ciccozzi, F., Cicchetti, A. and Sj\u00f6din, M.: On the Generation of Full-fledged Code from UML Profiles and ALF for Complex Systems. In 12th International Conference on Information Technology : New Generations, February (2015)","DOI":"10.1109\/ITNG.2015.19"},{"key":"556_CR12","doi-asserted-by":"crossref","unstructured":"Ciccozzi, F., Saadatmand, M., Cicchetti, A. and Sj\u00f6din, M.: An Automated Round-trip Support Towards Deployment Assessment in Component-based Embedded Systems. In Proceedings of the 16th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE \u201913, pages 179\u2013188. ACM (2013)","DOI":"10.1145\/2465449.2465450"},{"key":"556_CR13","doi-asserted-by":"crossref","unstructured":"Czarnecki, K. and Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal, pp 621\u2013645 (2006)","DOI":"10.1147\/sj.453.0621"},{"key":"556_CR14","doi-asserted-by":"crossref","unstructured":"Feljan, J., Ciccozzi, F., Carlson, J. and Crnkovic, I.: Enhancing model-based architecture optimization with monitored system runs. In 41st Euromicro Conference on Software Engineering and Advanced Applications, August 2015. copyright IEEE","DOI":"10.1109\/SEAA.2015.14"},{"key":"556_CR15","doi-asserted-by":"crossref","unstructured":"Fredj, M., Radermacher, A., Gerard, S. and Terrier, F.: eC3M: Optimized model-based code generation for embedded distributed software systems. In Procs of NOTERE, pages 279\u2013284 (2010)","DOI":"10.1109\/NOTERE.2010.5536628"},{"key":"556_CR16","unstructured":"Garz\u00f3n, M.A., Lethbridge, T.C., Aljamaan, H. and Badreddin, O.: Reverse engineering of object-oriented code into umple using an incremental and rule-based approach. In Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, pages 91\u2013105. IBM Corp. (2014)"},{"key":"556_CR17","doi-asserted-by":"crossref","unstructured":"G\u00e9rard, S., Dumoulin, C., Tessier, P., Selic, B.: Papyrus: A UML2 Tool for Domain-Specific Language Modeling, pp. 361\u2013368. In Model-Based Engineering of Embedded, Real-Time Systems (2007)","DOI":"10.1007\/978-3-642-16277-0_19"},{"key":"556_CR18","unstructured":"Giese, H., Glesner, S., Leitner, J., Sch\u00e4fer, W. and Wagner, R.: Towards verified model transformations. In Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeV 2a), Genova, Italy, pages 78\u201393. Citeseer (2006)"},{"key":"556_CR19","doi-asserted-by":"crossref","unstructured":"Heitz, C., Thiemann, P.: and T. W\u00c3\u0169lfle. Integration of an Action Language Via UML Action Semantics. In: Draheim, D., Weber, G. (eds.) Trends in Enterprise Application Architecture. Lecture Notes in Computer Science, vol. 4473, pp. 172\u2013186. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75912-6_13"},{"key":"556_CR20","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Building Domain-specific Embedded Languages. ACM Comput. Surv., 28(4es), Dec. (1996)","DOI":"10.1145\/242224.242477"},{"key":"556_CR21","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M. and Kristoffersen, S.: Empirical assessment of MDE in industry. In Proceedings of the 33rd International Conference on Software Engineering, pages 471\u2013480. ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"556_CR22","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M. and Kristoffersen, S.: Empirical Assessment of MDE in Industry. In Proceedings of the 33rd International Conference on Software Engineering, ICSE \u201911, pages 471\u2013480. ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"key":"556_CR23","unstructured":"IBM. Rational Rhapsody. http:\/\/www-01.ibm.com\/software\/awdtools\/rhapsody\/ (2012)"},{"key":"556_CR24","unstructured":"IBM. Rational Software Architect. http:\/\/www.ibm.com\/developerworks\/rational\/products\/rsa\/ (2013)"},{"key":"556_CR25","unstructured":"Janevska, M.: From the Object Constraint Language Standard Library to C+. http:\/\/www.idt.mdh.se\/utbildning\/exjobb\/files\/TR1396 (2015). Master thesis"},{"key":"556_CR26","doi-asserted-by":"crossref","unstructured":"Jiang, K., Zhang, L., Miyake, S.: OCL4X: An Action Semantics Language for UML Model Execution. In Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual. International 1, 633\u2013636 (July 2007)","DOI":"10.1109\/COMPSAC.2007.158"},{"key":"556_CR27","unstructured":"Katanic, N. and Perse, M.: Application of CHESS Methodology: A Telecom Use Case Study. In Proceedings of International Conference on Software, Telecommunications and Computer Networks (SoftCOM) (2012)"},{"key":"556_CR28","unstructured":"Kennedy Carter Ltd. UML ASL Reference Guide. http:\/\/www.ooatool.com\/docs\/ASL03 (2003)"},{"issue":"2","key":"556_CR29","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/130844.130856","volume":"24","author":"CW Krueger","year":"1992","unstructured":"Krueger, C.W.: Software reuse. ACM Computing Surveys (CSUR) 24(2), 131\u2013183 (1992)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"556_CR30","unstructured":"Mohlin, M.: Using the UML Action Language in Rational Software Architect. http:\/\/www.modelint.com\/downloads\/small (2011)"},{"issue":"6","key":"556_CR31","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1109\/TSE.2012.74","volume":"39","author":"I Malavolta","year":"2013","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What Industry Needs from Architectural Languages: A Survey. IEEE Trans. Software Eng. 39(6), 869\u2013891 (2013)","journal-title":"IEEE Trans. Software Eng."},{"key":"556_CR32","unstructured":"Mentor Graphics. BridgePoint. http:\/\/www.mentor.com\/products\/sm\/bridgepoint"},{"key":"556_CR33","unstructured":"Mentor Graphics. Object Action Language Reference. http:\/\/www.mentor.com\/products\/sm\/techpubs\/object-action-language-reference-manual-38098 (2013)"},{"key":"556_CR34","unstructured":"Meyers, S.: Effective C++: 55 specific ways to improve your programs and designs. Pearson Education (2005)"},{"issue":"2","key":"556_CR35","first-page":"15","volume":"53","author":"S Motogna","year":"2008","unstructured":"Motogna, S., P\u00e2rv, B., Lazar, I., Czibula, I., Lazar, C.: Extension of an OCL-based Executable UML Components Action Language. Studia Universitatis Babes-Bolyai, Informatica 53(2), 15\u201326 (2008)","journal-title":"Studia Universitatis Babes-Bolyai, Informatica"},{"key":"556_CR36","unstructured":"OMG. Action Language for Foundational UML. http:\/\/www.omg.org\/spec\/ALF\/1.0.1\/"},{"key":"556_CR37","unstructured":"PathFinder Solutions. Platform Independent Action Language (PAL). http:\/\/www.ooatool.com\/docs\/PAL04 , 2004"},{"key":"556_CR38","doi-asserted-by":"crossref","unstructured":"Perseil, I. and Pautet, L.: A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. In Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on, pages 217\u2013221, March (2008)","DOI":"10.1109\/ICECCS.2008.34"},{"key":"556_CR39","unstructured":"Project Technology Inc. Shlaer-Mellor Action Language. http:\/\/www.modelint.com\/downloads\/small (1997)"},{"key":"556_CR40","volume-title":"Developing safety-critical software: a practical guide for aviation software and DO-178c compliance","author":"L Rierson","year":"2013","unstructured":"Rierson, L.: Developing safety-critical software: a practical guide for aviation software and DO-178c compliance. CRC Press, Boca Raton (2013)"},{"key":"556_CR41","doi-asserted-by":"crossref","unstructured":"Rompf, T. and Odersky, M.: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs. In Acm Sigplan Notices, volume\u00a046, pages 127\u2013136. ACM (2010)","DOI":"10.1145\/1868294.1868314"},{"key":"556_CR42","doi-asserted-by":"crossref","unstructured":"Schattkowsky, T., Engels, G. and F\u00f6rster, A.: A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. In Procs of HICSS (2007)","DOI":"10.1109\/HICSS.2007.22"},{"key":"556_CR43","doi-asserted-by":"crossref","unstructured":"Schattkowsky, T., Mueller, W. and Rettberg, A.: A model-based approach for executable specifications on reconfigurable hardware. In Procs of DATE (2005)","DOI":"10.1109\/DATE.2005.20"},{"issue":"2","key":"556_CR44","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest Editor\u2019s Introduction: Model-Driven Engineering. Computer 39(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"556_CR45","doi-asserted-by":"crossref","unstructured":"Selic, B.: The Less Well Known UML. Formal Methods for Model-Driven Engineering. volume 7320 of Lecture Notes in Computer Science, pp. 1\u201320. Springer, Berlin Heidelberg (2012)","DOI":"10.1007\/978-3-642-30982-3_1"},{"key":"556_CR46","unstructured":"Smaoui, A.\u00a0C., Mraidha, C. and Boulet, P.: An Optimized Compilation of UML State Machines. In Procs of ISORC (2012)"},{"key":"556_CR47","unstructured":"Sparx-Systems. Enterprise Architect. http:\/\/www.sparxsystems.com.au\/ (2012)"},{"key":"556_CR48","doi-asserted-by":"crossref","unstructured":"Tatibou\u00ebt, J., Cuccuru, A., G\u00e9rard, S. and Terrier, F.: Formalizing Execution Semantics of UML Profiles with fUML Models. In Procs of MODELS, pages 133\u2013148 (2014)","DOI":"10.1007\/978-3-319-11653-2_9"},{"key":"556_CR49","doi-asserted-by":"crossref","unstructured":"Tatibou\u00ebt, J., Cuccuru, A., G\u00e9rard, S. and Terrier, F.: Formalizing Execution Semantics of UML Profiles with fUML Models. In Procs of MoDELS (2014)","DOI":"10.1007\/978-3-319-11653-2_9"},{"key":"556_CR50","unstructured":"Tiso, A., Reggio, G. and Leotta, M.: Unit Testing of Model to Text Transformations. In AMT 2014\u2013Analysis of Model Transformations Workshop Proceedings, page\u00a014 (2014)"},{"issue":"4","key":"556_CR51","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH Emden Van","year":"1976","unstructured":"Van Emden, M.H., Kowalski, R.A.: The Semantics of Predicate Logic As a Programming Language. J. ACM 23(4), 733\u2013742 (1976)","journal-title":"J. ACM"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0556-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0556-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0556-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T21:16:24Z","timestamp":1749590184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0556-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,26]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["556"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0556-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2016,9,26]]}}}