软件自适应若干关键技术研究
|
摘要
软件领域正在发生着一场深刻的变革,普适计算软件、超大规模软件系统、网构软件等新一代软件范型不断涌现。与传统计算机应用相比,它们表现出了环境开放、行为主动、成员异构等特点,使得软件自适应的重要性日益凸显――软件需要在运行时感知环境变化和自身状态,据此对其行为进行主动调整,以保证能够在动态开放环境下持续、高质量地提供服务。
自适应是对软件能力的一种理想期望,研究者已经从不同背景和角度对其展开了研究。然而,要构造环境开放、行为主动、成员异构的分布计算软件,现有工作仍面临巨大挑战,突出表现在:(1)开放环境下自适应软件的构造方法。开放环境下,环境的变化可能超出开发阶段的预期,这就要求软件基础设施必须与具体场景解耦,且软件的自适应能力能够按需进行灵活在线调整。(2)软件群体自适应的实现机制。新一代软件系统可能涉及到大量个体意图、管理策略等异构的结点,我们不能简单地将传统软件自适应实现手段放大到群体层面,诸如群体如何动态地形成和维护、群体内部如何协同等一系列问题有待解决。
本文从软件工程层面入手,针对上述挑战展开初步探索。本文首先提出融合个体和群体适应性的软件自适应概念模型,进而在此模型指导下,对自适应软件个体构造方法、集中决策的群体自适应机制、非集中决策的群体自适应机制等关键技术展开研究。本文工作的主要创新点包括:
(1)提出了融合个体和群体适应性的软件自适应概念模型
概念模型在指导思想层面上指明如何实现软件自适应。本文提出了名为Auxo的软件自适应概念模型,其特点是融合了个体和群体两个层次的适应性,并强调第三方在运行时对软件自适应过程的显式指导,以应对开放环境带来的挑战。
(2)提出了面向开放环境的自适应软件个体构造方法
借鉴自动控制领域的已有成果,本文提出了用于实现软件自适应的个体复合控制过程。该过程具有综合前馈和反馈控制、模型维护、策略分离、支持第三方在线重配置等特点。以此为基础,给出了由Auxo构件模型、Auxo单元框架、软件自适应能力在线调整方法及配套AuxoDL语言所组成的自适应软件个体构造方法。基于该方法构造的自适应软件可以实现环境和体系结构驱动的自适应行为,并且在环境超出开发阶段预期时,其自适应能力可以被第三方细粒度在线调整。
(3)提出了群体动态聚合和跨个体自适应动作实现机制
以集中决策的群体自适应为背景,本文提出了任务规约驱动的群体动态聚合方法及相关算法,可依据任务规约在当前计算空间中自适应地形成和维护软件群体;提出了基于代理方式实现跨个体自适应动作的方法,可以实现基于单点决策的群体自适应。
(4)提出了基于分布式约束优化的群体自适应机制和算法
通过若干具体实例,本文首先将非集中决策群体自适应建模为分布式约束优化问题,并指出这一建模方法可以获得兼顾个体自主决策和群体效果、隐私保持等收益。在此基础上,以具备低约束密度特点的问题为对象,提出了名为HEDA的分布式约束优化算法。该算法对个体的行为准则和交互协议进行设计,群体自适应表现为一种涌现效果。算法在求解低约束密度问题时具有明显性能优势,在保持多项式级别空间复杂度前提下,所需消息数目远少于同类已有算法。
上述工作最终物化为Auxo软件体系结构风格和Auxo软件框架:前者指明如何构造(及维护)具备个体和群体适应性的软件,后者为此类软件提供必要的基础设施。本文成果已在所给大量实验和以智能汽车、智能博物馆等为背景的第三方自适应应用中得到验证。
A revolution is taking place in software technology. New software paradigms, such as Pervasive Computing Software, Ultra-Large-Scale Systems (ULS) and Internetware, are being proposed one after another. In contrast with traditional computer applications, they demonstrate a set of new characteristics, including the openness of their environment, the proactivity of their behavior and the heterogeneity of their constituents. As a result, software adaptability is getting more and more important: To ensure the continuous and high-quality services in an open and dynamic environment, software has to be able to detect the environmental changes as well as its internal states and adjust its behavior accordingly.
Adaptability is an ambitious goal and many software engineering researchers have made efforts towards it from different angles and backgrounds. However, to construct distributed computing software with the above-mentioned characteristics, we still confront a set of huge challenges. The most prominent ones are: (1) The approach to construct self-adaptive software in an open environment.“Open”means that the environmental changes may exceed the expectations at the development stage. As a result, the software infrastructure should be decoupled from concrete environments, and software adaptability should be able to be flexibly adjusted at runtime. (2) The method to realize collective adaptation actions. Future software systems may involve a great quantity of nodes with heterogeneous intentions and administration policies. As a result, we cannot simply magnify traditional software adaptation mechanisms to the collective. Instead, we have to deal with a set of new issues, such as the dynamic formation of the collective and the cooperation mechanisms in the collective.
This dissertation launches the research in view of the above two challenges and mainly focuses in the software engineering field. Firstly, we propose a conceptual model for software self-adaptation which reconciles both individual and collective adaptability. And then, under the guidance of this model, we study a set of key techniques, including the approach to construct self-adaptive software individuals, the centralized decision-based adaptation mechanisms in a collective and the decentralized adaptation mechanisms in a collective. The main contributions of this dissertation are as follows:
(1) A conceptual model for software self-adaptation that reconciles both individual and collective adaptability.
The conceptual model for software self-adaptation specifies the way to realize adaptation with regard to the guiding ideology. This dissertation propose such a model named Auxo, which reconciles both individual and collective adaptability, and lays emphasize on allowing a third-party to guide the self-adaptation process at runtime to address the challenges posed by the environment openness.
(2) An approach to construct self-adaptive software individuals in open environments.
Inspired by the achievements in the Automatic Control Theory, we propose a compound control process for the self-adaptive software individuals being characterized by the combination of feed-forward and feedback control, the maintenance of meta-level models, the separation of policies, and the support of third-party reconfiguration, etc. To reify this process, we propose an engineering approach for the construction of self-adaptive software, which is made up of four parts: the Auxo component model, the Auxo Unit framework, the method to adjust adaptability at runtime and a dedicated language named AuxoDL. With this approach, we can built software individuals with the adaptability to its external environment and its internal architecture, and the adaptability can be adjusted with fine granularity at runtime.
(3) Approaches to realize collective aggregation and cross-individual adaptation.
Taking collective adaptation based on centralized decision as the background, we propose an approach to realize collective aggregation and its key algorithm. As a result, software collective can be dynamically and adaptively formed and maintained in the current computing space based on a predefined task specification. Besides, we propose a method to realize cross-individual and centralized decision-based adaptation actions based on the proxy mechanism.
(4) Mechanisms to realize decentralized adaptation through Distributed Constraint Optimization.
Firstly, we model several instances of decentralized adaptation as Distributed Constraint Optimization Problems (DCOPs), and conclude that this modeling method can gain the benefit of reconciling individual’s autonomy and collective’s preference as well as keeping the individual’s privacy. And then, aims at DCOPs with low constraint density, we propose a dedicated distributed constraint optimization algorithm nmaed HEDA. This algorithm specifies the behavior rules of individuals and the interacting protocols among them. As a result, the adaptation is emerged at the collective level. In contrast with existing algorithms, it can solve problems with low constraint density by less messages while still keeping polynomial space complexity.
Those above research works are materialized as Auxo software architecture style and Auxo software framework: the former specifies how to construct software with individual and collective adaptability, and the latter provides an infrastructure for this kind of software. Those achievements have been validated by a lot of experiments as well as third-party self-adaptive applications which is set in the smart car and the smart museum.
自适应是对软件能力的一种理想期望,研究者已经从不同背景和角度对其展开了研究。然而,要构造环境开放、行为主动、成员异构的分布计算软件,现有工作仍面临巨大挑战,突出表现在:(1)开放环境下自适应软件的构造方法。开放环境下,环境的变化可能超出开发阶段的预期,这就要求软件基础设施必须与具体场景解耦,且软件的自适应能力能够按需进行灵活在线调整。(2)软件群体自适应的实现机制。新一代软件系统可能涉及到大量个体意图、管理策略等异构的结点,我们不能简单地将传统软件自适应实现手段放大到群体层面,诸如群体如何动态地形成和维护、群体内部如何协同等一系列问题有待解决。
本文从软件工程层面入手,针对上述挑战展开初步探索。本文首先提出融合个体和群体适应性的软件自适应概念模型,进而在此模型指导下,对自适应软件个体构造方法、集中决策的群体自适应机制、非集中决策的群体自适应机制等关键技术展开研究。本文工作的主要创新点包括:
(1)提出了融合个体和群体适应性的软件自适应概念模型
概念模型在指导思想层面上指明如何实现软件自适应。本文提出了名为Auxo的软件自适应概念模型,其特点是融合了个体和群体两个层次的适应性,并强调第三方在运行时对软件自适应过程的显式指导,以应对开放环境带来的挑战。
(2)提出了面向开放环境的自适应软件个体构造方法
借鉴自动控制领域的已有成果,本文提出了用于实现软件自适应的个体复合控制过程。该过程具有综合前馈和反馈控制、模型维护、策略分离、支持第三方在线重配置等特点。以此为基础,给出了由Auxo构件模型、Auxo单元框架、软件自适应能力在线调整方法及配套AuxoDL语言所组成的自适应软件个体构造方法。基于该方法构造的自适应软件可以实现环境和体系结构驱动的自适应行为,并且在环境超出开发阶段预期时,其自适应能力可以被第三方细粒度在线调整。
(3)提出了群体动态聚合和跨个体自适应动作实现机制
以集中决策的群体自适应为背景,本文提出了任务规约驱动的群体动态聚合方法及相关算法,可依据任务规约在当前计算空间中自适应地形成和维护软件群体;提出了基于代理方式实现跨个体自适应动作的方法,可以实现基于单点决策的群体自适应。
(4)提出了基于分布式约束优化的群体自适应机制和算法
通过若干具体实例,本文首先将非集中决策群体自适应建模为分布式约束优化问题,并指出这一建模方法可以获得兼顾个体自主决策和群体效果、隐私保持等收益。在此基础上,以具备低约束密度特点的问题为对象,提出了名为HEDA的分布式约束优化算法。该算法对个体的行为准则和交互协议进行设计,群体自适应表现为一种涌现效果。算法在求解低约束密度问题时具有明显性能优势,在保持多项式级别空间复杂度前提下,所需消息数目远少于同类已有算法。
上述工作最终物化为Auxo软件体系结构风格和Auxo软件框架:前者指明如何构造(及维护)具备个体和群体适应性的软件,后者为此类软件提供必要的基础设施。本文成果已在所给大量实验和以智能汽车、智能博物馆等为背景的第三方自适应应用中得到验证。
A revolution is taking place in software technology. New software paradigms, such as Pervasive Computing Software, Ultra-Large-Scale Systems (ULS) and Internetware, are being proposed one after another. In contrast with traditional computer applications, they demonstrate a set of new characteristics, including the openness of their environment, the proactivity of their behavior and the heterogeneity of their constituents. As a result, software adaptability is getting more and more important: To ensure the continuous and high-quality services in an open and dynamic environment, software has to be able to detect the environmental changes as well as its internal states and adjust its behavior accordingly.
Adaptability is an ambitious goal and many software engineering researchers have made efforts towards it from different angles and backgrounds. However, to construct distributed computing software with the above-mentioned characteristics, we still confront a set of huge challenges. The most prominent ones are: (1) The approach to construct self-adaptive software in an open environment.“Open”means that the environmental changes may exceed the expectations at the development stage. As a result, the software infrastructure should be decoupled from concrete environments, and software adaptability should be able to be flexibly adjusted at runtime. (2) The method to realize collective adaptation actions. Future software systems may involve a great quantity of nodes with heterogeneous intentions and administration policies. As a result, we cannot simply magnify traditional software adaptation mechanisms to the collective. Instead, we have to deal with a set of new issues, such as the dynamic formation of the collective and the cooperation mechanisms in the collective.
This dissertation launches the research in view of the above two challenges and mainly focuses in the software engineering field. Firstly, we propose a conceptual model for software self-adaptation which reconciles both individual and collective adaptability. And then, under the guidance of this model, we study a set of key techniques, including the approach to construct self-adaptive software individuals, the centralized decision-based adaptation mechanisms in a collective and the decentralized adaptation mechanisms in a collective. The main contributions of this dissertation are as follows:
(1) A conceptual model for software self-adaptation that reconciles both individual and collective adaptability.
The conceptual model for software self-adaptation specifies the way to realize adaptation with regard to the guiding ideology. This dissertation propose such a model named Auxo, which reconciles both individual and collective adaptability, and lays emphasize on allowing a third-party to guide the self-adaptation process at runtime to address the challenges posed by the environment openness.
(2) An approach to construct self-adaptive software individuals in open environments.
Inspired by the achievements in the Automatic Control Theory, we propose a compound control process for the self-adaptive software individuals being characterized by the combination of feed-forward and feedback control, the maintenance of meta-level models, the separation of policies, and the support of third-party reconfiguration, etc. To reify this process, we propose an engineering approach for the construction of self-adaptive software, which is made up of four parts: the Auxo component model, the Auxo Unit framework, the method to adjust adaptability at runtime and a dedicated language named AuxoDL. With this approach, we can built software individuals with the adaptability to its external environment and its internal architecture, and the adaptability can be adjusted with fine granularity at runtime.
(3) Approaches to realize collective aggregation and cross-individual adaptation.
Taking collective adaptation based on centralized decision as the background, we propose an approach to realize collective aggregation and its key algorithm. As a result, software collective can be dynamically and adaptively formed and maintained in the current computing space based on a predefined task specification. Besides, we propose a method to realize cross-individual and centralized decision-based adaptation actions based on the proxy mechanism.
(4) Mechanisms to realize decentralized adaptation through Distributed Constraint Optimization.
Firstly, we model several instances of decentralized adaptation as Distributed Constraint Optimization Problems (DCOPs), and conclude that this modeling method can gain the benefit of reconciling individual’s autonomy and collective’s preference as well as keeping the individual’s privacy. And then, aims at DCOPs with low constraint density, we propose a dedicated distributed constraint optimization algorithm nmaed HEDA. This algorithm specifies the behavior rules of individuals and the interacting protocols among them. As a result, the adaptation is emerged at the collective level. In contrast with existing algorithms, it can solve problems with low constraint density by less messages while still keeping polynomial space complexity.
Those above research works are materialized as Auxo software architecture style and Auxo software framework: the former specifies how to construct software with individual and collective adaptability, and the latter provides an infrastructure for this kind of software. Those achievements have been validated by a lot of experiments as well as third-party self-adaptive applications which is set in the smart car and the smart museum.
引文
[1] Isaacs A, Daintith J, Martin E. Oxford Dictionary of Science[M]. Oxford: Oxford University Press, 1999.
[2] Flake G W. The Computational Beauty of Nature[M]. Cambridge MA: MIT Press, 2000.
[3] Laddaga R. Self-Adaptive Software [R]. DARPA, 1997.
[4] Oreizy P, Gorlick M M, Taylor R N, Heimbigner D, Johnson G, Medvidovic N, Quilici A, Rosenblum D S, Wolf A L. An Architecture-Based Approach to Self-Adaptive Software[J]. IEEE Intelligent Systems, 1999, 14(3): 54-62.
[5] Chen W K, Hiltunen M A, Schlichting R D. Constructing Adaptive Software in Distributed Systems[C]. Proceedings of International Conference on Distributed Computing Systems , 2001: 635-643.
[6] Salehie M, Tahvildari L. Self-Adaptive Software: Landscape and Research Challenges [J]. ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (2): 1-42.
[7] Weyns D, Schumacher M, Ricci A, Viroli M, Holvoet T. Environments in Multiagent Systems[J]. The Knowledge Engineering Review, 2006, 20(02): 127-141.
[8] Schilit B, Adams N, Want R. Context-Aware Computing Applications[C]. Proceedings of Workshop on Mobile Computing Systems and Applications, 1994: 85-90.
[9] Wikipedia. Distributed Computing[Z]. http://en.wikipedia.org/wiki/ Distributed_computing , 2010.
[10] Northrop L, Feiler P H, Pollak B, Pipitone D. Ultra-Large-Scale Systems: The Software Challenge of the Future[R]. Pittsburgh: Carnegie Mellon University, 2006.
[11] Saha D, Mukherjee A. Pervasive Computing: A Paradigm for the 21st Century[J]. IEEE Computer, 2003, 36(3): 25-31.
[12] Lee E A, Austin T X. Cyber-Physical Systems-Are Computing Foundations Adequate?[C]. Proceedings of NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, 2006.
[13]杨芙清,吕建,梅宏.网构软件技术体系:一种以体系结构为中心的途径[J].中国科学: E辑,2008,38(6):818-828.
[14]吕建,马晓星,陶先平,徐锋,胡昊.网构软件的研究与进展[J].中国科学: E辑,2006,36(10):1037-1080.
[15] IEEE. IEEE-Std-1471-2000, Recommended Practice for Architectural Description of Software-Intensive Systems[S]. 2000.
[16] Buettner D J. Designing an Optimal Software Intensive System Acquisition:A Game Theoretic Approach[D]. Los Angeles: University of Southern California, 2008.
[17] Ferguson J. Crouching Dragon, Hidden Software: Software in DoD Weapon Systems[J]. IEEE Software, 2001, 18(4): 105-107.
[18] Weiser M. Computers for the 21st Century[J]. Scientific American, 1991, 265(3): 94-105.
[19]丁博,王怀民,史殿习.普适计算中间件技术[J].计算机科学与探索,2007, 1(3):241-254.
[20] Horn P. Autonomic Computing: IBM's Perspective on the State of Information Technology[R]. IBM, 2001.
[21] Pingdom. Best and Worst US Online Banks Revealed[R]. Pingdom, 2006.
[22] Pingdom. Downtime for International Airline Websites[R]. Pingdom, 2009.
[23] Kephart J O, Chess D M. The Vision of Autonomic Computing[J]. IEEE Computer, 2003, 36(1): 41-50.
[24] Garlan D, Cheng S W, Huang A C, Schmerl B, Steenkiste P. Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure[J]. IEEE Computer, 2004, 37(10): 46-54.
[25]钱学森,于景元,戴汝为.一个科学新领域——开放的复杂巨系统及其方法论[J].科学决策与系统工程——中国系统工程学会第六次年会论文集,1990.
[26]钟秋海,付梦印.现代控制理论与应用[M].北京:机械工业出版社,1997.
[27] Wiener N. Cybernetics: or, Control and Communication in the Animal and the Machine[M]. Cambridge, MA: MIT Press, 1965.
[28] Kokar M M, Baclawski K, Eracar Y A. Control Theory-Based Foundations of Self-Controlling Software[J]. IEEE Intelligent Systems, 1999, 14(3): 37-45.
[29] Holland J H. Hidden Order: How Adaptation Builds Complexity[M]. Cambridge, MA: Perseus Books, 1995.
[30] Holland J H. Emergence: From Chaos to Order[M]. Boston, MA: Addison-Wesley, 1998.
[31]谭跃进,邓宏钟.复杂适应系统理论及其应用研究[J].系统工程,2001,19(5):33-42.
[32]陈禹.复杂适应系统(CAS)理论及其应用——由来,内容与启示[J].系统辩证学学报,2001,9(004):35-39.
[33] Smith B C. Reflections and Semantics in a Procedural Language[D]. Cambridge, MA: Massachusetts Institute of Technology, 1982.
[34] Maes P. Concepts and Experiments in Computational Reflection[J]. ACM Sigplan Notices, 1987, 22(12): 147-155.
[35] Cheng S W. Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation[D]. Pittsburgh: Carnegie Mellon University, 2008.
[36] Dowling J, Cahill V. The K-Component Architecture Meta-model forSelf-Adaptive Software[C]. Proceedings of International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, 2001: 81-88.
[37] Floch J, Hallsteinsen S, Stav E, Eliassen F, Lund K, Gjorven E. Using Architecture Models for Runtime Adaptability[J]. IEEE software, 2006, 23(2): 62-70.
[38] Ben-Shaul I, Holder O, Lavva B. Dynamic Adaptation and Deployment of Distributed Components in Hadas[J]. IEEE Transactions on Software Engineering, 2001: 769-787.
[39] Liu H, Parashar M, Hariri S. A Component-Based Programming Model for Autonomic Applications[C]. Proceedings of International Conference on Autonomic Computing, 2004: 10-17.
[40] Becker C, Handte M, Schiele G, Rothermel K. PCOM-A Component System for Pervasive Computing[C]. Proceedings of International Conference on Pervasive Computing and Communications, 2004: 67-76.
[41] Chefrour D. Developing Component Based Adaptive Applications in Mobile Environments[C]. Proceedings of ACM Symposium on Applied computing, 2005: 1146-1150.
[42] Philippe A, Jér Me L. CompAA: A Self-Adaptable Component Model for Open Systems[C]. Proceedings of International Conference and Workshop on the Engineering of Computer Based Systems, 2008: 19-25.
[43] Coulson G, Blair G, Grace P, Taiani F, Joolia A, Lee K, Ueyama J, Sivaharan T. A Generic Component Model for Building Systems Software[J]. ACM Transactions on Computer Systems, 2008, 26(1): 1-42.
[44] Roman M, Hess C K, Cerqueira R, Ranganathan A, Campbell R H, Nahrstedt K. Gaia: A Middleware Infrastructure to Enable Active Spaces[J]. IEEE Pervasive Computing, 2002, 1(4): 74-83.
[45] Mukhija A, Glinz M. Runtime Adaptation of Applications through Dynamic Recomposition of Components[C]. Proceedings of International Conference on Architecture of Computing Systems, 2005: 124-138.
[46] Zinky J A, Bakken D E, Schantz R E. Architectural Support for Quality of Service for CORBA Objects[J]. Theory and Practice of Object Systems, 1997, 3(1): 55-73.
[47] Kon F, Román M, Liu P, Mao J, Yamane T, Magalh C, Campbell R H. Monitoring, Security, and Dynamic Configuration with the DynamicTAO Reflective ORB[C]. Proceedings of Middleware Conference, 2000: 121-143.
[48] Bradbury J S, Cordy J R, Dingel J, Wermelinger M. A Survey of Self-Management in Dynamic Software Architecture Specifications[C]. Proceedings of ACM SIGSOFT Workshop on Self-managed Systems, 2004: 28-33.
[49] Gouda M G, Herman T. Adaptive Programming[J]. IEEE Transactions on Software Engineering, 1991, 17(9): 911-921.
[50]王千祥,申峻嵘,梅宏.自适应软件初探[J].计算机科学,2004,31(10): 168-172.
[51] Cheng B, de Lemos R, Giese H, Inverardi P, Magee J. Software Engineering for Self-Adaptive Systems: A Research Road Map[M]. Software Engineering for Self-Adaptive Systems, Springer, 2009: 8031: 1-26.
[52] Baresi L. Toward Open-World Software: Issue and Challenges[J]. IEEE Computer, 2006, 39(10): 36-43.
[53] Huang J C. Program Instrumentation and Software Testing[J]. IEEE Computer, 1978, 11(4): 25-32.
[54] Andersson J, de Lemos R, Malek S, Weyns D. Modeling Dimensions of Self-Adaptive Software Systems[M]. Software Engineering for Self-Adaptive Systems, 2009: 27-47.
[55] Murch R. Autonomic Computing[M]. New Jersey: IBM Press and Prentice Hall, 2004.
[56]廖备水,李石坚,姚远,高济.自主计算概念模型与实现方法[J].软件学报,2008,19(4):779-802.
[57] Keeney J. Completely Unanticipated Dynamic Adaptation of Software[D]. Dublin: University of Dublin, 2004.
[58] Mccarthy D, Dayal U. The Architecture of an Active Database Management System[J]. ACM SIGMOD Record, 1989, 18(2): 215-224.
[59] Dowling J. The Decentralised Coordination of Self-adaptive Components for Autonomic Distributed Systems[D]. Dublin: University of Dublin, 2004.
[60] Weyns D, Haesevoets R, Van Eylen B, Helleboogh A, Holvoet T, Joosen W. Endogenous versus Exogenous Self-Management[C]. Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008: 41-48.
[61] Litoiu M, Woodside M, Zheng T. Hierarchical Model-Based Autonomic Control of Software Systems[J]. ACM SIGSOFT Software Engineering Notes, 2005, 30(4): 1-7.
[62] Karsai G, Sztipanovits J. A Model-Based Approach to Self-Adaptive Software[J]. IEEE Intelligent Systems and Their Applications, 1999, 14(3): 46-53.
[63] Mckinley P K, Sadjadi S M, Kasten E P, Cheng B. Composing Adaptive Software[J]. Computer, 2004, 37(7): 56-64.
[64] IETF. RFC 2581, TCP Congestion Control[S]. 1999.
[65] Andersson J, de Lemos R, Malek S, Weyns D. Reflecting on Self-Adaptive Software Systems[C]. Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.
[66] Smith B C. Reflection and Semantics in Lisp[C]. Proceedings of ACMSIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1984: 23-35.
[67] Tisato F, Savigni A, Cazzola W, Sosio A. Architectural Reflection: Realising Software Architectures via Reflective Activities[C]. Proceedings of International Engineering Distributed Objects Workshop, 2000.
[68] Erich, Helm R, Johnson R, Vlissides J G. Design Patterns: Elements of Reusable Object-Oriented Software[M]. Boston, MA: Addison-Wesley, 1995.
[69] Ramirez A J, Cheng B. Design Patterns for Developing Dynamically Adaptive Systems[D]. East Lansing: Michigan State University, 2008.
[70] Schmidt D, Stal M, Rohnert H, Buschmann F. Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects, Volume 2[M]. New York: John Wiley & Sons, 2001.
[71] Shackleton M, Saffre F, Tateson R, Bonsma E, Roadknight C. Autonomic Computing for Pervasive ICT—A Whole-System Perspective[J]. BT Technology Journal, 2004, 22(3): 191-199.
[72] Gomaa H, Hussein M. Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures[C]. Proceedings of Working IEEE/IFIP Conference on Software Architecture, 2004: 79-88.
[73] Emmerich W. Software Engineering and Middleware: a Roadmap[C]. Proceedings of Conference on the Future of Software Engineering, 2000: 129.
[74] Fayad M, Schmidt D C. Object-Oriented Application Frameworks[J]. Communications of the ACM, 1997, 40(10): 32-38.
[75] Sadjadi S M, Mckinley P K. A Survey of Adaptive Middleware[R]. Michigan State University, 2004.
[76] Perry D E, Wolf A L. Foundations for the Study of Software Architecture[J]. ACM SIGSOFT Software Engineering Notes, 1992, 17(4): 40.
[77]梅宏,申峻嵘.软件体系结构研究进展[J].软件学报,2006,17(6):1257-1275.
[78] Medvidovic N, Taylor R N. A Classification and Comparison Framework for Software Architecture Description Languages[J]. IEEE Transactions on Software Engineering, 2000, 26(1): 70-93.
[79] Kramer J, Magee J. Self-Managed Systems: an Architectural Challenge[C]. Proceedings of Conference on the Future of Software Engineering, 2007: 259-268.
[80] Andersson J. Issues in Dynamic Software Architectures[C]. Proceedings of International Software Architecture Workshop, 2000: 111-114.
[81] Wermelinger M A. Specification of Software Architecture Reconfiguration [D]. Lisboa: Universidade Nova de Lisboa, 1999.
[82] Taylor R N, Medvidovic N, Dashofy E M. Software Architecture: Foundations, Theory, and Practice[M]. New York: John Wiley & Sons, 2008.
[83] Oreizy P, Medvidovic N, Taylor R N. Architecture-based Runtime Software Evolution[C]. Proceedings of International Conference on Software Engineering, 1998: 177-186.
[84] Wang Q, Huang G, Shen J, Mei H, Yang F. Runtime Software Architecture Based Software Online Evolution[C]. Proceedings of International Computer Software and Applications Conference, 2003: 230-235.
[85] Brown P J. The Stick-e Document: a Framework for Creating Context-Aware Applications[C]. Proceedings of International Conference On Electronic Publishing, Document Manipulation and Typography, 1995: 259-272.
[86]徐光祜,史元春,谢伟凯.普适计算[J].计算机学报,2003,26(9):1042-1050.
[87] Chen G, Kotz D. A Survey of Context-Aware Mobile Computing Research[R]. Dartmouth College, 2000.
[88] Baldauf M, Dustdar S, Rosenberg F. A Survey on Context-Aware Systems[J]. International Journal of Ad Hoc and Ubiquitous Computing, 2007, 2(4): 263-277.
[89] Strang T, Linnhoff-Popien C. A Context Modeling Survey[C]. Proceedings of Workshop on Advanced Context Modelling, Reasoning and Management, 2004.
[90] Salber D, Dey A K, Abowd G D. The Context Toolkit: Aiding the Development of Context-Enabled Applications[C]. 1999: 434-441.
[91] Chen H. An Intelligent Broker Architecture for Pervasive Context-Aware Systems[D]. Baltimore County: University of Maryland, 2004.
[92] Gu T, Pung H K, Zhang D Q. A Middleware for Building Context-Aware Mobile Services[C]. Proceedings of IEEE Vehicular Technology Conference , 2004: 2656-2660.
[93] Fahy P, Clarke S. CASS - Middleware for Mobile Context-Aware Applications[C]. Proceedings of Workshop on Context Awareness, 2004: 304-308.
[94] Plattner B, Nievergelt J. Monitoring Program Execution: A Survey[J]. IEEE Computer, 1981, 14(1): 76-93.
[95] Ferguson H E. Debugging Systems at the Source Language Level[J]. Communications of the ACM, 1963, 6(8): 430-432.
[96] Robert Balzer E. Exdams: EXtensible Debugging and Monitoring System[C]. Proceedings of Spring Joint Computer Conference, 1969: 567-589.
[97] Delgado N, Gates A Q, Roach S. A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools[J]. IEEE Transactions on software Engineering, 2004: 859-872.
[98] Jeffery C, Zhou W, Templer K, Brazell M. A Lightweight Architecture for Program Execution Monitoring[J]. ACM SIGPLAN Notices, 1998, 33(7): 67-74.
[99] Gu W, Eisenhauer G, Schwan K, Vetter J. Falcon: On-line Monitoring for Steering Parallel Programs[J]. Theory and Practice of Object Systems, 1998, 10(9):699-736.
[100] Chen F, Ro U G. Towards Monitoring-Oriented Programming A Paradigm Combining Specification and Implementation[J]. Electronic Notes in Theoretical Computer Science, 2003, 89(2): 108-127.
[101] Snodgrass R. A Relational Approach to Monitoring Complex Systems[J]. ACM Transactions on Computer Systems, 1986, 6(2): 157-196.
[102] Beth A S. On-Line Monitoring: A Tutorial[J]. IEEE Computer, 1995: 72-78.
[103] Robinson W N. Monitoring Web Service Requirements[C]. Proceedings of International Conference on Requirements Engineering, 2003: 65-74.
[104] Garlan D, Schmerl B, Chang J. Using Gauges for Architecture-Based Monitoring and Adaptatio[C]. Proceedings of Working Conference on Complex and Dynamic Systems Architecture, 2001.
[105] Hasselbring W, Reussner R. Toward Trustworthy Software Systems[J]. IEEE Computer, 2006, 39(4): 91-92.
[106] Bowring J, Orso A, Harrold M J. Monitoring Deployed Software Using Software Tomography[C]. Proceedings of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2002: 2-9.
[107] Lupu E C, Sloman M. Conflicts in Policy-based Distributed Systems Management[J]. IEEE Transactions on Software Engineering, 1999, 25(6): 852-869.
[108] Walsh W E, Tesauro G, Kephart J O, Das R. Utility Functions in Autonomic Systems[C]. Proceedings of International Conference on Autonomic Computing, 2004: 70-77.
[109] Boutaba R, Aib I. Policy-Based Management: A Historical Perspective[J]. Journal of Network and Systems Management, 2007, 15(4): 447-480.
[110] IETF. RFC3189, Terminology for Policy-Based Management[S]. 2001.
[111] IETF. RFC2748, The COPS (Common Open Policy Service) Protocol[S]. 2000.
[112] Wang Q. Towards a Rule Model for Self-Adaptive Software [J]. SIGSOFT Software Engineering Notes , 2005, 30 (1): 1-5.
[113] Lobo J, Bhatia R, Naqvi S. A Policy Description Language[C]. Proceedings of National Conference on Artificial Intelligence, 1999: 291-298.
[114] Virmani A, Lobo J, Kohli M. Netmon: Network Management for the SARAS Softswitch[C]. Proceedings of IEEE/IFIP Network Operations and Management Symposium, 2000: 803-816.
[115] Damianou N, Dulay N, Lupu E, Sloman M. The Ponder Policy Specification Language[C]. Proceedings of IEEE/IFIP Network Operations and Management Symposium, 2001: 803-816.
[116] Agrawal D, Lee K W, Lobo J. Policy-Based Management of Networked Computing Systems[J]. IEEE Communications Magazine, 2005, 43(10): 69-75.
[117] Ralston A, Reilly E D, Hemmendinger D. Encyclopedia of Computer Science[M]. New York: John Wiley & Sons, 2000.
[118] Wooldridge M, Jennings N R. Intelligent Agents: Theory and Practice[J]. Knowledge Engineering Review, 1995, 10(2): 115-152.
[119] Bratman M E, Israel D, Pollack M E. Plans and Resource-Bounded Practical Reasoning[J]. Computational Intelligence, 1988, 4(4): 349-355.
[120] Rao A S, Georgeff M P. Modeling Rational Agents within a BDI- Architecture[C]. Proceeding of International Confefence on Principles of Knowledge Representation and Reasoning, 1991: 317-328.
[121] Wooldridge M, Ciancarini P. Agent-Oriented Software Engineering: The State of the Art[C]. Proceedings of International Workshop on Agent-Oriented Software Engineering, 2001: 1-28.
[122] Huebscher M C, Mccann J A. A survey of Autonomic Computing—Degrees, Models, and Applications[J]. ACM Computing Surveys (CSUR), 2008, 40(3): 7.
[123]刘大有,杨鲲.Agent研究现状与发展趋势[J].软件学报,2000,11(003): 315-321.
[124] Boella G, Van Der Torre L, Verhagen H. Introduction to Normative Multiagent Systems[J]. Computational & Mathematical Organization Theory, 2006, 12(2): 71-79.
[125] Abdelwahed S, Kandasamy N, Neema S. Online Control for Self- Management in Computing Systems[C]. Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium, 2004: 368-376.
[126] Karsai G, Ledeczi A, Sztipanovits J, Peceli G, Simon G, Kovacshazy T. An Approach to Self-Adaptive Software based on Supervisory Control[C]. Proceedings of International Workshop in Self-adaptive software, 2001: 24-38.
[127] Cai K Y, Cangussu J W, Decarlo R A, Mathur A P. An Overview of Software Cybernetics[C]. Proceedings of International Workshop on Software Technology and Engineering Practice, 2003: 77-86.
[128] North D W. A Tutorial Introduction to Decision Theory[J]. IEEE Transactions on Systems Science and Cybernetics, 1968, 4(3): 200-210.
[129] Babaoglu O, Canright G, Deutsch A, Caro G, Ducatelle F, Gambardella L M, Ganguly N, Jelasity M, Montemanni R, Montresor A. Design Patterns from Biology for Distributed Computing[J]. ACM Transactions on Autonomous and Adaptive Systems, 2006, 1(1): 66.
[130] Di Nitto E, Dubois D J, Mirandola R. On Exploiting Decentralized Bio-Inspired Self-Organization Algorithms to Develop Real Systems[C]. Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems, 68-75.
[131] Suzuki J, Suda T. A Middleware Platform for a Biologically Inspired Network Architecture Supporting Autonomous and Adaptive Applications[J]. IEEE Journal on Selected Areas in Communications, 2005, 23(2): 249-260.
[132] Mckinley P K, Cheng B, Ofria C A. Applying Digital Evolution to the Development of Self-Adaptive ULS Systems[C]. Proceedings of International Workshop on Software Technologies for Ultra-Large-Scale Systems, 2007: 3-9.
[133] Parsons S, Wooldridge M. Game Theory and Decision Theory in Multi-Agent Systems[J]. Autonomous Agents and Multi-Agent Systems, 2002, 5(3): 243-254.
[134] Mckinley P K, Sadjadi S M, Kasten E P, Cheng B. A Taxonomy of Compositional Adaptation[R]. Michigan State University, 2004.
[135] Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes C, Loingtier J M, Irwin J. Aspect-Oriented Programming[C]. Proceedings of European Conference on Object-Oriented Programming, 1997: 220-242.
[136] B Llert K. On Weaving Aspects[C]. Proceedings of Workshop on Object-Oriented Technology, 1999: 301-302.
[137] Pawlak R, Seinturier L, Duchien L, Florin G. JAC: A Flexible Solution for Aspect-Oriented Programming in Java[C]. Proceedings of International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, 2001: 1.
[138] Mcilroy M D. Mass Produced Software Components[C]. Proceedings of International Conference on Software Engineering, 1969: 88-98.
[139] Syperski C. Component Software: Beyond Object-Oriented Programming [M]. Boston, MA: Addison-Wesley, 2002.
[140] PláIl F, Bálek D, Janecek R. SOFA/DCUP: Architecture for Component Trading and Dynamic Updating[C]. Proceedings of International Conference on Configurable Distributed Systems, 1998: 43-51.
[141]窦蕾.面向构件的复杂软件系统中动态配置技术的研究[D].长沙:国防科学技术大学,2005.
[142] Papazoglou M P, Traverso P, Dustdar S, Leymann F. Service-Oriented Computing: State of the Art and Research Challenge[J]. IEEE Computer, 2007, 40(11): 38-45.
[143] Verma K, Sheth A P. Autonomic Web Processes[C]. Proceedings of International Conference on Service Oriented Computing, 2005: 78-83.
[144] Casati F, Shan M C. Dynamic and Adaptive Composition of e-Services[J]. Information systems, 2001, 26(3): 143-163.
[145] Garlan D, Schmerl B, Cheng S W. Software Architecture-Based Self-Adaptation[M]. Autonomic Computing and Networking, 2009: 31-55.
[146] Paspallis N, Papadopoulos G A. An Approach for Developing Adaptive,Mobile Applications with Separation of Concerns[C]. Proceedings of International Computer Software and Applications Conference, 2006: 299-306.
[147]梅宏,黄罡,赵海燕,焦文品.一种以软件体系结构为中心的网构软件开发方法[J].中国科学: E辑,2006,36(10):1100-1126.
[148] Mei H, Huang G. PKUAS: An Architecture-Based Reflective Component Operating Platform[C]. Proceedings of IEEE International Workshop on Future Trends of Distributed Computing Systems, 2004: 163-169.
[149]孙熙,庄磊,刘文,焦文品,梅宏,联系人.一种可定制的自主构件运行支撑框架[J].软件学报,2008,19(6):1340-1349.
[150]吕建,马晓星,陶先平,曹春,黄宇,余萍.面向网构软件的环境驱动模型与支撑技术研究[J].中国科学: E辑,2008,38(006):864-900.
[151] Filho S M, Leite L, Lemos G, Meira S. FLEXCM–A Component Model for Adaptive Embedded Systems[C]. Proceedings of International Computer Software and Applications Conference, 2007: 119-126.
[152] Pakkala D, Perala J, Niemela E. A Component Model for Adaptive Middleware Services and Applications[C]. Proceedings of EUROMICRO Conference on Software Engineering and Advanced Applications, 2007: 21-30.
[153] Liu H, Parashar M. Accord: A Programming Framework for Autonomic Applications[J]. IEEE Transactions on Systems, Man, and Cybernetics, 2006, 36(3): 341-352.
[154] Handte M, Herrmann K, Schiele G, Becker C, Rothermel K. Automatic Reactive Adaptation of Pervasive Applications[C]. Proceedings of IEEE International Conference on Pervasive Services, 2007: 214-222.
[155] Blair G S, Coulson G, Andersen A, Blair L, Clarke M, Costa F, Duran-Limon H, Fitzpatrick T, Johnston L, Moreira R. The Design and Implementation of Open ORB 2[J]. IEEE Distributed Systems Online, 2001, 2(6): 1-40.
[156] Parlavantzas N. Designing and Constructing Modifiable Middleware with Component Frameworks[D]. Lancaster: University of Lancaster, 2005.
[157] Mukhija A, Glinz M. A Framework for Dynamically Adaptive Applications in a Self-organized Mobile Network Environment[C]. Proceedings of Workshop on Distributed Auto-Adaptive and Reconfigurable Systems, 2004: 368-374.
[158] Tumer K, Wolpert D H. Collectives and the Design of Complex Systems[M]. New York: Springer-Verlag, 2004.
[159] Auyang S Y. Foundations of Complex-System Theories: In Economics, Evolutionary Biology, and Statistical Physics[M]. Cambridge: Cambridge University Press, 1999.
[160] Gelernter D, Carriero N. Coordination Languages and their Significance[J]. Communications of the ACM, 1992, 35(2): 97-107.
[161] Jacques-Silva G, Challenger J, Degenaro L, Giles J, Wagle R. Towards Autonomic Fault Recovery in System-S[C]. Proceedings of International Conference on Autonomic Computing, 2007: 31.
[162] Georgiadis I, Magee J, Kramer J. Self-Organising Software Architectures for Distributed Systems[C]. Proceedings of Workshop on Self-healing Systems, 2002: 33-38.
[163] Fundamentals of Collective Adaptive Systems[R]. Euro FET/ICT, 2009.
[164] Dobson S, Denazis S, Fernández A, Ga Ti D, Gelenbe E, Massacci F, Nixon P, Saffre F, Schmidt N, Zambonelli F. A Survey of Autonomic Communications[J]. ACM Transactions on Autonomous and Adaptive Systems, 2006, 1(2): 223-259.
[165] Gat E. On Three-Layer Architectures[M]. Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems, 1997: 195-210.
[166] Samimi F A, Mckinley P K, Sadjadi S M, Ge P. Kernel-Middleware Interaction to Support Adaptation in Pervasive Computing Environments[C]. Proceedings of Workshop on Middleware for Pervasive and Ad-Hoc Computing, 2004: 140-145.
[167] Garlan D, Shaw M. An Introduction to Software Architecture[R]. Carnegie Mellon University, 1993.
[168] Bennett S. A History of Control Engineering, 1800-1930[M]. London: Peter Peregrinus Ltd, 1986.
[169]孙扬声.自动控制理论[M].北京:水利电力出版社,1986.
[170]张启人.通俗控制论[M].北京:中国建筑工业出版社,1992.
[171] Diao Y, Hellerstein J L, Parekh S, Griffith R, Kaiser G, Phung D. Self-Managing Systems: A Control Theory Foundation[C]. Proceedings of IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2005: 441-448.
[172] Müller H, PezzèM, Shaw M. Visibility of Control in Adaptive Systems[C]. Proceedings of International Workshop on Ultra-Large-Scale Software-Intensive Systems, 2008: 23-26.
[173] Hursch W L, Lopes C V. Separation of Concerns[R]. Northeastern University, 1995.
[174] Lau K K, Wang Z. Software Component Models[J]. IEEE Transactions on Software Engineering, 2007, 33(10): 709-724.
[175] Wang N, Schmidt D C, O'Ryan C. Overview of the CORBA Component Model[M]. Component-Based Software Engineering: Putting the Pieces Together, Addison-Wesley Longman Publishing Co., Inc., 2001: 557-571.
[176] Vandewoude Y, Rigole P, Urting D, Berbers Y. DRACO: An Adaptive Run-Time Environment for Components[R]. Katholieke Universiteit Leuven, 2003.
[177] Mehta N R, Medvidovic N, Phadke S. Towards a Taxonomy of Software Connectors[C]. Proceedings of International Conference on Software Engineering, 2000: 178-187.
[178] Sadjadi S M, Mckinley P K. ACT: An Adaptive CORBA Template to Support Unanticipated Adaptation[C]. Proceedings of International Conference on Distributed Computing Systems , 2004: 74-83.
[179] Lehman M M, Ramil J F. Software Evolution[M]. Encyclopedia of Software Engineering, 1994: 1202-1208.
[180] Mens T, Demeyer S. Software Evolution[M]. Berlin: Springer, 2008.
[181]陈波.基于软件体系结构的构件模型和语言研究[D].长沙:国防科学技术大学,2007.
[182] Achermann F, Lumpe M, Schneider J G, Nierstrasz O. Piccola: A Small Composition Language[M]. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, 2002: 403-426.
[183] Van Ommering R, van der Linden F, Kramer J, Magee J. The Koala Component Model for Consumer Electronics Software[J]. IEEE Computer, 2000, 33(3): 78-85.
[184] Bruneton E, Coupaye T, Stefani J B. Recursive and Dynamic Software Composition with Sharing[C]. Proceedings of International Workshop on Component-Oriented Programming, 2002.
[185] Yang Z, Duddy K. CORBA: A Platform for Distributed Object Computing[J]. ACM SIGOPS Operating Systems Review, 1996, 30(2): 4-31.
[186] OMG. CORBA Scripting Language Specification[S]. 2002.
[187] Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual[M]. Boston, MA: Addison Wesley, 2004.
[188] Wang Z, Garlan D. Task-Driven Computing[R]. Carnegie Mellon University, 2000.
[189] Sousa J P, Poladian V, Garlan D, Schmerl B, Shaw M. Task-based Adaptation for Ubiquitous Computing[J]. IEEE Transactions on Systems, Man, and Cybernetics, 2006, 36(3): 328-340.
[190] Garlan D. Software Architectures for Task-Oriented Computing[C]. Proceedings of IEEE/ACIS International Conference on Computer and Information Science, 2008: 3.
[191] Dix A, Finlay J, Abowd G D, Beale R. Human-Computer Interaction[M]. New Jersey: Prentice Hall, 2004.
[192]刘璇.普适计算环境下实体发现机制的研究与实现[D].长沙:国防科学技术大学,2007.
[193]李骁.基于微内核的中间件自适应机制研究与实现[D].长沙:国防科技大学,2008.
[194] Garlan D, Siewiorek D P, Smailagic A, Steenkiste P. Project Aura: Toward Distraction-Free Pervasive Computing[J]. IEEE Pervasive Computing, 2002, 1(2): 22-31.
[195] Ranganathan A, Chetan S, Al-Muhtadi J, Campbell R H, Mickunas M D. Olympus: A High-Level Programming Model for Pervasive Computing Environments [C]. Proceedings of IEEE International Conference on Pervasive Computing and Communications, 2005: 7-16.
[196] Perttunen M, Jurmu M, Riekki J. A QoS Model for Task-Based Service Composition[C]. Proceedings of International Workshop on Managing Ubiquitous Communications and Services, 2007: 11-30.
[197] Zhang Y, Zhou Y. Transparent Computing: A New Paradigm for Pervasive Computing[C]. Proceedings of International Conference on Ubiquitous Intelligence and Computing, 2006: 1-11.
[198]王万森.人工智能原理及其应用[M].北京:电子工业出版社,2000.
[199]周志诚,林同曾.运筹学教程[M].上海:立信会计图书用品社,1988.
[200] Kuhn H W. The Hungarian Method for The Assignment Problem[J]. Naval Research, 1955: 83-97.
[201] Durfee E H, Lesser V R. Partial Global Planning: A Coordination Framework for Distributed Hypothesis Formation[J]. IEEE Transactions on Systems, Man, and Cybernetics, 1991, 21(5): 1167-1183.
[202] Cassandra A R, Kaelbling L P, Littman M L. Acting Optimally in Partially Observable Stochastic Domains[C]. Proceedings of National Conference on Artificial Intelligence, 1995: 1023-1028.
[203] Yamamoto J, Sycara K. A Stable and Efficient Buyer Coalition Formation Scheme for E-Marketplaces[C]. Proceedings of International Conference on Autonomous Agents, 2001: 576-583.
[204] Klusch M, Gerber A. Dynamic Coalition Formation among Rational Agents[J]. IEEE Intelligent Systems, 2002, 17(3): 42-47.
[205] Dash R K, Jennings N R, Parkes D C. Computational-Mechanism Design: A Call to Arm[J]. IEEE Intelligent Systems, 2003, 18(6): 40-47.
[206] Montanari U. Networks of Constraints: Fundamental Properties and Applications to Picture Processing[J]. Information Sciences, 1974, 7(2): 95-132.
[207] Dechter R. Constraint Processing[M]. San Fransisco: Morgan Kaufmann, 2003.
[208] Modi P J, Shen W M, Tambe M, Yokoo M. Adopt: Asynchronous Distributed Constraint Optimization with Quality Guarantees[J]. Artificial Intelligence, 2005, 161(1-2): 149-180.
[209] Petcu A. A Class of Algorithms for Distributed Constraint Optimization[D]. Lausanne: Ecole Polytechnique Federale de Lausanne, 2007.
[210] Chechetka A, Sycara K. No-Commitment Branch and Bound Search for Distributed Constraint Optimization[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2006: 1427-1429.
[211] Lijian H, Wei Z. An Agent Organization Structure for Solving DCOP Based on the Partitions of Constraint Graph[J]. Journal of Computer Research and Development, 2007, 44(3): 434-438.
[212] Meisels A. Distributed Search By Constrained Agents[M]. Heidelberg: Springer Verlag, 2007.
[213] Modi P J. Distributed Constraint Optimization for Multiagent Systems[D]. Los Angeles: University of Southern California, 2003.
[214] Maheswaran R T, Tambe M, Bowring E, Pearce J P, Varakantham P. Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-event Scheduling[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2004: 310-317.
[215] Sultanik E, Modi P J, Regli W C. On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem[C]. Proceedings of International Joint Conference on Artificial Intelligence, 2007: 1531-1536.
[216] Zhang W, Xing Z, Wang G, Wittenburg L. An Analysis and Application of Distributed Constraint Satisfaction and Optimization Algorithms in Sensor Networks[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2003: 185-192.
[217] Al-Shaer E, Hamed H, Boutaba R, Hasan M. Conflict Classification and Analysis of Distributed Firewall Policies[J]. IEEE Journal on Selected Areas in Communications, 2005, 23(10): 2069-2084.
[218] Hamed H, Al-Shaer E. Taxonomy of Conflicts in Network Security Policies[J]. IEEE Communications Magazine, 2006, 44(3): 134-141.
[219] Moffett J D, Sloman M S. Policy Conflict Analysis in Distributed System Management[J]. Journal of Organizational Computing, 1994, 4(1): 1-22.
[220]韩智文.分布协同式网络服务策略体系结构及关键技术研究[D].长沙:国防科学技术大学,2005.
[221] Bandara A K, Lupu E C, Russo A. Using Event Calculus to Formalise Policy Specification and Analysis[C]. Proceedings of IEEE Workshop on Policies for Distributed Systems and Networks, 2003: 26.
[222] IETF. RFC 3460, Policy Core Information Model (PCIM) Extensions[S]. 2003.
[223] Paton N W, Díaz O. Active Database Systems[J]. ACM Computing Surveys(CSUR), 1999, 31(1): 63-103.
[224] Kagal L, Finin T, Joshi A. A Policy Language for a Pervasive Computing Environment[C]. Proceedings of International Workshop on Policies for Distributed Systems and Networks, 2003: 63.
[225] Nguyen X T, Kowalczyk R, Phan M T. Modelling and Solving QoS Composition Problem Using Fuzzy DisCSP[C]. Proceedings of the IEEE International Conference on Web Services, 2006: 55-62.
[226] Bar-Shalom Y. Multitarget-Multisensor Tracking: Advanced Applications [M]. Boston, MA: Artech House Publishers, 1990.
[227] Sanders T B, Passino K M. DARPA Autonomous Negotiating Teams Project Report[R]. DARPA, 2001.
[228] Bejar R, Domshlak C, Fernández C, Gomes C, Krishnamachari B, Selman B, Valls M. Sensor Networks and Distributed CSP: Communication, Computation and Complexity[J]. Artificial Intelligence, 2005, 161(1-2): 117-148.
[229] Newman M E J. The Structure and Function of Complex Networks[J]. SIAM Rev., 2003, 45(2): 167-256.
[230] Pearce J P, Maheswaran R T, Tambe M. DCOP Games for Multi-agent Coordination[C]. Proceedings of International Workshop on Distributed Constraint Reasoning, 2005.
[231] Buckley F, Lewinter M. A Friendly Introduction to Graph Theory[M]. New Jersey: Prentice Hall, 2002.
[232] Hirayama K, Yokoo M. Distributed Partial Constraint Satisfaction Problem[C]. Proceedings of International Conference on Principles and Practice of Constraint Programming, 1997: 222-236.
[233] Davin J, Modi P J. Impact of Problem Centralization in Distributed Constraint Optimization Algorithms[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2005: 1057-1063.
[234] Petcu A, Faltings B. A Scalable Method for Multiagent Constraint Optimization[C]. Proceeding s of International Joint Conference on Artificial Intelligence, 2005: 266-271.
[235] Petcu A, Faltings B. MB-DPOP: A New Memory-bounded Algorithm for Distributed Optimization[C]. Proceedings of International Joint Conference on Artificial Intelligence, 2007: 1452-1457.
[236] Petcu A, Faltings B. ODPOP: An Algorithm for Open/Distributed Constraint Optimization[C]. Proceedings of National Conference on Artificial Intelligence, 2006: 703-708.
[237] Larrosa J, Schiex T. Solving Weighted CSP by Maintaining Arc Consistency[J]. Artificial Intelligence, 2004, 159(1): 1-26.
[238] Junges R, Bazzan A. Evaluating the Performance of DCOP Algorithms in aReal World, Dynamic Problem[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2008: 599-606.
[239] Gershman A, Zivan R, Grinshpou T, Meisels A. Measuring Distributed Constraint Optimization Algorithms[C]. Proceedings of International Workshop on Distributed Constraint Reasoning, 2008: 17-24.
[240] Kumar A. USC Distributed Constraint Optimization Problem (DCOP) Repository[Z]. http://teamcore.usc.edu/dcop/, 2010.
[241] Galinier P, Hao J K. Tabu Search for Maximal Constraint Satisfaction Problems[C]. Proceedings of International Conference on Principles and Practice of Constraint Programming, 1997: 196-208.
[242] Gershman A, Meisels A, Zivan R. Asynchronous Forward-Bounding for Distributed Constraints Optimization[C]. Proceedings of European Conference on Artificial Intelligence, 2006: 103-107.
[243] Ezzahir R, Bessiere C, Benelallam I. Dynamic Backtracking for Distributed Constraint Optimization[C]. Proceedings of European Conference on Artificial Intelligence, 2008: 901-902.
[244]汪小帆,李翔,陈关荣.复杂网络理论及其应用[M].北京:清华大学出版社,2006.
[245] Bar S, Gonen M, Wool A. An Incremental Super-linear Preferential Internet Topology Model[C]. Proceedings of Annual Passive & Active Measurement Workshop, 2004: 53-62.
[246] Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal M. Pattern-Oriented Software Architecture, A System of Patterns, Volume 1[M]. New York: John Wiley & Sons, 1996.
[247] Ding B, Shi D, Wang H. Towards Pervasive Middleware: A CORBA3-Compliant Infrastructure[C]. Proceedings of International Symposium on Pervasive Computing and Applications, 2006: 139-144.
[248]刘惠,丁博,史殿习,刘明.面向普适计算应用的构件定义语言UCDL[J].国防科技大学学报,2009,31(3):82-86.
[249] Ledeczi A, Maroti M, Bakay A, Karsai G, Garrett J, Thomason C, Nordstrom G, Sprinkle J, Volgyesi P. The Generic Modeling Environment[C]. Proceedings of Workshop on Intelligent Signal Processing, 2001: 24-25.
[250] Dinda P A, O'Hallaron D R. Host Load Prediction Using Linear models[J]. Cluster Computing, 2000, 3(4): 265-280.
[2] Flake G W. The Computational Beauty of Nature[M]. Cambridge MA: MIT Press, 2000.
[3] Laddaga R. Self-Adaptive Software [R]. DARPA, 1997.
[4] Oreizy P, Gorlick M M, Taylor R N, Heimbigner D, Johnson G, Medvidovic N, Quilici A, Rosenblum D S, Wolf A L. An Architecture-Based Approach to Self-Adaptive Software[J]. IEEE Intelligent Systems, 1999, 14(3): 54-62.
[5] Chen W K, Hiltunen M A, Schlichting R D. Constructing Adaptive Software in Distributed Systems[C]. Proceedings of International Conference on Distributed Computing Systems , 2001: 635-643.
[6] Salehie M, Tahvildari L. Self-Adaptive Software: Landscape and Research Challenges [J]. ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (2): 1-42.
[7] Weyns D, Schumacher M, Ricci A, Viroli M, Holvoet T. Environments in Multiagent Systems[J]. The Knowledge Engineering Review, 2006, 20(02): 127-141.
[8] Schilit B, Adams N, Want R. Context-Aware Computing Applications[C]. Proceedings of Workshop on Mobile Computing Systems and Applications, 1994: 85-90.
[9] Wikipedia. Distributed Computing[Z]. http://en.wikipedia.org/wiki/ Distributed_computing , 2010.
[10] Northrop L, Feiler P H, Pollak B, Pipitone D. Ultra-Large-Scale Systems: The Software Challenge of the Future[R]. Pittsburgh: Carnegie Mellon University, 2006.
[11] Saha D, Mukherjee A. Pervasive Computing: A Paradigm for the 21st Century[J]. IEEE Computer, 2003, 36(3): 25-31.
[12] Lee E A, Austin T X. Cyber-Physical Systems-Are Computing Foundations Adequate?[C]. Proceedings of NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, 2006.
[13]杨芙清,吕建,梅宏.网构软件技术体系:一种以体系结构为中心的途径[J].中国科学: E辑,2008,38(6):818-828.
[14]吕建,马晓星,陶先平,徐锋,胡昊.网构软件的研究与进展[J].中国科学: E辑,2006,36(10):1037-1080.
[15] IEEE. IEEE-Std-1471-2000, Recommended Practice for Architectural Description of Software-Intensive Systems[S]. 2000.
[16] Buettner D J. Designing an Optimal Software Intensive System Acquisition:A Game Theoretic Approach[D]. Los Angeles: University of Southern California, 2008.
[17] Ferguson J. Crouching Dragon, Hidden Software: Software in DoD Weapon Systems[J]. IEEE Software, 2001, 18(4): 105-107.
[18] Weiser M. Computers for the 21st Century[J]. Scientific American, 1991, 265(3): 94-105.
[19]丁博,王怀民,史殿习.普适计算中间件技术[J].计算机科学与探索,2007, 1(3):241-254.
[20] Horn P. Autonomic Computing: IBM's Perspective on the State of Information Technology[R]. IBM, 2001.
[21] Pingdom. Best and Worst US Online Banks Revealed[R]. Pingdom, 2006.
[22] Pingdom. Downtime for International Airline Websites[R]. Pingdom, 2009.
[23] Kephart J O, Chess D M. The Vision of Autonomic Computing[J]. IEEE Computer, 2003, 36(1): 41-50.
[24] Garlan D, Cheng S W, Huang A C, Schmerl B, Steenkiste P. Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure[J]. IEEE Computer, 2004, 37(10): 46-54.
[25]钱学森,于景元,戴汝为.一个科学新领域——开放的复杂巨系统及其方法论[J].科学决策与系统工程——中国系统工程学会第六次年会论文集,1990.
[26]钟秋海,付梦印.现代控制理论与应用[M].北京:机械工业出版社,1997.
[27] Wiener N. Cybernetics: or, Control and Communication in the Animal and the Machine[M]. Cambridge, MA: MIT Press, 1965.
[28] Kokar M M, Baclawski K, Eracar Y A. Control Theory-Based Foundations of Self-Controlling Software[J]. IEEE Intelligent Systems, 1999, 14(3): 37-45.
[29] Holland J H. Hidden Order: How Adaptation Builds Complexity[M]. Cambridge, MA: Perseus Books, 1995.
[30] Holland J H. Emergence: From Chaos to Order[M]. Boston, MA: Addison-Wesley, 1998.
[31]谭跃进,邓宏钟.复杂适应系统理论及其应用研究[J].系统工程,2001,19(5):33-42.
[32]陈禹.复杂适应系统(CAS)理论及其应用——由来,内容与启示[J].系统辩证学学报,2001,9(004):35-39.
[33] Smith B C. Reflections and Semantics in a Procedural Language[D]. Cambridge, MA: Massachusetts Institute of Technology, 1982.
[34] Maes P. Concepts and Experiments in Computational Reflection[J]. ACM Sigplan Notices, 1987, 22(12): 147-155.
[35] Cheng S W. Rainbow: Cost-Effective Software Architecture-Based Self-Adaptation[D]. Pittsburgh: Carnegie Mellon University, 2008.
[36] Dowling J, Cahill V. The K-Component Architecture Meta-model forSelf-Adaptive Software[C]. Proceedings of International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, 2001: 81-88.
[37] Floch J, Hallsteinsen S, Stav E, Eliassen F, Lund K, Gjorven E. Using Architecture Models for Runtime Adaptability[J]. IEEE software, 2006, 23(2): 62-70.
[38] Ben-Shaul I, Holder O, Lavva B. Dynamic Adaptation and Deployment of Distributed Components in Hadas[J]. IEEE Transactions on Software Engineering, 2001: 769-787.
[39] Liu H, Parashar M, Hariri S. A Component-Based Programming Model for Autonomic Applications[C]. Proceedings of International Conference on Autonomic Computing, 2004: 10-17.
[40] Becker C, Handte M, Schiele G, Rothermel K. PCOM-A Component System for Pervasive Computing[C]. Proceedings of International Conference on Pervasive Computing and Communications, 2004: 67-76.
[41] Chefrour D. Developing Component Based Adaptive Applications in Mobile Environments[C]. Proceedings of ACM Symposium on Applied computing, 2005: 1146-1150.
[42] Philippe A, Jér Me L. CompAA: A Self-Adaptable Component Model for Open Systems[C]. Proceedings of International Conference and Workshop on the Engineering of Computer Based Systems, 2008: 19-25.
[43] Coulson G, Blair G, Grace P, Taiani F, Joolia A, Lee K, Ueyama J, Sivaharan T. A Generic Component Model for Building Systems Software[J]. ACM Transactions on Computer Systems, 2008, 26(1): 1-42.
[44] Roman M, Hess C K, Cerqueira R, Ranganathan A, Campbell R H, Nahrstedt K. Gaia: A Middleware Infrastructure to Enable Active Spaces[J]. IEEE Pervasive Computing, 2002, 1(4): 74-83.
[45] Mukhija A, Glinz M. Runtime Adaptation of Applications through Dynamic Recomposition of Components[C]. Proceedings of International Conference on Architecture of Computing Systems, 2005: 124-138.
[46] Zinky J A, Bakken D E, Schantz R E. Architectural Support for Quality of Service for CORBA Objects[J]. Theory and Practice of Object Systems, 1997, 3(1): 55-73.
[47] Kon F, Román M, Liu P, Mao J, Yamane T, Magalh C, Campbell R H. Monitoring, Security, and Dynamic Configuration with the DynamicTAO Reflective ORB[C]. Proceedings of Middleware Conference, 2000: 121-143.
[48] Bradbury J S, Cordy J R, Dingel J, Wermelinger M. A Survey of Self-Management in Dynamic Software Architecture Specifications[C]. Proceedings of ACM SIGSOFT Workshop on Self-managed Systems, 2004: 28-33.
[49] Gouda M G, Herman T. Adaptive Programming[J]. IEEE Transactions on Software Engineering, 1991, 17(9): 911-921.
[50]王千祥,申峻嵘,梅宏.自适应软件初探[J].计算机科学,2004,31(10): 168-172.
[51] Cheng B, de Lemos R, Giese H, Inverardi P, Magee J. Software Engineering for Self-Adaptive Systems: A Research Road Map[M]. Software Engineering for Self-Adaptive Systems, Springer, 2009: 8031: 1-26.
[52] Baresi L. Toward Open-World Software: Issue and Challenges[J]. IEEE Computer, 2006, 39(10): 36-43.
[53] Huang J C. Program Instrumentation and Software Testing[J]. IEEE Computer, 1978, 11(4): 25-32.
[54] Andersson J, de Lemos R, Malek S, Weyns D. Modeling Dimensions of Self-Adaptive Software Systems[M]. Software Engineering for Self-Adaptive Systems, 2009: 27-47.
[55] Murch R. Autonomic Computing[M]. New Jersey: IBM Press and Prentice Hall, 2004.
[56]廖备水,李石坚,姚远,高济.自主计算概念模型与实现方法[J].软件学报,2008,19(4):779-802.
[57] Keeney J. Completely Unanticipated Dynamic Adaptation of Software[D]. Dublin: University of Dublin, 2004.
[58] Mccarthy D, Dayal U. The Architecture of an Active Database Management System[J]. ACM SIGMOD Record, 1989, 18(2): 215-224.
[59] Dowling J. The Decentralised Coordination of Self-adaptive Components for Autonomic Distributed Systems[D]. Dublin: University of Dublin, 2004.
[60] Weyns D, Haesevoets R, Van Eylen B, Helleboogh A, Holvoet T, Joosen W. Endogenous versus Exogenous Self-Management[C]. Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008: 41-48.
[61] Litoiu M, Woodside M, Zheng T. Hierarchical Model-Based Autonomic Control of Software Systems[J]. ACM SIGSOFT Software Engineering Notes, 2005, 30(4): 1-7.
[62] Karsai G, Sztipanovits J. A Model-Based Approach to Self-Adaptive Software[J]. IEEE Intelligent Systems and Their Applications, 1999, 14(3): 46-53.
[63] Mckinley P K, Sadjadi S M, Kasten E P, Cheng B. Composing Adaptive Software[J]. Computer, 2004, 37(7): 56-64.
[64] IETF. RFC 2581, TCP Congestion Control[S]. 1999.
[65] Andersson J, de Lemos R, Malek S, Weyns D. Reflecting on Self-Adaptive Software Systems[C]. Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.
[66] Smith B C. Reflection and Semantics in Lisp[C]. Proceedings of ACMSIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1984: 23-35.
[67] Tisato F, Savigni A, Cazzola W, Sosio A. Architectural Reflection: Realising Software Architectures via Reflective Activities[C]. Proceedings of International Engineering Distributed Objects Workshop, 2000.
[68] Erich, Helm R, Johnson R, Vlissides J G. Design Patterns: Elements of Reusable Object-Oriented Software[M]. Boston, MA: Addison-Wesley, 1995.
[69] Ramirez A J, Cheng B. Design Patterns for Developing Dynamically Adaptive Systems[D]. East Lansing: Michigan State University, 2008.
[70] Schmidt D, Stal M, Rohnert H, Buschmann F. Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects, Volume 2[M]. New York: John Wiley & Sons, 2001.
[71] Shackleton M, Saffre F, Tateson R, Bonsma E, Roadknight C. Autonomic Computing for Pervasive ICT—A Whole-System Perspective[J]. BT Technology Journal, 2004, 22(3): 191-199.
[72] Gomaa H, Hussein M. Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures[C]. Proceedings of Working IEEE/IFIP Conference on Software Architecture, 2004: 79-88.
[73] Emmerich W. Software Engineering and Middleware: a Roadmap[C]. Proceedings of Conference on the Future of Software Engineering, 2000: 129.
[74] Fayad M, Schmidt D C. Object-Oriented Application Frameworks[J]. Communications of the ACM, 1997, 40(10): 32-38.
[75] Sadjadi S M, Mckinley P K. A Survey of Adaptive Middleware[R]. Michigan State University, 2004.
[76] Perry D E, Wolf A L. Foundations for the Study of Software Architecture[J]. ACM SIGSOFT Software Engineering Notes, 1992, 17(4): 40.
[77]梅宏,申峻嵘.软件体系结构研究进展[J].软件学报,2006,17(6):1257-1275.
[78] Medvidovic N, Taylor R N. A Classification and Comparison Framework for Software Architecture Description Languages[J]. IEEE Transactions on Software Engineering, 2000, 26(1): 70-93.
[79] Kramer J, Magee J. Self-Managed Systems: an Architectural Challenge[C]. Proceedings of Conference on the Future of Software Engineering, 2007: 259-268.
[80] Andersson J. Issues in Dynamic Software Architectures[C]. Proceedings of International Software Architecture Workshop, 2000: 111-114.
[81] Wermelinger M A. Specification of Software Architecture Reconfiguration [D]. Lisboa: Universidade Nova de Lisboa, 1999.
[82] Taylor R N, Medvidovic N, Dashofy E M. Software Architecture: Foundations, Theory, and Practice[M]. New York: John Wiley & Sons, 2008.
[83] Oreizy P, Medvidovic N, Taylor R N. Architecture-based Runtime Software Evolution[C]. Proceedings of International Conference on Software Engineering, 1998: 177-186.
[84] Wang Q, Huang G, Shen J, Mei H, Yang F. Runtime Software Architecture Based Software Online Evolution[C]. Proceedings of International Computer Software and Applications Conference, 2003: 230-235.
[85] Brown P J. The Stick-e Document: a Framework for Creating Context-Aware Applications[C]. Proceedings of International Conference On Electronic Publishing, Document Manipulation and Typography, 1995: 259-272.
[86]徐光祜,史元春,谢伟凯.普适计算[J].计算机学报,2003,26(9):1042-1050.
[87] Chen G, Kotz D. A Survey of Context-Aware Mobile Computing Research[R]. Dartmouth College, 2000.
[88] Baldauf M, Dustdar S, Rosenberg F. A Survey on Context-Aware Systems[J]. International Journal of Ad Hoc and Ubiquitous Computing, 2007, 2(4): 263-277.
[89] Strang T, Linnhoff-Popien C. A Context Modeling Survey[C]. Proceedings of Workshop on Advanced Context Modelling, Reasoning and Management, 2004.
[90] Salber D, Dey A K, Abowd G D. The Context Toolkit: Aiding the Development of Context-Enabled Applications[C]. 1999: 434-441.
[91] Chen H. An Intelligent Broker Architecture for Pervasive Context-Aware Systems[D]. Baltimore County: University of Maryland, 2004.
[92] Gu T, Pung H K, Zhang D Q. A Middleware for Building Context-Aware Mobile Services[C]. Proceedings of IEEE Vehicular Technology Conference , 2004: 2656-2660.
[93] Fahy P, Clarke S. CASS - Middleware for Mobile Context-Aware Applications[C]. Proceedings of Workshop on Context Awareness, 2004: 304-308.
[94] Plattner B, Nievergelt J. Monitoring Program Execution: A Survey[J]. IEEE Computer, 1981, 14(1): 76-93.
[95] Ferguson H E. Debugging Systems at the Source Language Level[J]. Communications of the ACM, 1963, 6(8): 430-432.
[96] Robert Balzer E. Exdams: EXtensible Debugging and Monitoring System[C]. Proceedings of Spring Joint Computer Conference, 1969: 567-589.
[97] Delgado N, Gates A Q, Roach S. A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools[J]. IEEE Transactions on software Engineering, 2004: 859-872.
[98] Jeffery C, Zhou W, Templer K, Brazell M. A Lightweight Architecture for Program Execution Monitoring[J]. ACM SIGPLAN Notices, 1998, 33(7): 67-74.
[99] Gu W, Eisenhauer G, Schwan K, Vetter J. Falcon: On-line Monitoring for Steering Parallel Programs[J]. Theory and Practice of Object Systems, 1998, 10(9):699-736.
[100] Chen F, Ro U G. Towards Monitoring-Oriented Programming A Paradigm Combining Specification and Implementation[J]. Electronic Notes in Theoretical Computer Science, 2003, 89(2): 108-127.
[101] Snodgrass R. A Relational Approach to Monitoring Complex Systems[J]. ACM Transactions on Computer Systems, 1986, 6(2): 157-196.
[102] Beth A S. On-Line Monitoring: A Tutorial[J]. IEEE Computer, 1995: 72-78.
[103] Robinson W N. Monitoring Web Service Requirements[C]. Proceedings of International Conference on Requirements Engineering, 2003: 65-74.
[104] Garlan D, Schmerl B, Chang J. Using Gauges for Architecture-Based Monitoring and Adaptatio[C]. Proceedings of Working Conference on Complex and Dynamic Systems Architecture, 2001.
[105] Hasselbring W, Reussner R. Toward Trustworthy Software Systems[J]. IEEE Computer, 2006, 39(4): 91-92.
[106] Bowring J, Orso A, Harrold M J. Monitoring Deployed Software Using Software Tomography[C]. Proceedings of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2002: 2-9.
[107] Lupu E C, Sloman M. Conflicts in Policy-based Distributed Systems Management[J]. IEEE Transactions on Software Engineering, 1999, 25(6): 852-869.
[108] Walsh W E, Tesauro G, Kephart J O, Das R. Utility Functions in Autonomic Systems[C]. Proceedings of International Conference on Autonomic Computing, 2004: 70-77.
[109] Boutaba R, Aib I. Policy-Based Management: A Historical Perspective[J]. Journal of Network and Systems Management, 2007, 15(4): 447-480.
[110] IETF. RFC3189, Terminology for Policy-Based Management[S]. 2001.
[111] IETF. RFC2748, The COPS (Common Open Policy Service) Protocol[S]. 2000.
[112] Wang Q. Towards a Rule Model for Self-Adaptive Software [J]. SIGSOFT Software Engineering Notes , 2005, 30 (1): 1-5.
[113] Lobo J, Bhatia R, Naqvi S. A Policy Description Language[C]. Proceedings of National Conference on Artificial Intelligence, 1999: 291-298.
[114] Virmani A, Lobo J, Kohli M. Netmon: Network Management for the SARAS Softswitch[C]. Proceedings of IEEE/IFIP Network Operations and Management Symposium, 2000: 803-816.
[115] Damianou N, Dulay N, Lupu E, Sloman M. The Ponder Policy Specification Language[C]. Proceedings of IEEE/IFIP Network Operations and Management Symposium, 2001: 803-816.
[116] Agrawal D, Lee K W, Lobo J. Policy-Based Management of Networked Computing Systems[J]. IEEE Communications Magazine, 2005, 43(10): 69-75.
[117] Ralston A, Reilly E D, Hemmendinger D. Encyclopedia of Computer Science[M]. New York: John Wiley & Sons, 2000.
[118] Wooldridge M, Jennings N R. Intelligent Agents: Theory and Practice[J]. Knowledge Engineering Review, 1995, 10(2): 115-152.
[119] Bratman M E, Israel D, Pollack M E. Plans and Resource-Bounded Practical Reasoning[J]. Computational Intelligence, 1988, 4(4): 349-355.
[120] Rao A S, Georgeff M P. Modeling Rational Agents within a BDI- Architecture[C]. Proceeding of International Confefence on Principles of Knowledge Representation and Reasoning, 1991: 317-328.
[121] Wooldridge M, Ciancarini P. Agent-Oriented Software Engineering: The State of the Art[C]. Proceedings of International Workshop on Agent-Oriented Software Engineering, 2001: 1-28.
[122] Huebscher M C, Mccann J A. A survey of Autonomic Computing—Degrees, Models, and Applications[J]. ACM Computing Surveys (CSUR), 2008, 40(3): 7.
[123]刘大有,杨鲲.Agent研究现状与发展趋势[J].软件学报,2000,11(003): 315-321.
[124] Boella G, Van Der Torre L, Verhagen H. Introduction to Normative Multiagent Systems[J]. Computational & Mathematical Organization Theory, 2006, 12(2): 71-79.
[125] Abdelwahed S, Kandasamy N, Neema S. Online Control for Self- Management in Computing Systems[C]. Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium, 2004: 368-376.
[126] Karsai G, Ledeczi A, Sztipanovits J, Peceli G, Simon G, Kovacshazy T. An Approach to Self-Adaptive Software based on Supervisory Control[C]. Proceedings of International Workshop in Self-adaptive software, 2001: 24-38.
[127] Cai K Y, Cangussu J W, Decarlo R A, Mathur A P. An Overview of Software Cybernetics[C]. Proceedings of International Workshop on Software Technology and Engineering Practice, 2003: 77-86.
[128] North D W. A Tutorial Introduction to Decision Theory[J]. IEEE Transactions on Systems Science and Cybernetics, 1968, 4(3): 200-210.
[129] Babaoglu O, Canright G, Deutsch A, Caro G, Ducatelle F, Gambardella L M, Ganguly N, Jelasity M, Montemanni R, Montresor A. Design Patterns from Biology for Distributed Computing[J]. ACM Transactions on Autonomous and Adaptive Systems, 2006, 1(1): 66.
[130] Di Nitto E, Dubois D J, Mirandola R. On Exploiting Decentralized Bio-Inspired Self-Organization Algorithms to Develop Real Systems[C]. Proceedings of International Workshop on Software Engineering for Adaptive and Self-Managing Systems, 68-75.
[131] Suzuki J, Suda T. A Middleware Platform for a Biologically Inspired Network Architecture Supporting Autonomous and Adaptive Applications[J]. IEEE Journal on Selected Areas in Communications, 2005, 23(2): 249-260.
[132] Mckinley P K, Cheng B, Ofria C A. Applying Digital Evolution to the Development of Self-Adaptive ULS Systems[C]. Proceedings of International Workshop on Software Technologies for Ultra-Large-Scale Systems, 2007: 3-9.
[133] Parsons S, Wooldridge M. Game Theory and Decision Theory in Multi-Agent Systems[J]. Autonomous Agents and Multi-Agent Systems, 2002, 5(3): 243-254.
[134] Mckinley P K, Sadjadi S M, Kasten E P, Cheng B. A Taxonomy of Compositional Adaptation[R]. Michigan State University, 2004.
[135] Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes C, Loingtier J M, Irwin J. Aspect-Oriented Programming[C]. Proceedings of European Conference on Object-Oriented Programming, 1997: 220-242.
[136] B Llert K. On Weaving Aspects[C]. Proceedings of Workshop on Object-Oriented Technology, 1999: 301-302.
[137] Pawlak R, Seinturier L, Duchien L, Florin G. JAC: A Flexible Solution for Aspect-Oriented Programming in Java[C]. Proceedings of International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, 2001: 1.
[138] Mcilroy M D. Mass Produced Software Components[C]. Proceedings of International Conference on Software Engineering, 1969: 88-98.
[139] Syperski C. Component Software: Beyond Object-Oriented Programming [M]. Boston, MA: Addison-Wesley, 2002.
[140] PláIl F, Bálek D, Janecek R. SOFA/DCUP: Architecture for Component Trading and Dynamic Updating[C]. Proceedings of International Conference on Configurable Distributed Systems, 1998: 43-51.
[141]窦蕾.面向构件的复杂软件系统中动态配置技术的研究[D].长沙:国防科学技术大学,2005.
[142] Papazoglou M P, Traverso P, Dustdar S, Leymann F. Service-Oriented Computing: State of the Art and Research Challenge[J]. IEEE Computer, 2007, 40(11): 38-45.
[143] Verma K, Sheth A P. Autonomic Web Processes[C]. Proceedings of International Conference on Service Oriented Computing, 2005: 78-83.
[144] Casati F, Shan M C. Dynamic and Adaptive Composition of e-Services[J]. Information systems, 2001, 26(3): 143-163.
[145] Garlan D, Schmerl B, Cheng S W. Software Architecture-Based Self-Adaptation[M]. Autonomic Computing and Networking, 2009: 31-55.
[146] Paspallis N, Papadopoulos G A. An Approach for Developing Adaptive,Mobile Applications with Separation of Concerns[C]. Proceedings of International Computer Software and Applications Conference, 2006: 299-306.
[147]梅宏,黄罡,赵海燕,焦文品.一种以软件体系结构为中心的网构软件开发方法[J].中国科学: E辑,2006,36(10):1100-1126.
[148] Mei H, Huang G. PKUAS: An Architecture-Based Reflective Component Operating Platform[C]. Proceedings of IEEE International Workshop on Future Trends of Distributed Computing Systems, 2004: 163-169.
[149]孙熙,庄磊,刘文,焦文品,梅宏,联系人.一种可定制的自主构件运行支撑框架[J].软件学报,2008,19(6):1340-1349.
[150]吕建,马晓星,陶先平,曹春,黄宇,余萍.面向网构软件的环境驱动模型与支撑技术研究[J].中国科学: E辑,2008,38(006):864-900.
[151] Filho S M, Leite L, Lemos G, Meira S. FLEXCM–A Component Model for Adaptive Embedded Systems[C]. Proceedings of International Computer Software and Applications Conference, 2007: 119-126.
[152] Pakkala D, Perala J, Niemela E. A Component Model for Adaptive Middleware Services and Applications[C]. Proceedings of EUROMICRO Conference on Software Engineering and Advanced Applications, 2007: 21-30.
[153] Liu H, Parashar M. Accord: A Programming Framework for Autonomic Applications[J]. IEEE Transactions on Systems, Man, and Cybernetics, 2006, 36(3): 341-352.
[154] Handte M, Herrmann K, Schiele G, Becker C, Rothermel K. Automatic Reactive Adaptation of Pervasive Applications[C]. Proceedings of IEEE International Conference on Pervasive Services, 2007: 214-222.
[155] Blair G S, Coulson G, Andersen A, Blair L, Clarke M, Costa F, Duran-Limon H, Fitzpatrick T, Johnston L, Moreira R. The Design and Implementation of Open ORB 2[J]. IEEE Distributed Systems Online, 2001, 2(6): 1-40.
[156] Parlavantzas N. Designing and Constructing Modifiable Middleware with Component Frameworks[D]. Lancaster: University of Lancaster, 2005.
[157] Mukhija A, Glinz M. A Framework for Dynamically Adaptive Applications in a Self-organized Mobile Network Environment[C]. Proceedings of Workshop on Distributed Auto-Adaptive and Reconfigurable Systems, 2004: 368-374.
[158] Tumer K, Wolpert D H. Collectives and the Design of Complex Systems[M]. New York: Springer-Verlag, 2004.
[159] Auyang S Y. Foundations of Complex-System Theories: In Economics, Evolutionary Biology, and Statistical Physics[M]. Cambridge: Cambridge University Press, 1999.
[160] Gelernter D, Carriero N. Coordination Languages and their Significance[J]. Communications of the ACM, 1992, 35(2): 97-107.
[161] Jacques-Silva G, Challenger J, Degenaro L, Giles J, Wagle R. Towards Autonomic Fault Recovery in System-S[C]. Proceedings of International Conference on Autonomic Computing, 2007: 31.
[162] Georgiadis I, Magee J, Kramer J. Self-Organising Software Architectures for Distributed Systems[C]. Proceedings of Workshop on Self-healing Systems, 2002: 33-38.
[163] Fundamentals of Collective Adaptive Systems[R]. Euro FET/ICT, 2009.
[164] Dobson S, Denazis S, Fernández A, Ga Ti D, Gelenbe E, Massacci F, Nixon P, Saffre F, Schmidt N, Zambonelli F. A Survey of Autonomic Communications[J]. ACM Transactions on Autonomous and Adaptive Systems, 2006, 1(2): 223-259.
[165] Gat E. On Three-Layer Architectures[M]. Artificial Intelligence and Mobile Robots: Case Studies of Successful Robot Systems, 1997: 195-210.
[166] Samimi F A, Mckinley P K, Sadjadi S M, Ge P. Kernel-Middleware Interaction to Support Adaptation in Pervasive Computing Environments[C]. Proceedings of Workshop on Middleware for Pervasive and Ad-Hoc Computing, 2004: 140-145.
[167] Garlan D, Shaw M. An Introduction to Software Architecture[R]. Carnegie Mellon University, 1993.
[168] Bennett S. A History of Control Engineering, 1800-1930[M]. London: Peter Peregrinus Ltd, 1986.
[169]孙扬声.自动控制理论[M].北京:水利电力出版社,1986.
[170]张启人.通俗控制论[M].北京:中国建筑工业出版社,1992.
[171] Diao Y, Hellerstein J L, Parekh S, Griffith R, Kaiser G, Phung D. Self-Managing Systems: A Control Theory Foundation[C]. Proceedings of IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2005: 441-448.
[172] Müller H, PezzèM, Shaw M. Visibility of Control in Adaptive Systems[C]. Proceedings of International Workshop on Ultra-Large-Scale Software-Intensive Systems, 2008: 23-26.
[173] Hursch W L, Lopes C V. Separation of Concerns[R]. Northeastern University, 1995.
[174] Lau K K, Wang Z. Software Component Models[J]. IEEE Transactions on Software Engineering, 2007, 33(10): 709-724.
[175] Wang N, Schmidt D C, O'Ryan C. Overview of the CORBA Component Model[M]. Component-Based Software Engineering: Putting the Pieces Together, Addison-Wesley Longman Publishing Co., Inc., 2001: 557-571.
[176] Vandewoude Y, Rigole P, Urting D, Berbers Y. DRACO: An Adaptive Run-Time Environment for Components[R]. Katholieke Universiteit Leuven, 2003.
[177] Mehta N R, Medvidovic N, Phadke S. Towards a Taxonomy of Software Connectors[C]. Proceedings of International Conference on Software Engineering, 2000: 178-187.
[178] Sadjadi S M, Mckinley P K. ACT: An Adaptive CORBA Template to Support Unanticipated Adaptation[C]. Proceedings of International Conference on Distributed Computing Systems , 2004: 74-83.
[179] Lehman M M, Ramil J F. Software Evolution[M]. Encyclopedia of Software Engineering, 1994: 1202-1208.
[180] Mens T, Demeyer S. Software Evolution[M]. Berlin: Springer, 2008.
[181]陈波.基于软件体系结构的构件模型和语言研究[D].长沙:国防科学技术大学,2007.
[182] Achermann F, Lumpe M, Schneider J G, Nierstrasz O. Piccola: A Small Composition Language[M]. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, 2002: 403-426.
[183] Van Ommering R, van der Linden F, Kramer J, Magee J. The Koala Component Model for Consumer Electronics Software[J]. IEEE Computer, 2000, 33(3): 78-85.
[184] Bruneton E, Coupaye T, Stefani J B. Recursive and Dynamic Software Composition with Sharing[C]. Proceedings of International Workshop on Component-Oriented Programming, 2002.
[185] Yang Z, Duddy K. CORBA: A Platform for Distributed Object Computing[J]. ACM SIGOPS Operating Systems Review, 1996, 30(2): 4-31.
[186] OMG. CORBA Scripting Language Specification[S]. 2002.
[187] Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual[M]. Boston, MA: Addison Wesley, 2004.
[188] Wang Z, Garlan D. Task-Driven Computing[R]. Carnegie Mellon University, 2000.
[189] Sousa J P, Poladian V, Garlan D, Schmerl B, Shaw M. Task-based Adaptation for Ubiquitous Computing[J]. IEEE Transactions on Systems, Man, and Cybernetics, 2006, 36(3): 328-340.
[190] Garlan D. Software Architectures for Task-Oriented Computing[C]. Proceedings of IEEE/ACIS International Conference on Computer and Information Science, 2008: 3.
[191] Dix A, Finlay J, Abowd G D, Beale R. Human-Computer Interaction[M]. New Jersey: Prentice Hall, 2004.
[192]刘璇.普适计算环境下实体发现机制的研究与实现[D].长沙:国防科学技术大学,2007.
[193]李骁.基于微内核的中间件自适应机制研究与实现[D].长沙:国防科技大学,2008.
[194] Garlan D, Siewiorek D P, Smailagic A, Steenkiste P. Project Aura: Toward Distraction-Free Pervasive Computing[J]. IEEE Pervasive Computing, 2002, 1(2): 22-31.
[195] Ranganathan A, Chetan S, Al-Muhtadi J, Campbell R H, Mickunas M D. Olympus: A High-Level Programming Model for Pervasive Computing Environments [C]. Proceedings of IEEE International Conference on Pervasive Computing and Communications, 2005: 7-16.
[196] Perttunen M, Jurmu M, Riekki J. A QoS Model for Task-Based Service Composition[C]. Proceedings of International Workshop on Managing Ubiquitous Communications and Services, 2007: 11-30.
[197] Zhang Y, Zhou Y. Transparent Computing: A New Paradigm for Pervasive Computing[C]. Proceedings of International Conference on Ubiquitous Intelligence and Computing, 2006: 1-11.
[198]王万森.人工智能原理及其应用[M].北京:电子工业出版社,2000.
[199]周志诚,林同曾.运筹学教程[M].上海:立信会计图书用品社,1988.
[200] Kuhn H W. The Hungarian Method for The Assignment Problem[J]. Naval Research, 1955: 83-97.
[201] Durfee E H, Lesser V R. Partial Global Planning: A Coordination Framework for Distributed Hypothesis Formation[J]. IEEE Transactions on Systems, Man, and Cybernetics, 1991, 21(5): 1167-1183.
[202] Cassandra A R, Kaelbling L P, Littman M L. Acting Optimally in Partially Observable Stochastic Domains[C]. Proceedings of National Conference on Artificial Intelligence, 1995: 1023-1028.
[203] Yamamoto J, Sycara K. A Stable and Efficient Buyer Coalition Formation Scheme for E-Marketplaces[C]. Proceedings of International Conference on Autonomous Agents, 2001: 576-583.
[204] Klusch M, Gerber A. Dynamic Coalition Formation among Rational Agents[J]. IEEE Intelligent Systems, 2002, 17(3): 42-47.
[205] Dash R K, Jennings N R, Parkes D C. Computational-Mechanism Design: A Call to Arm[J]. IEEE Intelligent Systems, 2003, 18(6): 40-47.
[206] Montanari U. Networks of Constraints: Fundamental Properties and Applications to Picture Processing[J]. Information Sciences, 1974, 7(2): 95-132.
[207] Dechter R. Constraint Processing[M]. San Fransisco: Morgan Kaufmann, 2003.
[208] Modi P J, Shen W M, Tambe M, Yokoo M. Adopt: Asynchronous Distributed Constraint Optimization with Quality Guarantees[J]. Artificial Intelligence, 2005, 161(1-2): 149-180.
[209] Petcu A. A Class of Algorithms for Distributed Constraint Optimization[D]. Lausanne: Ecole Polytechnique Federale de Lausanne, 2007.
[210] Chechetka A, Sycara K. No-Commitment Branch and Bound Search for Distributed Constraint Optimization[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2006: 1427-1429.
[211] Lijian H, Wei Z. An Agent Organization Structure for Solving DCOP Based on the Partitions of Constraint Graph[J]. Journal of Computer Research and Development, 2007, 44(3): 434-438.
[212] Meisels A. Distributed Search By Constrained Agents[M]. Heidelberg: Springer Verlag, 2007.
[213] Modi P J. Distributed Constraint Optimization for Multiagent Systems[D]. Los Angeles: University of Southern California, 2003.
[214] Maheswaran R T, Tambe M, Bowring E, Pearce J P, Varakantham P. Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-event Scheduling[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2004: 310-317.
[215] Sultanik E, Modi P J, Regli W C. On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem[C]. Proceedings of International Joint Conference on Artificial Intelligence, 2007: 1531-1536.
[216] Zhang W, Xing Z, Wang G, Wittenburg L. An Analysis and Application of Distributed Constraint Satisfaction and Optimization Algorithms in Sensor Networks[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2003: 185-192.
[217] Al-Shaer E, Hamed H, Boutaba R, Hasan M. Conflict Classification and Analysis of Distributed Firewall Policies[J]. IEEE Journal on Selected Areas in Communications, 2005, 23(10): 2069-2084.
[218] Hamed H, Al-Shaer E. Taxonomy of Conflicts in Network Security Policies[J]. IEEE Communications Magazine, 2006, 44(3): 134-141.
[219] Moffett J D, Sloman M S. Policy Conflict Analysis in Distributed System Management[J]. Journal of Organizational Computing, 1994, 4(1): 1-22.
[220]韩智文.分布协同式网络服务策略体系结构及关键技术研究[D].长沙:国防科学技术大学,2005.
[221] Bandara A K, Lupu E C, Russo A. Using Event Calculus to Formalise Policy Specification and Analysis[C]. Proceedings of IEEE Workshop on Policies for Distributed Systems and Networks, 2003: 26.
[222] IETF. RFC 3460, Policy Core Information Model (PCIM) Extensions[S]. 2003.
[223] Paton N W, Díaz O. Active Database Systems[J]. ACM Computing Surveys(CSUR), 1999, 31(1): 63-103.
[224] Kagal L, Finin T, Joshi A. A Policy Language for a Pervasive Computing Environment[C]. Proceedings of International Workshop on Policies for Distributed Systems and Networks, 2003: 63.
[225] Nguyen X T, Kowalczyk R, Phan M T. Modelling and Solving QoS Composition Problem Using Fuzzy DisCSP[C]. Proceedings of the IEEE International Conference on Web Services, 2006: 55-62.
[226] Bar-Shalom Y. Multitarget-Multisensor Tracking: Advanced Applications [M]. Boston, MA: Artech House Publishers, 1990.
[227] Sanders T B, Passino K M. DARPA Autonomous Negotiating Teams Project Report[R]. DARPA, 2001.
[228] Bejar R, Domshlak C, Fernández C, Gomes C, Krishnamachari B, Selman B, Valls M. Sensor Networks and Distributed CSP: Communication, Computation and Complexity[J]. Artificial Intelligence, 2005, 161(1-2): 117-148.
[229] Newman M E J. The Structure and Function of Complex Networks[J]. SIAM Rev., 2003, 45(2): 167-256.
[230] Pearce J P, Maheswaran R T, Tambe M. DCOP Games for Multi-agent Coordination[C]. Proceedings of International Workshop on Distributed Constraint Reasoning, 2005.
[231] Buckley F, Lewinter M. A Friendly Introduction to Graph Theory[M]. New Jersey: Prentice Hall, 2002.
[232] Hirayama K, Yokoo M. Distributed Partial Constraint Satisfaction Problem[C]. Proceedings of International Conference on Principles and Practice of Constraint Programming, 1997: 222-236.
[233] Davin J, Modi P J. Impact of Problem Centralization in Distributed Constraint Optimization Algorithms[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2005: 1057-1063.
[234] Petcu A, Faltings B. A Scalable Method for Multiagent Constraint Optimization[C]. Proceeding s of International Joint Conference on Artificial Intelligence, 2005: 266-271.
[235] Petcu A, Faltings B. MB-DPOP: A New Memory-bounded Algorithm for Distributed Optimization[C]. Proceedings of International Joint Conference on Artificial Intelligence, 2007: 1452-1457.
[236] Petcu A, Faltings B. ODPOP: An Algorithm for Open/Distributed Constraint Optimization[C]. Proceedings of National Conference on Artificial Intelligence, 2006: 703-708.
[237] Larrosa J, Schiex T. Solving Weighted CSP by Maintaining Arc Consistency[J]. Artificial Intelligence, 2004, 159(1): 1-26.
[238] Junges R, Bazzan A. Evaluating the Performance of DCOP Algorithms in aReal World, Dynamic Problem[C]. Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems, 2008: 599-606.
[239] Gershman A, Zivan R, Grinshpou T, Meisels A. Measuring Distributed Constraint Optimization Algorithms[C]. Proceedings of International Workshop on Distributed Constraint Reasoning, 2008: 17-24.
[240] Kumar A. USC Distributed Constraint Optimization Problem (DCOP) Repository[Z]. http://teamcore.usc.edu/dcop/, 2010.
[241] Galinier P, Hao J K. Tabu Search for Maximal Constraint Satisfaction Problems[C]. Proceedings of International Conference on Principles and Practice of Constraint Programming, 1997: 196-208.
[242] Gershman A, Meisels A, Zivan R. Asynchronous Forward-Bounding for Distributed Constraints Optimization[C]. Proceedings of European Conference on Artificial Intelligence, 2006: 103-107.
[243] Ezzahir R, Bessiere C, Benelallam I. Dynamic Backtracking for Distributed Constraint Optimization[C]. Proceedings of European Conference on Artificial Intelligence, 2008: 901-902.
[244]汪小帆,李翔,陈关荣.复杂网络理论及其应用[M].北京:清华大学出版社,2006.
[245] Bar S, Gonen M, Wool A. An Incremental Super-linear Preferential Internet Topology Model[C]. Proceedings of Annual Passive & Active Measurement Workshop, 2004: 53-62.
[246] Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal M. Pattern-Oriented Software Architecture, A System of Patterns, Volume 1[M]. New York: John Wiley & Sons, 1996.
[247] Ding B, Shi D, Wang H. Towards Pervasive Middleware: A CORBA3-Compliant Infrastructure[C]. Proceedings of International Symposium on Pervasive Computing and Applications, 2006: 139-144.
[248]刘惠,丁博,史殿习,刘明.面向普适计算应用的构件定义语言UCDL[J].国防科技大学学报,2009,31(3):82-86.
[249] Ledeczi A, Maroti M, Bakay A, Karsai G, Garrett J, Thomason C, Nordstrom G, Sprinkle J, Volgyesi P. The Generic Modeling Environment[C]. Proceedings of Workshop on Intelligent Signal Processing, 2001: 24-25.
[250] Dinda P A, O'Hallaron D R. Host Load Prediction Using Linear models[J]. Cluster Computing, 2000, 3(4): 265-280.