共查询到20条相似文献，搜索用时 0 毫秒
1.
J. Floch C. Frà R. Fricke K. Geihs M. Wagner J. Lorenzo E. Soladana S. Mehlhase N. Paspallis H. Rahnama P.A. Ruiz U. Scholz 《Software》2013,43(3):359-388
Although the idea of context‐awareness was introduced almost two decades ago, few mobile software applications are available today that can sense and adapt to their run‐time environment. The development of context‐aware and self‐adaptive applications is complex and few developers have experience in this area. On the basis of several demonstrators built by the joint European research project MUSIC, this paper describes typical context and adaptation features relevant for the development of context‐aware and self‐adaptive mobile applications. We explain how the demonstrators were realised using the open‐source platform MUSIC and present the feedback of the developers of these demonstrators. The main contribution of this paper is to show how the development complexity of context‐aware and self‐adaptive mobile applications can be mastered by using an adaptation framework such as MUSIC. Copyright © 2012 John Wiley & Sons, Ltd. 相似文献
2.
依据goalscenario coupling方法提出了一种基于概念属性的结构化目标描述与识别方法。根据上述方法获得的目标模型,在Le Metayer提出的基于图形语法的体系结构建模理论和原则基础之上,提出了一种新的、目标驱动的软件体系结构建模方法。 相似文献
3.
Glenn R. Luecke James Coyle Jim Hoekstra Marina Kraeva Ying Li Olga Taborskaia Yanmei Wang 《Concurrency and Computation》2006,18(15):1885-1907
This paper evaluates the ability of a variety of commercial and non‐commercial software products to detect serial run‐time errors in C and C++ programs, to issue meaningful messages, and to give the line in the source code where the error occurred. The commercial products Insure++ and Purify performed the best of all the software products we evaluated. Error messages were usually better and clearer when using Insure++ than when using Purify. Our evaluation shows that the overall capability of detecting run‐time errors of non‐commercial products is significantly lower than the quality of both Purify and Insure++. Of all non‐commercial products evaluated, Mpatrol provided the best overall capability to detect run‐time errors in C and C++ programs. Copyright © 2006 John Wiley & Sons, Ltd. 相似文献
4.
To allow efficient and user‐friendly development of a component‐based application, component systems have to provide a rather complex development infrastructure, including a tool for component composition, component repository, and a run‐time infrastructure. In this paper, we present and evaluate benefits of using meta‐modeling during the process of defining a component system and also during creation of the development and run‐time infrastructures. Most of the presented arguments are based on a broad practical experience with designing the component systems SOFA and SOFA 2; the former designed in a classical ad hoc ‘manual’ way, whereas the latter with the help of meta‐modeling. Copyright © 2010 John Wiley & Sons, Ltd. 相似文献
5.
To operate autonomously in complex environments, an agent must monitor its environment and determine how to respond to new situations. To be considered intelligent, an agent should select actions in pursuit of its goals, and adapt accordingly when its goals need revision. However, most agents assume that their goals are given to them; they cannot recognize when their goals should change. Thus, they have difficulty coping with the complex environments of strategy simulations that are continuous, partially observable, dynamic, and open with respect to new objects. To increase intelligent agent autonomy, we are investigating a conceptual model for goal reasoning called Goal‐Driven Autonomy (GDA), which allows agents to generate and reason about their goals in response to environment changes. Our hypothesis is that GDA enables an agent to respond more effectively to unexpected events in complex environments. We instantiate the GDA model in ARTUE (A utonomous R esponse t o U nexpected E vents), a domain‐independent autonomous agent. We evaluate ARTUE on scenarios from two complex strategy simulations, and report on its comparative benefits and limitations. By employing goal reasoning, ARTUE outperforms an off‐line planner and a discrepancy‐based replanner on scenarios requiring reasoning about unobserved objects and facts and on scenarios presenting opportunities outside the scope of its current mission. 相似文献
6.
K. Geihs P. Barone F. Eliassen J. Floch R. Fricke E. Gjorven S. Hallsteinsen G. Horn M. U. Khan A. Mamelli G. A. Papadopoulos N. Paspallis R. Reichle E. Stav 《Software》2009,39(4):385-422
Driven by the emergence of mobile and pervasive computing there is a growing demand for context‐aware software systems that can dynamically adapt to their run‐time environment. We present the results of project MADAM that has delivered a comprehensive solution for the development and operation of context‐aware, self‐adaptive applications. The main contributions of MADAM are (a) a sophisticated middleware that supports the dynamic adaptation of component‐based applications, and (b) an innovative model‐driven development methodology that is based on abstract adaptation models and corresponding model‐to‐code transformations. MADAM has demonstrated the viability of a general, integrated approach to application‐level adaptation. We discuss our experiences with two real‐world case studies that were built using the MADAM approach. Copyright © 2008 John Wiley & Sons, Ltd. 相似文献
7.
Building tailored software systems for a particular application domain is a complex task. For this reason, domain‐specific languages (DSLs) receive a constantly growing attention in recent years. So far the main focus of DSL research is on case studies and experience reports for the development of individual DSLs, design approaches and implementation techniques for DSLs, and the integration of DSLs with other software development approaches on a technical level. In this paper, we identify and describe the different activities that we conduct when engineering a DSL, and describe how these activities can be combined in order to define a tailored DSL engineering process. Our research results are based on the experiences we gained from multiple different DSL development projects and prototyping experiments. Copyright © 2009 John Wiley & Sons, Ltd. 相似文献
8.
A computer‐simulated software training system (CSSTS) delivers a specific form of computer‐based training in which participants are allowed to select various training features within a simulated software environment. Given the growing use of these systems as end‐user training (EUT) aids, there is a need for greater understanding of how participants use these systems, as well as whether participant‐controlled learning environments are truly effective. The present research examines how a particular learner characteristic, software self‐efficacy, drives appropriation in a high learner control, CSSTS environment. Contrary to notions in the literature, results from spreadsheet and database software training courses reveal that pre‐training specific software self‐efficacy constitutes a significant, negative predictor of faithful appropriations of the CSSTS. This research also establishes a positive relationship between faithful appropriation and increases in software self‐efficacy (SSE). In essence, faithful appropriations lead to greater increases in SSE, which influences software skills performance. In addition, the research validates prior EUT research by extending prior findings to a database training environment. A psychometrically sound measure is put forth to capture database self‐efficacy. 相似文献
9.
José Manuel Gascueña Elena Navarro Antonio Fernández‐Caballero Rafael Martínez‐Tomás 《Expert Systems》2014,31(3):199-212
VigilAgent is a methodology for the development of agent‐oriented monitoring applications that uses agents as the key abstraction elements of the involved models. It has not been developed from scratch, but it reuses fragments from Prometheus and INGENIAS methodologies for modelling tasks and the ICARO framework for implementation purposes. As VigilAgent intends to automate as much as possible the development process, it exploits. Model transformation techniques are one of the key aspects of the model‐driven development approach. A model‐to‐model transformation is used to facilitate the interoperability between Prometheus and INGENIAS methodologies. Also, a model‐to‐text transformation is performed to generate ICARO code from the INGENIAS model. A case study based on access control is used to illustrate the fundamentals of the model‐to‐model and model‐to‐text transformations implemented in VigilAgent. 相似文献
10.
11.
12.
Na Lin Ronghu Chi Biao Huang Chiang‐Ju Chien Yuanjing Feng 《Asian journal of control》2018,20(3):1135-1144
This work proposes a new adaptive terminal iterative learning control approach based on the extended concept of high‐order internal model, or E‐HOIM‐ATILC, for a nonlinear non‐affine discrete‐time system. The objective is to make the system state or output at the endpoint of each operation track a desired target value. The target value varies from one iteration to another. Before proceeding to the data‐driven design of the proposed approach, an iterative dynamical linearization is performed for the unknown nonlinear systems by using the gradient of the nonlinear system with regard to the control input as the iteration‐and‐time‐varying parameter vector of the equivalent linear I/O data model. By virtue of the basic idea of the internal model, the inverse of the parameter vector is approximated by a high‐order internal model. The proposed E‐HOIM‐ATILC does not use measurements of any intermediate points except for the control input and terminal output at the endpoint. Moreover, it is data‐driven and needs merely the terminal I/O measurements. By incorporating additional control knowledge from the known portion of the high order internal model into the learning control law, the control performance of the proposed E‐HOIM‐ATILC is improved. The convergence is shown by rigorous mathematical proof. Simulations through both a batch reactor and a coupled tank system demonstrate the effectiveness of the proposed method. 相似文献
13.
《Concurrency and Computation》2017,29(1)
The need for high‐performance computing together with the increasing trend from single processor to parallel computer architectures has leveraged the adoption of parallel computing. To benefit from parallel computing power, usually parallel algorithms are defined that can be mapped and executed on parallel computing platforms. In general, different alternative mappings can be defined each with different performance. For small computing platforms with a limited number of processing nodes, the mapping process can be carried out manually. However, for large‐scale parallel computing platforms in which hundreds of thousands of processing nodes are applied, the number of possible mapping alternatives increases dramatically, and the mapping process becomes intractable for the human engineer. To assist the parallel computing engineer, we provide a systematic approach to derive feasible mapping alternatives of parallel algorithms to parallel computing platforms. The approach includes activities for modeling the parallel algorithm and parallel computing platform, generation of feasible mapping alternatives, generation of the deployment code, and finally the deployment of the generated code to the nodes. We evaluate our approach for deriving feasible mapping alternatives for four well‐known parallel algorithms. The evaluation is based on both simulations and real executions of the generated mapping alternatives. Copyright © 2016 John Wiley & Sons, Ltd. 相似文献
14.
In this paper, the problem of formation control is considered for a class of unknown nonaffine nonlinear multiagent systems under a repeatable operation environment. To achieve the formation objective, the unknown nonlinear agent's dynamic is first transformed into a compact form dynamic linearization model along the iteration axis. Then, a distributed model‐free adaptive iterative learning control scheme is designed to ensure that all agents can keep their desired deviations from the reference trajectory over the whole time interval. The main results are given for the multiagent systems with fixed communication topologies and the extension to the switching topologies case is also discussed. The feature of this design is that formation control can be solved only depending on the input/output data of each agent. An example is given to demonstrate the effectiveness of the proposed method. 相似文献
15.
16.
新型软件体系结构研究 总被引：3，自引：0，他引：3
软件体系结构的研究成果显著,已经总结和提炼了一批经典的软件体系结构风格,并得到了广泛应用。但不能有效满足和适应当前日益复杂和千变万化的需求,需要适时趣从理论上作更深入的研究和提出一些新的软件体系结构风格来支撑。本文对软件体系结构研究的新动向和新兴的体系结构风格进行了总结和比较,并就当前的研究现状给出了几点思考,指出层级理论是构建复杂软件体系的基本原则,模型比语言更具有描述大型复杂系统的优势。 相似文献
17.
Maria Carmela Annosi Alberto Monti Antonella Martini 《Creativity & Innovation Management》2020,29(3):528-545
Previous research has shown the importance of individual learning goal orientation for both job and task performance and consequently organizational performance. Despite its importance, knowledge on the antecedents of learning goal orientation remains scarce, especially in the context of self‐managing team‐based organizations. In fact, most of the research on goal orientation antecedents has been focused on individual characteristics, belief, and ability, while the contextual factors that might influence them remain unspecified. We build on and further extend earlier studies by jointly exploring the role of individual and contextual factors affecting individual learning orientation. In particular, this study combines individual informal social network, self‐efficacy, performance feedbacks, and team identification into a model that explains individuals' learning goal orientation within self‐managing team‐based organizations. The model was empirically tested on a sample of 104 individuals belonging to an R&D organization relying on self‐managing teams. Results show that performance feedback has a negative direct effect, while team identification has a positive direct effect on individual learning goal orientation. In addition, we found that individual self‐efficacy is a mediator of the relationships between performance feedback and brokerage in the advice network and individual learning goal orientation. Finally, we did not find a relationship between centrality in the friendship network and individual learning goal orientation. 相似文献
18.
Modern software systems are required to dynamically adapt to changing workloads, scenarios, and objectives and to achieve a certain Quality of Service (QoS). Guaranteeing QoS requirements is not trivial, as run‐time uncertainty might invalidate the design‐time rationale, where software components have been selected by means of off‐line analysis. In this work, we propose a QoS‐based feedback approach that makes a combined use of design‐time predictions and run‐time measurements to manage QoS data over time and support software architects while selecting software components that best fit QoS requirements. We illustrate the feasibility and efficacy of the approach on a case study, where the quantitative evaluation shows how the analysis effectively identifies the sources of QoS violations and indicates possible solutions to achieve QoS requirements. 相似文献
19.
Francesco Alonge Filippo D'Ippolito Giovanni Garraffa Antonino Sferlazza 《Asian journal of control》2019,21(4):1506-1521
The aim of this paper is the design of a hybrid nonlinear observer for mobile vehicles. The main problem is that position and velocity measurements are provided with a very low frequency, and the time between two consecutive measurements could be not constant, but it could vary randomly within a certain interval of time. For this reason the proposed observer has been contextualized in the hybrid systems framework. The convergence analysis of the estimation error has been carried out, and the sensitivity analysis has been performed in order to evaluate the bound of the estimation error when the measurements are biased and/or noisy. Simulation and experimental results, carried out on a mobile vehicle, show the feasibility of the proposed observer and the good behaviors in terms of estimation error that can be achieved. 相似文献
20.
在非结构化P2P系统中有两个根本性的问题需要研究:拓扑的自动生成和查询算法.其中前者更为重要:虽然查询算法通常是独立于拓扑结构的,但一个结构良好的拓扑会极大地改善查询算法的性能.提出一种基于层次化兴趣表达的拓扑生成模型(self adaptive community-based model,简称SACM).在这种模型里,每个节点由自身的资源整体类型倾向决定自己的兴趣(interest),并且采用树形结构来表达兴趣;然后节点由兴趣产生一个二进制序列的CID(community ID),CID将成为拓扑形成的主要依据--具有相近CID的节点能聚集成一个连通性较高的子图(社区).SACM不仅提供了生成聚类拓扑的算法,更为重要的是,它通过兴趣的定义及维护从统计上在资源和网络拓扑之间建立了联系.是否存在这种联系正是结构化P2P于非结构化P2P的本质区别. 相似文献