{"id":"https://openalex.org/W2041611891","doi":"https://doi.org/10.1145/2814251.2814261","title":"Weaving concurrency in executable domain-specific modeling languages","display_name":"Weaving concurrency in executable domain-specific modeling languages","publication_year":2015,"publication_date":"2015-10-26","ids":{"openalex":"https://openalex.org/W2041611891","doi":"https://doi.org/10.1145/2814251.2814261","mag":"2041611891"},"language":"en","primary_location":{"id":"doi:10.1145/2814251.2814261","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814251.2814261","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01185911/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072652424","display_name":"Florent Latombe","orcid":null},"institutions":[{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Florent Latombe","raw_affiliation_strings":["University of Toulouse, France / IRIT, France"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, France / IRIT, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017144130","display_name":"Xavier Cr\u00e9gut","orcid":null},"institutions":[{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Xavier Cr\u00e9gut","raw_affiliation_strings":["University of Toulouse, France / IRIT, France"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, France / IRIT, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079739010","display_name":"Beno\u00eet Combemale","orcid":"https://orcid.org/0000-0002-7104-7848"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benoit Combemale","raw_affiliation_strings":["University of Rennes 1, France / IRISA, France / INRIA, France"],"affiliations":[{"raw_affiliation_string":"University of Rennes 1, France / IRISA, France / INRIA, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022201782","display_name":"Julien Deantoni","orcid":"https://orcid.org/0000-0001-6962-7846"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julien Deantoni","raw_affiliation_strings":["University of Nice Sophia Antipolis, France / CNRS, France","University of Nice Sophia Antipolis, France / CNRS, France#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Nice Sophia Antipolis, France / CNRS, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"University of Nice Sophia Antipolis, France / CNRS, France#TAB#","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018183217","display_name":"Marc Pantel","orcid":"https://orcid.org/0000-0001-7591-0402"},"institutions":[{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Pantel","raw_affiliation_strings":["University of Toulouse, France / IRIT, France"],"affiliations":[{"raw_affiliation_string":"University of Toulouse, France / IRIT, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5072652424"],"corresponding_institution_ids":["https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4210160189"],"apc_list":null,"apc_paid":null,"fwci":3.8922,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.93117284,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"125","last_page":"136"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8889833688735962},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7948886156082153},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7453089356422424},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6340492963790894},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5800867676734924},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.44550246000289917},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.4355087876319885},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3771595358848572}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8889833688735962},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7948886156082153},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7453089356422424},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6340492963790894},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5800867676734924},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.44550246000289917},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.4355087876319885},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3771595358848572},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2814251.2814261","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814251.2814261","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01185911v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01185911","pdf_url":"https://inria.hal.science/hal-01185911/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sleconf.org/2015/","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01185911v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01185911","pdf_url":"https://inria.hal.science/hal-01185911/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sleconf.org/2015/","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2923530225","display_name":null,"funder_award_id":"ANR-12-INSE-0011","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2041611891.pdf","grobid_xml":"https://content.openalex.org/works/W2041611891.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W12785170","https://openalex.org/W14760143","https://openalex.org/W38168345","https://openalex.org/W68861308","https://openalex.org/W105975728","https://openalex.org/W1163324558","https://openalex.org/W1497001898","https://openalex.org/W1503794828","https://openalex.org/W1511668635","https://openalex.org/W1580664042","https://openalex.org/W1584322803","https://openalex.org/W1598263475","https://openalex.org/W1603799276","https://openalex.org/W1605391893","https://openalex.org/W1822929750","https://openalex.org/W1969437010","https://openalex.org/W1996109622","https://openalex.org/W2007809070","https://openalex.org/W2016914525","https://openalex.org/W2022744394","https://openalex.org/W2044856809","https://openalex.org/W2049937229","https://openalex.org/W2072794470","https://openalex.org/W2077793982","https://openalex.org/W2081345889","https://openalex.org/W2128401479","https://openalex.org/W2137865376","https://openalex.org/W2142778060","https://openalex.org/W2156232552","https://openalex.org/W2167469483","https://openalex.org/W2211754559","https://openalex.org/W2242368035","https://openalex.org/W2555652147","https://openalex.org/W2574832581","https://openalex.org/W2914421362","https://openalex.org/W2915857720","https://openalex.org/W2981211355","https://openalex.org/W2996950218","https://openalex.org/W3043074253","https://openalex.org/W4210886820","https://openalex.org/W4233702006","https://openalex.org/W4234924236","https://openalex.org/W6629831086","https://openalex.org/W6634652454","https://openalex.org/W6634775351","https://openalex.org/W6636047891","https://openalex.org/W6652469112","https://openalex.org/W6663024932","https://openalex.org/W6678909112","https://openalex.org/W7024037549"],"related_works":["https://openalex.org/W4290975385","https://openalex.org/W2911847762","https://openalex.org/W84800322","https://openalex.org/W2896264134","https://openalex.org/W2135747418","https://openalex.org/W1965724121","https://openalex.org/W1588593984","https://openalex.org/W2904392730","https://openalex.org/W2043413206","https://openalex.org/W2129683845"],"abstract_inverted_index":{"The":[0,99],"emergence":[1],"of":[2,13,35,70,82,101,117,120,126,133,164,216,224],"modern":[3],"concurrent":[4,155],"systems":[5],"(e.g.,":[6,19,141],"Cyber-":[7],"Physical":[8],"Systems":[9],"or":[10],"the":[11,67,83,85,94,107,110,113,118,121,123,131,134,138,165,170,173,195,220],"Internet":[12],"Things)":[14],"and":[15,23,58,65,78,90,112,130,176,179,198,209,218,222],"highly-":[16],"parallel":[17],"platforms":[18],"many-core,":[20],"GPGPU":[21],"pipelines,":[22],"distributed":[24],"platforms)":[25],"calls":[26],"for":[27],"Domain-Specific":[28],"Modeling":[29],"Languages":[30],"(DSMLs)":[31],"where":[32],"concurrency":[33,48,86,104,135,171],"is":[34],"paramount":[36],"im-":[37],"portance.":[38],"Such":[39],"DSMLs":[40,72],"are":[41],"intended":[42],"to":[43,55,193,203],"propose":[44],"constructs":[45],"with":[46,188,199,213],"rich":[47],"semantics,":[49],"which":[50,159],"allow":[51],"system":[52,60,139],"design-":[53],"ers":[54],"precisely":[56],"define":[57],"analyze":[59],"behaviors.":[61],"How-":[62],"ever,":[63],"specifying":[64],"implementing":[66],"execution":[68,96,166,201],"semantics":[69,119],"such":[71],"can":[73],"be":[74],"a":[75,146,154,161,177,189],"difficult,":[76],"costly":[77],"error-prone":[79],"task.":[80],"Most":[81],"time":[84],"model":[87,105,136],"remains":[88],"implicit":[89],"ad-hoc,":[91],"embedded":[92],"in":[93],"underlying":[95],"environ-":[97],"ment.":[98],"lack":[100],"an":[102,200,214],"explicit":[103],"prevents:":[106],"precise":[108],"definition,":[109],"variation":[111],"complete":[114],"under-":[115],"standing":[116],"DSML,":[122],"effective":[124],"usage":[125],"concurrency-aware":[127],"analysis":[128],"techniques,":[129],"exploitation":[132],"during":[137,142],"refinement":[140],"its":[143],"allocation":[144],"on":[145],"specific":[147],"platform).":[148],"In":[149],"this":[150],"paper,":[151],"we":[152],"introduce":[153],"executable":[156,205],"metamodeling":[157],"approach,":[158],"supports":[160],"modular":[162],"definition":[163],"seman-":[167],"tics,":[168],"including":[169],"model,":[172],"semantic":[174],"rules,":[175],"well-defined":[178],"expressive":[180],"communication":[181,196],"protocol":[182],"between":[183],"them.":[184],"Our":[185],"approach":[186,212],"comes":[187],"dedicated":[190],"meta-":[191],"language":[192],"specify":[194],"protocol,":[197],"environment":[202],"simulate":[204],"models.":[206],"We":[207],"illustrate":[208],"validate":[210],"our":[211,225],"implementation":[215],"fUML,":[217],"discuss":[219],"modularity":[221],"applicability":[223],"approach.":[226]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}