Showing 1–1 of 1 results for author: Pizzutilo, S

An ASM-based Characterization of Starvation-free Systems

Authors: Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio

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, inf… ▽ More 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 △ Less

Submitted 20 July, 2017; originally announced July 2017.

Comments: This is an Accepted Manuscript of an article published by Taylor & Francis Group in the International Journal of Parallel, Emergent & Distributed Systems on 14/02/2017, available online: http://www.tandfonline.com/10.1080/17445760.2017.1288808

Journal ref: International Journal of Parallel, Emergent & Distributed Systems (2017)