Pub Date : 2009-05-18DOI: 10.1109/SEAMS.2009.5069073
Hamoun Ghanbari, Marin Litoiu
Autonomic computing programming models explicitly address self management properties by introducing the notion of “Autonomic Element. However, most of currently developed systems do not employ autonomic self-managing programming paradigms. Thus, a current challenge is to find mechanisms to identify the self-tuning behavior and self-tuning parameters which have implicitly been declared using non-autonomic elements, and to expose them for monitoring or to an analysis framework. Static analysis, although it shows a good potential, it results in many false positives. In this paper, we provide a mechanism to identify the tuning parameters more accurately through dynamic analysis.
{"title":"Identifying implicitly declared self-tuning behavior through dynamic analysis","authors":"Hamoun Ghanbari, Marin Litoiu","doi":"10.1109/SEAMS.2009.5069073","DOIUrl":"https://doi.org/10.1109/SEAMS.2009.5069073","url":null,"abstract":"Autonomic computing programming models explicitly address self management properties by introducing the notion of “Autonomic Element. However, most of currently developed systems do not employ autonomic self-managing programming paradigms. Thus, a current challenge is to find mechanisms to identify the self-tuning behavior and self-tuning parameters which have implicitly been declared using non-autonomic elements, and to expose them for monitoring or to an analysis framework. Static analysis, although it shows a good potential, it results in many false positives. In this paper, we provide a mechanism to identify the tuning parameters more accurately through dynamic analysis.","PeriodicalId":356454,"journal":{"name":"2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122116228","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}
Pub Date : 2009-05-18DOI: 10.1109/SEAMS.2009.5069069
Alessio Gambi, M. Pezzè, M. Young
Enterprise services must satisfy strong requirements that are coded in agreements with customers, commonly called service level agreements (SLA). To satisfy SLAs in critical conditions, conventional data centers are often greatly over-dimensioned, wasting resources and raising service costs. Virtualized data centers (VDC) provide an opportunity to significantly reduce over-dimensioning, and so reduce service costs without negatively affecting service agreements, through dynamic adaptation. In this paper, we discuss the problems involved in creating self-adaptive enterprise services in virtualized data centers, and we investigate solution strategies. We envision a set of models that help adaptation controllers to identify suitable reactions to changes in service level agreement and environmental execution conditions. We introduce models at different abstraction levels, to support the evaluation of the impacts of adaptation actions on system and SLA. We explore the requirements and specify the characteristics of these models through a case study: a Video on Demand service delivered using VDCs.
企业服务必须满足在与客户的协议中编码的强大需求，通常称为服务水平协议(SLA)。为了在关键条件下满足sla，传统的数据中心通常会大大超出维度，从而浪费资源并提高服务成本。虚拟化VDC (virtual data center)通过动态适配的方式，可以显著减少维数过高的问题，从而在不影响服务协议的情况下降低业务成本。在本文中，我们将讨论在虚拟化数据中心中创建自适应企业服务所涉及的问题，并研究解决方案策略。我们设想了一组模型，这些模型可以帮助自适应控制器识别对服务水平协议和环境执行条件变化的适当反应。我们引入了不同抽象层次的模型，以支持适应行动对系统和SLA的影响评估。我们通过一个案例研究来探索这些需求并指定这些模型的特征:使用vdc交付的视频点播服务。
{"title":"SLA Protection models for virtualized data centers","authors":"Alessio Gambi, M. Pezzè, M. Young","doi":"10.1109/SEAMS.2009.5069069","DOIUrl":"https://doi.org/10.1109/SEAMS.2009.5069069","url":null,"abstract":"Enterprise services must satisfy strong requirements that are coded in agreements with customers, commonly called service level agreements (SLA). To satisfy SLAs in critical conditions, conventional data centers are often greatly over-dimensioned, wasting resources and raising service costs. Virtualized data centers (VDC) provide an opportunity to significantly reduce over-dimensioning, and so reduce service costs without negatively affecting service agreements, through dynamic adaptation. In this paper, we discuss the problems involved in creating self-adaptive enterprise services in virtualized data centers, and we investigate solution strategies. We envision a set of models that help adaptation controllers to identify suitable reactions to changes in service level agreement and environmental execution conditions. We introduce models at different abstraction levels, to support the evaluation of the impacts of adaptation actions on system and SLA. We explore the requirements and specify the characteristics of these models through a case study: a Video on Demand service delivered using VDCs.","PeriodicalId":356454,"journal":{"name":"2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132580960","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}
Pub Date : 2009-05-18DOI: 10.1109/SEAMS.2009.5069081
Nauman A. Qureshi, A. Perini
Challenges in the engineering of self-adaptive software have been recently discussed and summarised in a seminal research road map. Following it, we focus on requirements engineering issues, with a two-fold, long term objective. The first objective is to support the system analyst to engineer adaptive requirements at requirements-time, the second is to make software able to reason on requirements at run-time in order to enable a goal-oriented adaptation. Along the first objective, in this position paper we propose a characterisation of adaptive requirements. Moreover, we investigate how available techniques aimed at eliciting and specifying domain properties, stakeholders' goals and preferences, can provide a practical support to the analyst while capturing adaptive requirements.
{"title":"Engineering adaptive requirements","authors":"Nauman A. Qureshi, A. Perini","doi":"10.1109/SEAMS.2009.5069081","DOIUrl":"https://doi.org/10.1109/SEAMS.2009.5069081","url":null,"abstract":"Challenges in the engineering of self-adaptive software have been recently discussed and summarised in a seminal research road map. Following it, we focus on requirements engineering issues, with a two-fold, long term objective. The first objective is to support the system analyst to engineer adaptive requirements at requirements-time, the second is to make software able to reason on requirements at run-time in order to enable a goal-oriented adaptation. Along the first objective, in this position paper we propose a characterisation of adaptive requirements. Moreover, we investigate how available techniques aimed at eliciting and specifying domain properties, stakeholders' goals and preferences, can provide a practical support to the analyst while capturing adaptive requirements.","PeriodicalId":356454,"journal":{"name":"2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134440484","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}
Pub Date : 2009-05-18DOI: 10.1109/SEAMS.2009.5069068
Patrick Martin, W. Powley, I. Abdallah, Jun Yu Li, Andrew Brown, Kirk Wilson, C. Craddock
The dynamic nature of Service-Oriented Architectures challenges traditional systems management practices which tend to be static in nature. We propose a goal-oriented, agent-based approach to management using autonomic computing. In this paper we define a services management model that consists of a number of constructs including managed resources, agents, events, event streams and management goal graphs. Agents accept new events on one or more event streams, and the arrival of an event triggers local processing that includes the generation of a new event and/or changes to the state of the managed system. Simple agents are combined into management goal graphs to carry out complex management tasks. We provide details of an implementation of our services management model and show how this model could be used in a sample management scenario.
{"title":"A model for dynamic and adaptable services management","authors":"Patrick Martin, W. Powley, I. Abdallah, Jun Yu Li, Andrew Brown, Kirk Wilson, C. Craddock","doi":"10.1109/SEAMS.2009.5069068","DOIUrl":"https://doi.org/10.1109/SEAMS.2009.5069068","url":null,"abstract":"The dynamic nature of Service-Oriented Architectures challenges traditional systems management practices which tend to be static in nature. We propose a goal-oriented, agent-based approach to management using autonomic computing. In this paper we define a services management model that consists of a number of constructs including managed resources, agents, events, event streams and management goal graphs. Agents accept new events on one or more event streams, and the arrival of an event triggers local processing that includes the generation of a new event and/or changes to the state of the managed system. Simple agents are combined into management goal graphs to carry out complex management tasks. We provide details of an implementation of our services management model and show how this model could be used in a sample management scenario.","PeriodicalId":356454,"journal":{"name":"2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125263436","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}
Pub Date : 2009-05-18DOI: 10.1109/SEAMS.2009.5069079
P. Inverardi, Patrizio Pelliccione, Massimo Tivoli
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should be performed preserving some properties that we call invariants. This position paper presents a step towards the definition of a theoretical assume-guarantee framework that allows one to efficiently define under which conditions adaptation can be performed by still preserving the desired invariant. The framework aims to cope with different levels of granularity that span from code to software architecture. Two illustrative examples instantiate the framework at two different levels of abstraction.
{"title":"Towards an assume-guarantee theory for adaptable systems","authors":"P. Inverardi, Patrizio Pelliccione, Massimo Tivoli","doi":"10.1109/SEAMS.2009.5069079","DOIUrl":"https://doi.org/10.1109/SEAMS.2009.5069079","url":null,"abstract":"Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should be performed preserving some properties that we call invariants. This position paper presents a step towards the definition of a theoretical assume-guarantee framework that allows one to efficiently define under which conditions adaptation can be performed by still preserving the desired invariant. The framework aims to cope with different levels of granularity that span from code to software architecture. Two illustrative examples instantiate the framework at two different levels of abstraction.","PeriodicalId":356454,"journal":{"name":"2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems","volume":"35 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120902516","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}
Pub Date : 2009-05-18DOI: 10.1109/SEAMS.2009.5069080
Robrecht Haesevoets, Danny Weyns, T. Holvoet, W. Joosen
Multi-agent systems typically consist of autonomous entities, capable of adapting their behavior and interaction patterns in dynamic environments, making them an interesting approach for modeling self-adaptive systems. The interactions among agents, a key challenge in engineering multi-agent systems, are often structured and managed by means of organizations.
{"title":"A formal model for self-adaptive and self-healing organizations","authors":"Robrecht Haesevoets, Danny Weyns, T. Holvoet, W. Joosen","doi":"10.1109/SEAMS.2009.5069080","DOIUrl":"https://doi.org/10.1109/SEAMS.2009.5069080","url":null,"abstract":"Multi-agent systems typically consist of autonomous entities, capable of adapting their behavior and interaction patterns in dynamic environments, making them an interesting approach for modeling self-adaptive systems. The interactions among agents, a key challenge in engineering multi-agent systems, are often structured and managed by means of organizations.","PeriodicalId":356454,"journal":{"name":"2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131473940","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}
Pub Date : 2009-05-18DOI: 10.1109/SEAMS.2009.5069075
E. D. Nitto, Daniel J. Dubois, R. Mirandola
The current research trends in Software Engineering are focusing on the development of new techniques to deal intelligently and efficiently with the design of systems that are able to evolve overtime and adapt to rapid changes of their requirements. In particular, the field of Autonomic Computing has been created to study these types of systems with the ultimate aim to create systems that are able to self-configure, self-optimize, self-heal and self-protect without any external intervention. What we study in this paper is a set of the most relevant bio-inspired principles that may be applied to these systems. We discuss how to apply them to develop or adapt self-organization algorithms to real evolvable systems and we present two examples of applications that we have developed.
{"title":"On exploiting decentralized bio-inspired self-organization algorithms to develop real systems","authors":"E. D. Nitto, Daniel J. Dubois, R. Mirandola","doi":"10.1109/SEAMS.2009.5069075","DOIUrl":"https://doi.org/10.1109/SEAMS.2009.5069075","url":null,"abstract":"The current research trends in Software Engineering are focusing on the development of new techniques to deal intelligently and efficiently with the design of systems that are able to evolve overtime and adapt to rapid changes of their requirements. In particular, the field of Autonomic Computing has been created to study these types of systems with the ultimate aim to create systems that are able to self-configure, self-optimize, self-heal and self-protect without any external intervention. What we study in this paper is a set of the most relevant bio-inspired principles that may be applied to these systems. We discuss how to apply them to develop or adapt self-organization algorithms to real evolvable systems and we present two examples of applications that we have developed.","PeriodicalId":356454,"journal":{"name":"2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121944876","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
扫码关注我们
求助内容：
应助结果提醒方式：