{"id":"https://openalex.org/W2954431176","doi":"https://doi.org/10.4204/eptcs.272.10","title":"Treo: Textual Syntax for Reo Connectors","display_name":"Treo: Textual Syntax for Reo Connectors","publication_year":2018,"publication_date":"2018-06-25","ids":{"openalex":"https://openalex.org/W2954431176","doi":"https://doi.org/10.4204/eptcs.272.10","mag":"2954431176"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.272.10","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.272.10","pdf_url":"https://arxiv.org/pdf/1806.09852","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1806.09852","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kasper Dokter","orcid":null},"institutions":[{"id":"https://openalex.org/I736929005","display_name":"College of Western Idaho","ror":"https://ror.org/05sfzsk90","country_code":"US","type":"education","lineage":["https://openalex.org/I736929005"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kasper Dokter","raw_affiliation_strings":["CWI"],"affiliations":[{"raw_affiliation_string":"CWI","institution_ids":["https://openalex.org/I736929005"]}]},{"author_position":"last","author":{"id":null,"display_name":"Farhad Arbab","orcid":null},"institutions":[{"id":"https://openalex.org/I736929005","display_name":"College of Western Idaho","ror":"https://ror.org/05sfzsk90","country_code":"US","type":"education","lineage":["https://openalex.org/I736929005"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Farhad Arbab","raw_affiliation_strings":["CWI"],"affiliations":[{"raw_affiliation_string":"CWI","institution_ids":["https://openalex.org/I736929005"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I736929005"],"apc_list":null,"apc_paid":null,"fwci":0.6308,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.73521062,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"272","issue":null,"first_page":"121","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6912000179290771,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.6912000179290771,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.21160000562667847,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.04600000008940697,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/syntax","display_name":"Syntax","score":0.6822999715805054},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6225000023841858},{"id":"https://openalex.org/keywords/syntax-error","display_name":"Syntax error","score":0.6118999719619751},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6116999983787537},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.558899998664856},{"id":"https://openalex.org/keywords/abstract-syntax","display_name":"Abstract syntax","score":0.42100000381469727},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.35910001397132874}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8431000113487244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8392000198364258},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.6822999715805054},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6225000023841858},{"id":"https://openalex.org/C11742125","wikidata":"https://www.wikidata.org/wiki/Q1195374","display_name":"Syntax error","level":4,"score":0.6118999719619751},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6116999983787537},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.558899998664856},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.42100000381469727},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.35910001397132874},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.3481999933719635},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.3034999966621399},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.2872999906539917},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.2549000084400177},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2547999918460846},{"id":"https://openalex.org/C2986991398","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntactic structure","level":3,"score":0.2533999979496002}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.4204/eptcs.272.10","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.272.10","pdf_url":"https://arxiv.org/pdf/1806.09852","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1806.09852","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1806.09852","pdf_url":"https://arxiv.org/pdf/1806.09852","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:ul:oai:scholarlypublications.universiteitleiden.nl:item_2908420","is_oa":true,"landing_page_url":"http://hdl.handle.net/1887/68824","pdf_url":"http://hdl.handle.net/1887/68824","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 1st International Workshop on  Methods and Tools for Rigorous System Design, 121 - 135","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:cwi:oai:cwi.nl:28114","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/28114","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:oai:doaj.org/article:fc47211ef7804ed5b82b05c74537d5f6","is_oa":true,"landing_page_url":"https://doaj.org/article/fc47211ef7804ed5b82b05c74537d5f6","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 272, Iss Proc. MeTRiD 2018, Pp 121-135 (2018)","raw_type":"article"},{"id":"pmh:oai:scholarlypublications.universiteitleiden.nl:item_2908420","is_oa":false,"landing_page_url":"https://hdl.handle.net/1887/68824","pdf_url":null,"source":{"id":"https://openalex.org/S4306400850","display_name":"Leiden Repository (Leiden University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I121797337","host_organization_name":"Leiden University","host_organization_lineage":["https://openalex.org/I121797337"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 1st International Workshop on  Methods and Tools for Rigorous System Design","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":{"id":"doi:10.4204/eptcs.272.10","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.272.10","pdf_url":"https://arxiv.org/pdf/1806.09852","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2954431176.pdf","grobid_xml":"https://content.openalex.org/works/W2954431176.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1169417533","https://openalex.org/W1551537871","https://openalex.org/W1552926662","https://openalex.org/W1964439412","https://openalex.org/W1988680012","https://openalex.org/W2064300923","https://openalex.org/W2121514867","https://openalex.org/W2122824813","https://openalex.org/W2139842876","https://openalex.org/W2346161866","https://openalex.org/W2462453872","https://openalex.org/W2516127262","https://openalex.org/W2695941252","https://openalex.org/W2804758883","https://openalex.org/W4211008702"],"related_works":[],"abstract_inverted_index":{"Reo":[0,50,85,158,183],"is":[1],"an":[2],"interaction-centric":[3],"model":[4],"of":[5,10,24,64,84,111,121,128],"concurrency":[6,77],"for":[7,91,157],"compositional":[8],"specification":[9],"communication":[11],"and":[12,22,137,142,163,170,191],"coordination":[13],"protocols.":[14,42],"Formal":[15],"verification":[16],"tools":[17],"exist":[18],"to":[19,181],"ensure":[20],"correctness":[21],"compliance":[23],"protocols":[25],"specified":[26],"in":[27,34,68,104,117],"Reo,":[28],"which":[29],"can":[30,56],"readily":[31],"be":[32],"(re)used":[33],"different":[35],"applications,":[36],"or":[37,59,73,96],"composed":[38],"into":[39,184],"more":[40],"complex":[41],"Recent":[43],"benchmarks":[44],"show":[45],"that":[46,55,159],"compiling":[47],"such":[48,70,187],"high-level":[49],"specifications":[51],"produces":[52],"executable":[53],"code":[54],"compete":[57],"with":[58],"even":[60],"beat":[61],"the":[62,118,124],"performance":[63],"hand-crafted":[65],"programs":[66],"written":[67],"languages":[69,186],"as":[71,188],"C":[72],"Java":[74],"using":[75],"conventional":[76],"constructs.":[78],"The":[79],"original":[80],"declarative":[81,131],"graphical":[82],"syntax":[83,113,156,180],"does":[86],"not":[87],"support":[88],"intuitive":[89],"constructs":[90],"parameter":[92,166],"passing,":[93,167],"iteration,":[94,168],"recursion,":[95,169],"conditional":[97,171],"specification.":[98,172],"This":[99],"shortcoming":[100],"hinders":[101],"Reo's":[102],"uptake":[103],"large-scale":[105],"practical":[106],"applications.":[107],"Although":[108],"a":[109,154],"number":[110],"Reo-inspired":[112],"alternatives":[114],"have":[115],"appeared":[116],"past,":[119],"none":[120],"them":[122],"follows":[123],"primary":[125],"design":[126],"principles":[127,162],"Reo:":[129],"a)":[130],"specification;":[132],"b)":[133],"all":[134],"channel":[135],"types":[136],"their":[138],"sorts":[139],"are":[140],"user-defined;":[141],"c)":[143],"channels":[144],"compose":[145],"via":[146],"shared":[147],"nodes.":[148],"In":[149,173],"this":[150,178],"paper,":[151],"we":[152,176],"offer":[153],"textual":[155,179],"respects":[160],"these":[161],"supports":[164],"flexible":[165],"on-going":[174],"work,":[175],"use":[177],"compile":[182],"target":[185],"Java,":[189],"Promela,":[190],"Maude.":[192]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2019-07-12T00:00:00"}