首页 > 最新文献

International Symposium on Software Engineering for Adaptive and Self-Managing Systems最新文献

英文 中文
Dealing with multiple failures in zanshin: a control-theoretic approach 一种控制理论方法处理赞心中的多重故障
Konstantinos Angelopoulos, V. Souza, J. Mylopoulos
Adaptive software systems monitor the environment to ensure that their requirements are being fullled. When this is not the case, their adaptation mechanism proposes an adaptation (a change to the behaviour/configuration) that can lead to restored satisfaction of system requirements. Unfortunately, such adaptation mechanisms don't work very well in cases where there are multiple failures (divergence of system behaviour relative to several requirements). This paper proposes an adaptation mechanism that can handle multiple failures. The proposal consists of extending the Qualia adaptation mechanism of Zanshin enriched with features adopted from Control Theory. The proposed framework supports the definition of requirements for the adaptation process prescribing how to deal at runtime with problems such as conflicting requirements and synchronization, enhancing the precision and effectiveness of the adaptation mechanism. The proposed mechanism, named Qualia+ is illustrated and evaluated with an example using the meeting scheduling exemplar.
自适应软件系统监控环境以确保它们的需求得到满足。当情况并非如此时,它们的适应机制会提出一种适应(对行为/配置的更改),从而恢复对系统需求的满足。不幸的是,这种适应机制在存在多个失败(系统行为相对于几个需求的分歧)的情况下不能很好地工作。本文提出了一种能够处理多重故障的自适应机制。这一建议包括扩展真心的感质适应机制,并吸收控制理论的特征。该框架支持对适应过程的需求进行定义,规定了如何在运行时处理需求冲突和同步等问题,提高了适应机制的准确性和有效性。提出了一种名为Qualia+的机制,并使用会议调度示例对其进行了说明和评估。
{"title":"Dealing with multiple failures in zanshin: a control-theoretic approach","authors":"Konstantinos Angelopoulos, V. Souza, J. Mylopoulos","doi":"10.1145/2593929.2593936","DOIUrl":"https://doi.org/10.1145/2593929.2593936","url":null,"abstract":"Adaptive software systems monitor the environment to ensure that their requirements are being fullled. When this is not the case, their adaptation mechanism proposes an adaptation (a change to the behaviour/configuration) that can lead to restored satisfaction of system requirements. Unfortunately, such adaptation mechanisms don't work very well in cases where there are multiple failures (divergence of system behaviour relative to several requirements). This paper proposes an adaptation mechanism that can handle multiple failures. The proposal consists of extending the Qualia adaptation mechanism of Zanshin enriched with features adopted from Control Theory. The proposed framework supports the definition of requirements for the adaptation process prescribing how to deal at runtime with problems such as conflicting requirements and synchronization, enhancing the precision and effectiveness of the adaptation mechanism. The proposed mechanism, named Qualia+ is illustrated and evaluated with an example using the meeting scheduling exemplar.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122182814","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}
引用次数: 21
Automated mining of software component interactions for self-adaptation 自动挖掘软件组件交互以实现自适应
E. Yuan, N. Esfahani, S. Malek
A self-adaptive software system should be able to monitor and analyze its runtime behavior and make adaptation decisions accordingly to meet certain desirable objectives. Traditional software adaptation techniques and recent "models@runtime" approaches usually require an a priori model for a system's dynamic behavior. Oftentimes the model is difficult to define and labor-intensive to maintain, and tends to get out of date due to adaptation and architecture decay. We propose an alternative approach that does not require defining the system's behavior model beforehand, but instead involves mining software component interactions from system execution traces to build a probabilistic usage model, which is in turn used to analyze, plan, and execute adaptations. Our preliminary evaluation of the approach against an Emergency Deployment System shows that the associations mining model can be used to effectively address a variety of adaptation needs, including (1) safely applying dynamic changes to a running software system without creating inconsistencies, (2) identifying potentially malicious (abnormal) behavior for self-protection, and (3) our ongoing research on improving deployment of software components in a distributed setting for performance self-optimization.
自适应软件系统应该能够监控和分析其运行时行为,并做出相应的适应决策,以满足某些期望的目标。传统的软件适应技术和最近的“models@runtime”方法通常需要一个系统动态行为的先验模型。通常情况下,模型很难定义,维护起来也很费力,而且由于适应和体系结构的衰退,往往会过时。我们提出了一种替代方法,它不需要事先定义系统的行为模型,而是涉及从系统执行跟踪中挖掘软件组件交互,以构建一个概率使用模型,该模型反过来用于分析、计划和执行适应性。我们针对紧急部署系统对该方法的初步评估表明,关联挖掘模型可用于有效解决各种适应需求,包括(1)在不产生不一致的情况下安全地将动态更改应用于运行的软件系统,(2)识别潜在的恶意(异常)行为以进行自我保护,(3)我们正在进行的关于在分布式设置中改进软件组件部署以实现性能自优化的研究。
{"title":"Automated mining of software component interactions for self-adaptation","authors":"E. Yuan, N. Esfahani, S. Malek","doi":"10.1145/2593929.2593934","DOIUrl":"https://doi.org/10.1145/2593929.2593934","url":null,"abstract":"A self-adaptive software system should be able to monitor and analyze its runtime behavior and make adaptation decisions accordingly to meet certain desirable objectives. Traditional software adaptation techniques and recent \"models@runtime\" approaches usually require an a priori model for a system's dynamic behavior. Oftentimes the model is difficult to define and labor-intensive to maintain, and tends to get out of date due to adaptation and architecture decay. We propose an alternative approach that does not require defining the system's behavior model beforehand, but instead involves mining software component interactions from system execution traces to build a probabilistic usage model, which is in turn used to analyze, plan, and execute adaptations. Our preliminary evaluation of the approach against an Emergency Deployment System shows that the associations mining model can be used to effectively address a variety of adaptation needs, including (1) safely applying dynamic changes to a running software system without creating inconsistencies, (2) identifying potentially malicious (abnormal) behavior for self-protection, and (3) our ongoing research on improving deployment of software components in a distributed setting for performance self-optimization.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124295152","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}
引用次数: 15
Symbiotic and sensitivity-aware architecture for globally-optimal benefit in self-adaptive cloud 自适应云中全局最优效益的共生和敏感感知架构
Tao Chen, R. Bahsoon
Due to the uncertain and dynamic demand for Quality of Service (QoS) in cloud-based systems, engineering self-adaptivity in cloud architectures require novel approaches to support on-demand elasticity. The architecture should dynamically select an elastic strategy, which optimizes the global benefit for QoS and cost objectives for all cloud-based services. The architecture shall also provide mechanisms for reaching the strategy with minimal overhead. However, the challenge in the cloud is that the nature of objectives (e.g., throughput and the required cost) and QoS interference could cause overlapping sensitivity amongst intra- and inter-services objectives, which leads to objective-dependency (i.e., conflicted or harmonic) during optimization. In this paper, we propose a symbiotic and sensitivity-aware architecture for optimizing global-benefit with reduced overhead in the cloud. The architecture dynamically partitions QoS and cost objectives into sensitivity independent regions, where the local optimums are achieved. In addition, the architecture realizes the concept of symbiotic feedback loop, which is a bio-directional self-adaptive action that not only allows to dynamically monitor and adapt the managed services by scaling to their demand, but also to adaptively consolidate the managing system by re-partitioning the regions based on symptoms. We implement the architecture as a prototype extending on decentralized MAPE loop by introducing an Adaptor component. We then experimentally analyze and evaluate our architecture using hypothetical scenarios. The results reveal that our symbiotic and sensitivity-aware architecture is able to produce even better global benefit and smaller overhead in contrast to other non sensitivity-aware architectures.
由于基于云的系统对服务质量(QoS)的不确定性和动态需求,云架构中的工程自适应性需要新的方法来支持按需弹性。体系结构应该动态地选择弹性策略,以优化所有基于云的服务的QoS和成本目标的全局收益。体系结构还应提供以最小开销实现策略的机制。然而,云中的挑战是目标的性质(例如,吞吐量和所需成本)和QoS干扰可能导致服务内部和服务间目标之间的重叠敏感性,从而导致优化期间的目标依赖性(即冲突或调和)。在本文中,我们提出了一种共生和敏感性感知架构,用于优化全局效益,同时减少云中的开销。该体系结构动态地将QoS和代价目标划分到与灵敏度无关的区域中,在这些区域中实现局部最优。此外,该体系结构实现了共生反馈回路的概念,这是一种生物方向的自适应行为,不仅可以通过扩展需求来动态监控和适应被管理服务,还可以通过根据症状重新划分区域来自适应地巩固管理系统。我们通过引入Adaptor组件,将该体系结构实现为分散MAPE循环的扩展原型。然后,我们使用假设的场景对我们的架构进行实验分析和评估。结果表明,与其他非敏感性感知体系结构相比,我们的共生和敏感性感知体系结构能够产生更好的全局效益和更小的开销。
{"title":"Symbiotic and sensitivity-aware architecture for globally-optimal benefit in self-adaptive cloud","authors":"Tao Chen, R. Bahsoon","doi":"10.1145/2593929.2593931","DOIUrl":"https://doi.org/10.1145/2593929.2593931","url":null,"abstract":"Due to the uncertain and dynamic demand for Quality of Service (QoS) in cloud-based systems, engineering self-adaptivity in cloud architectures require novel approaches to support on-demand elasticity. The architecture should dynamically select an elastic strategy, which optimizes the global benefit for QoS and cost objectives for all cloud-based services. The architecture shall also provide mechanisms for reaching the strategy with minimal overhead. However, the challenge in the cloud is that the nature of objectives (e.g., throughput and the required cost) and QoS interference could cause overlapping sensitivity amongst intra- and inter-services objectives, which leads to objective-dependency (i.e., conflicted or harmonic) during optimization. In this paper, we propose a symbiotic and sensitivity-aware architecture for optimizing global-benefit with reduced overhead in the cloud. The architecture dynamically partitions QoS and cost objectives into sensitivity independent regions, where the local optimums are achieved. In addition, the architecture realizes the concept of symbiotic feedback loop, which is a bio-directional self-adaptive action that not only allows to dynamically monitor and adapt the managed services by scaling to their demand, but also to adaptively consolidate the managing system by re-partitioning the regions based on symptoms. We implement the architecture as a prototype extending on decentralized MAPE loop by introducing an Adaptor component. We then experimentally analyze and evaluate our architecture using hypothetical scenarios. The results reveal that our symbiotic and sensitivity-aware architecture is able to produce even better global benefit and smaller overhead in contrast to other non sensitivity-aware architectures.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131735207","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}
引用次数: 32
A computational field framework for collaborative task execution in volunteer clouds 志愿云中协同任务执行的计算领域框架
Stefano Sebastio, M. Amoretti, Alberto Lluch-Lafuente
The increasing diffusion of cloud technologies offers new opportunities for distributed and collaborative computing. Volunteer clouds are a prominent example, where participants join and leave the platform and collaborate by sharing computational resources. The high complexity, dynamism and unpredictability of such scenarios call for decentralized self-* approaches. We present in this paper a framework for the design and evaluation of self-adaptive collaborative task execution strategies in volunteer clouds. As a byproduct, we propose a novel strategy based on the Ant Colony Optimization paradigm, that we validate through simulation-based statistical analysis over Google cluster data.
云技术的日益普及为分布式和协作计算提供了新的机会。志愿者云是一个突出的例子,参与者加入和离开平台,并通过共享计算资源进行协作。这种场景的高度复杂性、动态性和不可预测性要求采用分散的自我*方法。本文提出了志愿者云环境下自适应协同任务执行策略的设计与评估框架。作为副产品,我们提出了一种基于蚁群优化范式的新策略,我们通过基于模拟的Google集群数据统计分析来验证该策略。
{"title":"A computational field framework for collaborative task execution in volunteer clouds","authors":"Stefano Sebastio, M. Amoretti, Alberto Lluch-Lafuente","doi":"10.1145/2593929.2593943","DOIUrl":"https://doi.org/10.1145/2593929.2593943","url":null,"abstract":"The increasing diffusion of cloud technologies offers new opportunities for distributed and collaborative computing. Volunteer clouds are a prominent example, where participants join and leave the platform and collaborate by sharing computational resources. The high complexity, dynamism and unpredictability of such scenarios call for decentralized self-* approaches. We present in this paper a framework for the design and evaluation of self-adaptive collaborative task execution strategies in volunteer clouds. As a byproduct, we propose a novel strategy based on the Ant Colony Optimization paradigm, that we validate through simulation-based statistical analysis over Google cluster data.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122083448","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}
引用次数: 27
Self-adaptive applications: on the development of personalized web-tasking systems 自适应应用:关于个性化网络任务系统的开发
Lorena Castaneda, Norha M. Villegas, H. Müller
Personalized Web-Tasking (PWT) proposes the automation of user-centric and repetitive web interactions to assist users in the fulfilment of personal goals using internet systems. In PWT, both personal goals and internet systems are affected by unpredictable changes in user preferences, situations, system infrastructures and environments. Therefore, self-adaptation enhanced with dynamic context monitoring is required to guarantee the effectiveness of PWT systems that, despite context uncertainty, must guarantee the accomplishment of personal goals and deliver pleasant user experiences. This position paper describes our approach to the development of PWT systems, which relies on self-adaptation and its enabling technologies. In particular, it presents our runtime modelling approach that is comprised of our PWT Ontology and Goal-oriented Context-sensitive web-tasking (GCT) models, and the way we exploit previous SEAMS contributions developed in our research group, the DYNAMICO reference model and the SmarterContext Monitoring Infrastructure and Reasoning Engine. The main goal of this paper is to demonstrate how the most crucial challenges in the engineering of PWT systems can be addressed by implementing them as self-adaptive software.
个性化网络任务(PWT)提出了以用户为中心的重复网络交互的自动化,以帮助用户使用互联网系统实现个人目标。在PWT中,个人目标和互联网系统都受到用户偏好、情况、系统基础设施和环境的不可预测变化的影响。因此,需要通过动态上下文监测增强自适应,以保证PWT系统的有效性,尽管上下文不确定,但必须保证个人目标的实现并提供愉快的用户体验。本立场文件描述了我们开发PWT系统的方法,该系统依赖于自适应及其使能技术。特别是,它介绍了我们的运行时建模方法,该方法由我们的PWT本体和面向目标的上下文敏感网络任务(GCT)模型组成,以及我们利用以前在我们的研究小组中开发的seam贡献的方式,DYNAMICO参考模型和SmarterContext监控基础设施和推理引擎。本文的主要目标是演示如何通过将PWT系统实现为自适应软件来解决工程中最关键的挑战。
{"title":"Self-adaptive applications: on the development of personalized web-tasking systems","authors":"Lorena Castaneda, Norha M. Villegas, H. Müller","doi":"10.1145/2593929.2593942","DOIUrl":"https://doi.org/10.1145/2593929.2593942","url":null,"abstract":"Personalized Web-Tasking (PWT) proposes the automation of user-centric and repetitive web interactions to assist users in the fulfilment of personal goals using internet systems. In PWT, both personal goals and internet systems are affected by unpredictable changes in user preferences, situations, system infrastructures and environments. Therefore, self-adaptation enhanced with dynamic context monitoring is required to guarantee the effectiveness of PWT systems that, despite context uncertainty, must guarantee the accomplishment of personal goals and deliver pleasant user experiences. This position paper describes our approach to the development of PWT systems, which relies on self-adaptation and its enabling technologies. In particular, it presents our runtime modelling approach that is comprised of our PWT Ontology and Goal-oriented Context-sensitive web-tasking (GCT) models, and the way we exploit previous SEAMS contributions developed in our research group, the DYNAMICO reference model and the SmarterContext Monitoring Infrastructure and Reasoning Engine. The main goal of this paper is to demonstrate how the most crucial challenges in the engineering of PWT systems can be addressed by implementing them as self-adaptive software.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133533930","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}
引用次数: 19
Autonomic resource provisioning for cloud-based software 基于云的软件的自主资源配置
Pooyan Jamshidi, Aakash Ahmad, C. Pahl
Cloud elasticity provides a software system with the ability to maintain optimal user experience by automatically acquiring and releasing resources, while paying only for what has been consumed. The mechanism for automatically adding or removing resources on the fly is referred to as auto-scaling. The state-of-the-practice with respect to auto-scaling involves specifying threshold-based rules to implement elasticity policies for cloud-based applications. However, there are several shortcomings regarding this approach. Firstly, the elasticity rules must be specified precisely by quantitative values, which requires deep knowledge and expertise. Furthermore, existing approaches do not explicitly deal with uncertainty in cloud-based software, where noise and unexpected events are common. This paper exploits fuzzy logic to enable qualitative specification of elasticity rules for cloud-based software. In addition, this paper discusses a control theoretical approach using type-2 fuzzy logic systems to reason about elasticity under uncertainties. We conduct several experiments to demonstrate that cloud-based software enhanced with such elasticity controller can robustly handle unexpected spikes in the workload and provide acceptable user experience. This translates into increased profit for the cloud application owner.
云弹性为软件系统提供了通过自动获取和释放资源来维持最佳用户体验的能力,而只需为已消耗的资源付费。动态自动添加或删除资源的机制称为自动缩放。关于自动伸缩的实践状态涉及指定基于阈值的规则,以实现基于云的应用程序的弹性策略。然而,这种方法有几个缺点。首先,弹性规则必须用定量值精确地表示,这需要深厚的知识和专业知识。此外,现有的方法并没有明确地处理基于云的软件中的不确定性,其中噪音和意外事件是常见的。本文利用模糊逻辑对基于云的软件弹性规则进行定性描述。此外,本文还讨论了一种利用2型模糊逻辑系统对不确定条件下弹性进行推理的控制理论方法。我们进行了几个实验,以证明使用这种弹性控制器增强的基于云的软件可以健壮地处理工作负载中的意外峰值并提供可接受的用户体验。这将转化为云应用程序所有者增加的利润。
{"title":"Autonomic resource provisioning for cloud-based software","authors":"Pooyan Jamshidi, Aakash Ahmad, C. Pahl","doi":"10.1145/2593929.2593940","DOIUrl":"https://doi.org/10.1145/2593929.2593940","url":null,"abstract":"Cloud elasticity provides a software system with the ability to maintain optimal user experience by automatically acquiring and releasing resources, while paying only for what has been consumed. The mechanism for automatically adding or removing resources on the fly is referred to as auto-scaling. The state-of-the-practice with respect to auto-scaling involves specifying threshold-based rules to implement elasticity policies for cloud-based applications. However, there are several shortcomings regarding this approach. Firstly, the elasticity rules must be specified precisely by quantitative values, which requires deep knowledge and expertise. Furthermore, existing approaches do not explicitly deal with uncertainty in cloud-based software, where noise and unexpected events are common. This paper exploits fuzzy logic to enable qualitative specification of elasticity rules for cloud-based software. In addition, this paper discusses a control theoretical approach using type-2 fuzzy logic systems to reason about elasticity under uncertainties. We conduct several experiments to demonstrate that cloud-based software enhanced with such elasticity controller can robustly handle unexpected spikes in the workload and provide acceptable user experience. This translates into increased profit for the cloud application owner.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117027319","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}
引用次数: 164
Stochastic game analysis and latency awareness for proactive self-adaptation 随机博弈分析和主动自适应的延迟意识
J. Cámara, Gabriel A. Moreno, D. Garlan
Although different approaches to decision-making in self-adaptive systems have shown their effectiveness in the past by factoring in predictions about the system and its environment (e.g., resource availability), no proposal considers the latency associated with the execution of tactics upon the target system. However, dierent adaptation tactics can take different amounts of time until their effects can be observed. In reactive adaptation, ignoring adaptation tactic latency can lead to suboptimal adaptation decisions (e.g., activating a server that takes more time to boot than the transient spike in traffic that triggered its activation). In proactive adaptation, taking adaptation latency into account is necessary to get the system into the desired state to deal with an upcoming situation. In this paper, we introduce a formal analysis technique based on model checking of stochastic multiplayer games (SMGs) that enables us to quantify the potential benefits of employing dierent types of algorithms for self-adaptation. In particular, we apply this technique to show the potential benefit of considering adaptation tactic latency in proactive adaptation algorithms. Our results show that factoring in tactic latency in decision making improves the outcome of adaptation. We also present an algorithm to do proactive adaptation that considers tactic latency, and show that it achieves higher utility than an algorithm that under the assumption of no latency is optimal.
尽管不同的自适应系统决策方法在过去通过考虑对系统及其环境的预测(例如,资源可用性)显示出其有效性,但没有建议考虑与目标系统上策略执行相关的延迟。然而,不同的适应策略可能需要不同的时间才能观察到其效果。在响应式适应中,忽略适应策略延迟可能导致次优的适应决策(例如,激活一个启动时间超过触发其激活的瞬时流量峰值的服务器)。在主动适应中,考虑适应延迟对于使系统进入所需状态以处理即将到来的情况是必要的。在本文中,我们介绍了一种基于随机多人游戏(smg)模型检查的形式化分析技术,该技术使我们能够量化采用不同类型的自适应算法的潜在好处。特别是,我们应用该技术来展示在主动适应算法中考虑适应策略延迟的潜在好处。我们的研究结果表明,在决策中考虑策略延迟可以改善适应结果。我们还提出了一种考虑策略延迟的主动适应算法,并表明它比假设没有延迟的算法实现了更高的效用。
{"title":"Stochastic game analysis and latency awareness for proactive self-adaptation","authors":"J. Cámara, Gabriel A. Moreno, D. Garlan","doi":"10.1145/2593929.2593933","DOIUrl":"https://doi.org/10.1145/2593929.2593933","url":null,"abstract":"Although different approaches to decision-making in self-adaptive systems have shown their effectiveness in the past by factoring in predictions about the system and its environment (e.g., resource availability), no proposal considers the latency associated with the execution of tactics upon the target system. However, dierent adaptation tactics can take different amounts of time until their effects can be observed. In reactive adaptation, ignoring adaptation tactic latency can lead to suboptimal adaptation decisions (e.g., activating a server that takes more time to boot than the transient spike in traffic that triggered its activation). In proactive adaptation, taking adaptation latency into account is necessary to get the system into the desired state to deal with an upcoming situation. In this paper, we introduce a formal analysis technique based on model checking of stochastic multiplayer games (SMGs) that enables us to quantify the potential benefits of employing dierent types of algorithms for self-adaptation. In particular, we apply this technique to show the potential benefit of considering adaptation tactic latency in proactive adaptation algorithms. Our results show that factoring in tactic latency in decision making improves the outcome of adaptation. We also present an algorithm to do proactive adaptation that considers tactic latency, and show that it achieves higher utility than an algorithm that under the assumption of no latency is optimal.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131200408","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}
引用次数: 63
Genetic improvement for adaptive software engineering (keynote) 适应性软件工程的遗传改进(主题演讲)
M. Harman, Yue Jia, W. Langdon, J. Petke, Iman Hemati Moghadam, S. Yoo, Fan Wu
This paper presents a brief outline of an approach to online genetic improvement. We argue that existing progress in genetic improvement can be exploited to support adaptivity. We illustrate our proposed approach with a 'dreaming smart device' example that combines online and offline machine learning and optimisation.
本文简要介绍了一种在线遗传改良方法。我们认为,现有的进展,遗传改良可以利用,以支持适应性。我们用一个结合了在线和离线机器学习和优化的“梦想智能设备”示例来说明我们提出的方法。
{"title":"Genetic improvement for adaptive software engineering (keynote)","authors":"M. Harman, Yue Jia, W. Langdon, J. Petke, Iman Hemati Moghadam, S. Yoo, Fan Wu","doi":"10.1145/2593929.2600116","DOIUrl":"https://doi.org/10.1145/2593929.2600116","url":null,"abstract":"This paper presents a brief outline of an approach to online genetic improvement. We argue that existing progress in genetic improvement can be exploited to support adaptivity. We illustrate our proposed approach with a 'dreaming smart device' example that combines online and offline machine learning and optimisation.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126599651","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}
引用次数: 48
Modelling and analysing contextual failures for dependability requirements 为可靠性需求建模和分析上下文故障
D. Mendonça, Raian Ali, G. Rodrigues
The notion of Contextual Requirements refers to the inter-relation between the requirements of a system, both functional and non-functional (NFRs), and the dynamic environment in which the system operates. Dependability requirements are NFRs which could also be context-dependent. The meaning and the consequence of faults affecting dependability vary in relation to the context in which a fault occurs. In this paper, we elaborate on the need to consider the contextual nature of failures and dependability. Then, we extend a contextual requirements model, the contextual goal model, to capture contextual failures and utilize that to enrich the semantic of dependability requirements. We provide techniques to analyse and reason about the effects of contexts on failures and their consequences. This analysis helps evaluate the possible alternative configurations to reach goals from dependability perspective and, hence, take adaptation decisions. Finally, we demonstrate the feasibility and applicability of our approach on a Mobile Personal Emergency Response system.
上下文需求的概念指的是系统需求之间的相互关系,包括功能性和非功能性需求(nfr),以及系统运行的动态环境。可靠性需求是nfr,它也可能与上下文相关。影响可靠性的故障的含义和后果因故障发生的环境而异。在本文中,我们详细阐述了考虑故障和可靠性的上下文性质的必要性。然后,我们扩展上下文需求模型,上下文目标模型,以捕获上下文故障,并利用它来丰富可靠性需求的语义。我们提供技术来分析和推理环境对失败及其后果的影响。此分析有助于评估可能的替代配置,以从可靠性的角度达到目标,并因此做出适应决策。最后,我们在移动个人应急响应系统上展示了我们方法的可行性和适用性。
{"title":"Modelling and analysing contextual failures for dependability requirements","authors":"D. Mendonça, Raian Ali, G. Rodrigues","doi":"10.1145/2593929.2593947","DOIUrl":"https://doi.org/10.1145/2593929.2593947","url":null,"abstract":"The notion of Contextual Requirements refers to the inter-relation between the requirements of a system, both functional and non-functional (NFRs), and the dynamic environment in which the system operates. Dependability requirements are NFRs which could also be context-dependent. The meaning and the consequence of faults affecting dependability vary in relation to the context in which a fault occurs. In this paper, we elaborate on the need to consider the contextual nature of failures and dependability. Then, we extend a contextual requirements model, the contextual goal model, to capture contextual failures and utilize that to enrich the semantic of dependability requirements. We provide techniques to analyse and reason about the effects of contexts on failures and their consequences. This analysis helps evaluate the possible alternative configurations to reach goals from dependability perspective and, hence, take adaptation decisions. Finally, we demonstrate the feasibility and applicability of our approach on a Mobile Personal Emergency Response system.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126021537","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}
引用次数: 17
Designing search based adaptive systems: a quantitative approach 设计基于搜索的自适应系统:一种定量方法
P. Zoghi, Mark Shtern, Marin Litoiu
Designing an adaptive system to meet its quality constraints in the face of environmental uncertainties can be a challenging task. In cloud environment, a designer has to also consider and evaluate different control points, i.e., those variables that affect the quality of the software system. This paper presents a method for eliciting, evaluating and ranking control points for web applications deployed in cloud environments. The proposed method consists of several phases that take high-level stakeholders' adaptation goals and transform them into lower level MAPE-K loop control points. The MAPE-K loops are then activated at runtime using search-based algorithms. We conducted several experiments to evaluate the different phases of our methodology.
面对环境的不确定性,设计一个满足其质量约束的自适应系统是一项具有挑战性的任务。在云环境中,设计人员还必须考虑和评估不同的控制点,即那些影响软件系统质量的变量。本文提出了一种对部署在云环境中的web应用程序的控制点进行提取、评估和排序的方法。该方法由几个阶段组成,将高层利益相关者的适应目标转化为低层MAPE-K回路控制点。然后在运行时使用基于搜索的算法激活MAPE-K循环。我们进行了几个实验来评估我们方法的不同阶段。
{"title":"Designing search based adaptive systems: a quantitative approach","authors":"P. Zoghi, Mark Shtern, Marin Litoiu","doi":"10.1145/2593929.2593935","DOIUrl":"https://doi.org/10.1145/2593929.2593935","url":null,"abstract":"Designing an adaptive system to meet its quality constraints in the face of environmental uncertainties can be a challenging task. In cloud environment, a designer has to also consider and evaluate different control points, i.e., those variables that affect the quality of the software system. This paper presents a method for eliciting, evaluating and ranking control points for web applications deployed in cloud environments. The proposed method consists of several phases that take high-level stakeholders' adaptation goals and transform them into lower level MAPE-K loop control points. The MAPE-K loops are then activated at runtime using search-based algorithms. We conducted several experiments to evaluate the different phases of our methodology.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115724082","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}
引用次数: 16
期刊
International Symposium on Software Engineering for Adaptive and Self-Managing Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1