{"id":"https://openalex.org/W4297858876","doi":"https://doi.org/10.1007/s10009-022-00674-y","title":"The Discourje project: run-time verification of communication protocols in Clojure","display_name":"The Discourje project: run-time verification of communication protocols in Clojure","publication_year":2022,"publication_date":"2022-09-20","ids":{"openalex":"https://openalex.org/W4297858876","doi":"https://doi.org/10.1007/s10009-022-00674-y"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-022-00674-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-022-00674-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-022-00674-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10009-022-00674-y.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069431286","display_name":"Ruben Hamers","orcid":null},"institutions":[{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ruben Hamers","raw_affiliation_strings":["Department of Computer Science, Open University of the Netherlands, Valkenburgerweg 177, 6419 AT, Heerlen, Limburg, The Netherlands","Department of Computer Science, Open University of the Netherlands, Heerlen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Open University of the Netherlands, Valkenburgerweg 177, 6419 AT, Heerlen, Limburg, The Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"Department of Computer Science, Open University of the Netherlands, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076427130","display_name":"Erik Horlings","orcid":null},"institutions":[{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Erik Horlings","raw_affiliation_strings":["Department of Computer Science, Open University of the Netherlands, Valkenburgerweg 177, 6419 AT, Heerlen, Limburg, The Netherlands","Department of Computer Science, Open University of the Netherlands, Heerlen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Open University of the Netherlands, Valkenburgerweg 177, 6419 AT, Heerlen, Limburg, The Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"Department of Computer Science, Open University of the Netherlands, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"https://orcid.org/0000-0002-4394-8745"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["Centrum Wiskunde and Informatica (CWI), Stichting Nederlandse Wetenschappelijk Onderzoek Instituten (NWO-I), Science Park 123, 1098 XG, Amsterdam, North Holland, The Netherlands","Department of Computer Science, Open University of the Netherlands, Valkenburgerweg 177, 6419 AT, Heerlen, Limburg, The Netherlands","Department of Computer Science, Open University of the Netherlands, Heerlen, The Netherlands","Centrum Wiskunde and Informatica (CWI), Stichting Nederlandse Wetenschappelijk Onderzoek Instituten (NWO-I), Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde and Informatica (CWI), Stichting Nederlandse Wetenschappelijk Onderzoek Instituten (NWO-I), Science Park 123, 1098 XG, Amsterdam, North Holland, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Computer Science, Open University of the Netherlands, Valkenburgerweg 177, 6419 AT, Heerlen, Limburg, The Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"Department of Computer Science, Open University of the Netherlands, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]},{"raw_affiliation_string":"Centrum Wiskunde and Informatica (CWI), Stichting Nederlandse Wetenschappelijk Onderzoek Instituten (NWO-I), Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049418170"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I7876267"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.1425,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.49902868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"24","issue":"5","first_page":"757","last_page":"782"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","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/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9205849170684814},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7593972682952881},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6861610412597656},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6355242133140564},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5657392740249634},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.45180004835128784},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13153928518295288}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9205849170684814},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7593972682952881},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6861610412597656},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6355242133140564},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5657392740249634},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.45180004835128784},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13153928518295288}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10009-022-00674-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-022-00674-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-022-00674-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},{"id":"pmh:oai:research.ou.nl:publications/0d72ab21-7d32-4e2a-88a3-9513b1f78780","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/0d72ab21-7d32-4e2a-88a3-9513b1f78780","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Hamers, R, Horlings, E & Jongmans, S-S 2022, 'The Discourje project: run-time verification of communication protocols in Clojure.', International Journal on Software Tools for Technology Transfer, vol. 24, no. 5, pp. 757-782. https://doi.org/10.1007/s10009-022-00674-y","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:cwi:oai:cwi.nl:32155","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/32155","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":"International Journal on Software Tools for Technology Transfer, 24, 757 - 782","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10009-022-00674-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-022-00674-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-022-00674-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5735709069","display_name":null,"funder_award_id":"016.Veni.192.103","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7010378412","display_name":null,"funder_award_id":"016.Veni","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4297858876.pdf","grobid_xml":"https://content.openalex.org/works/W4297858876.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W59370666","https://openalex.org/W169399732","https://openalex.org/W1494358401","https://openalex.org/W1516360493","https://openalex.org/W1545681762","https://openalex.org/W1580139810","https://openalex.org/W1606177908","https://openalex.org/W1611165480","https://openalex.org/W1820726602","https://openalex.org/W1945354265","https://openalex.org/W1970789400","https://openalex.org/W1985161650","https://openalex.org/W1989371806","https://openalex.org/W2003314287","https://openalex.org/W2005274596","https://openalex.org/W2048355938","https://openalex.org/W2070310827","https://openalex.org/W2106396972","https://openalex.org/W2112320167","https://openalex.org/W2117189826","https://openalex.org/W2118473919","https://openalex.org/W2134200739","https://openalex.org/W2153737593","https://openalex.org/W2165294971","https://openalex.org/W2183621552","https://openalex.org/W2212008127","https://openalex.org/W2296352734","https://openalex.org/W2325347394","https://openalex.org/W2329205359","https://openalex.org/W2464556723","https://openalex.org/W2482080645","https://openalex.org/W2512167970","https://openalex.org/W2584381671","https://openalex.org/W2603624497","https://openalex.org/W2626089800","https://openalex.org/W2786819761","https://openalex.org/W2787969571","https://openalex.org/W2795275488","https://openalex.org/W2930652247","https://openalex.org/W2977532635","https://openalex.org/W3008328790","https://openalex.org/W3012195709","https://openalex.org/W3016583429","https://openalex.org/W3017186417","https://openalex.org/W3034719145","https://openalex.org/W3095737695","https://openalex.org/W3098996028","https://openalex.org/W3103785642","https://openalex.org/W3106048870","https://openalex.org/W3150017551","https://openalex.org/W3194793787","https://openalex.org/W4205907492","https://openalex.org/W4239035626","https://openalex.org/W4239629804","https://openalex.org/W4247441475"],"related_works":["https://openalex.org/W1528240692","https://openalex.org/W2376118243","https://openalex.org/W1964111820","https://openalex.org/W1485630101","https://openalex.org/W2166247150","https://openalex.org/W2083338789","https://openalex.org/W4206956498","https://openalex.org/W1984757784","https://openalex.org/W1548537923","https://openalex.org/W2889256647"],"abstract_inverted_index":{"Abstract":[0],"To":[1],"simplify":[2],"shared-memory":[3],"concurrent":[4],"programming,":[5],"languages":[6],"have":[7,43],"started":[8],"to":[9,27,50,92,102,110],"offer":[10],"core":[11],"support":[12],"for":[13],"high-level":[14],"communications":[15],"primitives,":[16],"in":[17,25,59,78,97],"the":[18,116],"form":[19],"of":[20,35,75,106,115,119],"message":[21],"passing":[22],"though":[23],"channels,":[24],"addition":[26],"lower-level":[28],"synchronisation":[29],"primitives.":[30],"Yet,":[31],"a":[32,88,112],"growing":[33],"body":[34],"evidence":[36],"suggests":[37],"that":[38,69,94],"channel-based":[39],"programming":[40],"abstractions":[41],"also":[42,83],"their":[44,79],"issues.":[45],"The":[46,66,104],"Discourje":[47,85],"project":[48],"aims":[49],"help":[51],"programmers":[52,70],"cope":[53],"with":[54],"channels":[55],"and":[56,126],"concurrency":[57],"bugs":[58],"Clojure":[60,80],"programs,":[61,81],"based":[62],"on":[63],"dynamic":[64],"analysis.":[65],"idea":[67],"is":[68,109],"write":[71],"not":[72],"only":[73],"implementations":[74,98],"communication":[76],"protocols":[77],"but":[82],"specifications.":[84,103],"then":[86],"offers":[87],"run-time":[89],"verification":[90],"library":[91],"ensure":[93],"channel":[95],"actions":[96],"are":[99],"safe":[100],"relative":[101],"aim":[105],"this":[107],"paper":[108],"provide":[111],"comprehensive":[113],"overview":[114],"current":[117],"state":[118],"Discourje,":[120],"including":[121],"case":[122],"studies,":[123],"theoretical":[124],"foundations,":[125],"practical":[127],"aspects.":[128]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-31T08:46:17.908082","created_date":"2025-10-10T00:00:00"}