{"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}
{"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}
{"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}
Patrick Martin, W. Powley, I. Abdallah, Jun Yu Li, Andrew Brown, Kirk Wilson, C. Craddock
{"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}
P. Inverardi, Patrizio Pelliccione, Massimo Tivoli
{"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}
Robrecht Haesevoets, Danny Weyns, T. Holvoet, W. Joosen
{"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}
{"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}