An ASM-based characterisation of starvation-free systems. Issue 1 (2nd January 2018)

• Record Type: Journal Article
• Authors: Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
• Is Part Of: International journal of parallel, emergent and distributed systems. Volume 33:Issue 1(2018)
• Page Start: 35
• Page End: 51
• Publication Date: 2018-01-02
• Subjects: Abstract State Machines -- formal verification -- starvation; Parallel computers -- Periodicals; Electronic data processing -- Distributed processing -- Periodicals; Computer algorithms -- Periodicals; 004.35
• DOI: 10.1080/17445760.2017.1288808
• Languages: English
• ISSNs: 1744-5760

Abstract

Abstract: Abstract State Machines (ASMs) have been successfully applied for modeling critical and complex systems in a wide range of application domains. However, unlike other well-known formalisms, e.g. Petri nets, ASMs lack inherent, domain-independent characterisations of computationally important properties. Here, we provide an ASM-based characterisation of the starvation - free property. The classic, informal notion of starvation, usually provided in literature, is analysed and expressed as a necessary condition in terms of ASMs. Thus, we enrich the ASM framework with the notion of vulnerable rule as a practical tool for analysing starvation issues in an operational fashion. Abstract :