2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)最新文献

QoS-aware fully decentralized service assembly 支持qos的完全分散的服务组装

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595492

V. Grassi, M. Marzolla, R. Mirandola

{"title":"QoS-aware fully decentralized service assembly","authors":"V. Grassi, M. Marzolla, R. Mirandola","doi":"10.1109/SEAMS.2013.6595492","DOIUrl":"https://doi.org/10.1109/SEAMS.2013.6595492","url":null,"abstract":"Large distributed software systems are increasingly common in today geographically distributed IT infrastructures. A key challenge for the software engineering community is how to efficiently and effectively manage such complex systems. Extending software services with autonomic capabilities has been suggested as a possible way to address this challenge. Ideally, self-management capabilities should be based on fully distributed, peer-to-peer (P2P) architectures in order to try to overcome the scalability and robustness problems of centralized solutions. Within this context, we propose an approach for the adaptive self-assembly of distributed services, based on a simple epidemic protocol. Our approach is based on the three-layer reference model for adaptive systems, and is centered on the use of a gossip protocol to achieve decentralized information dissemination and decision making. The goal of our system is to build and maintain an assembly of services that, besides functional requirements, is able to fulfill global quality of service (QoS) and structural requirements. A set of simulation experiments is used to assess the effectiveness of our approach in terms of convergence speed towards the optimal solution, and resilience to failures.","PeriodicalId":414161,"journal":{"name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122411069","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}

引用次数: 11

Self-adaptive and sensitivity-aware QoS modeling for the cloud 自适应和敏感度感知的云计算服务质量建模

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595491

Tao Chen, R. Bahsoon

引用次数: 43

Towards run-time testing of dynamic adaptive systems 动态自适应系统的运行测试研究

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595504

Erik M. Fredericks, A. J. Ramírez, B. Cheng

引用次数: 41

High-quality specification of self-adaptive software systems 自适应软件系统的高质量规范

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.5555/2663546.2663569

Markus Luckey, G. Engels

{"title":"High-quality specification of self-adaptive software systems","authors":"Markus Luckey, G. Engels","doi":"10.5555/2663546.2663569","DOIUrl":"https://doi.org/10.5555/2663546.2663569","url":null,"abstract":"Today' software systems have to cope with changing environments while at the same time facing high non-functional requirements such as flexibility and dependability. Recently, these non-functional requirements are addressed using self-adaptivity features, that is, the system monitors its environment and adjusts its structure or behavior in reaction to changes. In classical model-driven software engineering approaches, self-adaptivity introduces additional complexity since self-adaptation features are distributed in a cross-cutting manner at various different locations in the models, resulting in a tightly interwoven model landscape that is hard to understand and maintain. A particular solution to cope with this problem is the separation of concerns (SoC) to focus on the specific concern of self-adaptivity and allow in-depth analyses. Applying SoC requires suitable development processes, languages, and techniques, e.g., for quality assurance, to be available. In this paper, we present a method for the specification of self-adaptive software systems using a UML based concern-specific modeling language called Adapt Case Modeling Language (ACML) that allows the separated and explicit specification of self-adaptivity concerns. Based on formal semantics we show how to apply quality assurance techniques to the modeled self-adaptive system, which enable the provisioning of hard guarantees concerning self-adaptivity characteristics such as adaptation rule set stability and deadlock freedom. Further, we show how the language and techniques integrate with existing software development processes.","PeriodicalId":414161,"journal":{"name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130762928","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}

引用次数: 49

Run-time adaptation of mobile applications using genetic algorithms 使用遗传算法的移动应用程序的运行时适应

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595494

Gustavo G. Pascual, M. Pinto, L. Fuentes

{"title":"Run-time adaptation of mobile applications using genetic algorithms","authors":"Gustavo G. Pascual, M. Pinto, L. Fuentes","doi":"10.1109/SEAMS.2013.6595494","DOIUrl":"https://doi.org/10.1109/SEAMS.2013.6595494","url":null,"abstract":"Mobile applications run in environments where the context is continuously changing. Therefore, it is necessary to provide support for the run-time adaptation of these applications. This support is usually achieved by middleware platforms that offer a context-aware dynamic reconfiguration service. However, the main shortcoming of existing approaches is that both the list of possible configurations and the plans to adapt the application to a new configuration are usually specified at design-time. In this paper we present an approach that allows the automatic generation at run-time of application configurations and of reconfiguration plans. Moreover, the generated configurations are optimal regarding the provided functionality and, more importantly, without exceeding the available resources (e.g. battery). This is performed by: (1) having the information about the application variability available at runtime using feature models, and (2) using a genetic algorithm that allows generating an optimal configuration at runtime. We have specified a case study and evaluated our approach, and the results show that it is efficient enough as to be used on mobile devices without introducing an excessive overhead.","PeriodicalId":414161,"journal":{"name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125315677","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}

引用次数: 36

Synthesizing self-adaptive connectors meeting functional and performance concerns 合成满足功能和性能要求的自适应连接器

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595500

A. Marco, P. Inverardi, Romina Spalazzese

{"title":"Synthesizing self-adaptive connectors meeting functional and performance concerns","authors":"A. Marco, P. Inverardi, Romina Spalazzese","doi":"10.1109/SEAMS.2013.6595500","DOIUrl":"https://doi.org/10.1109/SEAMS.2013.6595500","url":null,"abstract":"Today's networked environment is characterized by a wide variety of heterogeneous systems that dynamically decide to interoperate to achieve some goal. In this context, systems meet and know each other at runtime when they want to start to interoperate. Given the huge heterogeneity and dynamism characterizing the described environment, automated solutions appear to be the only way to achieve interoperability timely and with the needed level of flexibility. We already proposed an approach to the automated synthesis of connectors (or mediators) to reconcile protocols diversities and to allow systems interoperability. In this paper, building upon our previous work, we describe a solution to the automated synthesis of connectors: (a) that takes into account performance concerns during the synthesis process and (b) whose synthesized connectors are (self-) adaptive with respect to runtime performance requirements changes. By reasoning on systems' specification, the approach first produces a mediator that satisfies the functional requirements. Then it acts on the produced mediator to let it satisfy performance issues and to make it (self-)adaptive.","PeriodicalId":414161,"journal":{"name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132539987","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}

引用次数: 24

Engineering adaptation with Zanshin: An experience report 用真心进行工程适应:经验报告

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595496

Genci Tallabaci, V. Souza

引用次数: 22

Guaranteeing robustness in a mobile learning Application using formally verified MAPE loops 使用正式验证的MAPE循环保证移动学习应用程序的鲁棒性

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595495

Didac Gil, Danny Weyns

{"title":"Guaranteeing robustness in a mobile learning Application using formally verified MAPE loops","authors":"Didac Gil, Danny Weyns","doi":"10.1109/SEAMS.2013.6595495","DOIUrl":"https://doi.org/10.1109/SEAMS.2013.6595495","url":null,"abstract":"Mobile learning applications support traditional indoor lectures with outdoor activities using mobile devices. An example scenario is a team of students that use triangulation techniques to learn properties of geometrical figures. In previous work, we developed an agent-based mobile learning application in which students use GPS-enabled phones to calculate distances between them. From practical experience, we learned that the required level of GPS accuracy is not always guaranteed, which undermines the use of the application. In this paper, we explain how we have extended the existing application with a self-adaptation layer, making the system robust to degrading GPS accuracy. The self-adaptive layer is conceived as a set of interacting MAPE loops (Monitor-Analysis-Plan-Execute), distributed over the phones. To guarantee the robustness requirements, we formally specify the self-adaptive behaviors using timed automata, and the required properties using timed computation tree logic. We use the Uppaal tool to model the self-adaptive system and verify the robustness requirements. Finally, we discuss how the formal design supported the implementation of the self-adaptive layer on top of the existing application.","PeriodicalId":414161,"journal":{"name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126985793","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}

引用次数: 26

Diagnosing architectural run-time failures 诊断体系结构运行时故障

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595497

P. Casanova, D. Garlan, B. Schmerl, Rui Abreu

引用次数: 22

On estimating actuation delays in elastic computing systems 弹性计算系统中驱动延迟的估计

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Pub Date : 2013-05-20 DOI: 10.1109/SEAMS.2013.6595490

Alessio Gambi, D. Moldovan, G. Copil, Hong Linh Truong, S. Dustdar

{"title":"On estimating actuation delays in elastic computing systems","authors":"Alessio Gambi, D. Moldovan, G. Copil, Hong Linh Truong, S. Dustdar","doi":"10.1109/SEAMS.2013.6595490","DOIUrl":"https://doi.org/10.1109/SEAMS.2013.6595490","url":null,"abstract":"Elastic controllers autonomically adjust the allocation of resources in cloud computing systems. Usually such controllers assume that control actions will take immediate effect. In clouds, however, actuation times may be long, and the controllers can hardly guarantee acceptable levels of service if they neglect these actuation delays. Therefore, the ability to correctly estimate the time that control actions take effect on the systems is crucial. However, detecting actuation delays in elastic computing systems is challenging because cloud systems provide only inaccurate and incomplete data about reconfigurations timing. In this paper, we tackle the problem of estimating the delay of control actions in elastic systems. We identify recurring types of changes in the monitored metrics and requirements to properly carry out the estimation. Based on that, we develop a novel framework for the actuation delays estimation that utilizes change point detection techniques. We conduct several experiments with real-world systems to illustrate the feasibility and applicability of our framework.","PeriodicalId":414161,"journal":{"name":"2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121123956","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}

引用次数: 18