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

筛选
英文 中文
Proactive adaptation of service composition 主动适应服务组合
R. Aschoff, A. Zisman
{"title":"Proactive adaptation of service composition","authors":"R. Aschoff, A. Zisman","doi":"10.1109/SEAMS.2012.6224385","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224385","url":null,"abstract":"Adaptation of service compositions is considered a major research challenge for service-based systems. In this paper we describe a proactive approach to support adaptation of service compositions triggered by different types of problems. The approach allows for changes in the composition workflow by replacing a service operation, or a group of operations, by another service operation or a group of dynamically composed operations. The adaptation process is supported by the use of QoS prediction techniques, analysis of dependencies between service operations, and use of groups of service operations in a composition flow instead of isolated operations. A prototype tool has been implemented to illustrate and evaluate the framework. We also present results of experiments that we have conducted to evaluate the work.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114771777","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
Claims and supporting evidence for self-adaptive systems: A literature study 自适应系统的主张和支持证据:文献研究
Danny Weyns, M. U. Iftikhar, S. Malek, J. Andersson
{"title":"Claims and supporting evidence for self-adaptive systems: A literature study","authors":"Danny Weyns, M. U. Iftikhar, S. Malek, J. Andersson","doi":"10.1109/SEAMS.2012.6224395","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224395","url":null,"abstract":"Despite the vast body of work on self-adaption, no systematic study has been performed on the claims associated with self-adaptation and the evidence that exists for these claims. As such an insight is crucial for researchers and engineers, we performed a literature study of the research results from SEAMS since 2006 and the associated Dagstuhl seminar in 2008. The study shows that the primary claims of self-adaptation are improved flexibility, reliability, and performance of the system. On the other hand, the tradeoffs implied by self-adaptation have not received much attention. Evidence is obtained from basic examples, or simply lacking. Few systematic empirical studies have been performed, and no industrial evidence is reported. From the study, we offer the following recommendations to move the field forward: to improve evaluation, researchers should make their assessment methods, tools and data publicly available; to deal with poor discussion of limitations, conferences/workshops should require an explicit section on limitations in engineering papers; to improve poor treatment of tradeoffs, this aspect should be an explicit subject of reviews; and finally, to enhance industrial validation, the best academy-industry efforts could be formally recognized by the community.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115876859","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}
引用次数: 79
Timing constraints for runtime adaptation in real-time, networked embedded systems 实时网络嵌入式系统中运行时适应的时间约束
M. Zeller, C. Prehofer
{"title":"Timing constraints for runtime adaptation in real-time, networked embedded systems","authors":"M. Zeller, C. Prehofer","doi":"10.1109/SEAMS.2012.6224393","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224393","url":null,"abstract":"In this work, we consider runtime adaptation in networked embedded systems with tight real-time constraints. For such systems, we aim to adapt the placement of software components on networked hardware components at runtime without violating real-time constraints. We develop constraints for such an adaptation process and show the applicability to networked embedded systems like automotive in-vehicle networks. Then, we analyze two approaches for finding solutions in the resulting search space for adaptations, one based on planning algorithms and the other based on constraint solving. While planning approaches start from the current configuration and aim to find a migration sequence and a valid configuration, constraint solving approaches first find solutions and then check for a possible migration sequence. Based on simulations for the automotive domain, we show that approaches based on planning algorithms scale poorly, while constraint solving approaches can find solutions effectively.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134091710","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}
引用次数: 20
A taxonomy and survey of self-protecting software systems 自保护软件系统的分类与综述
E. Yuan, S. Malek
{"title":"A taxonomy and survey of self-protecting software systems","authors":"E. Yuan, S. Malek","doi":"10.1109/SEAMS.2012.6224397","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224397","url":null,"abstract":"Self-protecting software systems are a class of autonomic systems capable of detecting and mitigating security threats at runtime. They are growing in importance, as the stovepipe static methods of securing software systems have shown inadequate for the challenges posed by modern software systems. While existing research has made significant progress towards autonomic and adaptive security, gaps and challenges remain. In this paper, we report on an extensive study and analysis of the literature in this area. The crux of our contribution is a comprehensive taxonomy to classify and characterize research efforts in this arena. We also describe our experiences with applying the taxonomy to numerous existing approaches. This has shed light on several challenging issues and resulted in interesting observations that could guide the future research.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"41 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132678643","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}
引用次数: 38
A language for feedback loops in self-adaptive systems: Executable runtime megamodels 自适应系统中用于反馈循环的语言:可执行运行时超模型
T. Vogel, H. Giese
{"title":"A language for feedback loops in self-adaptive systems: Executable runtime megamodels","authors":"T. Vogel, H. Giese","doi":"10.1109/SEAMS.2012.6224399","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224399","url":null,"abstract":"The development of self-adaptive software requires the engineering of proper feedback loops where an adaptation logic controls the underlying software. The adaptation logic often describes the adaptation by using runtime models representing the underlying software and steps such as analysis and planning that operate on these runtime models. To systematically address this interplay, runtime megamodels, which are specific runtime models that have themselves runtime models as their elements and that also capture the relationships between multiple runtime models, have been proposed. In this paper, we go one step further and present a modeling language for runtime megamodels that considerably eases the development of the adaptation logic by providing a domain-specific modeling approach and a runtime interpreter for this part of a self-adaptive system. This supports development by modeling the feedback loops explicitly and at a higher level of abstraction. Moreover, it permits to build complex solutions where multiple feedback loops interact or operate on top of each other, which is leveraged by keeping the megamodels explicit and alive at runtime and by interpreting them.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129987881","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}
引用次数: 53
Synthesizing dynamically updating controllers from changes in scenario-based specifications 从基于场景的规范的变化中综合动态更新控制器
C. Ghezzi, Joel Greenyer, V. Manna
{"title":"Synthesizing dynamically updating controllers from changes in scenario-based specifications","authors":"C. Ghezzi, Joel Greenyer, V. Manna","doi":"10.1109/SEAMS.2012.6224401","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224401","url":null,"abstract":"Many software-intensive systems are expected to run continuously while their environments change and their requirements evolve, so their implementation must be updated dynamically to satisfy changing requirements while coping with changing environment properties. Techniques for developing dynamically updating systems exist, but thus far almost no attention has been paid to defining when updates are correct with respect to a changing specification, i.e., when a system can safely disregard its current obligations and change its behavior to satisfy the new specification. Based on an intuitive example, we elaborate a formal definition for correct updates of a current implementation with respect to specification changes. Moreover, we present an approach for synthesizing a dynamically updating controller from the current implementation and changes in a scenario-based specification that updates to the new behavior as soon as possible. The presented technique is a first step towards the specification-driven development of safe dynamically updating controllers.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129318004","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}
引用次数: 29
Evaluation of resilience in self-adaptive systems using probabilistic model-checking 基于概率模型检验的自适应系统弹性评估
J. Cámara, R. Lemos
{"title":"Evaluation of resilience in self-adaptive systems using probabilistic model-checking","authors":"J. Cámara, R. Lemos","doi":"10.1109/SEAMS.2012.6224391","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224391","url":null,"abstract":"The provision of assurances for self-adaptive systems presents its challenges since uncertainties associated with its operating environment often hamper the provision of absolute guarantees that system properties can be satisfied. In this paper, we define an approach for the verification of self-adaptive systems that relies on stimulation and probabilistic model-checking to provide levels of confidence regarding service delivery. In particular, we focus on resilience properties that enable us to assess whether the system is able to maintain trustworthy service delivery in spite of changes in its environment. The feasibility of our proposed approach for the provision of assurances is evaluated in the context of the Znn.com case study.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128534168","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}
引用次数: 61
A middleware and algorithms for trust calculation from multiple evidence sources 基于多证据源的信任计算中间件和算法
C. Yew, H. Lutfiyya
{"title":"A middleware and algorithms for trust calculation from multiple evidence sources","authors":"C. Yew, H. Lutfiyya","doi":"10.1109/SEAMS.2012.6224394","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224394","url":null,"abstract":"Trust is a concept that has been used to support better decision-making when there is incomplete information. Trust requires evidence. There are multiple evidence sources. One or more evidence sources may be used in trust calculation. This paper presents a middleware that takes this into account, the algorithms used and experimental results.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123937983","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}
引用次数: 1
(Requirement) evolution requirements for adaptive systems (需求)适应性系统的演化需求
V. Souza, Alexei Lapouchnian, J. Mylopoulos
{"title":"(Requirement) evolution requirements for adaptive systems","authors":"V. Souza, Alexei Lapouchnian, J. Mylopoulos","doi":"10.1109/SEAMS.2012.6224402","DOIUrl":"https://doi.org/10.1109/SEAMS.2012.6224402","url":null,"abstract":"It is often the case that stakeholders want to strengthen/weaken or otherwise change their requirements for a system-to-be when certain conditions apply at runtime. For example, stakeholders may decide that if requirement R is violated more than N times in a week, it should be relaxed to a less demanding one R-. Such evolution requirements play an important role in the lifetime of a software system in that they define possible changes to requirements, along with the conditions under which these changes apply. In this paper we focus on this family of requirements, how to model them and how to operationalize them at runtime. In addition, we evaluate our proposal with a case study adopted from the literature.","PeriodicalId":312871,"journal":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121533666","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}
引用次数: 56
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信