A FORMALISM TO MODEL TASK EXECUTION IN DISTRIBUTED SYSTEMS

Authors
JAYARAM R MALL R PATNAIK LM GIRAULT C
Citation
R. Jayaram et al., A FORMALISM TO MODEL TASK EXECUTION IN DISTRIBUTED SYSTEMS, Information sciences, 88(1-4), 1996, pp. 113-129
Citations number
12
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information sciences → ACNP
ISSN journal
00200255
Volume
88
Issue
1-4
Year of publication
1996
Pages
113 - 129
Database
ISI
SICI code
0020-0255(1996)88:1-4<113:AFTMTE>2.0.ZU;2-K
Abstract
This paper introduces a formalism to model task execution in distribut ed computing systems. The proposed formalism, based on a partial order semantic model, extends standard temporal logic to specify task execu tion in distributed systems. It allows derivation of a set of inequali ties sufficient to ensure deadline constraints. Task execution in an o nboard computer is modeled and verified using the developed formalism. Extensions for task refinement are also presented.