一种自管理的轻量化网格平台参考模型

第３８卷增刊（１）　东南大学学报（自然科学版）　ｖｏｌ＿３８　Ｓｕｐ（１）　２００８年９月　ＪＯＵＲＮＡＬ　ＯＦ　ＳＯＵＴＨＥＡＳＴ　ＵＮＩＶＥＲＳＩＴＹ（Ｎａｔｕｒａｌ　Ｓｃｉｅｎｃｅ　Ｅｄｉｔｉｏｎ）　Ｓｅｐｔ．　２００８　一种自管理的轻量化网格平台参考模型　顾　军　罗军舟　（’东南大学计算机科学与工程学院，南京２１００９６）　（　中国矿业大学计算机科学与技术学院，徐州２２１００８）　摘要：为提高开放环境下网格平台软件的适应性、重构性和可管理性，采用构件作为功能实现载　体，以服务作为功能组织手段，并集成轻量化和自管理特征，提出了一种用于指导Ｉｎｔｅｒｎｅｔ环境　下网格平台设计与构建的新型参考模型．深入阐述了参考模型的体系结构，描述了网格平台按需　构建、执行和撤销的三阶段工作过程，给出了具有监控、决策和控制能力的自主服务构件形式化　模型描述；采用基于分层反馈控制的自管理架构，以服务构件的执行力分析模型作为决策基础，实　现网格平台的自管理功能；最后，总结和展望了参考模型的研究工作．　关键词：网格平台；自管理；轻量化；服务构件；执行力　中图分类号：ＴＰ３９３　文献标识码：Ａ　文章编号：１００１一ｏ５ｏ５（２ｏｏ８）增刊（Ｉ）．０ｌ８５—０７　Ｒｅｆｅｒｅｎｃｅ　ｍｏｄｅｌ　ｆｏｒ　ｓｅｌｆ－ｍａｎａｇｉｎｇ　ａｎｄ　ｌｉｇｈｔ－－ｗｅｉｇｈｔｉｎｇ　ｇｒｉｄ　ｐｌａｔｆｏｒｍ　Ｇｕ　Ｊｕｎ　＇　Ｌｕｏ　Ｊｕｎｚｈｏｕ　（’Ｓｃｈｏｏｌ　ｏｆＣｏｍｐｕｔｅｒ　Ｓｃｉｅｎｃｅ　ａｎｄ　Ｅｎｇｉｎｅｅｒｉｎｇ，Ｓｏｕｔｈｅａｓｔ　Ｕｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ　２１００９６，Ｃｈｉｎａ）　（　Ｓｃｈｏｏｌ　ｏｆ　Ｃｏｍｐｕｔｅｒ　Ｓｃｉｅｎｃｅ　ａｎｄ　Ｔｅｃｈｎｏｌｏｇｙ，Ｃｈｉｎａ　Ｕｎｉｖｅｒｓｉｔｙ　ｏｆ　Ｍｉｎｉｎｇ　ａｎｄ　Ｔｅｃｈｎｏｌｏｇｙ，Ｘｕｚｈｏｕ　２２　１　００８，Ｃｈｉｎａ）　Ａｂｓｔｒａｃｔ：Ｔｏ　ｅｎｈａｎｃｅ　ｔｈｅ　ｓｅｌ￣ａｄａｐｔｉｖｅ，ｒｅｃｏｎｆｉｇｕｒａｔｉｏｎ　ａｎｄ　ｍａｎａｇｅａｂｉｌｉｔｙ　ｆｏｒ　ｏｐｅｎ　ｇｒｉｄ　ｐｌａｔｆｏｒｉｌｌ，ａ　ｒｅｆｅｒｅｎｃｅ　ｍｏｄｅｌ　ｆｏｒ　ｓｅｌｆ－ｍａｎａｇｉｎｇ　ａｎｄ　ｌｉｇｈｔ—ｗｅｉｇｈｔｉｎｇ　ｇｒｉｄ　ｐｌａｔｆｏｒｍ（ＳＭ＆ＬＷＧＰ）ｗａｓ　ｐｒｅｓｅｎｔｅｄ．Ｔｈｅ　ｍｏｄｅｌ　ｗａｓ　ｃｏｍｐｏｎｅｎｔ—ｂａｓｅｄ　ａｎｄ　ｓｅｒｖｉｃｅ—ｏｒｉｅｎｔｅｄ．ａｎｄ　ｃｏｕｌｄ　ｂｅ　ｕｓｅｄ　ｔｏ　ｇｕｉｄｅ　ｔｈｅ　ｄｅｓｉｇｎ　ａｎｄ　ｃｏｎｓｔｒｕｃｔｉｏｎ　ｏｆ　ａ　ｕｎｉｆｙ　ｇｒｉｄ　ｐｌａｔｆｏｉ＇ｍ　ｏｖｅｒ　ｔｈｅ　Ｉｎｔｅｒｎｅｔ．Ｔｈｅ　ａｒｃｈｉｔｅｃｔｕｒａｌ　ｒｅｆｅｒｅｎｃｅ　ｍｏｄｅｌ　ｆｏｒ　ＳＭ＆Ｌ、＾，ＧＰ　ｗａｓ　ｄｅｅｐｌｙ　ｄｉｓｃｕｓｓｅｄ，ａｎｄ　ｔｈｅ　ｔｈｒｅｅ—ｐｈａｓｅ　ＷＯｒｋ　ｐｒｏｃｅｄｕｒｅ　ｉｎｃｌｕｄｉｎｇ　ｃｏｎｓｔｒｕｃｔｉｎｇ．　ｅｘｅｃｕｔｉｎｇ　ａｎｄ　ｒｅｖｏｋｉｎｇ　ｗａｓ　ｄｅｓｃｒｉｂｅｄ．Ｔｈｅｎ．ｔｈｅ　ｆｏｒｍａｌ　ｍｏｄｅｌ　ｆｏｒ　ａｕｔｏｎｏｍｉｃ　ｓｅｒｖｉｃｅ　ｃｏｍｐｏｎｅｎｔ　ｗｉｔｈ　ｍｏｎｉｔｏｒｉｎｇ．ｄｅｃｉｓｉｏｎ　ａｎｄ　ｃｏｎｔｒｏｌ　ａｂｉｌｉｔｉｅｓ　ｗａｓ　ｅｘｐａｔｉａｔｅｄ．Ｍｏｒｅｏｖｅｒ，ａ　ｈｉｅｒａｒｃｈｉｃａｌ　ｓｅｌｆ－ｍａｎａｇｅｍｅｎｔ　ｓｔｕｒｃｔｕｒｅ　ｂａｓｅｄ　ｏｎ　ｆｅｅｄｂａｃｋ　ｃｏｎｔｒｏｌ　ｗａｓ　ｐｒｅｓｅｎｔｅｄ．ａｎｄ　ｔｈｅ　ａｎａｌｙｔｉｃａｌ　ｐｅｒｆｏｒｍａｂｉｌｉｔｙ　ｍｏｄｅｌ　ｆｏｒ　ｓｅｒｖｉｃｅ　ｃｏｍｐｏｎｅｎｔｓ　ｗａｓ　ｔａｋｅｎ　ａｓ　ｔｈｅ　ｄｅｃｉｓｉｏｎ　ａｎｄ　ｃｏｎｔｒｏｌ　ｏｆｕｎｄａｔｉｏｎ．Ｆｉｎａｌｌｙ，ｆｕｔｕｒｅ　ｒｅｓｅａｒｃｈ　ｄｉｒｅｃｔｉｏｎｓ　ｏｆ　ｔｈｅ　ｒｅｆｅｒｅｎｃｅ　ｍｏｄｅｌ　ｗｅｒｅ　ｐｕｔ　ｆｏｒｗａｒｄ．　Ｋｅｙ　ｗｏｒｄｓ：ｇｒｉｄ　ｐｌａｔｆｏｒｍ；ｓｅｌｆ－ｍａｎａｇｅｍｅｎｔ；ｌｉｇｈｔｗｅｉｇｈｔ；ｓｅｒｖｉｃｅ　ｃｏｍｐｏｎｅｎｔ；ｐｅｒｆｏｒｍａｂｉｌｉｔｙ　网格旨在实现动态、跨自治域的软硬件资源的全面共享，支持透明高效的协同工作ｌｌ　Ｊ，形成无缝、集　成的虚拟计算环境．随着网格技术和应用的不断发展，网格系统开发、部署、运行和维护的网络环境开始　从封闭、静态、可控逐步走向开放、动态、难控，不能再假设整个网格平台软件系统中各个部分都遵从统　一的设计和管理，也不能完全精确地预先确定系统的结构组成和每个组成部分的行为，更不能界定所有软　件组件与外部环境的边界【２】．从软件管理的角度看，Ｉｎｔｅｒｎｅｔ环境下的网格平台软件系统由其分散交互性而　带来的系统复杂性已经超出了软件设计者的控制能力，从而导致软件管理中的诸多问题必须在软件的运行　阶段加以处理．如何使网格平台系统的软件功能具有更好的伸缩性和灵活性ｐ　Ｊ，并能够根据管理者的要求　实现自管理【４】已经成为新的重要挑战之一．为此，本文研究并提出一种基于构件、面向服务、自管理的轻　量化网格平台（ｓｅｌｆ－ｍａｎａｇｉｎｇ　ａｎｄ　ｌｉｇｈｔ．ｗｅｉｇｈｔｉｎｇ　ｇｒｉｄ　ｐｌａｔｆｏｒｍ，ＳＭ＆ＬＷＧＰ）参考模型，以指导Ｉｎｔｅｒｎｅｔ环境　下网格系统的设计与构建．本文认为ＳＭ＆ＬＷＧＰ参考模型是一个用以指导建立具体网格平台的抽象框架，　它描述了网格平台的环境设施以及其中的部件和部件间关系，且它不直接受任何具体标准、技术或其他实　现细节的约束．　收稿日期：２００８．０８．２０．　基金项目：国家自然科学基金资助项目（９０４１２０１４，９０６０４００４）、“十一五”国家科技支撑计划重大资助项目　（２００６ＢＡＨ０２Ａ２４．４）、江苏省“网络与信息安全”重点实验室资助项目（ＢＭ２００３２０１）．　作者简介：顾军（１９７７一），男，博士生，讲师，ｊｇｕ＠ｓｅｕ．ｅｄｕ．ｃｎ；岁军舟（联系人），男，博士，教授，博士生导师，ｊｌｕｏ＠ｓｅａ．ｅｄｕ．ｃｎ．　ｌ８６　东南大学学报（自然科学版）　第３８卷　１参考模型　本文遵循大多数人的观点，构件是提升软件系统质量、控制软件复杂性的重要手段之一，而服务可以　为构件提供更好的对外交流途径，便于提高系统的开放性和灵活性　引．因此，ＳＭ＆ＬＷＧＰ参考模型以构件　作为网格管理功能的实现载体，以服务作为功能组织手段，且随同实现服务的构件一起部署服务，以实现　平台的轻量化，如图ｌ所示．　Ｄｐ１．ｃａ　－ｏｎ　，０◆厂　—ｌ『—　鬲　“～¨一　—Ｆ０　Ｓｅｒｖｉｃｅ　Ｃｏｍｐｏｎｅｎｔ　Ｌａｙｅｒ　Ｓｅｒｖｉｃｅ　ｂｏｕｎｄａｒｙ　　ＩＪ　Ｎｏｄｅ　ｂｏｕｎｄａｙｒ　图１　自管理的轻量化网格平台体系结构　所有管理服务都设计成服务构件形式，具有自治、开放、白描述和平台独立的特性．服务构件的粒度　有大小之分，功能有强弱之判，层次有高低之别．服务构件组合是保证能在不同抽象层次上对网格平台进　行描述、分析和验证的基础，也是实现管理服务定制的基础．管理服务本身也可以是多种管理服务的组合　体，支持多种管理功能的选择、匹配和组装，从而为网格平台的管理者和使用者提供高效、灵活的个性化　管理服务定制功能．　ＳＭ＆ＬＷＧＰ体系结构自下而上分为５层：　①物理资源层（ｐｈｙｓｉｃａｌ　ｒｅｓｏｕｒｃｅ　ｌａｙｅｒ）是实际的软硬件资源集合．　②虚拟资源层（ｖｉｒｔｕａｌ　ｒｅｓｏｕｒｃｅ　ｌａｙｅｒ）是对物理资源的服务化封装和描述．　③服务构件层（ｓｅｒｖｉｃｅ　ｃｏｍｐｏｎｅｎｔ　ｌａｙｅｒ）是完成特定管理功能的服务构件集合，提供实现服务所需要的　各种环境和构件，负责用细粒度的构件实现粗粒度的服务．一个服务构件（ＳＣ）实现的是某管理功能，　通常没有明确的业务目标．若干服务构件可以在构件管理引擎（ｃｏｍｐｏｎｅｎｔ　ｍａｎａｇｅｍｅｎｔ　ｅｎｇｉｎｅ）的作用　下协作完成更大的功能．服务构件组合（ｓｅｒｖｉｃｅ　ｃｏｍｐｏｎｅｎｔ　ｃｏｍｐｏｓｉｔｅ）操作以上层的管理服务目标为　指导，可以实现跨节点的构件交互．自主构件管理者（ａｕｔｏｎｏｍｉｃ　ｃｏｍｐｏｎｅｎｔ　ｍａｎａｇｅｒ）负责对执行状态　的服务构件提供自管理机制．　④管理服务层（ｍａｎａｇｅｍｅｎｔ　ｓｅｒｖｉｃｅ　ｌａｙｅｒ）包含了网格平台中面向应用的各种管理功能的服务实例．管理　服务的功能设计不是固定的，可以管理需求动态扩展（如Ｐｌｕｇｇａｂｌｅ　Ｓｅｒｖｉｃｅ）．服务管理引擎（ｓｅｒｖｉｃｅ　ｍａｎａｇｅｍｅｎｔ　ｅｎｇｉｎｅ）负责服务发现、服务组合、服务协同等工作．自主服务管理者（ａｕｔｏｎｏｍｉｃ　ｓｅｒｖｉｃｅ　ｍａｎａｇｅｒ）负责实现管理服务的自管理，包括服务的监控、分析、规划和执行等．　⑤应用层（ａｐｐｌｉｃａｔｉｏｎ　ｌａｙｅｒ）对外提供与用户交互的接口，获取用户的管理需求（如：计算密集型、数据密　集型、业务流程型等）和服务质量要求，制定或调整网格平台管理功能的部署规划和执行策略．　ＳＭ＆ＬＷＧＰ平台的工作过程一般包括３个阶段：　１）构建阶段　①应用层根据用户的管理需求提出网格平台的管理功能描述，包括管理服务的类型、强度、质量等，　并将其提交给服务管理引擎；描述通常是抽象的，主要反映用户的需求，不涉及实现技术问题：　②服务管理引擎根据功能描述建立管理服务的实施规划，包括服务构件的功能、契约、接口、ＱｏＳ参　数等，并将其提交给构件管理引擎：　增刊（Ｉ）　顾军，等：一种自管理的轻量化网格平台参考模型　１８７　③构件管理引擎实现相关服务构件的选择、匹配和组装，形成可执行的功能实体，并向服务管理引擎　汇报管理服务实施方案：　④服务管理引擎对照实施规划和实施方案，如果得到确认则进入到实施阶段，否则返回构件管理引擎　重新制定实施方案：　⑤构件管理引擎的实施方案得到确认后，将开始构件组装工作，完成每个管理服务的功能实现，形成　按需、可伸缩、一体化、自治的网格平台基础设施．　２）执行阶段　①应用需求到来后，服务网格平台将按照定制的管理服务流程实施管理功能：　②管理服务的实施过程中，自主服务管理者将监控和分析管理服务的执行状态，并依据当前的状态　决定该采取什么动作（或目标），甚至需要和自主构件管理者联合起来，实现全局的自主特性；　③自主构件管理者将监控和分析服务构件的执行状态，并依据当前的状态决定该采取什么动作（或目　标），甚至需要其它自主构件管理者协同工作．　３）撤销阶段　应用需求的改变或结束，将导致原来的管理功能流程及其实现的失效，因此必须能够做出撤销动作，　释放各种服务资源．　２自主服务构件　由于环境的动态性和管理的分散性，可能需要在不同的时刻实施不同的协同行为．因此，一方面需要　有效的协同机制支持、管理和控制实体之间的交互行为，另一方面又必须提供足够的灵活性以适应环境和　应用的不同需求．为此，服务构件应该能够在运行过程中对外部环境和应用需求的变化做出适当反应，从　而将系统所提供服务的功能或性能等维持在一个令人满意的水平上，即服务构件必须满足可管理性，包括　状态可观测和状态可调整，前者支持状态觉察，后者支持控制执行，即形成自主服务构件．自主服务构件　（ａｕｔｏｎｏｍｉｃ　ｓｅｒｖｉｃｅ　ｃｏｍｐｏｎｅｎｔｓ）由服务构件实体和连接件两部分组成，多个自主服务构件可以按照一定的规　则和策略组合成自主管理服务．　２．１服务构件实体　服务构件实体是具有特定网格管理功能并参与管理服务交互的基本单元．本文只定义其功能描述及交　互接口，而将功能的实现封装起来，从而保证构件实体实现技术的改变不会影响其功能．依据构件实体实　施管理功能的作用不同，定义了３类构件实体：监控构件实体、决策构件实体和控制构件实体，图形符号如　图２所示．　ＭｃｅＥｎｄｐｏｉｎｔ　（ａ）监控构件实体图　（ｂ）决策构件实体图　（ｃ）控制构件实体幽　图２服务构件实体的图形符号　定义１监控构件实体（ｍｏｎｉｔｏｒｉｎｇ　ｃｏｍｐｏｎｅｎｔ　ｅｎｔｉｔｙ，ＭＣＥ）实现服务构件的监控功能，可以用元组集　（ＭｃｅｌＤ，Ｏｂｊｅｃｔ，Ｍｏｄｅ，ＤａｔａＴｙｐｅ，ＤａｔａＳｅｔ，ＭｃｅＡｎａｌｙｓｉｓ，ＭｃｅＰｒｏｐｅｒｔｉｅｓ，ＭｃｅＣｏｎｓｔｒａｉｎｓ，ＭｃｅＥｎｄｐｏｉｎｔ）￣　示．ＭｃｅｌＤ是ＭＣＥ的标识；Ｏｂｊｅｃｔ是ＭＣＥ的监控对象，可以是服务、进程、数据、内存、带宽、生存周　期等；Ｍｏｄｅ是监控的方式，包括ｐｕｂｌｉｓｈ／ｓｕｂｓｃｒｉｂｅ，ｑｕｅｒｙ／ｒｅｓｐｏｎｓｅ，ｎｏｔｉｉｆｃａｔｉｏｎ，ａｃｔｉｖｅ／ｐａｓｓｉｖｅ等；ＤａｔａＴｙｐｅ是　监控的数据类型，因监控对象的不同而异；ＤａｔａＳｅｔ是监控数据集；ＭｃｅＡｎａｌｙｓｉｓ是对监控数据集的分析；　ＭｃｅＰｒｏｐｅｒｔｉｅｓ是与ＭＣＥ相关的属性，主要包括功能、安全性、可靠性、运行环境以及其他一些构件的发　布信息等；ＭｃｅＣｏｎｓｔｒａｉｎｓ是ＭＣＥ在运行、服务定制、性能等方面的约束；ＭｃｅＥｎｄｐｏｉｎｔ是监控构件实体与　决策构件实体的交互端点（Ｅｎｄｐｏｉｎ０集．　１８８　东南大学学报（自然科学版）　第３８卷　定义２决策构件实体（ｄｅｃｉｓｉｏｎ　ｃｏｍｐｏｎｅｎｔ　ｅｎｔｉｔｙ，ＤＣＥ）是实现策略的制定和发布．用元组集（ＤｃｅｌＤ，　ＵｓｅｒＩｎｔｅｒｆａｃｅ，Ａｄｍｉｎｌｎｔｅｒｆａｃｅ，ＡｃｃｅｓｓＥｎｄｐｏｉｎｔ，ＭａｐＥｎｄｐｏｉｎｔ，ＮｅｇｏＥｎｄｐｏｉｎｔ，ＤｃｅＰｒｏｐｅｒｔｉｅｓ，ＤｃｅＣｏｎｓｔｒａｉｎｓ，　ＤｃｅＤａｔａｓｅｔ，Ｄｃｅｐｏｌｉｃｉｅｓ）￣ｔ象表示．ＤｃｅｌＤ是ＤＣＥ的标识；Ａｄｍｉｎｌｎｔｅｒｆａｃｅ是网格管理员和自主管理者对管　理策略进行干预和调整的入口；Ｕｓｅｒｌｎｔｅｒｆａｃｅ是接受用户个性化管理需求并实施相应管理服务定制的接ＫＩ；　ＡｃｃｅｓｓＥｎｄｐｏｉｎｔ是ＤＣＥ与监控构件实体和控制构件实体交互的端点；ＭａｐＥｎｄｐｏｉｎｔ是ＤＣＥ之间的交互端　点；ＮｅｇｏＥｎｄｐｏｉｎｔ是ＤＣＥ之间策略协商的交互端点，达到分布的决策构件实体之间多策略的协作和同　步；ＤｃｅＰｒｏｐｅｒｔｉｅｓ是与ＤＣＥ相关的属性，主要包括功能、安全性、可靠性、运行环境以及其他一些构件发　布信息等；ＤｃｅＣｏｎｓｔｒａｉｎｓ是对ＤＣＥ在运行、服务定制、效果等方面的约束；ＤｃｅＤａｔａｓｅｔ是ＤＣＥ的数据集，　是策略决策的基础；Ｄｃｅｐｏｌｉｃｉｅｓ是决策构件实体做出的策略集合．　定义３控制构件实体（ｃｏｎｔｒｏｌ　ｃｏｍｐｏｎｅｎｔ　ｅｎｔｉｔｙ，ＣＣＥ）实现服务构件实体的控制功能，用一个元组集　（ＣｃｅｌＤ，Ｏｂｊｅｃｔ，Ｍｏｄｅ，Ｐａｒａｍｅｔｅｒｓ，ＣｃｅＰｒｏｐｅｒｔｉｅｓ，ＣｃｅＣｏｎｓｔｒａｉｎｓ，ＣｃｅＥｎｄｐｏｉｎｔ）抽象表示．ＣｃｅｌＤ是ＣＣＥ的标　识；Ｏｂｊｅｃｔ是ＣＣＥ的控制对象；Ｍｏｄｅ是控制的方式，包括设置、关闭、迁移、重置等；Ｐａｒａｍｅｔｅｒｓ是控制操　作需要的参数；ＣｃｅＰｒｏｐｅｒｔｉｅｓ是与ＣＣＥ相关的属性，主要包括功能、安全性、可靠性、运行环境、可执行　条件以及其他一些构件发布信息等；ＣｃｅＣｏｎｓｔｒａｉｎｓ是对ＣＣＥ在运行、服务定制、性能等方面的约　束；ＣｃｅＥｎｄｐｏｉｎｔ是控制构件实体与决策构件实体的交互端点（Ｅｎｄｐｏｉｎｔ）集．　定义４　端点（ｅｎｄｐｏｉｎｔ）是构件实体与外部环境之间的交互点，用元组集（ｐｏｉｎｔｅｄ，ｉｎＭｓｇ，ｏｕｔＭｓｇ，　ｐｏｉｎｔＰｒｏｐｅｒｔｉｅｓ，ｐｏｉｎｔＣｏｎｓｔｒａｉｎｓ）抽象表示．ｐｏｉｎｔｌＤ是端点标识；ｉｎＭｓｇ和ｏｕｔＭｓｇ分别是端点的输入消息和输　出消息；ｐｏｉｎｔＰｒｏｐｅｒｔｉｅｓ是与端点相关的属性；ｐｏｉｎｔＣｏｎｓｔｒａｉｎｓ是端点相关的约束信息．　２．２服务构件连接件　服务构件实体通过连接件交互，而不是直接交互．连接件是一切能够为服务构件交互传递语义的抽象　载体，它通过定制服务构件之间的交互规则来实现构件耦合．构件之问通过在接Ｉ：Ｉ中暴露的端点（ｅｎｄｐｏｉｎｔ）　相互通信（引用操作、请求服务）．网格平台的构件化交互模型用策略交互连接件对构件实体之间的交互关　系进行建模，对应地定义了映射交互连接件，协作交互连接件和访问交互连接件三类交互连接件，图形符　号如图３所示．这里所定义的映射交互连接件和协作交互连接件具有较强的语义表达能力，不但可以对构　件实体之间的交互行为和交互环境特征进行描述，而且能够同时支持“一一对一”和“多对多”交互关系的建模　和分析．　／　Ｌ　Ａｂ似　一（融　｝　Ｃｈｏｏｋ　＼　ＭＩＣ　）　　ＩＣＩＣ　一。。　｝ＡＩＣ　１　、　／、　／、Ｍｈｏｏｋ　Ａｈｏ０ｋ　Ａｈｏ０ｋ　山映射交　Ｉ．　ｉｉｌＪ，＞ｉｆ：交　Ｌ　打访问变　／　，Ｃｈｏｏｋ＼　ｆ＿蛳　…．　ｆ　。　、　‘　＼　、．＼．　｜　川　１Ｍｈｏ　、　，．，ｔ　／　、　‘　．　一　ｔ　．　，　／｜ｉ　ｄ　』　／＇＾　　・　ｒ、、　。＼　…．■　、、　Ａｈ。。ｋ　…・　Ａｈ、。ｏｋ　多疗映射交　Ｌ　多　作交　多山　Ｉｈｌ变　（ａ）映射交　Ｌ连接件Ｉ割　（ｂ）协们变　ｆ：连接什陶　（ｃ）访　Ｕ变　连接什Ｉ割　’　图３交互连接件的图形符号　定义５映射交互连接件（ｍａｐｐｉｎｇ　ｉｎｔｅｒａｃｔｉｏｎ　ｃｏｎｎｅｃｔｏｒ，ＭＩＣ）是不同功能类型服务构件实体之间交互关　系的抽象，由元组集（ＭｉｃｌＤ，Ｍｈｏｏｋ，ＭＰｒｏｐｅｒｔｉｅｓ，ＭＣｏｎｓｔｒａｉｎｓ，ＭａｐＧｌｕｅ）抽象表示．ＭｉｃｌＤ是ＭＩＣ的标　识；Ｍｈｏｏｋ是ＭＩＣ的映射钩子集；ＭＰｒｏｐｅｒｔｉｅｓ是与ＭＩＣ相关的属性；ＭＣｏｎｓｔｒａｉｎｓ是与ＭＩＣ相关的约束信　￣，；ＭａｐＧｌｕｅ是描述所有映射交互的整体协调制约关系的映射胶合规则．　定义６　协作交互连接件（ｃｏｌｌａｂｏｒａｔｉｏｎ　ｉｎｔｅｒａｃｔｉｏｎ　ｃｏｎｎｅｃｔｏｒ，ｃｌＣ）是相同管理类型服务构件实体之间交　互关系的抽象，由元组集（ＣｉｃｌＤ，Ｃｈｏｏｋ，ＣＰｒｏｐｅｒｔｉｅｓ，ＣＣｏｎｓｔｒａｉｎｓ，ＣｏｌＧｌｕｅ）抽象表示．ＣｉｃｌＤ是ＣＩＣ的标　识；Ｃｈｏｏｋ是协作交互连接件的协作钩子集；ＣＰｒｏｐｅｒｔｉｅｓ是与ＣＩＣ相关的属性；Ｃｃｏｎｓｔｒａｉｎｓ是与ＣＩＣ相关的约　束信　￣，；ＣｏｌＧｌｕｅ描述协作交互的整体协调制约关系的协作胶合规则．　增刊（Ｉ）　顾军，等：一种自管理的轻量化网格平台参考模型　ｌ８９　定义７访问交互连接件（ａｃｃｅｓｓｉｎｇ　ｉｎｔｅｒａｃｔｉｏｎ　ｃｏｎｎｅｃｔｏｒ，ＡＩＣ）是同一个服务构件中监控构件实体、控制　构件实体和决策构件实体之间交互关系的抽象，用元组集（ＡｉｃｌＤ，Ａｈｏｏｋ，ＡＰｒｏｐｅｒｔｉｅｓ，ＡＣｏｎｓｔｒａｉｎｓ，　ＡｃｃｅｓｓＧｌｕｅ）抽象表示．ＡｉｃｌＤ是ＡＩＣ的标识；Ａｈｏｏｋ是ＡＩＣ在同层内的访问钩子集；ＡＰｒｏｐｅｒｔｉｅｓ是与ＡＩＣ相　关的属性；ＡＣｏｎｓｔｒａｉｎｓ与ＡＩＣ相关的约束信　￣，；ＡｃｃｅｓｓＧｌｕｅ是描述所有访问交互的整体协调制约关系的访问　胶合规则．　定义８　钩子（ｈｏｏｋ）代表参与由某个交互连接件所抽象的交互关系的构件实体通过其相应端点所表现　出的行为特征．用元组集（ｈｏｏｋｌＤ，ｈｏｏｋｏ￣，ｈｏｏｋｒｕｌｅ，ｈｏｏｋｏｐ，ｉｎＭｓｇ，ｏｕｔＭｓｇ，ｈｏｏｋＰｒｏｐｅｒｔｉｅｓ，ｈｏｏｋＣｏｎｓｔｒａｉｎｓ）　抽象表示．ｈｏｏｋｌＤ是钩子的标识；ｈｏｏｋｏ￣是钩子的交互对象；ｈｏｏｋｒｕｌｅ是钩子的交互规￣Ｏ；ｈｏｏｋｏｐ是钩子的　交互操作，包括策略的合并、抽取、替换等；ｉｎＭｓｇ和ｏｕｔＭｓｇ是交互过程中的输入消息和输出消　；ｈｏｏｋＰｒｏｐｅｒｔｉｅｓ是与钩子相关的属性；ｈｏｏｋＣｏｎｓｔｒａｉｎｓ是与钩子相关的约束信息．　定义９管理服务构件（ｍａｎａｇｅｍｅｎｔ　ｓｅｒｖｉｃｅ　ｃｏｍｐｏｎｅｎｔ，ＭＳＣ）是监控构件实体ＭＥＣ、决策构件实体ＤＣＥ　和控制构件实体ＣＣＥ通过访问交互连接件ＡＩＣ组合形成的构件实体，完成一个相对完整的管理服务功能，　用元组集（ＭｓｃｌＤ，ＭｓｃＴｙｐｅ，ＭａｐＥｎｄｐｏｉｎｔ，ＮｅｇｏＥｎｄｐｏｉｎｔ，ＳｅｒｖｉｃｅＥｎｄｐｏｉｎｔ）抽象表示．ＭｓｃＩＤ是ＭＳＣ的标　识；ＭｓｃＴｙｐｅ是ＭＳＣ的类型；ＭａｐＥｎｄｐｏｉｎｔ和ＮｅｇｏＥｎｄｐｏｉｎｔ从决策构件实体继承而来：ＳｅｒｖｉｃｅＥｎｄｐｏｉｎｔ为上　层的管理服务提供操作和访问接口．图４（ａ）和（ｂ）分别是ＭＳＣ构件实体的外部形式和内部结构．　ＭａｐＥｎｄｐｏｉｎｔ　。。。。。。。。。。。。。。。。。。。。。。。——ＮｅｇｏＥｎｄｐｏｉｎｔ　●—　ｏｃｅ　——●　Ｌ——————————Ｊ　Ａｃｅｓｓ　ｄＥｎ　０ｐ　ｉｎｔ——　●，　２　器　己　暑　ＳｅｒｖｉｃｅＥｎｄｐｏｉｎｔ　（ａ）ＭＳＣ的外部形式　（ｂ）ＭＳＣ的内部结构　图４管理服务构件ＭＳＣ的图形符号　３　自管理机制　３．１基于分层反馈控制的自管理架构　ＳＭ＆ＬＷＧＰ平台采用分层反馈控制结构作为自管理的实现架构（见图５），以服务构件、管理服务以及　之问的交互关系作为控制对象和决策来源，上层控制面向应用的全局管理服务，下层负责面向自主服务构　件的局部控制．　１　Ａｕｔｏｎｏｍｉｃ　Ｓｅｒｖｉｃｅ　Ｃｏｍｐｏｎｅｎｔｓ　Ｉ　……　１　Ａｕｔｏｎｏｍｉｃ　Ｓｅｒｖｉｃｅ　Ｃｏｍｐｏｎｅｎｔｓ｝　图５基于分层反馈控制的自管理架构　自主服务构件是被管理对象，具有监控、决策和控制三种功能，可以实现自我觉察和外部环境感知．构　件控制器（ｃｏｍｐ０ｎｅｎｔ　ｃｏｎｔｒｏｌｌｅｒ）表示为３￣Ｈ．：ＣＣ＝（ＣＭＢ，ＣＭ，ＣＤ）．式中，ＣＭＢ是建模部件（ＣＭｏｄｅｌ　Ｂｕｉｌｄｅｒ），负责定量描述系统的有关过程和特性，如对系统响应速度、吞吐量、ＣＰＵ和存储器的利用率、　失效率等性能度量的管理，对系统可靠性、安全性的评估等；ＣＭ是分析性模型部件，负责建模结果的表示　ｌ９０　东南大学学报（自然科学版）　第３８卷　和存放；ＣＤ是决策部件，实现服务构件状态偏离期望目标时的白适应功能．服务控制器（ｓｅｒｖｉｃｅ　ｃｏｎｔｒｏｌｌｅｒ）　的组成与构件控制器基本一致，可以表示为３元组：ＳＣ＝（ＳＭＢ，ＳＭ，ＳＤ）．不同的是服务的分析性模型（ＳＭｏｄｅ１）　是由下层服务构件的分析模型通过组合计算得到，反映了全局的执行状态．服务控制器部件在一定的外部　指导支持下运行，常见的外部指导￣ｔＩ：Ｉ：ＳＬＡｓ是服务网格用户提交的ＱｏＳ需求，策略（ｐｏｌｉｃｙ）是表征高层管理　目标的任何形式化规范，用于驱动和约束自主元素的行为．　对于网格这种大规模、跨多管理域的虚拟计算环境，资源故障和构件失效的情况相当普遍，需要度量　系统的可用性（ａｖａｉｌａｂｉｌｉｔｙ）、可靠性（ｒｅｌｉａｂｉｌｉｔｙ）、可信性（ｄｅｐｅｎｄａｂｉｌｉｔｙ）和安全性（ｓｅｃｕｒｉｔｙ）．执行力　ｆｐｅｒｆｏｒｍａｂｉｌｉｔｙ）的概念由Ｍｅｙｅｒ在２Ｏ世纪８０年代初提出　】，主要指用统一的方法综合考虑系统的性能和可　靠性．执行力可以看作是对系统在给定时间问隔里获得和维护满意的性能级别能力的量化，在此过程中需　要考虑系统结构和环境的改变．本文将研究基于执行力［１　８１的分析性模型作为网格平台自管理的决策基础．　３．２执行力分析模型　在ＳＭ＆ＬＷＧＰ平台中，服务构件可能同时服务于多个管理服务域，同一个服务构件ｉ在不同的运行过　程中可能产生各种反映服务构件当前状态的数据（事件），包括各种日志事件和实时事件，如服务的操作状　态、性能状态（吞吐量、响应时问等）、失效征兆和异常事件等【９】．下面给出相关的管理服务的形式化描述：　定义１０　ＳＣ构件的执行定义可以描述为一个五元组ＳＣ＝＜ＳＣｉｄ，Ｆｕｎｃ，Ｐｒｏｔｏ，Ｄｏｍ，Ｆｅａｔｕｒｅ，Ｓａｔｉｓ＞．　其中，ＳＣｉｄ表示服务构件的唯一标识；Ｆｕｎｃ表示构件提供的功能接口集合，Ｆｕｎｃ　ｃ　ＭＦ　。ｔ；Ｐｒｏｔｏ表示构　件之问交互行为的协议；Ｄｏｍ表示构件可能属于的不同管理服务域的集合，Ｄ：ＳＣ￣ＳＣ－－－￣Ｆｕｎｃ表示构件之间　通过接１５１进行交互实现一定的功￣；Ｆｅａｔｕｒｅ表示构件在某个特定的应用域中表现出的性能属性（比如响应时　间，通信延迟，吞吐量等）、可靠性、可用性等：Ｓａｔｉｓ表示用户的满意度．　定义ｌ１　交互连接可以描述为ＩＣｉ－，ｊ＝＜ＩＣｉｄ，ＰＣｌ－－－－＊Ｊ，Ｉ－ＣＴｉ－．ｊ，ｐｅｒｌＣｉ－ｊ＞．其中，ＩＣｉｄ表示构件的惟一　标识；ＳＣｉ－．ｊ＝（ＳＣｉ，ｓｃｊ）表示进行交互的一对服务构件；ＩＣＴｉ－－ｑ表示交互的实现方式，比如Ｃ／Ｓ（如：ＲＭＩ，ＲＰＣ）、　移动代理或者其他方式；ｐｅｒｌＣｉ－．ｊ表示一个执行构件ｉ后运行构件，时使用到的交互连接件的执行力度量．　定义ｌ２管理服务是为完成管理日标而形成的一系列服务构件交互与协作的运行序列，可以定义为一　个五元组ＭＳ＝＜ＭＳＣ，独ＣＩＲ，ＣＩＣ，ｃｉＰ，ＣＴＰ＞．其中，ＭＳＣ表示管理服务构件实体集合，ＭＳＣ＝｛ＳＣｌ，　ＳＣ２，…，ＳＣ　｝；ＣＩＲ表示构件之间的交互关系（ｉｎｔｅｒａｃｔｉｏｎ　ｒｅｌａｔｉｏｎ）集合，ＣＩＲ＝｛ＩＲｌ，ＩＲ２，…，ＩＲ　｝；ＣＩＣ表示　构件之间的连接（ｃｏｎｎｅｃｔｉｏｎ）集合，ＣＩＣ＝｛ＩＣｌ，ＩＣ２…．，ＩＣ　｝，ＣＩＣ与构件的交互关系ＣＩＲ有关；ＣＩＰ表示构件　之问的交互策略（ｐｏｌｉｃｙ）集合；ＣＴＰ表示构件执行过程中的变迁概率（ｔｒａｎｓｉｔｉｏｎ　ｐｒｏｂａｂｉｌｉｔｙ）集，　ＣＴＰ＝｛ＴＰ１　１…．，ＴＰ　ｉ　ｉ…．，ＴＰ　＿＋　｝，ＴＰ　ｉ　；表示一个管理服务执行服务构件ｉ后可能执行服务构件．，的概　率．对于任意一个服务构件ＳＣｉ，如果ＳＣｉ＃ｓｃｉ，那么　．＝１．　ＳＣｉ‘。。ｃＭＳＣ‘　定义１３　一个服务构件与其他构件的交互行为变迁模型可以定义为ＢＴＭ　：＜曲，Ｓ，，Ｓ　７’，，，　．　．　＞．其中，ｄ表示构件所属的某个管理服务域；曲表示管理服务域ｄ中包含的操作行为集合；Ｓ，是执行的第　一个操作；ＳＴ是执行的最后一个操作；Ａｅ　．　一［０．．１］表示一个操作的执行力；　×．Ｓ　［０．．１］表示操作　之间的变迁概率；　表示操作的执行时问．如果操作之间没有直接的关联，那么Ａ，ｓ（ｓ　，　口　＝０；且Ｖ　，∈　，∑　（　，　）＝１．　ＳｉＥ　假设Ｓ，和Ｓ　按顺序运行后进入可能执行ｓｊ的状态，那么运行路径的可执行性可以表示为ｆＰｅｒＳ（Ｓｍ）　ｆＰｅｒＳ（Ｓ），对应的发生概率是Ａ，ｓ（ｓ　，　ｆｅｒｓ（Ｓ　，　『ｊ．由此，从Ｓ　的完成状态变迁到ｓｊ的运行状态的平均执行　力是∑　（Ｓ　）’　（Ｓｉ　Ｓ　）　（Ｓ　（Ｓ　，Ｓ，）．　根据上述分析，某个管理服务域ｄ中服务构件ＭＳＣ的变迁矩阵如下：　ｃ（　）＝（／　（　，）‘　（　，Ｓｆ））　，ｌ≤ｆ，Ｊ　ｌＳ　ｌ　（１）　令Ｍ　ｋ：Ｍ　ｋ－Ｉ　（　）．　（　），并且设定运行的最后操作是　，那么ＭＳＣ的平均执行力是：　ｐｅｒｇｓｃ（ｄ）＝ｆｅ，，，ｓ（ｓ，）・（ｒＩ　一　（　））（１，　）　（２）　式中，　是特征矩阵．　Ｉ　，｛　网络通信环境是服务构件行为变迁必须要考虑的影响因素．我们定义以下参数：网络带宽　，链路失效　率ＬＮ，ＭＳＣ构件交互的总次数　，调用构件后第ｉ次传输的数据Ｄ　．那么，网络环境对服务构件执行力　的影响可以表示为　增刊（Ｉ）　顾军，等：一种自管理的轻量化网格平台参考模型　１９ｌ　ｐｅ　：兀ｅ　ｑ，　（３）　因此，管理服务执行力建模的一般性方法如下：　首先，根据管理服务的功能定义设计服务构件之问的变迁关系，形成服务构件变迁矩阵ＭＳ，并根据　构件之间的关系将服务网格平台的性能指标和可靠性度量分解到具体的服务构件上．假定构件变迁矩阵为　＝（（％））　（４）　其中，　ｍＪｏ　执行　后　，不会执行　ｕ一、Ｔ　Ｐ｛　ｌｃ　ＤｅｒＮ　其他　其次，假定参加运行的服务构件数目为刀，ＳＧ是执行的第一个服务构件，ＳＧ是执行的最后一个服务　构件．于是，可以得出某个管理服务的执行力表达式如下：　ｐｅｒＭｓ＝ｐｅｒｓ，．（　一　）　（１，　）　（５）　式（５）只是对管理服务执行力分析建模的初步探讨．事实上，网格环境的复杂性和管理需求的多样性将　给管理服务执行力的度量和分析带来很多挑战，还要在今后的研究中进一步改进和完善．　４结语　本文提出的ＳＭ＆ＬＷＧＰ模型以构件和服务作为基本组成方式，将构件的紧耦合和服务的松耦合结合　起来，即以构件的形式实现功能，以服务的形式实现交流，实现可伸缩的自动化网格管理功能，既能保证　底层工作环境的稳定和高效，又能保证上层工作环境灵活和开放．与基于ＯＧＳＡ的网格系统体系结构相比，　ＳＭ＆ＬＷＧＰ模型既保证服务虚拟化特征，又重视软件开发的复杂性，还提高了软件运行的白管理能力，可　用于指导面向Ｉｎｔｅｒｎｅｔ的通用网格平台各组成部件的设计和实现，并保证各个组成部件能够有机的结合起　来形成高效、有序的虚拟计算环境．　在下一步的工作中，我们将继续完善ＳＭ＆ＬＷＧＰ模型中服务构件的描述机制，优化服务构件执行力　分析性模型和评价方法，研究服务构件执行力监控技术和服务构件的实现技术，开发相关的原型系统，为　Ｉｎｔｅｒｎｅｔ环境下的服务网格平台建设提供更好的解决方案．　参考文献（Ｒｅｆｅｒｅｎｃｅｓ）　［１］　Ｆｏｓｔｅｒ　Ｉ，Ｋｅｓｓｅｌｍａｎ　Ｃ．Ｔｈｅ　ｇｒｉｄ　２，ｂｌｕｅｐｒｉｎｔ　ｆｏｒ　ａ　ｎｅｗ　ｃｏｍｐｕｔｉｎｇ　ｉｎｆｒａｓｔｒｕｃｔｕｒｅ【Ｍ】．Ｓａｎ　Ｆｒａｎｃｉｓｃｏ：Ｍｏｒｇａｎ　Ｋａｕｆｍａｎｎ　Ｐｕｂｌｉｓｈｅｒｓ　ｌｎｃ，２００４．　［２】　吕建，马晓星，陶先半，等．网构软件的研究与进展［Ｊ］．中国科学Ｅ辑，２００６，３６（１０）：１０３７－１０８０．　Ｌｖ　Ｊｉａｎ，Ｍａ　Ｘｉａｏｘｉｎｇ，Ｔａｏ　Ｘｉａｎｐｉｎｇ，ｅｔ　ａ１．Ｒｅｓｅａｒｃｈ　ａｎｄ　ｄｅｖｅｌｏｐｍｅｎｔ　ｏｆ　ｉｎｔｅｒｗａｒｅ［Ｊ］．Ｓｃｉｅｎｃｅ　ｉｎ　Ｃｈｉｎａ，Ｓｅｒｉｅｓ　Ｅ，２００６，　３６（１０）：１０３７－１０８０．（ｉｎ　Ｃｈｉｎｅｓｅ）　［３】　Ｊｅｙａｒａｊａｎ　Ｔｈｉｙａｇａｌｉｎｇａｍ，Ｓｔａｖｒｏｓ　Ｉｓａｉａｄｉｓ，Ｖｌａｄｉｍｉｒ　Ｇｅｔｏｖ．Ｔｏｗａｒｄｓ　ｂｕｉｌｄｉｎｇ　ａ　ｇｅｎｅｉｒｃ　ｇｒｉｄ　ｓｅｒｖｉｃｅｓ　ｐｌａｔｆｏｒｍ：ａ　ｃｏｍｐｏｎｅｎｔ　ｏｒｉｅｎｔｅｄ　ａｐｐｒｏａｃｈ［ｃ］／／Ｖｌａｄｉｍｉｒ　Ｇｅｔｏｖ，Ｔｈｉｌｏ　Ｋｉｅｌｍａｎｎ，ｅｄ．Ｃｏｍｐｏｎｅｎｔ　Ｍｏｄｅｌｓ　ａｎｄ　Ｓｙｓｔｅｍｓ　ｆｏｒ　Ｇｒｉｄ　Ａｐｐｌｉｃａｔｉｏｎｓ．ＵＳ：　Ｓｐｒｉｎｇｅｒ．２００５：３９—４６．　［４】　ｖａｎ　Ｍｏｏｒｓｅｌ　Ａａｄ　Ｐ　Ａ．Ｇｒｉｄ，ｍａｎａｇｅｍｅｎｔ　ａｎｄ　ｓｅｌ￣ｍａｎａｇｅｍｅｎｔ［Ｊ］．Ｃｏｍｐｕｔｅｒ　Ｊｏｕｒｎａｌ，２００５，４８（３）：３２５—３３２．　【５】　Ｒｏｓａ　Ｍ　Ｂａｄｉａ，Ｏｌａｖ　Ｂｅｃｋｍａｎｎ，Ｍａｒｉａｎ　Ｂｕｂａｋ，ｅｔ　ａ１．Ｌｉｇｈｔｗｅｉｇｈｔ　ｇｒｉｄ　ｐｌａｔｆｏｒｍ：ｄｅｓｉｇｎ　ｍｅｔｈｏｄｏｌｏｇｙ［ＥＢ／ＯＬ］．（２００５）［２００８］．　ｗｗｗ．ｃｓ．ｖｕ．ｎｌ／－ｋｉｅｌｍａｎｎ／ｗｐ７．ｓｏｐｈｉａ／ＬｉｇｈｔＷｅｉｇｈｔＧｒｉｄＰｌａｔｏｆｒｍ　ＥｘｔｅｎｄｅｄＡｂｓ．ｐｄｆ．　［６］Ｈａｖｅｒｋｏｒｔ　Ｂ　Ｒ，Ｍａｒｉｅ　Ｒ，Ｒｕｂｉｎｏ　Ｇ，ｅｔ　ａ１．Ｐｅｒｆｏｒｍａｂｉｌｉｔｙ　ｍｏｄｅｌｌｉｎｇ：ｔｅｃｈｎｉｑｕｅｓ　ａｎｄ　ｔｏｏｌｓ［Ｍ】．Ｃｈｉｃｈｅｓｔｅｒ，Ｅｎｇｌａｎｄ：Ｊｏｈｎ　Ｗｉｌｅｙ＆Ｓｏｎｓ．２００１．　【７】　Ｊａｒｖｉｓ　Ｓ，Ｔｈｏｍａｓ　Ｎ，ｖａｎ　Ｍｏｏｒｓｅｌ　Ａａｄ　Ｐ　Ａ．Ｏｐｅｎ　ｉｓｓｕｅｓ　ｉｎ　ｇｒｉｄ　ｐｅｒｆｏｒｍａｂｉｌｉｔｙ【Ｊ］＿Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｊｏｕｒｎａｌ　ｏｆ　Ｓｉｍｕｌａｔｉｏｎ：Ｓｙｓｔｅｍｓ，　Ｓｃｉｅｎｃｅ　ａｎｄ　Ｔｅｃｈｎｏｌｏｇｙ，２００４，５（５）：３—１２．　【８】　毛晓光，邓勇进．基于构件软件的可靠性通用模型［Ｊ］．软件学报，２００４，１　ｓ（１）：２７—３２．　Ｍａｏ　Ｘｉａｏｇｕａｎｇ，Ｄｅｎｇ　Ｙｏｎｇｊｉｎ．Ａ　ｇｅｎｅｒａｌ　ｍｏｄｅｌ　ｏｆｒ　ｃｏｍｐｏｎｅｎｔ－ｂａｓｅｄ　ｓｏＲｗａｒｅ　ｒｅｌｉａｂｉｌｉｔｙ［Ｊ］．Ｊｏｕｒｎａｌ　ｏｆＳｏｆｔｗａｒｅ，２００４，１５（１）　２７—３２．（ｉｎ　Ｃｈｉｎｅｓｅ）　【９】Ｈｕ　Ｈａｉｙａｎｇ．Ｒｅｌｉａｂｉｌｉｔｙ　ａｎａｌｙｓｉｓ　ｆｏｒ　ｃｏｍｐｏｎｅｎｔ－ｂａｓｅｄ　ｓｏｆｔｗａｒｅ　ｓｙｓｔｅｍ　ｉｎ　ｏｐｅｎ　ｄｉｓｔｒｉｂｕｔｅｄ　ｅｎｖｉｒｏｎｍｅｎｔｓ［Ｊ］．ＩＪＣＳＮＳ　Ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｊｏｕｒｎａｌ　ｏｆ　Ｃｏｍｐｕｔｅｒ　Ｓｃｉｅｎｃｅ　ａｎｄ　Ｎｅｔｗｏｒｋ　Ｓｅｃｕｒｉｔｙ，２００７，７（５）：１　９３・２０２．