{"id":"https://openalex.org/W2061517201","doi":"https://doi.org/10.1145/1993956.1993964","title":"An approach for describing concurrency and communication of heterogeneous systems","display_name":"An approach for describing concurrency and communication of heterogeneous systems","publication_year":2011,"publication_date":"2011-06-06","ids":{"openalex":"https://openalex.org/W2061517201","doi":"https://doi.org/10.1145/1993956.1993964","mag":"2061517201"},"language":"en","primary_location":{"id":"doi:10.1145/1993956.1993964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1993956.1993964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Third Workshop on Behavioural Modelling","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075544473","display_name":"Papa Issa Diallo","orcid":null},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Papa Issa Diallo","raw_affiliation_strings":["ENSTA Bretagne STIC/IDM LabSTICC, Rue Fran\u00e7ois Verny, Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENSTA Bretagne STIC/IDM LabSTICC, Rue Fran\u00e7ois Verny, Brest, France","institution_ids":["https://openalex.org/I4210148559"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004741856","display_name":"Jo\u00ebl Champeau","orcid":"https://orcid.org/0000-0002-4014-3191"},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jo\u00ebl Champeau","raw_affiliation_strings":["ENSTA Bretagne STIC/IDM LabSTICC, Rue Fran\u00e7ois Verny, Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENSTA Bretagne STIC/IDM LabSTICC, Rue Fran\u00e7ois Verny, Brest, France","institution_ids":["https://openalex.org/I4210148559"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085473526","display_name":"Vincent Leild\u00e9","orcid":"https://orcid.org/0000-0002-4153-4012"},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vincent Leilde","raw_affiliation_strings":["ENSTA Bretagne STIC/IDM LabSTICC, Rue Fran\u00e7ois Verny, Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENSTA Bretagne STIC/IDM LabSTICC, Rue Fran\u00e7ois Verny, Brest, France","institution_ids":["https://openalex.org/I4210148559"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210148559"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"56","last_page":"63"},"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.9997000098228455,"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.9997000098228455,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9955000281333923,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7817763090133667},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6810892820358276},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.5912660360336304},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5776572823524475},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5531691908836365},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5315948128700256},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5277748107910156},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5058724284172058},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4651079773902893},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4266243577003479},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41916030645370483},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4022708237171173},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.34412527084350586},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14036455750465393}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7817763090133667},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6810892820358276},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.5912660360336304},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5776572823524475},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5531691908836365},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5315948128700256},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5277748107910156},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5058724284172058},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4651079773902893},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4266243577003479},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41916030645370483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4022708237171173},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.34412527084350586},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14036455750465393},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1993956.1993964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1993956.1993964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Third Workshop on Behavioural Modelling","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W34068569","https://openalex.org/W111964500","https://openalex.org/W146050756","https://openalex.org/W157936461","https://openalex.org/W1496267491","https://openalex.org/W1514004212","https://openalex.org/W1542768242","https://openalex.org/W1963975008","https://openalex.org/W2110425399","https://openalex.org/W2115304935","https://openalex.org/W2117211933","https://openalex.org/W2133038101","https://openalex.org/W2294920904","https://openalex.org/W3144368627","https://openalex.org/W4285719527","https://openalex.org/W4298849228"],"related_works":["https://openalex.org/W1529681579","https://openalex.org/W1745255672","https://openalex.org/W2355319912","https://openalex.org/W2391570358","https://openalex.org/W860286187","https://openalex.org/W1539650877","https://openalex.org/W1542768242","https://openalex.org/W4256363426","https://openalex.org/W949708604","https://openalex.org/W1751752035"],"abstract_inverted_index":{"The":[0,102,137],"fast":[1],"development":[2,14],"of":[3,24,36,47,60,84,90,98,122,130,139,155],"technology":[4],"and":[5,13,21,41,82,94,108,126],"the":[6,22,25,33,57,80,119,123,127,153,156],"time-to-market":[7],"constraints":[8],"need":[9],"well-adapted":[10],"technical":[11],"support":[12],"processes":[15],"to":[16,56,145,151],"ease":[17],"design":[18],"space":[19],"exploration":[20],"reduction":[23],"productivity":[26],"gap.":[27],"Model":[28],"Based":[29],"Engineering":[30],"(MBE)":[31],"overcomes":[32],"increasing":[34],"complexity":[35],"system":[37],"being":[38,143],"highly":[39],"heterogeneous":[40,100,147],"integrating":[42],"concurrent":[43],"sub-systems.":[44],"Elsewhere,":[45],"Models":[46],"Computation":[48],"(MoC)":[49],"help":[50],"enforcing":[51],"MBE":[52],"with":[53],"aspects":[54],"related":[55],"execution":[58],"semantics":[59],"models.":[61],"In":[62,114],"a":[63,68,99],"previous":[64],"paper,":[65,116],"we":[66,117],"introduced":[67],"language":[69,103,125,157],"called":[70],"Cometa":[71,124,131],"providing":[72],"more":[73],"expressiveness":[74],"for":[75],"these":[76],"aspects.":[77],"It":[78],"allows":[79],"capture":[81],"analysis":[83],"several":[85],"MoCs":[86],"at":[87],"high":[88],"level":[89],"abstraction,":[91],"highlighting":[92],"communication":[93],"synchronization":[95],"among":[96],"parts":[97],"system.":[101],"was":[104],"tooled":[105],"in":[106,132],"Rhapsody":[107],"tested":[109],"on":[110],"an":[111,133,163],"industrial":[112],"case.":[113],"this":[115,140],"present":[118],"key":[120],"concepts":[121],"tooling":[128],"experiments":[129],"open":[134,164],"source":[135,165],"environment.":[136,166],"objective":[138],"approach":[141],"is":[142],"able":[144],"model":[146],"systems,":[148],"but":[149],"also":[150],"broaden":[152],"scope":[154],"tooling,":[158],"by":[159],"taking":[160],"benefits":[161],"from":[162]},"counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}