The Autonomic System Specification Language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing behavior model for NASA swarm-based exploration missions and to generate an application skeleton of the same. We present the specification and experiment with the generated code to demonstrate that ASSL generates operational code that is capable of self-management in respect of the specified self-healing model.
{"title":"ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems","authors":"Emil Vassev, M. Hinchey","doi":"10.1109/EASE.2009.12","DOIUrl":"https://doi.org/10.1109/EASE.2009.12","url":null,"abstract":"The Autonomic System Specification Language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing behavior model for NASA swarm-based exploration missions and to generate an application skeleton of the same. We present the specification and experiment with the generated code to demonstrate that ASSL generates operational code that is capable of self-management in respect of the specified self-healing model.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116450527","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In the last three years we have experimented using contracts as to enable the interoperability of distributed systems, with our main focus being autonomic systems. Starting with the definitions of contracts in the TM Forum's NGOSS architecture, we have experimented with contracts from three different viewpoints: architecture, meta-model and implementation. This paper introduces the results of that work, which we term Architectural Artefacts for Autonomic Distributed Systems (A3DS). We provide an overview of the architectural definitions, the designed meta-model and a more thorough discussion on practical terms such as the declarative contract language; and developed tools.
{"title":"Architectural Artefacts for Autonomic Distributed Systems- Contract Language","authors":"S. Meer","doi":"10.1109/EASE.2009.15","DOIUrl":"https://doi.org/10.1109/EASE.2009.15","url":null,"abstract":"In the last three years we have experimented using contracts as to enable the interoperability of distributed systems, with our main focus being autonomic systems. Starting with the definitions of contracts in the TM Forum's NGOSS architecture, we have experimented with contracts from three different viewpoints: architecture, meta-model and implementation. This paper introduces the results of that work, which we term Architectural Artefacts for Autonomic Distributed Systems (A3DS). We provide an overview of the architectural definitions, the designed meta-model and a more thorough discussion on practical terms such as the declarative contract language; and developed tools.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134276233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Dubey, L. Piccoli, J. Kowalkowski, J. Simone, Xian-He Sun, G. Karsai, S. Neema
In this paper, we describe the design of a scientific workflow execution framework that integrates run-time verification to monitor its execution and checking it against the formal specifications. For controlling workflow execution, this framework provides for data provenance, execution tracking and online monitoring of each work flow task, also referred to as participants. The sequence of participants is described in an abstract parameterized view, which is used to generate concrete data dependency based sequence of participants with defined arguments. As participants belonging to a workflow are mapped onto machines and executed, periodic and on-demand monitoring of vital health parameters on allocated nodes is enabled according to pre-specified invariant conditions with actions to be taken upon violation of invariants.
{"title":"Using Runtime Verification to Design a Reliable Execution Framework for Scientific Workflows","authors":"A. Dubey, L. Piccoli, J. Kowalkowski, J. Simone, Xian-He Sun, G. Karsai, S. Neema","doi":"10.1109/EASE.2009.13","DOIUrl":"https://doi.org/10.1109/EASE.2009.13","url":null,"abstract":"In this paper, we describe the design of a scientific workflow execution framework that integrates run-time verification to monitor its execution and checking it against the formal specifications. For controlling workflow execution, this framework provides for data provenance, execution tracking and online monitoring of each work flow task, also referred to as participants. The sequence of participants is described in an abstract parameterized view, which is used to generate concrete data dependency based sequence of participants with defined arguments. As participants belonging to a workflow are mapped onto machines and executed, periodic and on-demand monitoring of vital health parameters on allocated nodes is enabled according to pre-specified invariant conditions with actions to be taken upon violation of invariants.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115173277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Close Air Support (CAS) planning in the past has been primarily a mission preplanning activity. Due to the types of military operations being conducted, the need for CAS is becoming harder to predict than in past operations. For immediate CAS requests, as many as 15 steps need to be followed, many of them using voice communication via radios in noisy environments. This often results in delays due to repeating of requests and misunderstandings. The proposed autonomic close air associate would allow for faster and more effective CAS operations with less fratricide and collateral damage. This unobtrusive associate is based on an autonomic aiding agent that provides links to other warfighters, information systems, and unmanned sensors and systems and provides a shared situational awareness between all parties involved in CAS.
{"title":"An Autonomic System for Close Air Support","authors":"B. Simpson, C. Rouff, Joe Roberts, Gary Edwards","doi":"10.1109/EASE.2009.10","DOIUrl":"https://doi.org/10.1109/EASE.2009.10","url":null,"abstract":"Close Air Support (CAS) planning in the past has been primarily a mission preplanning activity. Due to the types of military operations being conducted, the need for CAS is becoming harder to predict than in past operations. For immediate CAS requests, as many as 15 steps need to be followed, many of them using voice communication via radios in noisy environments. This often results in delays due to repeating of requests and misunderstandings. The proposed autonomic close air associate would allow for faster and more effective CAS operations with less fratricide and collateral damage. This unobtrusive associate is based on an autonomic aiding agent that provides links to other warfighters, information systems, and unmanned sensors and systems and provides a shared situational awareness between all parties involved in CAS.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134463850","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Autonomic Systems aim to reduce the costs of operating information and communication technology systems through employing knowledge-driven control loops to ensure that the systems operate within a defined behavioral envelope that conforms to business goals. However, as autonomic system implementations become more flexible and as the business environments within which they operate become more dynamic, with less clearly defined management hierarchies, the definition of appropriate behavioral envelopes becomes increasingly challenging. In this paper we examine the challenges of defining the boundary of competence within which an autonomic system should operate when applied to federated business environments. A systems view is adopted to situate the boundaries of the autonomic system within the broader social technological system in which it operates.
{"title":"Developing Autonomic Management Systems in Federated Environments","authors":"D. Lewis, K. Feeney, J. Lozano","doi":"10.1109/EASE.2009.14","DOIUrl":"https://doi.org/10.1109/EASE.2009.14","url":null,"abstract":"Autonomic Systems aim to reduce the costs of operating information and communication technology systems through employing knowledge-driven control loops to ensure that the systems operate within a defined behavioral envelope that conforms to business goals. However, as autonomic system implementations become more flexible and as the business environments within which they operate become more dynamic, with less clearly defined management hierarchies, the definition of appropriate behavioral envelopes becomes increasingly challenging. In this paper we examine the challenges of defining the boundary of competence within which an autonomic system should operate when applied to federated business environments. A systems view is adopted to situate the boundaries of the autonomic system within the broader social technological system in which it operates.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"249 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116722461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Adaptive software is a closed-loop system which aims at adjusting itself in different situations at runtime. This paper looks at adaptation as changes in the context of dynamic software evolution, and proposes a conceptual model for these changes based on Activity Theory. This model consists of a hierarchy of activities making changes, and the objectives motivating these changes. This model is an attempt towards establishing a formal framework for designing adaptive software systems. While the proposed model is applicable to any type of adaptation, at different levels of granularity of various software systems, the paper focuses only on fine-grained adaptation changes. As a casestudy, a mission-critical e-commerce system, TPC-W, isused to apply the proposed model and evaluate the effectiveness of fine-grained adaptation changes. The conducted set of experiments aims at evaluating self-optimizing and self-configuring adaptation activities performed through several fine-grained actions such as service-level upgrading/degrading.
{"title":"Change Support in Adaptive Software: A Case Study for Fine-Grained Adaptation","authors":"M. Salehie, Sen Li, R. Asadollahi, L. Tahvildari","doi":"10.1109/EASE.2009.11","DOIUrl":"https://doi.org/10.1109/EASE.2009.11","url":null,"abstract":"Adaptive software is a closed-loop system which aims at adjusting itself in different situations at runtime. This paper looks at adaptation as changes in the context of dynamic software evolution, and proposes a conceptual model for these changes based on Activity Theory. This model consists of a hierarchy of activities making changes, and the objectives motivating these changes. This model is an attempt towards establishing a formal framework for designing adaptive software systems. While the proposed model is applicable to any type of adaptation, at different levels of granularity of various software systems, the paper focuses only on fine-grained adaptation changes. As a casestudy, a mission-critical e-commerce system, TPC-W, isused to apply the proposed model and evaluate the effectiveness of fine-grained adaptation changes. The conducted set of experiments aims at evaluating self-optimizing and self-configuring adaptation activities performed through several fine-grained actions such as service-level upgrading/degrading.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116740992","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper we address high availability in model-driven SOAs, for applications that are orchestrations of servicesand are defined by their (behavioural) models. We describe here how to integrate a high availability middleware, like opens af [20], in MaTRICS, our model-based service oriented platform for remote intelligent configuration and management of systems and services. We present a method for automatic transformation of the MaTRICS services into new models equipped with the high availability information necessary for an Availability Management Framework.This transformation provides a self-observation and self reconfiguration capability that makes an entire MaTRICS installation self-fault tolerant in a HotStand by fashion.
{"title":"Model-Driven Self-Reconfiguration for Highly Available SOAs","authors":"Markus Bajohr, T. Margaria","doi":"10.1109/EASE.2009.17","DOIUrl":"https://doi.org/10.1109/EASE.2009.17","url":null,"abstract":"In this paper we address high availability in model-driven SOAs, for applications that are orchestrations of servicesand are defined by their (behavioural) models. We describe here how to integrate a high availability middleware, like opens af [20], in MaTRICS, our model-based service oriented platform for remote intelligent configuration and management of systems and services. We present a method for automatic transformation of the MaTRICS services into new models equipped with the high availability information necessary for an Availability Management Framework.This transformation provides a self-observation and self reconfiguration capability that makes an entire MaTRICS installation self-fault tolerant in a HotStand by fashion.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115038544","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
An essential element in the engineering of computer systems are design patterns that capture current best practice and knowledge about recurring solutions for standard problems. In case of decentralized autonomic computing systems, also known as self-organizing emergent systems, appropriate design patterns have to structurally describe decentralized coordination mechanisms along with information on which kind of macroscopic effects, the self-* properties, can be achieved in which situations. In this paper we present a design pattern for self-organizing emergent systems coordinating by means of digital infochemicals. Infochemicals, in the natural context, are chemical substances that convey information in the interaction between two individuals. Because infochemical coordination is the most universally employed mechanism of communication in nature, there exists plenty of inspiring examples of decentralized coordination usable for the solution of complex problems in need of certain self-* properties. The presented design pattern captures the general biological principles behind infochemical coordination, which simplifies a systematical systems engineering. It extends existing coordination models, in particular pheromone-based coordination and digital semiochemical coordination, in terms of terminology, functionality, as well as generality, and thus becomes applicable to a much wider set of problem domains.
{"title":"Design Pattern for Self-Organizing Emergent Systems Based on Digital Infochemicals","authors":"Holger Kasinger, B. Bauer, J. Denzinger","doi":"10.1109/EASE.2009.8","DOIUrl":"https://doi.org/10.1109/EASE.2009.8","url":null,"abstract":"An essential element in the engineering of computer systems are design patterns that capture current best practice and knowledge about recurring solutions for standard problems. In case of decentralized autonomic computing systems, also known as self-organizing emergent systems, appropriate design patterns have to structurally describe decentralized coordination mechanisms along with information on which kind of macroscopic effects, the self-* properties, can be achieved in which situations. In this paper we present a design pattern for self-organizing emergent systems coordinating by means of digital infochemicals. Infochemicals, in the natural context, are chemical substances that convey information in the interaction between two individuals. Because infochemical coordination is the most universally employed mechanism of communication in nature, there exists plenty of inspiring examples of decentralized coordination usable for the solution of complex problems in need of certain self-* properties. The presented design pattern captures the general biological principles behind infochemical coordination, which simplifies a systematical systems engineering. It extends existing coordination models, in particular pheromone-based coordination and digital semiochemical coordination, in terms of terminology, functionality, as well as generality, and thus becomes applicable to a much wider set of problem domains.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129379806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Next generation networks, as well as the Future Internet, need to provide context-sensitive services that adapt to changing user needs, business goals, and environmental conditions. This article presents a novel autonomic management methodology and associated architecture to make the networks and devices that it manages responsive to context-aware business needs. This approach provides a mapping between business needs and network services, and enables changing context to determine which network services and resources are provided at any given moment.
{"title":"The Design of a Novel Autonomic Management Methodology and Architecture for Next Generation and Future Internet Systems","authors":"S. Meer, J. Strassner, Patrick Phelan","doi":"10.1109/EASE.2009.19","DOIUrl":"https://doi.org/10.1109/EASE.2009.19","url":null,"abstract":"Next generation networks, as well as the Future Internet, need to provide context-sensitive services that adapt to changing user needs, business goals, and environmental conditions. This article presents a novel autonomic management methodology and associated architecture to make the networks and devices that it manages responsive to context-aware business needs. This approach provides a mapping between business needs and network services, and enables changing context to determine which network services and resources are provided at any given moment.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115437786","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Mobile sensors are an attractive proposition for environmental sensing, but pose significant engineering problems. Not least amongst these is the need to match the behaviour of the sensor platform to the physical environment in which it operates. We present initial work on using models of physical processes to generate models for autonomic control, and speculate that these can be used to improve the confidence we can place in sensed data.
{"title":"From Physical Models to Well-Founded Control","authors":"S. Dobson, Lorcan Coyle, G. O’hare, M. Hinchey","doi":"10.1109/EASE.2009.9","DOIUrl":"https://doi.org/10.1109/EASE.2009.9","url":null,"abstract":"Mobile sensors are an attractive proposition for environmental sensing, but pose significant engineering problems. Not least amongst these is the need to match the behaviour of the sensor platform to the physical environment in which it operates. We present initial work on using models of physical processes to generate models for autonomic control, and speculate that these can be used to improve the confidence we can place in sensed data.","PeriodicalId":415696,"journal":{"name":"2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128785544","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：