{"id":"https://openalex.org/W2532793285","doi":"https://doi.org/10.1145/2997465.2997495","title":"A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation","display_name":"A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation","publication_year":2016,"publication_date":"2016-10-19","ids":{"openalex":"https://openalex.org/W2532793285","doi":"https://doi.org/10.1145/2997465.2997495","mag":"2532793285"},"language":"en","primary_location":{"id":"doi:10.1145/2997465.2997495","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2997465.2997495","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"},"type":"article","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/A5103165556","display_name":"Simin Cai","orcid":"https://orcid.org/0000-0003-3049-0955"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Simin Cai","raw_affiliation_strings":["M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000258375","display_name":"Barbara Gallina","orcid":"https://orcid.org/0000-0002-6952-1053"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Barbara Gallina","raw_affiliation_strings":["M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073976330","display_name":"Dag Nystr\u00f6m","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Dag Nystr\u00f6m","raw_affiliation_strings":["M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025773724","display_name":"Cristina Seceleanu","orcid":"https://orcid.org/0000-0003-2870-2680"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Cristina Seceleanu","raw_affiliation_strings":["M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5103165556"],"corresponding_institution_ids":["https://openalex.org/I82509713"],"apc_list":null,"apc_paid":null,"fwci":1.1581,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81748584,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"12"},"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.9998999834060669,"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.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9976000189781189,"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/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8704483509063721},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.8626399636268616},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.6598458290100098},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.6407827138900757},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.5985938310623169},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5748395323753357},{"id":"https://openalex.org/keywords/modular-programming","display_name":"Modular programming","score":0.4987943172454834},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4954439401626587},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.49344125390052795},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.4556984007358551},{"id":"https://openalex.org/keywords/serializability","display_name":"Serializability","score":0.4540884494781494},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.28981003165245056},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20094236731529236},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.16909730434417725}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8704483509063721},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.8626399636268616},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.6598458290100098},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.6407827138900757},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.5985938310623169},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5748395323753357},{"id":"https://openalex.org/C88482812","wikidata":"https://www.wikidata.org/wiki/Q6453666","display_name":"Modular programming","level":2,"score":0.4987943172454834},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4954439401626587},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.49344125390052795},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.4556984007358551},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.4540884494781494},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.28981003165245056},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20094236731529236},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.16909730434417725},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2997465.2997495","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2997465.2997495","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Conference on Real-Time Networks and Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1483819513","https://openalex.org/W1515932031","https://openalex.org/W1532064934","https://openalex.org/W1590719362","https://openalex.org/W1855675516","https://openalex.org/W1981808971","https://openalex.org/W1985641955","https://openalex.org/W1991036250","https://openalex.org/W2000947342","https://openalex.org/W2003620864","https://openalex.org/W2020882821","https://openalex.org/W2023671193","https://openalex.org/W2043318789","https://openalex.org/W2076285066","https://openalex.org/W2094143933","https://openalex.org/W2101508170","https://openalex.org/W2112734010","https://openalex.org/W2117780839","https://openalex.org/W2119887456","https://openalex.org/W2125653236","https://openalex.org/W2137433210","https://openalex.org/W2141147386","https://openalex.org/W2154009556","https://openalex.org/W2163626018","https://openalex.org/W2284668617","https://openalex.org/W2409871800","https://openalex.org/W2751084063","https://openalex.org/W2751199251","https://openalex.org/W6630742286","https://openalex.org/W6743659760"],"related_works":["https://openalex.org/W579270350","https://openalex.org/W2053888684","https://openalex.org/W590454891","https://openalex.org/W2588999713","https://openalex.org/W2386202574","https://openalex.org/W2053886714","https://openalex.org/W1529755872","https://openalex.org/W2162564537","https://openalex.org/W1491227338","https://openalex.org/W2169026113"],"abstract_inverted_index":{"Traditional":[0],"Concurrency":[1],"Control":[2],"(CC)":[3],"mechanisms":[4],"ensure":[5],"absence":[6],"of":[7,45,72,108,113,141,151],"undesired":[8],"interference":[9],"in":[10,43,94,117],"transaction-based":[11],"systems":[12],"and":[13,56,96,124,139,146],"enforce":[14],"isolation.":[15,58,125],"However,":[16,82],"CC":[17,39,62,144,155],"may":[18],"introduce":[19],"unpredictable":[20],"delays":[21],"that":[22,64],"could":[23],"lead":[24],"to":[25,104,119],"breached":[26],"timeliness,":[27,46],"which":[28,135],"is":[29,87],"unwanted":[30],"for":[31,79,85,130],"real-time":[32,54,97],"transactions.":[33],"To":[34],"avoid":[35],"deadline":[36],"misses,":[37],"some":[38],"algorithms":[40],"relax":[41],"isolation":[42,73,84],"favor":[44],"whereas":[47],"others":[48],"limit":[49],"possible":[50],"interleavings":[51],"by":[52],"leveraging":[53],"constraints":[55],"preserve":[57],"Selecting":[59],"an":[60,69,76],"appropriate":[61,154],"algorithm":[63],"can":[65],"guarantee":[66],"timeliness":[67,86,123],"at":[68],"acceptable":[70],"level":[71],"thus":[74,147],"becomes":[75],"essential":[77],"concern":[78],"system":[80],"designers.":[81],"trading-off":[83],"not":[88],"easy":[89],"with":[90],"existing":[91],"analysis":[92],"techniques":[93],"database":[95],"communities.":[98],"In":[99],"this":[100],"paper,":[101],"we":[102],"propose":[103],"use":[105],"model":[106,112],"checking":[107],"a":[109],"timed":[110],"automata":[111],"the":[114,121,131,149,153],"transaction":[115],"system,":[116],"order":[118],"check":[120],"traded-off":[122],"Our":[126],"solution":[127],"provides":[128],"modularization":[129],"basic":[132],"transactional":[133],"constituents,":[134],"enables":[136],"flexible":[137],"modeling":[138],"composition":[140],"various":[142],"candidate":[143],"algorithms,":[145],"reduces":[148],"effort":[150],"selecting":[152],"algorithm.":[156]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}