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

筛选
英文 中文
Towards goal-oriented development of self-adaptive systems 向着目标导向的自适应系统发展
Mirko Morandini, L. Penserini, A. Perini
{"title":"Towards goal-oriented development of self-adaptive systems","authors":"Mirko Morandini, L. Penserini, A. Perini","doi":"10.1145/1370018.1370021","DOIUrl":"https://doi.org/10.1145/1370018.1370021","url":null,"abstract":"Self-adaptive software aims at anticipating changes which occur in a complex environment and to automatically deal with them at run-time. The increasing demand for complex networked software, which makes computing resources available to anyone, anywhere and at any time, is drawing attention to the engineering of self-adaptive software. The objective of our work is to define a process and a tool-supported design framework to develop self-adaptive systems, which consider Belief-Desire-Intention agent models as reference architectures. We adopt an agent-oriented approach, which allows to explicitly model system goals in requirements specification and in the system architecture design. Moreover, goal achievement conditions are specified along with their relationships with the environment and with possible failures, and corresponding recovery actions. This paper aims at motivating and giving an overview of our approach with the help of an example.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"1154 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122770812","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}
引用次数: 127
An approach to adapt service requests to actual service interfaces 一种使服务请求适应实际服务接口的方法
Luca Cavallaro, E. D. Nitto
{"title":"An approach to adapt service requests to actual service interfaces","authors":"Luca Cavallaro, E. D. Nitto","doi":"10.1145/1370018.1370041","DOIUrl":"https://doi.org/10.1145/1370018.1370041","url":null,"abstract":"Research about service oriented architectures produced, in the last years, some frameworks that enable the development of self-adaptive service compositions supporting dynamic binding. A developer can specify, at design time, an abstract service. At run time a concrete implementation of the abstract service is dynamically selected. In this scenario service selection is usually performed assuming that all the implementations of an abstract service have the same interface or protocol. This assumption is not necessarily true in an open world setting, where services built by different organizations are made available. In this paper we address the problem of invoking services having an interface or protocol different from those originally expected by the service requester. We have identified a number of possible mismatches between services and some basic mapping functions that can be used to solve simple mismatches. Such mapping functions can be combined in a script to solve complex mismatches. Scripts can be executed by a mediator that receives an operation request, parses it, and eventually performs the needed adaptations. The definition of the scripts can be partially automated.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121546397","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}
引用次数: 52
Automating discovery of software tuning parameters 自动发现软件调优参数
Nevon Brake, J. Cordy, Elizabeth Dancy, Marin Litoiu, Valentina Popescu
{"title":"Automating discovery of software tuning parameters","authors":"Nevon Brake, J. Cordy, Elizabeth Dancy, Marin Litoiu, Valentina Popescu","doi":"10.1145/1370018.1370031","DOIUrl":"https://doi.org/10.1145/1370018.1370031","url":null,"abstract":"Software Tuning Panels for Autonomic Control (STAC) is a project to assist in the integration of existing software into autonomic frameworks. It works by identifying tuning parameters and rearchitecting to expose them as a separate control panel module. The project poses three distinct research challenges: automating the identification of tuning parameters, rearchitecting to centralize and expose them, and combining these two capabilities to facilitate the integration of existing software into autonomic frameworks. Our previous work focused on the second problem, automating the rearchitecture to expose and isolate tuning parameters. In this paper we concentrate on the first problem, automating the identification of tuning parameters. We begin with an empirical study of documented tuning parameters in a number of open source applications. From our observations of these known tuning parameters, we create a catalogue of different kinds and organize them into a taxonomy. Finally, we characterize a member of the taxonomy as a source code pattern that is used to find similar tuning parameters. We report our experience in applying this methodology in the context of a large, open source Java system.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129832915","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
Monitoring in adaptive systems using reflection 在自适应系统中使用反射进行监控
D. Dawson, R. Desmarais, H. Kienle, H. Müller
{"title":"Monitoring in adaptive systems using reflection","authors":"D. Dawson, R. Desmarais, H. Kienle, H. Müller","doi":"10.1145/1370018.1370033","DOIUrl":"https://doi.org/10.1145/1370018.1370033","url":null,"abstract":"Continuous evolution is a key trait of software-intensive systems. Many research projects investigate mechanisms to adapt software systems effectively in order to ease evolution. By observing its internal state and surrounding context continuously using feedback loops, an adaptive system is able to analyze its effectiveness by evaluating quality criteria and then self-tune to improve its operations. The goals of these feedback loops range from keeping single variables in a prescribed range to satisfying non-functional requirements by regulating decentralized, interdependent subsystems.\u0000 To be able to observe and possibly orchestrate continuous evolution of software systems in a complex and changing environment, we need to push monitoring of evolving systems to unprecedented levels. It has been established that security has to be built into a system from the ground up and cannot be added as an afterthought - the same is probably true for intensive monitoring. We propose to monitor adaptive systems with autonomic elements to enhance their assessment capabilities. In this paper, we discuss how to build monitoring into Java programs from the ground up with reflection technology to detect normal and exceptional system behavior.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128017919","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
Self-healing by means of automatic workarounds 通过自动解决方法进行自我修复
Antonio Carzaniga, Alessandra Gorla, M. Pezzè
{"title":"Self-healing by means of automatic workarounds","authors":"Antonio Carzaniga, Alessandra Gorla, M. Pezzè","doi":"10.1145/1370018.1370023","DOIUrl":"https://doi.org/10.1145/1370018.1370023","url":null,"abstract":"We propose to use automatic workarounds to achieve self-healing in software systems. We observe that software systems of significant complexity, especially those made of components, are often redundant, in the sense that the same functionality and the same state-transition can be obtained through multiple sequences of operations. This redundancy is the basis to construct effective workarounds for component failures. In particular, we assume that failures can be detected and intercepted together with a trace of the operations that lead to the failure. Given the failing sequence, the system autonomically executes one or more alternative sequences that are known to have an equivalent behavior. We argue that such workarounds can be derived with reasonable effort from many forms of specifications, that they can be effectively prioritized either statically or dynamically, and that they can be deployed at run time in a completely automated way, and therefore that they amount to a valid self-healing mechanism. We develop this notion of self-healing by detailing a method to represent, derive, and deploy workarounds. We validate our method in two case studies.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124369618","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}
引用次数: 34
Modeling collaborations with dynamic structural adaptation in mechatronic UML 在机电UML中使用动态结构适应进行建模协作
M. Hirsch, Stefan Henkler, H. Giese
{"title":"Modeling collaborations with dynamic structural adaptation in mechatronic UML","authors":"M. Hirsch, Stefan Henkler, H. Giese","doi":"10.1145/1370018.1370026","DOIUrl":"https://doi.org/10.1145/1370018.1370026","url":null,"abstract":"The next generation of advanced mechatronic systems is expected to behave more intelligently than today's systems. These systems are expected to enhance their functionality and improve their performance by building communities of autonomous agents which exploit local and global networking. Such mechatronic systems will therefore include complex coordination protocols which require execution in real-time and reconfiguration of the locally employed control algorithms at runtime to adjust their behavior to the changing system goals leading to self-adaptation. In this paper we will present an extension of the MECHATRONIC UML approach which will enable us to model collaborations between components which include structural adaptation and multi-ports. Besides the modeling of complex collaborations and the rules to join and leave these collaborations via ports and multi-ports, we propose to employ hierarchical state machines with a dynamic number of submachines to model the behavior of the multi-ports. For the collaborations this involves the related protocols, while for the components we have to refine this behavior to ensure a proper synchronization with other parts of the component behavior.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126848860","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
Towards specification, modelling and analysis of fault tolerance in self managed systems 对自管理系统中容错的规范、建模和分析
J. Magee, T. Maibaum
{"title":"Towards specification, modelling and analysis of fault tolerance in self managed systems","authors":"J. Magee, T. Maibaum","doi":"10.1145/1137677.1137684","DOIUrl":"https://doi.org/10.1145/1137677.1137684","url":null,"abstract":"In this paper we describe initial ideas about modeling and analyzing fault tolerance mechanisms in self managed/self healing systems. Specifications are component based, with coordination mechanisms for building systems from components. A modal action logic is augmented with deontic operators to describe normal vs abnormal behaviours. Fault tolerance mechanisms can be specified in terms of the kind of abnormality encountered and the desired recovery route. Abstract programming models can be systematically constructed from the specifications in LTSA, a finite state, process algebra based modeling tool. LTSA then enables us to check that various properties do or do not hold for the specified fault tolerance mechanisms.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126321095","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}
引用次数: 37
A general architecture for self-adaptive AmI components applied in speech recognition 一种用于语音识别的自适应AmI组件的通用体系结构
Holger Klus, A. Rausch
{"title":"A general architecture for self-adaptive AmI components applied in speech recognition","authors":"Holger Klus, A. Rausch","doi":"10.1145/1137677.1137692","DOIUrl":"https://doi.org/10.1145/1137677.1137692","url":null,"abstract":"Ambient Intelligence (AmI) is a new technological paradigm which aims at improving everyday life. The vision of Ambient Intelligence is to augment almost every artifact with some kind of intelligence and communication ability and thus to provide an intelligent environment which is able to make life easier in an ambient way. Several aspects play an important role in order to realize such systems. One aspect is that components within such a system have to react in an intelligent manner on its environment in order to provide a reasonable contribution. Self-adaptive components can accomplish this challenge. In this paper we will present a general architecture for self-adaptive systems which can be used to implement and structure these kinds of components. Subsequently we will apply this general architecture to implement a self-adaptive AmI-component in the form of a self-adaptive speech recognition system. This system has already been integrated into an AmI scenario called \"Assisted Bicycle Team Training\" which will be outlined in this paper, too.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133148249","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}
引用次数: 2
Goal-oriented specification of adaptation requirements engineering in adaptive systems 自适应系统中适应需求工程的目标导向规范
Greg Brown, B. Cheng, H. Goldsby, Ji Zhang
{"title":"Goal-oriented specification of adaptation requirements engineering in adaptive systems","authors":"Greg Brown, B. Cheng, H. Goldsby, Ji Zhang","doi":"10.1145/1137677.1137682","DOIUrl":"https://doi.org/10.1145/1137677.1137682","url":null,"abstract":"Adaptive software is being used increasingly frequently by various users, such as the medical community, software industry, and in response to terror attacks. Therefore, understanding the requirements of an adaptive system is crucial to developing them correctly. Developers need to be able to reason about the requirements of a system's adaptive behavior. Adaptation semantics are intended to describe how systems behave during adaptation. Previously, Zhang and Cheng formally specified three commonly occurring adaptation semantics in terms of Adapt operator-extended LTL (A-LTL). This paper presents goal-oriented specifications of these three adaptation semantics. These specifications, specified with the KAOS methodology, provide a graphical wrapper to the formal A-LTL specifications of the semantics. The combination of the goal-oriented, graphical KAOS specifications and A-LTL specifications provides the benefits of formal specifications as well as the benefits of an easier to understand, graphical, and more intuitive presentation of adaptive systems requirements. This work also provides a means to incorporate the adaptation semantics into the goal-oriented requirements specifications of an adaptive system.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"208 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121919477","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}
引用次数: 52
MADAM: towards a flexible planning-based middleware 迈向一个灵活的基于计划的中间件
M. Alia, F. Eliassen, Svein O. Hallsteinsen, Erlend Stav
{"title":"MADAM: towards a flexible planning-based middleware","authors":"M. Alia, F. Eliassen, Svein O. Hallsteinsen, Erlend Stav","doi":"10.1145/1137677.1137699","DOIUrl":"https://doi.org/10.1145/1137677.1137699","url":null,"abstract":"By exploiting software components, component frameworks and architectural reflection, the European IST project MADAM aims to overcome the complexity of developing mobile context-aware adaptive systems. The MADAM middleware defines a domain and platform-independent flexible reference architecture that supports dynamic reconfiguration of both applications and the middleware itself. Furthermore it implements flexible context monitoring, adaptation planning and dynamic reconfiguration frameworks that embodies much of the complex logic of dynamic adaptation.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"129-130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130603258","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
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学术文献互助群
群 号:481959085
Book学术官方微信