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

Architecture-based self-adaptation in the presence of multiple objectives 在存在多个目标的情况下，基于架构的自适应

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137679

S. Cheng, D. Garlan, B. Schmerl

引用次数: 220

SMDS: a top-down approach to self-management for dynamic collaboration systems SMDS:动态协作系统的自顶向下自我管理方法

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137689

J. V. Veelen

引用次数: 3

Model-driven development of self-adaptive applications for mobile devices: (research summary) 移动设备自适应应用的模型驱动开发:(研究总结)

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137698

K. Geihs, R. Reichle, Mohammad Ullah Khan, Arnor Solberg, Svein O. Hallsteinsen

引用次数: 4

A resource model for adaptable applications 可适应应用程序的资源模型

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137680

F. Mancinelli, P. Inverardi

引用次数: 14

Optimizing a rule engine using adaptive programming techniques 使用自适应编程技术优化规则引擎

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137697

Changhai Ke

引用次数: 0

Experience and prospects for various control strategies for self-replicating multi-agent systems 自复制多智能体系统各种控制策略的经验与展望

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137685

Jean-Pierre Briot, Z. Guessoum, S. Aknine, A. Almeida, J. Malenfant, O. Marin, Pierre Sens, Noura Faci, M. Gatti, C. Lucena

{"title":"Experience and prospects for various control strategies for self-replicating multi-agent systems","authors":"Jean-Pierre Briot, Z. Guessoum, S. Aknine, A. Almeida, J. Malenfant, O. Marin, Pierre Sens, Noura Faci, M. Gatti, C. Lucena","doi":"10.1145/1137677.1137685","DOIUrl":"https://doi.org/10.1145/1137677.1137685","url":null,"abstract":"Distributed cooperative applications (e.g.,e-commerce) are now increasingly being designed as a set of autonomous entities, named agents, which interact and coordinate(thus named a multi-agent system). Such applications are often very dynamic: new agents can join or leave, they can change roles, strategies, etc. This high dynamicity creates new challenges to the traditional approaches of fault-tolerance. As relative importance of agents may evolve during the course of computation and problem solving,we need to dynamically and automatically identify the most critical agents and to adapt their replication strategies (e.g., active or passive, number of replicas), in order to maximize their reliability and their availability. One important issue is then: what kind of information could be used to estimate which agents are most critical agents? In this paper, we will first introduce our prototype architecture for adaptive replication. Then, we will discuss various kinds of information and strategies to estimate criticality of agents: static dependences, dynamic dependences, roles, norms, and plans. Some preliminary measurements and future directions will also be presented.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"15 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":"132618040","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

Architectural reconfiguration using coordinated atomic actions 使用协调的原子动作进行架构重构

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137686

R. Lemos

引用次数: 6

SHAGE: a framework for self-managed robot software SHAGE:一个自我管理的机器人软件框架

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137693

Dongsun Kim, S. Park, Youngkyun Jin, Hyeongsoo Chang, Yu-Sik Park, In-Young Ko, Kwanwoo Lee, Junhee Lee, Yeonchool Park, Sukhan Lee

{"title":"SHAGE: a framework for self-managed robot software","authors":"Dongsun Kim, S. Park, Youngkyun Jin, Hyeongsoo Chang, Yu-Sik Park, In-Young Ko, Kwanwoo Lee, Junhee Lee, Yeonchool Park, Sukhan Lee","doi":"10.1145/1137677.1137693","DOIUrl":"https://doi.org/10.1145/1137677.1137693","url":null,"abstract":"Behavioral, situational and environmental changes in complex software, such as robot software, cannot be completely captured in software design. To handle this dynamism, self-managed software enables its services dynamically adapted to various situations by reconfiguring its software architecture during run-time. We have developed a practical framework, called SHAGE (Self-Healing, Adaptive, and Growing SoftwarE), to support self-managed software for intelligent service robots. The SHAGE framework is composed of six main elements: a situation monitor to identify internal and external conditions of a software system, ontology-based models to describe architecture and components, brokers to find appropriate architectural reconfiguration patterns and components for a situation, a reconfigurator to actually change the architecture based on the selected reconfiguration pattern and components, a decision maker/learner to find the optimal solution of reconfiguring software architecture for a situation, and repositories to effectively manage and share architectural reconfiguration patterns, components, and problem solving strategies. We conducted an experiment of applying the framework to an infotainment robot. The result of the experiment shows the practicality and usefulness of the framework for the intelligent service robots.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"138 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":"121393980","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

Components in an adaptive and QoS-based architecture 自适应和基于qos的体系结构中的组件

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137690

C. Raibulet, F. Fontana, S. Mussino, M. Riva, F. Tisato, Luigi Ubezio

引用次数: 15

Verifying the adaptation behavior of embedded systems 验证嵌入式系统的自适应行为

International Symposium on Software Engineering for Adaptive and Self-Managing Systems Pub Date : 2006-05-21 DOI: 10.1145/1137677.1137681

K. Schneider, T. Schüle, M. Trapp

{"title":"Verifying the adaptation behavior of embedded systems","authors":"K. Schneider, T. Schüle, M. Trapp","doi":"10.1145/1137677.1137681","DOIUrl":"https://doi.org/10.1145/1137677.1137681","url":null,"abstract":"Many complex embedded systems dynamically adapt their components, services, algorithms, and parameters to the environment. This leads to new classes of design errors, since adaptation has become an increasingly complex part of the systems' behavior. In particular, as adaptations often continuously trigger further adaptations in other components, inconsistent and unstable configurations may be reached. Formal verification, which is routinely applied in safety-critical applications, must therefore consider not only temporal and functional properties of a system, but also its ability to dynamically adapt itself according to external and internal stimuli.In this paper, we describe how the adaptation behavior of embedded systems can be modeled, specified, and verified at design time. The systems are thereby given at a high level of abstraction, where adaptation is triggered by the quality of data values. This allows to extract the relevant information in a form that can be directly used for verification. Moreover, we demonstrate how state-of-the-art model checkers can be used to formally reason about the resulting system description.","PeriodicalId":168314,"journal":{"name":"International Symposium on Software Engineering for Adaptive and Self-Managing Systems","volume":"18 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":"123295416","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}

引用次数: 41