en
Proceedings chapter
Open access
English

Specification-Carrying Code for Self-Managed Systems

Published inProceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005, Editors Martin-Flatin, J.-P. & Sventek, J. & Geihs, K., p. 1-5
Presented at Nice (France), 19 May 2005
PublisherNew York : IEEE Communications Society
Publication date2005
Abstract

This paper proposes the notion of Specification-Carrying Code as an interaction mechanism for self-assembly of au- tonomous decentralised software components. Each au- tonomoussoftware entity incorporates more informationthan its operational behaviour, and publishes more data than its signature. The idea is to provide separately, for each en- tity, a functional part implementing its behaviour - the tra- ditional program code; and an abstract description of the entity's functional behaviour and necessary parameters - a semantic behavioural description under the form of a for- mal specification. Interactions are exclusively based on the specifications and occur among entities with correspond- ing specifications. In the case of autonomic computing sys- tems, in addition to functional aspects, the specification may carry a semantic description of non-functional information related to self-management. This paper presents the prin- ciples of the Specification-Carrying Code paradigm, the as- sociated Service-Oriented Architecture, and it explains how self-managed systems can benefit from this paradigm.

Citation (ISO format)
DI MARZO SERUGENDO, Giovanna, DERIAZ, Michel. Specification-Carrying Code for Self-Managed Systems. In: Proceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005. Nice (France). New York : IEEE Communications Society, 2005. p. 1–5.
Main files (1)
Proceedings chapter (Accepted version)
accessLevelPublic
Secondary files (1)
Identifiers
  • PID : unige:48307
611views
69downloads

Technical informations

Creation03/18/2015 11:53:00 AM
First validation03/18/2015 11:53:00 AM
Update time03/14/2023 11:02:39 PM
Status update03/14/2023 11:02:38 PM
Last indexation05/02/2024 4:03:43 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack