{"id":"https://openalex.org/W2406073582","doi":"https://doi.org/10.3217/jucs-011-05-0661","title":"Investigating Atomicity and Observability","display_name":"Investigating Atomicity and Observability","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2406073582","doi":"https://doi.org/10.3217/jucs-011-05-0661","mag":"2406073582"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6996751","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996751","pdf_url":"https://zenodo.org/record/6996751","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 11((5)) 661-686","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6996751","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087996237","display_name":"Cliff B. Jones","orcid":"https://orcid.org/0000-0002-0038-6623"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Cliff B. Jones","raw_affiliation_strings":["University of Newcastle upon Tyne, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Newcastle upon Tyne, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":null,"display_name":"Jon Burton","orcid":null},"institutions":[{"id":"https://openalex.org/I78757542","display_name":"University of Newcastle Australia","ror":"https://ror.org/00eae9z71","country_code":"AU","type":"education","lineage":["https://openalex.org/I78757542"]},{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["AU","GB"],"is_corresponding":false,"raw_author_name":"Jon Burton","raw_affiliation_strings":["Newcastle University, Newcastle,"],"affiliations":[{"raw_affiliation_string":"Newcastle University, Newcastle,","institution_ids":["https://openalex.org/I78757542","https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5087996237"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.00180796,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13297","display_name":"History and advancements in chemistry","score":0.120899997651577,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13297","display_name":"History and advancements in chemistry","score":0.120899997651577,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.08529999852180481,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.9860570430755615},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.7984852194786072},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5410517454147339},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44129136204719543},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2615988850593567},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.0672016441822052}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.9860570430755615},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.7984852194786072},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5410517454147339},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44129136204719543},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2615988850593567},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0672016441822052},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:6996751","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996751","pdf_url":"https://zenodo.org/record/6996751","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 11((5)) 661-686","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-011-05-0661","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-011-05-0661","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"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":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6996751","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996751","pdf_url":"https://zenodo.org/record/6996751","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 11((5)) 661-686","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2406073582.pdf","grobid_xml":"https://content.openalex.org/works/W2406073582.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1591836442","https://openalex.org/W2357517130","https://openalex.org/W1990697576","https://openalex.org/W1520405624","https://openalex.org/W1582361381","https://openalex.org/W2046459260","https://openalex.org/W2001866549","https://openalex.org/W1600422503","https://openalex.org/W2115269980"],"abstract_inverted_index":{"Using":[0],"the":[1,82,92,112,128,144,157,178,184],"fiction":[2],"of":[3,23,35,42,76,86,89,94,106,114,130,146,159,180,193],"atomicity":[4,12,187],"as":[5,13,27],"a":[6,51,66,73,107,120,131,201],"design":[7],"abstraction":[8],"and":[9,30,37,84,149,175,188],"then":[10,135],"refining":[11,211],"we":[14,171],"develop":[15],"an":[16],"implementation":[17,53,109],"is":[18,58,91,123,161,196],"widely":[19],"used":[20,45],"in":[21,46,60,81,97],"areas":[22],"concurrent":[24,133,147],"computing":[25],"such":[26,87],"database":[28],"systems":[29],"transaction":[31],"processing.":[32],"In":[33,154,168],"each":[34],"these":[36],"similar":[38],"areas,":[39],"associated":[40],"notions":[41,88],"correctness":[43,90],"are":[44],"order":[47],"to":[48,65,125,142,197],"show":[49],"that":[50],"particular":[52,108,132],"artefact":[54,110],"which":[55,70],"exhibits":[56],"concurrency":[57],"correct":[59],"some":[61],"sense":[62,100],"with":[63,72],"respect":[64],"(possibly":[67],"notional)":[68],"description":[69],"executes":[71],"greater":[74],"degree":[75],"sequentiality.":[77],"Of":[78],"crucial":[79],"importance":[80],"proof":[83],"deployment":[85],"issue":[93,179],"observability:":[95],"i.e.":[96],"what":[98],"broad":[99],"do":[101],"(human":[102],"or":[103,137,164,207],"computer)":[104],"users":[105],"observe":[111,126],"effects":[113],"its":[115],"executions.":[116],"For":[117],"example,":[118],"if":[119],"human":[121],"user":[122],"allowed":[124],"directly":[127],"execution":[129],"component":[134],"he":[136],"she":[138],"will":[139],"be":[140],"able":[141],"detect":[143],"fact":[145],"-":[148,152],"so":[150],"non-atomic":[151],"execution.":[153],"general,":[155],"however,":[156],"notion":[158],"observability":[160],"treated":[162],"implicitly":[163],"not":[165],"at":[166,177],"all.":[167],"this":[169,194],"paper,":[170],"make":[172],"it":[173],"explicit":[174],"look":[176],"exploring":[181],"more":[182,202],"fully":[183],"connections":[185],"between":[186],"observability.":[189],"The":[190],"ultimate":[191],"aim":[192],"consideration":[195],"work":[198],"towards":[199],"constructing":[200],"general":[203],"framework":[204],"for":[205],"(software":[206],"hardware)":[208],"development":[209],"by":[210],"atomicity.":[212]},"counts_by_year":[],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2016-06-24T00:00:00"}