{"id":"https://openalex.org/W6911992409","doi":"https://doi.org/10.5281/zenodo.14947781","title":"RebeCaos Artefact","display_name":"RebeCaos Artefact","publication_year":2025,"publication_date":"2025-02-28","ids":{"openalex":"https://openalex.org/W6911992409","doi":"https://doi.org/10.5281/zenodo.14947781"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.14947781","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.14947781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.14947781","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Proen\u00e7a, Jos\u00e9","orcid":"https://orcid.org/0000-0003-0971-8919"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Proen\u00e7a, Jos\u00e9","raw_affiliation_strings":["Universidade do Porto"],"raw_orcid":"https://orcid.org/0000-0003-0971-8919","affiliations":[{"raw_affiliation_string":"Universidade do Porto","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"last","author":{"id":null,"display_name":"ter Beek, Maurice H.","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"ter Beek, Maurice H.","raw_affiliation_strings":["National Research Council"],"raw_orcid":"https://orcid.org/0000-0002-2930-6367","affiliations":[{"raw_affiliation_string":"National Research Council","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5996000170707703},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5163999795913696},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.49549999833106995},{"id":"https://openalex.org/keywords/software-tool","display_name":"Software tool","score":0.4903999865055084},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.46480000019073486},{"id":"https://openalex.org/keywords/snapshot","display_name":"Snapshot (computer storage)","score":0.4526999890804291},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3903000056743622},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.3758000135421753}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7717000246047974},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6787999868392944},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5996000170707703},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5163999795913696},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.49549999833106995},{"id":"https://openalex.org/C2984968299","wikidata":"https://www.wikidata.org/wiki/Q1077784","display_name":"Software tool","level":3,"score":0.4903999865055084},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.46480000019073486},{"id":"https://openalex.org/C55282118","wikidata":"https://www.wikidata.org/wiki/Q252683","display_name":"Snapshot (computer storage)","level":2,"score":0.4526999890804291},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3903000056743622},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.3758000135421753},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3666999936103821},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.36410000920295715},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.34220001101493835},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.34139999747276306},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.3255999982357025},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3231000006198883},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.3192000091075897},{"id":"https://openalex.org/C97250363","wikidata":"https://www.wikidata.org/wiki/Q235557","display_name":"File format","level":2,"score":0.3160000145435333},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3109999895095825},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.2782999873161316},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2612000107765198},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.25769999623298645}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.14947781","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.14947781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.14947781","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.14947781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,13],"software":[1],"artefact":[2],"accompanies":[3],"a":[4,26,32,53,102],"paper":[5],"entitled":[6],"\"RebeCaos\",":[7],"submitted":[8],"to":[9,18,73,85],"COORDINATION":[10],"2025":[11],"conference.":[12],"tool":[14,37,50,106],"is":[15,38],"web-based,":[16],"compiled":[17],"JavaScript,":[19],"and":[20,42,62,70,101],"can":[21,51,79,95,107],"be":[22,96,108],"executed":[23],"by":[24,111],"opening":[25,112],"provided":[27],"HTML":[28],"file":[29],"that":[30],"loads":[31],"companion":[33],"JavaScript":[34],"file.":[35],"The":[36,48,88],"developed":[39],"in":[40],"Scala":[41],"uses":[43],"our":[44],"CAOS":[45],"libraries":[46],"(https://github.com/arcalab/CAOS).":[47],"RebeCaos":[49],"load":[52],"Rebeca":[54],"program,":[55],"supporting":[56],"most":[57],"features":[58],"of":[59,91,104],"the":[60,74,105,113],"language,":[61],"present":[63],"graphical":[64],"step-by-step":[65],"animations,":[66],"using":[67],"sequence":[68],"diagrams,":[69],"perform":[71],"traversals":[72,78],"full":[75],"state-space.":[76],"These":[77],"produce":[80],"an":[81],"automata":[82],"or":[83],"respond":[84],"reachability":[86],"queries.":[87],"latests":[89],"version":[90],"all":[92],"source":[93],"code":[94],"found":[97],"online":[98],"at":[99],"https://www.github.com/fm-dcc/rebecaos,":[100],"snapshot":[103],"immediately":[109],"loaded":[110],"site":[114],"https://fm-dcc.github.io/rebecaos.":[115]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}