{"id":"https://openalex.org/W2507024011","doi":"https://doi.org/10.1201/b20053-11","title":"Meeting Deadlines, Elastically","display_name":"Meeting Deadlines, Elastically","publication_year":2016,"publication_date":"2016-04-20","ids":{"openalex":"https://openalex.org/W2507024011","doi":"https://doi.org/10.1201/b20053-11","mag":"2507024011"},"language":"en","primary_location":{"id":"doi:10.1201/b20053-11","is_oa":false,"landing_page_url":"https://doi.org/10.1201/b20053-11","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"From Action Systems to Distributed Systems","raw_type":"book-chapter"},"type":"book-chapter","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/A5039414480","display_name":"Einar Broch Johnsen","orcid":"https://orcid.org/0000-0001-5382-3949"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Einar Johnsen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110437814","display_name":"Ka I Pun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ka Pun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058725359","display_name":"Mart\u00edn Steffen","orcid":"https://orcid.org/0000-0002-7853-7364"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Steffen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007372421","display_name":"Silvia Lizeth Tapia Tarifa","orcid":"https://orcid.org/0000-0001-9948-2748"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S Tarifa","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5053626863","display_name":"Ingrid Chieh Yu","orcid":"https://orcid.org/0009-0003-9764-3319"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ingrid Yu","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5039414480"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5159,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67110181,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"99","last_page":"111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9983999729156494,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9983999729156494,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.998199999332428,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39114609360694885}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39114609360694885}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1201/b20053-11","is_oa":false,"landing_page_url":"https://doi.org/10.1201/b20053-11","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"From Action Systems to Distributed Systems","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W117283301","https://openalex.org/W659264130","https://openalex.org/W1486755415","https://openalex.org/W1520649334","https://openalex.org/W1530293762","https://openalex.org/W1550512690","https://openalex.org/W1552647623","https://openalex.org/W1563826489","https://openalex.org/W1573118012","https://openalex.org/W1575902430","https://openalex.org/W1582882984","https://openalex.org/W1604442026","https://openalex.org/W1606807920","https://openalex.org/W1844906421","https://openalex.org/W1964830323","https://openalex.org/W1967175382","https://openalex.org/W1977142620","https://openalex.org/W1977367431","https://openalex.org/W1984201573","https://openalex.org/W2001219520","https://openalex.org/W2017752225","https://openalex.org/W2031616527","https://openalex.org/W2066381570","https://openalex.org/W2067448797","https://openalex.org/W2076513239","https://openalex.org/W2087713039","https://openalex.org/W2089757303","https://openalex.org/W2090309908","https://openalex.org/W2102951280","https://openalex.org/W2103128343","https://openalex.org/W2109597998","https://openalex.org/W2113535112","https://openalex.org/W2121678371","https://openalex.org/W2145899516","https://openalex.org/W2172167385","https://openalex.org/W2594132778","https://openalex.org/W2788342898","https://openalex.org/W3146075203","https://openalex.org/W3163747760"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"In":[0,80],"order":[1],"to":[2,35,98,110,133],"decide":[3],"whether":[4,12],"a":[5,9,13,20,87],"software":[6],"system":[7],"fulfills":[8],"specification,":[10,23],"or":[11,48],"detailed":[14],"specification":[15,34,45],"preserves":[16],"the":[17,44,66,104,129,141,144],"properties":[18],"of":[19,28,68,114],"more":[21,49,61,88],"abstract":[22],"we":[24,83],"need":[25],"an":[26,112],"understanding":[27,113],"what":[29],"it":[30],"means":[31],"for":[32,51,55,60,76,91,118,146],"one":[33,47],"fulfill":[36],"another":[37,99],"specification.":[38],"This":[39,138],"is":[40,108,131],"particularly":[41],"important":[42],"when":[43],"contains":[46],"operators":[50,145],"expressing":[52],"choice.":[53],"Operators":[54],"choice":[56,147],"have":[57],"been":[58],"studied":[59],"than":[62],"three":[63],"decades":[64],"within":[65,74],"field":[67],"formal":[69],"methods":[70,75],"in":[71,78,148],"general,":[72],"and":[73,107,116,124,150],"action-refinement":[77],"particular.":[79],"this":[81],"paper":[82,139],"focus":[84],"on":[85],"Event-B,":[86],"recent":[89],"method":[90,96],"action":[92],"refinement.":[93,137],"The":[94],"STAIRS":[95,120],"belongs":[97],"tradition.":[100],"It":[101],"originates":[102],"from":[103],"UML":[105],"community":[106],"designed":[109],"provide":[111],"refinement":[115],"fulfillment":[117],"UML.":[119],"distinguishes":[121],"between":[122,143],"potential":[123],"mandatory":[125],"choice,":[126],"where":[127],"only":[128],"latter":[130],"required":[132],"be":[134],"preserved":[135],"by":[136],"investigates":[140],"relationship":[142],"Event-B":[149],"STAIRS.":[151]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}