{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:53Z","timestamp":1750306553671,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T00:00:00Z","timestamp":1445817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-12-INSE-0011"],"award-info":[{"award-number":["ANR-12-INSE-0011"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,26]]},"DOI":"10.1145\/2814251.2814261","type":"proceedings-article","created":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T04:19:10Z","timestamp":1608783550000},"page":"125-136","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Weaving concurrency in executable domain-specific modeling languages"],"prefix":"10.1145","author":[{"given":"Florent","family":"Latombe","sequence":"first","affiliation":[{"name":"University of Toulouse, France \/ IRIT, France"}]},{"given":"Xavier","family":"Cr\u00e9gut","sequence":"additional","affiliation":[{"name":"University of Toulouse, France \/ IRIT, France"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[{"name":"University of Rennes 1, France \/ IRISA, France \/ INRIA, France"}]},{"given":"Julien","family":"Deantoni","sequence":"additional","affiliation":[{"name":"University of Nice Sophia Antipolis, France \/ CNRS, France"}]},{"given":"Marc","family":"Pantel","sequence":"additional","affiliation":[{"name":"University of Toulouse, France \/ IRIT, France"}]}],"member":"320","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"DTIC Document","author":"Agha G. A.","year":"1985","unstructured":"G. A. Agha . Actors : A model of concurrent computation in distributed systems. Technical report , DTIC Document , 1985 . G. A. Agha. Actors: A model of concurrent computation in distributed systems. Technical report, DTIC Document, 1985."},{"key":"e_1_3_2_1_2_1","volume-title":"Compiling with continuations","author":"Appel A. W.","year":"2007","unstructured":"A. W. Appel . Compiling with continuations . 2007 . A. W. Appel. Compiling with continuations. 2007."},{"key":"e_1_3_2_1_3_1","volume-title":"Citeseer","author":"Armstrong J.","year":"1993","unstructured":"J. Armstrong , R. Virding , C. Wikstr\u00f6m , and M. Williams . Concurrent programming in ERLANG . Citeseer , 1993 . J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent programming in ERLANG. Citeseer, 1993."},{"key":"e_1_3_2_1_4_1","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"Bettini L.","year":"2013","unstructured":"L. Bettini . Implementing Domain-Specific Languages with Xtext and Xtend . Packt Publishing Ltd , 2013 . L. Bettini. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd, 2013."},{"key":"e_1_3_2_1_5_1","volume-title":"Seven Concurrency Models in Seven Weeks: When Threads Unravel","author":"Butcher P.","year":"2014","unstructured":"P. Butcher . Seven Concurrency Models in Seven Weeks: When Threads Unravel . 2014 . P. Butcher. Seven Concurrency Models in Seven Weeks: When Threads Unravel. 2014."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.79"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02654-1_20"},{"key":"e_1_3_2_1_8_1","volume-title":"SLE","author":"Combemale B.","year":"2012","unstructured":"B. Combemale , C. Hardebolle , C. Jacquet , F. Boulanger , and B. Baudry . Bridging the Chasm between Executable Metamodeling and Models of Computation . In SLE , 2012 . B. Combemale, C. Hardebolle, C. Jacquet, F. Boulanger, and B. Baudry. Bridging the Chasm between Executable Metamodeling and Models of Computation. In SLE, 2012."},{"key":"e_1_3_2_1_9_1","volume-title":"Pearson Education","author":"Cook S.","year":"2007","unstructured":"S. Cook , G. Jones , S. Kent , and A. C. Wills . Domain-specific development with visual studio dsl tools . Pearson Education , 2007 . S. Cook, G. Jones, S. Kent, and A. C. Wills. Domain-specific development with visual studio dsl tools. Pearson Education, 2007."},{"key":"e_1_3_2_1_10_1","volume-title":"DATE\u201915","author":"Antoni J. De","year":"2015","unstructured":"J. De Antoni , P. Issa Diallo , C. Teodorov , J. Champeau , and B. Combemale . Towards a Meta-Language for the Concurrency Concern in DSLs . In DATE\u201915 , Mar. 2015 . J. De Antoni, P. Issa Diallo, C. Teodorov, J. Champeau, and B. Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs. In DATE\u201915, Mar. 2015."},{"key":"e_1_3_2_1_11_1","volume-title":"Inria","author":"De Antoni J.","year":"2012","unstructured":"J. De Antoni and F. Mallet . ECL: the event constraint language, an extension of OCL with events. Technical report , Inria , 2012 . J. De Antoni and F. Mallet. ECL: the event constraint language, an extension of OCL with events. Technical report, Inria, 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30561-0_4"},{"volume-title":"Github for k3al","year":"2015","key":"e_1_3_2_1_13_1","unstructured":"DIVERSE-team. Github for k3al , 2015 . DIVERSE-team. Github for k3al, 2015."},{"key":"e_1_3_2_1_14_1","volume-title":"EMF homepage","author":"Foundation Eclipse","year":"2015","unstructured":"Eclipse Foundation . EMF homepage , 2015 . Eclipse Foundation. EMF homepage, 2015."},{"key":"e_1_3_2_1_15_1","volume-title":"Language workbenches: The killer-app for domain specific languages","author":"Fowler M.","year":"2005","unstructured":"M. Fowler . Language workbenches: The killer-app for domain specific languages , 2005 . M. Fowler. Language workbenches: The killer-app for domain specific languages, 2005."},{"key":"e_1_3_2_1_16_1","first-page":"262","volume-title":"LNCS","author":"Fredlund L.-a.","unstructured":"L.-a. Fredlund , B. Jonsson , and J. Parrow . An implementation of a translational semantics for an imperative language. In CONCUR , LNCS , pages 246\u2013 262 . Springer, 1990. L.-a. Fredlund, B. Jonsson, and J. Parrow. An implementation of a translational semantics for an imperative language. In CONCUR, LNCS, pages 246\u2013262. Springer, 1990."},{"key":"e_1_3_2_1_17_1","unstructured":"Google. Golang 2015.  Google. Golang 2015."},{"key":"e_1_3_2_1_18_1","volume-title":"Akka essentials","author":"Gupta M.","year":"2012","unstructured":"M. Gupta . Akka essentials . Packt Publishing Ltd , 2012 . M. Gupta. Akka essentials. Packt Publishing Ltd, 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69073-3_26"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"e_1_3_2_1_21_1","volume-title":"Communicating sequential processes","author":"Hoare C. A. R.","year":"1985","unstructured":"C. A. R. Hoare Communicating sequential processes , volume 178 . Prentice-hall Englewood Cliffs , 1985 . C. A. R. Hoare et al. Communicating sequential processes, volume 178. Prentice-hall Englewood Cliffs, 1985."},{"key":"e_1_3_2_1_22_1","volume-title":"Programming in OCCAM","author":"Jones G.","year":"1986","unstructured":"G. Jones . Programming in OCCAM . 1986 . G. Jones. Programming in OCCAM. 1986."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869497"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36926-1_10"},{"key":"e_1_3_2_1_25_1","volume-title":"Comparing models of computation","author":"Lee E. A.","year":"1997","unstructured":"E. A. Lee and A. Sangiovanni-Vincentelli . Comparing models of computation . In ICCAD. IEEE , 1997 . E. A. Lee and A. Sangiovanni-Vincentelli. Comparing models of computation. In ICCAD. IEEE, 1997."},{"key":"e_1_3_2_1_26_1","volume-title":"4th Workshop on Domain-Specific Modeling","author":"Luoma J.","year":"2004","unstructured":"J. Luoma , S. Kelly , and J.-P. Tolvanen . Defining domainspecific modeling languages: Collected experiences . In 4th Workshop on Domain-Specific Modeling , 2004 . J. Luoma, S. Kelly, and J.-P. Tolvanen. Defining domainspecific modeling languages: Collected experiences. In 4th Workshop on Domain-Specific Modeling, 2004."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0055-2"},{"key":"e_1_3_2_1_28_1","unstructured":"MathWorks. Simulink 2015.  MathWorks. Simulink 2015."},{"key":"e_1_3_2_1_29_1","volume-title":"SLE.","author":"Mayerhofer T.","year":"2013","unstructured":"T. Mayerhofer , P. Langer , M. Wimmer , and G. Kappel . xMOF: Executable DSMLs based on fUML . In SLE. 2013 . T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel. xMOF: Executable DSMLs based on fUML. In SLE. 2013."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems. springer-Verlag Berlin","author":"Milner R.","year":"1980","unstructured":"R. Milner . A calculus of communicating systems. springer-Verlag Berlin , 1980 . R. Milner. A calculus of communicating systems. springer-Verlag Berlin, 1980."},{"key":"e_1_3_2_1_31_1","volume-title":"Communicating and mobile systems: the pi calculus","author":"Milner R.","year":"1999","unstructured":"R. Milner . Communicating and mobile systems: the pi calculus . Cambridge university press , 1999 . R. Milner. Communicating and mobile systems: the pi calculus. Cambridge university press, 1999."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48340-3_7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_34_1","volume-title":"UML superstructure specification v2.4.1","author":"OMG.","year":"2011","unstructured":"OMG. UML superstructure specification v2.4.1 , 2011 . OMG. UML superstructure specification v2.4.1, 2011."},{"key":"e_1_3_2_1_35_1","volume-title":"fUML specification v1.1","author":"OMG.","year":"2013","unstructured":"OMG. fUML specification v1.1 , 2013 . OMG. fUML specification v1.1, 2013."},{"key":"e_1_3_2_1_36_1","volume-title":"OCL specification v2.4","author":"OMG.","year":"2014","unstructured":"OMG. OCL specification v2.4 , 2014 . OMG. OCL specification v2.4, 2014."},{"key":"e_1_3_2_1_37_1","volume-title":"MOF specification v2.5","author":"OMG.","year":"2015","unstructured":"OMG. MOF specification v2.5 , 2015 . OMG. MOF specification v2.5, 2015."},{"key":"e_1_3_2_1_38_1","volume-title":"The Journal of Logic and Algebraic Programming","author":"Plotkin G. D.","year":"2004","unstructured":"G. D. Plotkin . The origins of Structural Operational Semantics . The Journal of Logic and Algebraic Programming , 2004 . G. D. Plotkin. The origins of Structural Operational Semantics. The Journal of Logic and Algebraic Programming, 2004."},{"key":"e_1_3_2_1_39_1","volume-title":"USA","author":"Ptolemaeus C.","year":"2014","unstructured":"C. Ptolemaeus . System Design , Modeling, and Simulation : Using Ptolemy II. Ptolemy. org Berkeley, CA , USA , 2014 . C. Ptolemaeus. System Design, Modeling, and Simulation: Using Ptolemy II. Ptolemy. org Berkeley, CA, USA, 2014."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of International K Workshop (K\u201911)","author":"Rosu G.","year":"2014","unstructured":"G. Rosu and T. F. Serbanuta . K overview and simple case study . In Proceedings of International K Workshop (K\u201911) , 2014 . G. Rosu and T. F. Serbanuta. K overview and simple case study. In Proceedings of International K Workshop (K\u201911), 2014."},{"key":"e_1_3_2_1_41_1","volume-title":"Workflow control-flow patterns: A revised view","author":"Russell N.","year":"2006","unstructured":"N. Russell , A. H. Ter Hofstede , and N. Mulyar . Workflow control-flow patterns: A revised view . 2006 . N. Russell, A. H. Ter Hofstede, and N. Mulyar. Workflow control-flow patterns: A revised view. 2006."},{"key":"e_1_3_2_1_42_1","volume-title":"Toward a mathematical semantics for computer languages","author":"Scott D. S.","year":"1971","unstructured":"D. S. Scott and C. Strachey . Toward a mathematical semantics for computer languages . 1971 . D. S. Scott and C. Strachey. Toward a mathematical semantics for computer languages. 1971."},{"key":"e_1_3_2_1_43_1","volume-title":"The Rascal Language Workbench","author":"Storm T. Van Der","year":"2011","unstructured":"T. Van Der Storm . The Rascal Language Workbench , 2011 . T. Van Der Storm. The Rascal Language Workbench, 2011."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337447"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17906-2_31"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The formal semantics of programming languages: an introduction","author":"Winskel G.","year":"1993","unstructured":"G. Winskel . The formal semantics of programming languages: an introduction . MIT press , 1993 . G. Winskel. The formal semantics of programming languages: an introduction. MIT press, 1993."}],"event":{"name":"SLE '15: Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Pittsburgh PA USA","acronym":"SLE '15"},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814251.2814261","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814251.2814261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:47Z","timestamp":1750227167000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814251.2814261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,26]]},"references-count":46,"alternative-id":["10.1145\/2814251.2814261","10.1145\/2814251"],"URL":"https:\/\/doi.org\/10.1145\/2814251.2814261","relation":{},"subject":[],"published":{"date-parts":[[2015,10,26]]},"assertion":[{"value":"2015-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}