Management in distributed systems: a semi-formal approach

Authors:
Marco Aldinucci;Marco Danelutto;Peter Kilpatrick
Affiliations:
Department of Computer Science, University of Pisa;Department of Computer Science, University of Pisa;Department of Computer Science, Queen's University Belfast
Venue:
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Year:
2007

Citing 11
Cited 0

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
The Vision of Autonomic Computing

Computer
A Lightweight Approach to Formal Methods

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Toward a Framework for Preparing and Executing Adaptive Grid Programs

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming

Parallel Computing
QoS in Parallel Programming through Application Managers

PDP '05 Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing
An Architectural Approach to Autonomic Computing

ICAC '04 Proceedings of the First International Conference on Autonomic Computing
AutoMate: Enabling Autonomic Applications on the Grid

Cluster Computing
Skeleton-based parallel programming: Functional and parallel semantics in a single shot

Computer Languages, Systems and Structures
Joint structured/unstructured parallelism exploitation in muskel

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Managing grid computations: an ORC-Based approach

ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The reverse engineering of a skeleton based programming environment and redesign to distribute management activities of the system and thereby remove a potential single point of failure is considered. The Orc notation is used to facilitate abstraction of the design and analysis of its properties. It is argued that Orc is particularly suited to this role as this type of management is essentially an orchestration activity. The Orc specification of the original version of the system is modified via a series of semi-formally justified derivation steps to obtain a specification of the decentralized management version which is then used as a basis for its implementation. Analysis of the two specifications allows qualitative prediction of the expected performance of the derived version with respect to the original, and this prediction is borne out in practice.