基于SOA的建模与仿真框架及仿真服务发现技术研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
科学技术的发展使得系统正逐步向体系方向进化,而面向体系的建模与仿真(M&S)不再是局限于单个组织的行为,而是强调模型与仿真的联合开发,致力于将不同组织或不同领域开发的仿真资源进行重用和组合以满足多学科协同仿真和多系统联合仿真的需要。体系条件下的联合仿真对M&S的重用与互操作性提出了更高的要求,可组合仿真也逐渐成为了当前M&S领域的研究热点,而仿真模型可组合性作为其重要组成部分,也因此成为了可组合仿真的关键研究内容。
     本文以新兴的面向服务计算为背景,研究如何利用Web服务技术来支持仿真模型的重用和组合,从而提高可组合仿真的开发效率。论文主要从基于SOA的仿真方法和仿真模型服务发现技术两个方面进行了研究,内容主要包括提供理论和方法论指导的基于SOA的建模与仿真框架研究,针对仿真服务发现的仿真服务描述、匹配及选择技术研究,基于SOA的建模仿真环境的设计与实现等。论文的主要工作及创新体现为以下几个方面:
     (1)基于SOA的建模与仿真框架
     论文首先对基于SOA的仿真、仿真服务等关键概念进行了阐述,给出了基于SOA的仿真开发过程,并对基于SOA的仿真的优势与挑战进行了探讨;在此基础上对基于SOA的仿真高层体系结构进行了探讨,提出了一个本体驱动开放仿真体系结构,该体系结构由本体层、管理层和仿真/资源层构成,并详细分析了各个层次的功能需求和特点;进而建立了基于SOA的仿真过程模型,即仿真服务组合参考模型,对仿真服务组合的基本术语、过程视图及技术框架进行了分析;最后提出了一个基于SOA的开放建模与仿真框架SOMSF来指导基于SOA的仿真实践,并对SOMSF的体系结构、仿真开发流程,以及仿真模型的组合框架进行了详细阐述,分析了框架中所面临的关键技术问题。该框架能够为大范围内仿真资源的重用和共享,以及技术、语法、语义、语用和概念层次的仿真模型可组合性提供全面支持。
     (2)仿真服务发现技术
     在面向服务架构下,仿真服务发现是基于SOA的仿真中实现仿真模型组合建模的重要前提,论文分别对仿真服务描述、匹配和选择三个与仿真服务发现密切相关的关键技术进行了深入研究。
     论文首先介绍了现有Web服务描述模型和本体的基本概念、表示方法及作用,在深入分析仿真模型语义组成的基础上,提出了一个基于两层本体的仿真服务描述模型,并基于OWL-S/WSDL构建了仿真服务描述本体,实现了对仿真服务从技术→语法→语义→语用→概念的描述。在此基础上,对仿真领域本体、概念及仿真服务描述本体进行了形式化定义。最后,针对现有Web服务描述本体OWL-S Profile对仿真模型动态行为描述的不足,基于DoDAF中的CADM构建了仿真服务的行为本体规范,用于支持仿真服务语用信息的表示和存储。
     基于仿真服务的语义描述模型,构建了包含“三个层次”和“五种类型”的仿真服务匹配模型。考虑到本体构建的难度以及匹配效率,论文重点对基于语义相似度的仿真服务匹配类型进行了深入探讨,分别为不同层次的仿真服务相似度匹配建立了相应的语义相似度计算函数,在此基础上对语义计算中的两个关键匹配算法进行了研究,并结合现有的Web服务发现技术对该方法的性能进行了对比分析。
     在对分布式仿真的基本特征进行深入分析的基础上,结合现有的Web服务质量模型构建了仿真服务质量模型及其基于图的聚合规则,为仿真服务的服务质量属性计算提供依据。在此基础上将仿真服务质量驱动的仿真服务的选择问题建模为一个多目标的组合优化问题,并结合仿真服务质量模型的特征建立了相应的多目标规划模型。针对不同的用户需求,分别建立了获取多组解和单个解的多目标问题求解模型,并基于粒子群算法提供了相应的模型求解算法,即多目标粒子群算法MMPSO和带偏好的粒子群算法PBPSO。最后对算法性能进行了分析,并对选择策略的适用情况进行了讨论。
     (3)原型系统的设计与实现
     最后,在前述的方法论及相关关键技术研究的基础上,结合本实验室已有的研究成果,论文设计并初步实现了一个基于SOA的仿真环境SOASim。该原型系统能够为仿真服务的设计、开发、发布、部署、发现、组合及运行提供自动化支持,并结合具体课题应用对原型系统及相关关键技术进行了初步验证。
The development of technology has evolved system to system of systems. Modeling and Simulation (M&S) for these complex systems is focused on the coalition/joint development of models and simulation, and resources owned by different organizations or domains are reused and composed to meet the requirements of multidisciplinary cooperative simulation and multi-system joint simulation. The joint simulation for system of systems has demanded more M&S reusability and interoperability, and composable simulation has been the hot topics of M&S of complex systems. As a very important content, model composability has been one of the key research problems of composable simulation.
     Taking the Service-Oriented Computing (SOC) as the technology background, this dissertation has made an in-depth research on how to facilitate simulation model reuse and composition with Service-Oriented Architecture (SOA) and Web Service to promote the efficiency of composable simulation. From the views of SOA-based simulation approach and the discovery of simulation model services, the main content of the thesis are included: research of the SOA-based framework for modeling and simulation, the key technologies of simulation services description, mismatching, and selection, which are related to simulation service discovery; the design of the SOA-based simulation environment and the implementation of its prototype. The main work and innovations of this dissertation include the following parts:
     (1) The SOA-based framework for modeling and simulation
     First of all, the conceptual framework of SOA-based simulation is studied. SOA-based simulation and simulation service are explicitly defined, and the development process of SOA-based simulation and its advantage and challenge are discussed. After that, the high-level architecture of SOA-based simulation are explored, and a conceptual architecture is presented, which is Ontology-driven Open Simulation Architecture (OOSA), and the process model of SOA-based simulation, i.e. simulation service compositon, and some terms, the process view and technique framework are dicussed. Based on the above research, the SOA-based Open Modeling and Simulaiton Framework (SOMSF) is presented. The structure, functions and the related technologies in SOMSF are explored, and the key technologies involved in the thesis are explicated. SOMSF can provide overall support for technical, syntactic, semantic, pragmatic, and concept composability.
     (2) Simulation service discovery
     Under SOA, simulation service discovery is a prior precondition to reuse and dynamic composition of simulation models. This dissertation has separately studied three key technologies which closely related with service discovery: service description, service matching, and service selection.
     Firstly, the dissertation introduces existing Web service description models and the concept, express languages, and uses of ontology. After analyzing the semantics construct of simulation model, a two-level ontology-base description model for simulation service is proposed and the simulation service description ontology based on OWL-S/WSDL is build, which describes the technique, syntactic, semantic, and concept information of simulation service. Then the simulation domain ontology, concept, and simulation service description ontology are formalized. Finally, aiming to the deficiency of OWL-S to express dynamic behavior, a behavior ontology specification based on CADM (Core Architecture Data Model) is build, which can be used to support the expression and storage of behavior information.
     Secondly, based on the semantic description model for simulation service, a matchmaking model named“five types and three levels”is presented. Considering the difficult to construct the domain ontology and the matching efficiency, the type of Similarity Matchmaking, which is based on the semantics similarity degree, is stressed. Different similarity degree calculating formulas for description information of different level are established, and two key matching algorithms for semantic computing are studied. Finally, the performance of the matching method is compared with the existing web service discovery methods.
     Based on the characteristic of distributed simulation and the Quality of Service for Web Service, the Quality of Service for Simulation service (QoSS) is build and the aggregating rules based on graph is given, which can be used to guide the attribute calculating of composite QoSS. Furthermore, the QoSS-driven simulation service selection problem is modeled as a multi-objective combinatorial optimization problem, and the multi-objective plan model according to the characteristic of QoSS is build. Aiming to deferent user’s requirements, the plan model can be solved by two different ways, and the algorithms based Particle Swarm Optimization (PSO) are provided with: Multi-objective and Multi-solution PSO (MMPSO) and Preference-Based PSO (PBPSO). MMPSO can achieve a group of Prato optimal solutions and PBPSO can only provide single solution. Finally, the performance of algorithms is analyzed and the applying situation of selection strategy is discussed.
     (3) Design and implementation of prototype
     Based on the above methods and technologies, combined with the fruits of our lab, a SOA-based Simulation environment - SOASim is designed, and the prototype and tools are implemented. SOASim can provide automated support for the design, development, publishing, deploying, discovery, composition and execution of simulation service. At last, an example is given to demonstrate the prototype system and partly validate the above approach and technologies.
引文
[1]黄柯棣等.系统仿真技术[M]。国防科技大学出版社,长沙1998。
    [2]李群等。基于SOA的可扩展仿真服务体系结构研究[R]。国家自然科学基金报告,长沙,2006。
    [3]周东祥,仲辉,邓睿,李群,王维平.复杂系统仿真的可组合问题研究综述[J],系统仿真学报, 2007,19(8):1819-1923.
    [4] Andreas Tolk.“Metamodels and Mappings– Ending the Interoperability War”[C], 04F-SIW-105, 2004
    [5] Davis, P.K. and Anderson, R.H.“Improving the Composability of DoD Models and Simulations”[Z], RAND, National Defense Research Institute, Santa Monica, CA, 2003.
    [6] Page, E.H. and Opper, J.M.“Observations on the Complexity of Composable Simulation”[C], Winter Simulation Conference, 1999.
    [7] Petty, M.D. and Weisel, E.W.“A Composability Lexicon”[C], 03S-SIW-023, 2003.
    [8] Petty, M.D., Weisel, E.W. and Mielke, R.R.“Computational Complexity of Selecting Components for Composition”[C], 03F-SIW-072, 2003.
    [9] Weisel, E.W., Petty, M.D. and Mielke, R.R.“Validity of Models and Classes of Models in Semantic Composability”[C], 03F-SIW-073, 2003.
    [10] Petty, M.D. and Weisel, E.W.“A Formal Basis for a Theory of Semantic Composability”[C], 03S-SIW-054, April 2003.
    [11]周东祥,李群,王维平.可组合仿真模型的语义形式描述及组合判定方法[J],国防科技大学学报,2008年第一期.
    [12]王维平,周东祥,李群,朱一凡.基于MDA的多层次框架式组合建模仿真方法研究[J],系统仿真学报, 2007,19(19).
    [13] Phil Zimmerman,Chris Turrell,Jim Heusmann, et al. Composable Mission Space Environments[A]. Defence Modeling and Simulation Office, 2002.
    [14] Don Brutzman, Michael Zyda, J. Mark Pullen, Katherine L. Morse,“Extensible Modeling and Simulation Framework Challenges for Web-based Modeling and Simulation”. Finding and Recommendations Report,2002.
    [15] Curtis Blais, Extensible Modeling and Simulation Framework (XMSF) Exemplars in Analytic Combat Modeling, Proceedings of the Spring 2003 Simulation Interoperability Workshop, 2003.
    [16] Don Brutzman, Andreas Tolk. JSB Composability and Web Services Interoperability via Extensible Modeling & Simulation Framework (XMSF), Model Driven Architecture (MDA), Component Repositories, and Web-based Visulization[R]. U.S. government study paper, 2003,11.
    [17] Ryan P. Z. Brunton. Simulation Composability Using HLA, X3D and Web Services: an XMSF Exemplar[C]. Proceedings of the Spring Simulation Interoperability Workshop. Arlington, 2004.
    [18] Katherine L. Morse, Ryan Brunton, David Drake. WMDOA IntegrationEmploying Web Services for Federate Communication– an XMSF Examplar[C]. Proceedings of the Spring 2004 Simulation Interoperability Workshop, 2004.
    [19] Don Brutzman, Arnie Buss, Curt Blasis. Connectin Simkit Discrete Event Simulation (DES) and the Naval Simulation System (NSS) via Web Services for Extensible Modeling & Simulation (XMSF)– Capable Analysis [R]. OPNAV N81-NPS WCM 2004 Projects Overview, 2004, 5.
    [20] Arnold Buss, John Ruck, Don Brutzman. Using XMSF Web Services for Joint Modeling and Analysis[C]. Proceedings of the Spring Simulation Interoperability Workshop, 2004.
    [21] Curtis Blais, Don Brutzman, David Drake, Dennis Moen, Katherine Morse, Mark Pullen, Andreas Tolk. Extensible Modeling and Simulation Framework (XMSF) 2004 Project Summary Report[R]. Naval Postgraduate School, 2. 28, 2005.
    [22] NDIA M&S Committee. Acquisition M&S Master Plan (draft)[R]. 12, Jan, 2006.
    [23] J.M. Pullen, R. Brunton, D. P. Brutzman. Using Web Services to Integrate Heterogeneous Simulations in a Grid Environment[C]. Computational Science ICCS 2004, 4th International Conference, Proceedings PartⅢ. Jun. 2004, pp.835-847.
    [24] Andreas Tolk. Composable Mission Spaces and M&S Repositories– Applicability of Open Standards[C]. Proceedings of the Spring 2004 Simulation Interoperability Workshop, 2004.
    [25] S. K. Numrich Michael Hieb, Andresa Tolk. M&S in the GIG Enviroment: An Expanded View of Distributing Simulation. Interservice/Industry Training, Simulation, and Education Conference (I/ITSEC) 2004.
    [26] Y. Xie, Y.M. Teo, W. Cai and S.J. Turner, Towards Grid-Wide Modeling and Simulation[C], Singapore-MIT Alliance Annual Symposium, January 2005.
    [27] B.H. Li, X. Chai, Y. Di, H. Yu, Z. Du, and X. Peng, Research on Service Oriented Simulation Grid[C], Autonomous Decentralized Systems, ISADS 2005 Proceedings, April 4-8, 2005, pp7- 14.
    [28] Xinjun Chen, Wentong Cai, Stephen J. Turner, Yong Wang. SOAr-DSGrid: Service-Oriented Architecture for Distributed Simulation on the Grid[C]. Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation, 2006.
    [29] Thomas Erl. Service-Oriented Architecture: Concepts, Technology, and Design[M]. Prentice Hall PTR, August 04, 2005.
    [30] Levent Yilmaz, Tuncer I.Oren. Exploring Agent-Supported Simulation Brokering on the Semantic Web: Foundations for A Dynamic Composability Approach[C]. Proceedings of the 2004 Winter Simulation Conference, pp: 766-773.
    [31] Levent Yilmaz. Atrategy for Improving Dynamic Composability: Ontology-driven Introspectvie Agent Architectures [J]. Systtemics, Cybernetics and Informatics 2007, Volume 5 pp:1-9.
    [32] Bob McCauley, Michael Tackaberry, Ed Hrris, Nicolette Zielinski. WARSIM 2000 C4I Interface Prototyping[C]. Proceeding of 1998 Spring Simulation Interoperability Workshop, 1998.
    [33] Stefan Krusche, Andreas Tolk. A SHADE Approach for Coupling C4I-Systemsand Simulation Systems[C]. Proceeding of 1999 Fall Simulation Interoperability Workshop, 1999.
    [34] Glenn S. Iwerks. Integrating M&S Representations of the Natural Environment into a C4ISR System for Decision Support. Proceeding of 2000 Spring Simulation Interoperability Workshop, 2000.
    [35] John W. Diem, Morman L. Allred. Modeling and Simulation Employment of Common C4I Interfaces– Toward an Integrated Future[C]. Proceeding of 2001 Fall Simulation Interoperability Workshop, 2001.
    [36] Allison Griffin, Joe Lacetera, Andreas Tolk. C4ISR/Sim Technical Reference Model Study Group Final Report[R]. SISO S4ISR TRM Study Group (SG), 2002. Proceeding of 2001 Fall Simulation Interoperability Workshop, 2001.
    [37] Andreas Tolk. A Common Framework for Military M&S and C4I Systems[C]. Proceeding of 2003 Spring Simulation Interoperability Workshop, 2003..
    [38] Michael R. Hieb, Andreas Tolk. Extensible Battle Management Language (XBML): A Methodology for Web Enabling Command and Control for Network Centric Warfare[R].The 2004 Command and Control Research and Technology Symposium, June 15-17, 2004.
    [39] Andreas Tolk. Moving towards a Lingua Franca for M&S and C3I– Developments concerning the C2IEDM[C]. 2004 Euro Simulation Interoperability Workshop, Edinburgh, Scotland, June 2004.
    [40] Charles Turnitsa, Andreas Tolk, Evaluation of the C2IEDM as an Interoperability-Enabling Ontology[C], European Simulation Interoperability Workshop Toulouse, France, June 2005.
    [41] Dynamic Data Driven Application Systems [R/OL]. NSF Workshop Report, March 2000. www.cise.nsf.gov/dddas.
    [42] Frederica Darema. Dynamic Data Driven Applications Systems: A New Paradigm for Application Simulations and Measurements[C]. Procedings of the 2004 International Conference on Computational Science, Krakow, Poland, 2004.
    [43] DDDAS Workshop Report [R/OL]. NSF Workshop Report, January. 2006. http://www.cise.nsf.gov/dddas.
    [44] Simulation Transformation for Dynamic Data-Driven Application Systems [EB/OL]. www.nsf.gov/awardsearch/showAward.do?AwardNumber=0426971.
    [45] Michael P. Hunter, Richard M. Fujimoto, Wonho Suh. An Investigation of Real-Time Dynamic Data Driven Transportation Simulation[C]. Proceedings of the 2006 Winter Simulation Conference, 2006.
    [46] Fujimoto, R., D. Lunceford, E. Page, and A. Uhrmacher. 2002. Technical Report of the Dagstuhl-Seminar Grand Challenges for Modelling and Simulation., Aug 26-30, 2002.
    [47] Marianela Garcia Lozano, Farzad karmani, Farshad Moradi. Sysbiotic Simulation Based Decision Support[R]. FOI Methodology Report, Feb 2006.
    [48] Mikel D. Petty, Eric W. Weisel. A Composability Lexicon[C]. Proceedings of the Spring Simulation Interoperability Workshop. Kissimmee, FL, 2003.
    [49] Mikel D. Petty, Eric W. Weisel,Roland R. Mielke. A Formal Approach to Composability[C]. Proceedings of the Interservice/Industry Training, Simulationand Education Conference Orlando, FL, 2003.
    [50] Eric W. Weisel, Mike D. Petty, Roland R. Mielke. A Survey of Engineering Approaches to Composability[C]. Proceedings of the Spring Simulation Interoperability Workshop. Arlington, VA, 2004.
    [51] Mikel D. Petty. Simple Composition Suffices to Assemble any Composite Model[C]. Proceedings of the Spring Simulation Interoperability Workshop. Arlington, VA, 2004.
    [52]雷永林.仿真模型重用理论、方法与异构集成技术研究[D],博士学位论文,国防科技大学, 2006,12.
    [53] Yonglin Lei, Lili Song, Weiping Wang, Caiyun Jiang. A Metamodel-based Representation Method for Reusable Simulation Model[C]. Proceeding of Winter Simulation Conference 2007.
    [54]周东祥.多层次仿真模型组合理论与集成方法研究[D].国防科学技术大学研究生院, 2007年12月.
    [55]周东祥,李群,王维平.仿真模型的语法可组合问题及组合判定研究[J].火力与指挥控制,2007,已录用.
    [56]陈超.语境驱动的仿真模型可组合性测试方法研究[D].国防科学技术大学研究生院, 2007年12月.
    [57]陈超,周东祥,李群,王维平.基于SMP2的仿真模型测试方法研究[J],系统仿真学报, 2007,19(10): 2300-2303.
    [58]王维平,陈超。语境驱动的仿真模型测试方法论[J]。系统仿真学报,已录用。
    [59] V. K. Handley,P. M. Shea,M. Morano. An Introduction to the Joint Modeling and Simulation System (JMASS)[C]. Proceedings of the Fall Simulation Interoperability Workshop. Orlando FL, 2000.
    [60] R. J. Meyer. Joint Modeling and Simulation System (JMASS): What it does,…and What it doesn't[C]. Proceedings of the Spring Simulation Interoperability Workshop. Orlando, FL, 2001
    [61]王维平,朱一凡,李群,等. Sim2000 :一个柔性仿真开发环境[J].系统仿真学报,2000, 12(1):61-64.
    [62] A. J. Courtemanche, R. B. Burch. Using and Developing Object Frameworks to Achieve a Composable CGF Architecture[C]. Proceedings of the Ninth Conference on Computer Generated Forces and Behavioral Representation. Orlando FL, 2000.
    [63] R. L. Wittman,C. T. Harrison. OneSAF: A Product Line Approach to Simulation Development[C]. Proceedings of the European 2001 Simulation Interoperability Workshop. 2001.
    [64] A. J. Courtemanche, R. L. Wittman. OneSAF: A Product Line Approach for a Next-Generation CGF[C]. Proceedings of the Eleventh Conference on Computer-Generated Forces and Behavior Representation. Orlando FL, 2002.
    [65] JSIMS Composability Task Force.1997.JSIMS Composability Task Force Final Report.September 30, 1997.
    [66] Jesse Aronson, David Wade. Model Based Simulation Composition[C]. Proceedings of the Fall Simulation Interoperability Workshop. Frolida,Orlando, 1998.
    [67] P. Carlisle, W. Babineau,R. Wuerfel. The Joint Simulation System (JSIMS) Federation Management Toolbox[C]. Proceedings of the Fall Simulation Interoperability Workshop. 2003
    [68] Henry A. Marshall. SAF in CATT Training Systems, Update 1999[C]. Proceedings of the Eighth Conference on Computer Generated Forces and Behavioral Representation. 1999.
    [69] Gestalt. Requirements for Composable Simulations[A]. Alexandria, Virginia: Defense Modeling & Simulation Office(DMSO), 2003.
    [70] Paul L. Gustavson,John P. Hancock,Mark McAuliffe. Base Object Models (BOMs): Reusable Component Objects for Federation Development. Fall Simulation Interoperability Workshop. 1998.
    [71] Simulation Model Composition Using BOMs[J].
    [72] John P. Hancock,Judy Ann Schandua,Paul L. Gustavson. A Structural Description of Base Object Models (BOMs)[C]. Proceedings of the Spring Simulation Interoperability Workshop. 1999.
    [73] Paul L. Gustavson, John P. Hancock, Christopher Stapleton. The Base Object Model (BOM) Primer: A Distilled Look at a Component Reuse Methodology for Simulation Interoperability. Spring Simulation Interoperability Workshop. 2001.
    [74] Base Object Model Product Development Group SISO. Base Object Model (BOM) Template Specification [A]. SISO-STD-003.0-DRAFT-V0.12. Orlando, FL, 2005.
    [75] John D. Poole. Model-Driven Architecture: Vision, Standards And Emerging Technologies[C]. Proceedings of the ECOOP. 2001.
    [76] David S. Frankel.鲍志云译.应用MDA[M].北京:人民邮电出版社, 2003.
    [77] OMG. MDA Guide[EB/OL]. http://www.omg.org/cgi-bin/doc?ptc/03-06-01.pdf, 2003.
    [78] Object Management Group. MDA Success Stroies[EB/OL]. http://www.omg.org/mda/products_success.htm, 2007.
    [79] Kim Nergaard, Luis Arguello.“Simulation Model Portability Standards”[C], European Space Agency, 1999.
    [80] L. Argüello, J. Miró, et al.“SMP: A Step Towards Model Reuse in Simulation”[Z], ESA Bulletin number 103, Aug 2000.
    [81] Peter Fritzen.“Model Reuse through SMP2”[Z], VEGA, 2004.
    [82] Luis Arguello.“The Simulation Model Portability 2 Standard”[C], 8th International Workshop on Simulation for European Space Programmes, 2004.10
    [83] SMP2.“SMP 2.0 Metamodel”[Z],EGOS-SIM-GEN-TN-0100, 2005.10
    [84] European Space Agency. SMP 2.0 Handbook, v 1.2[A]. EGOS-SIM-GEN-TN-0099. 2005.
    [85] Anita Pos, Pim Borst, et al.“Reusability of simulation models”[J], Knowledge based Systems, 1996.
    [86] C. Michael Overstreet, Richard E. Nance, Osman Balci.“Issues in Enhancing Model Reuse”[C], International Conference on Grand Challenges for Modeling and Simulation, 2002.
    [87] M.K. Traore′.“Conditions for model component reuse”[EB/OL], http://www.dagstuhl.de/04041/Talks/, 2004.
    [88] Levent Yilmaz and Tuncer I. ?ren.“A Conceptual Model for Reusable Simulations within a Model-Simulator-Context Framework”[C], Conceptual Modeling and Simulation Conference at the First International Mediterranean Modeling Multiconference. 2004.
    [89] Levent Yilmaz.“On the Need for Contextualized Introspective Models to Improve Reuse and Composability of Defense Simulations”[J], JDMS Volume 1, 2004.
    [90] Michael Spiegel, Paul F. Reynolds, Jr., David C. Brogan.“A Case Study of Model Context for Simulation Composability and Reusability”[C], Winter Simulation Conference, 2005.
    [91] Paul Gustavson, Tram Chase. RPR-BOM Initiative: Providing a Set of Applicable BOMs to the M&S Community. SISO BOM Study Group (SG), 2004.
    [92] Paul Gustavson, Roy Scrudder, Robert Lutz, Jane Bachman. Understanding the BOM Metadata and Making It Work for You. SISO BOM Study Group (SG), 2005.
    [93] W3C,“SRML - Simulation Reference Markup Language”[EB/OL], Hhttp://www.w3.org/H, 2002.
    [94] SISO SRML SG,“SRML Study Group Final Report”[EB/OL], http://www.sisostds.org/, 2004.
    [95] Paul Gustavson, Tram Chase. Using XML and BOMs to Rapidly Compose Simulation and Simulation Environments[C]. Proceedings of the 2004 Winter Simulation Conference 2004.
    [96] Bj?rn M?ller, Mikael Karlsson. Developing well-balanced federations using the HLA Evolved smart update rate reduction. Proceedings of 2005 Fall Simulation Interoperability Workshop, September 2005.
    [97] Bj?rn M?ller, Staffan L?f. A Management Overview of the HLA Evolved Web Service API. Proceedings of 2006 Fall Simulation Interoperability Workshop, September 2006.
    [98] Bj?rn M?ller Clarence Dahlin. A First Look at the HLA Evolved Web Service API[C]. Proceedings of the Proceedings of 2006 Euro Simulation Interoperability Workshop, Simulation Interoperability Standards Organization. 2006.
    [99] Bj?rn M?ller Clarence Dahlin, Mikael Karlsson. Developing Web Centric Federates and Federations using the HLA Evolved Web Services API[C]. Proceedings of the Proceedings of the Spring 2007 Simulation Interoperability Workshop, 07S-SIW-107. 2007.
    [100] Christopher McDonald John Schloman, Jonathan Labin. Development of a Testing Environment for the HLA-Evolved Web-based API[C]. Proceedings of the, 2006.
    [101] The Extensible Run-Time Infrastructure (XRTI): An Experimental Implementation of Proposed Improvements to The High Level Architecture[D]. Naval Postgraduate School Master’s Thesis, Dec 2003.
    [102] The NPSNET Research Group. XRTI: Extensible Run-Time Infrastructure[A]. [http://www.npsnet.org/~npsnet/xrti/]. October 2003.
    [103] Paul Gustavson, Tram Chase, Mike Haddad. The Application of Base Object Models (BOMs) for Supporting Aggregation and Load-Balancing[C]. Proceedingsof 2004 Fall Simulation Interoperability Workshop, September 2004.
    [104] Tram Chase, Paul Gustavson, Latika Eifert. The Application of Base Object Models (BOMs) for enabling Multi-Resolution Modeling[C]. Proceedings of 2004 Fall Simulation Interoperability Workshop, September 2004.
    [105] Paul Gustavson, Tram Chase, Larry Root, Karl Crosson. Moving Towards a Service-Oriented Architecture (SOA) for Distributed Component Simulation Environments[C]. Proceedings of 2006 Spring Simulation Interoperability Workshop, September 2006.
    [106] Ben Sisson, Paul Gustavson, Karl Crosson. Adding Aggregate Services to the Mix: An SOA Implementation Use Case[C]. Proceedings of 2006 Fall Simulation Interoperability Workshop, September 2006.
    [107] Katherine L. Morse, Ryan Brunton and David Drake. Web Enabling an RTI - an XMSF Profile [C]. Proceedings of the 2003 European Simulation Interoperability Workshop, June 2003.
    [108] J.Mark Pullen and Dennis Moen. Internet and Multicast Service Issues for XMSF[C]. Proceedings of the 2003 European Simulation Interoperability Workshop, June 2003.
    [109] Andreas Tolk, Major Kevin Galvin. Coalition Battle Management Language[C]. Proceedings of 2004 Fall Simulation Interoperability Workshop, September 2004.
    [110] T. D. Norbraten. Utilization of Forward Error Correction (FEC) Techniques with Extensible Markup Language (XML) Schema-Based Binary Compression (XSBC) Technology[D]. Master’s Thesis, Modeling, Virtual Environments, and Simulation (MOVES), Naval Postgraduate School, Monterey, CA, December 2004.
    [111] M. E. Bayer. Analysis of Binary XML Suitability for NATO Tactical Messaging[D]. Master’s Thesis, Systems Technology, Naval Postgraduate School, Monterey, CA, September 2005.
    [112] Katherine L. Morse, David L. Drake, Ryan P.Z. Brunton. Web Enabling HLA Compliant Simulations to Support Network Centric Applications.
    [113] Mikel D. Petty. Semantic Composability and XMSF.
    [114] Joseph M DeFee. Simulation On Demand: Using SIMPROCESS in a SOA Environment. BPTrends, November, 2004.
    [115] Per M. Gustavsson, Christoffer Brax, Tomsa Planstedt. Towards Service-Oriented Simulaiton[C]. Proceedings of the 2004 Fall Simulation Interopeability Workshop Orlando, Florida, Sep 2004.
    [116] Per M. Gustavsson, et al. Service Oriented Simulation Concept [C]. 2005 SimTech, Sindney, Australia, 2005,233-239.
    [117] Saurabh Mittal, DEVS Unified Process for integrated Development and Testing of Service Oriented Architectures [D], PhD dissertation, the University of Arizona, 2007.
    [118] Saurabh Mittal, Jose L. Risco, Bernard P. Zeigler, DEVS-Based Simulation Web Services for Net-Centric T&E, 2007.
    [119] Saurabh Mittal, Jose L. Risco, Bernard P. Zeigler, DEVSML: Automating DEVS Execution Over SOA Towards Transparent Simulators, 2007.
    [120] W. T. Tsai, Chun Fan, Yinong Chen, DDSOS : A Dynamic DistributedService-Oriented Simulation Framework [C], Proceedings of the 39th Annual Simulation Symposium, 2006.
    [121] Chun Fan, DDSOS : A Dynamic Distributed Service-Oriented Modeling and Simulation Framework[D], PhD dissertation, 2006.
    [122] Tolk, A., C.D.Turnitsa, S.Y. Diallo, L.S. Winters. Composable M&S Web Services for Net-Centric Applications[J], Journal for Defense Modeling and Simulation, forthcoming, 2006 SCS.
    [123] K.RycerZ, M. Bubak, M, Malawski. Spport for Effective and Fault Tolerant Execution of HLA-Based Applications in the OGSA Framework [C]. Computational Science-ICCS 2004, 4th International Conference, 2004, pp.848-855.
    [124] Y. Xie, Y. M. Teo,W. Cai, and S. J. Turner. A distributed simulation backbone for executing HLA-based simulation over the internet[C]. In Workshop on Grid Computing & Applications, Proceedings of the 2nd International Conference on Scientific and Engineering Computation, pages 96–103, June 2004.
    [125] W. Zong, Y. Wang, W. Cai, and S. J. Turner. Grid services and service discovery for HLA-based distributed simulation [C]. In Proceedings of the IEEE/ACM Distributed Simulation- Real Time Application Symposium, pages 116–124, 2004.
    [126] Yong Xie, Yong Meng Teo, Wentong Cai, Stephen John Truner. Service Provisioning for HLA-based Distributed Simulation on the Grid.
    [127] T B Lee, J Hendler, O Lassila. The Semantic Web [J]. Scientific American, 2001, 284(5):34-43.
    [128] Curtis Blais, Lee W.Lacy. Semantic Web : Implications for Modeling and Simulation System Interoperability[C]. Proceedings of the 2004 Fall Simulation Interopeability Workshop Orlando, Florida, Sep 2004.
    [129] Charles Turnitsa, Andreas Tolk.“Ontology Applied– Techniques employing Ontological Representation for M&S,”[C] Proceedings of the fall 2006 Simulation Interoperability Workshop. 2006
    [130] Tolk, A., Civinskas, W., and Diallo, S. (2006). An Application Extension for the Military Scenario Description Language [C]. 2006 Spring Simulation Interoperability Workshop, Huntsville, AL, IEEE CS Press, 2006
    [131] John A. Miller, Paul A. Fishwick, Investigating Ontologies for Simulation Modeling [C], Proceedings of the 37th Annual Simulation Symposium (ANSS’04) 1080-241X/04 $ 20.00 ? 2004 IEEE.
    [132] Paul A. Fishwick, John A. Miller, ONTOLOGIES FOR MODELING AND SIMULATION: ISSUES AND APPROACHES [C]. Proceedings of the 2004 Winter Simulation Conference R .G. Ingalls, M. D. Rossetti, J. S. Smith, and B. A. Peters, eds
    [133] Tarun Rathnam, Christiaan J.J. Paredis, DEVELOPING FEDERATION OBJECT MODELS USING ONTOLOGIES [C]. Proceedings of the 2004 Winter Simulation Conference R .G. Ingalls, M. D. Rossetti, J. S. Smith, and B. A. Peters, eds
    [134] Lee Lacy, William Gerber. Potential Modeling and Simulation Applications of the Web Ontology Language-OWL[C]. Proceedings of the 2004 Winter SimulationConference, Piscataway, New Jersey, IEEE Press, 2004, 1054-1062.
    [135] Lee Lacy, A. Henninger. Developing Primitive Behavior Ontologies Using the Web Onotology Language[C]. Proceedings of the Interservice/Industry Training Simulation Conference (I/ITSEC), 2003.
    [136] W. Gerber, L, Lacy. Developing Standard Ontology Behavior Representation to Spport Composability[R]. Dynamics Research Corporation, Air Force Research Laboratory, Dec 2004.
    [137] Ming Zhou, Young Jun Son, Zhimin Chen. Knowledge Representation for Conceptual Simulation Modeling[C]. Proceedings of the 2004 Winter Simulation Conference, 2004.
    [138] Gregory A. Silver, Lee W. Lacy, John A. Miller. Ontology based Representations of Simulation Models Following the Process Interaction World View[C]. Proceedings of the 2006 Winter Simulation Conference, 2006.
    [139] Perakath Benjamin, Michael Graul, A Framework for adaptive modeling and ontology-driven simulation, Enabling Technologies for Simulation Science X, edited by Dawn A. Trevisani Proc. of SPIE Vol. 6227, 622705, (2006).
    [140] Perakath Benjamin, Kumar V. Akella, Kaiser Malek, An Ontology-driven Framework for Process-oriented Application, Proceedings of the 2005 Winter Simulation Conference.
    [141] Perakath Benjamin, Mukul Patki, Richard Mayer, Using Ontologies for Simulation Modeling, Proceedings of the 2006 Winter Simulation Conference.
    [142]贾丽,张和明.面向服务的分布式建模仿真框架研究[J].系统仿真学报, Vol. 19 No.20, Oct. 2007, pp: 4680-4684.
    [143]张和明,王宏伟,贾丽.基于Web服务和HLA的分布式建模与仿真环境[J].系统仿真学报, Vol. 18 Suppl. 2, Aug. 2006, pp: 343-346.
    [144]何强,郝建国,黄健.基于SOA的仿真服务系统[J].计算机仿真,第24卷第5期, 2007年5月, pp: 98-102.
    [145]张童,刘云生,张传富,查亚兵.基于Web服务的分布式仿真资源重用[J].第24卷第1期, 2007年1月, pp: 140-143.
    [146] W3C. Web Service Architecture [EB/OL]., W3C Working Group Note, 11 February 2004, http://www.w3c.org/TR/ws-arch.
    [147] Lee T B. Semantic Web Architecture [EB/OL]. http://www.w3.org/2000/ talks/1206-xml2k- tbl/slide10-0.html, 2001-07-20
    [148] S. A. McIlaith, et al. Semantic Web Service [C]. IEEE Intelligent Systems, 2001(2):46-53.
    [149] J Peer. Bring together semantic Web and Web Services [C]. Proceeding of the First International Semantic Web Conference (ISWC). Sardinia, Italy, 2002, 279-291.
    [150] David Marin, Mark Burstein, et al. OWL-S: Semantic Markup for Web Services [EB/OL]. http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/.
    [151] Thomas Erl, Service-Oriented Architecture: Concepts, Technology, and Design [M]. Prentice Hall PTR, August 04, 2005.
    [152] Yinong Chen. Modeling and Simulation for and in Service-Oriented Computing Paradigm [ J]. SIMULATION, Vol. 83, Issue 1, January 2007 3–6.
    [153] Robert H. Pollack,Richard Baldwin,John R. Neyer, Jr. etc,“Requirements for Composing Simulations- A Use-Case Approach”[C], 2003 Spring Simulation Interoperability Workshop, 2003.
    [154] JSIMS Composability Task Force,“JSIMS Composability Task Force Final Report”[R], September 30 1997.
    [155] S. M. Harkrider and W. H. Lunceford,“Modeling and Simulation Composability”[C]. Proceedings of the 1999 Interservice/Industry Training, Simulation and Education Conference, Orlando FL, November 29 1999-December 2 1999.
    [156] D. R. Pratt, L. C. Ragusa, and S. von der Lippe,“Composability as an Architecture Driver”[C], Proceedings of the 1999 Interservice/Industry Training, Simulation and Education Conference, Orlando FL, November 29 1999-December 2 1999.
    [157] S. Kasputis and H. C. Ng,“Composable simulations”[C], Proceedings of the 2000 Winter Simulation Conference, Orlando FL, December 10-13 2000, pp. 1577-1584.
    [158] Katherine L. Morse, Mikel D. Petty, Paul F. Reynolds Jr. etc,“Findings and Recommendations from the 2003 Composable Mission Space Environments Workshop“[C], 2004 Spring Simulation Interoperability Workshop, 2004
    [159] V.T. Miller,P.A. Fishwick. Graphic Modeling Using Heterogeneous Hierarchical Models[C]. Proceedings of the Winter Simulation Conference. Los Angeles,CA, 1993
    [160] Thorsten Daum, Robert G. Sargent. Scaling, Hierarchical Modeling, and Reuse in an Object-Oriented Modeling and Simulation System[C]. Proceedings of the Winter Simulation Conference. 1999.
    [161] Michael Kantner. Hierarchical Modeling and Multiresolution Simulation[C]. Proceedings of the Winter Simulation Conference. 1999.
    [162] R.G. Sargent,J.H. Mize,D.H. Withers, et al. Hierarchical Modeling for Discrete Event Simulation[C]. Proceedings of the Winter Simulation Conference. Los Angeles, CA, 1993.
    [163] J.J. Luna. Hierarchical Relations in Simulation Models[C]. Proceedings of the Winter Simulation Conference. Los Angeles, CA, 1993.
    [164] Andreas Tolk,James A. Muguira. The Levels of Conceptual Interoperability Model[C]. Proceedings of the Fall Simulation Interoperability Workshop. Orlando, FL, 2003.
    [165]王维平,李群,朱一凡,杨峰编著.柔性仿真原理与应用[M].国防科技大学出版社,2003.
    [166]王维平,朱一凡.仿真模型有效性确认与验证[M],国防科技大学出版社, 1998.
    [167] U.S Defense Modeling and Simulation Office (DMSO). Verification, Validation and Accreditation Recommended Practice Guides 2000 [R/OL]. http: //www.dmso.mil.
    [168] Zeigler, B. P., T. G. Kim and H. Praehofer.“Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems”[M],second edition, Academic Press, 2000.
    [169] Eric Werner Weisel. Models, composability, and validity [D].Virginia: Old Dominion University, 2004.
    [170] N Guarino, Formal ontology and information systems [C], In Proc of the 1st Int’1 Conf on Formal Ontology in Information Systems Trento, Italy: IOS Press, 1998 3~15.
    [171] M Uschold, M Gruninger1 Ontologies: Principles, methods, and applications. Knowledge Engineering Review, 1996, 11 (2) : 93~155.
    [172] J McCarthy. Circumscription—A form of non-monotonic reasoning [J]. Artificial Intelligence, 1980, 5 (13) : 27~39.
    [173] J F Sowa. Conceptual Structures: Information Processing in Mind and Machine1 Reading [J], MA: Addison Wesley , 1984.
    [174] R. F. Neches, R.; Finin, T.; Gruber, T.; Patil, R.; Senator, T.; Swartout, W.R., "Enabling Technology for Knowledge Sharing" [J]. AI Magazine 36-56, 1991.
    [175] T. R.Gruber. A translation approach to portable Ontologies [J]. Knowledge Acquisition, 5(2):199-220, 1993.
    [176] W. N. Borst. Construction of Engineering Ontologies for Knowledge Sharing and Reuse [D]. PhD thesis, University of Twente, Enschede, 1997.
    [177] Studer R, Benjamins V R, and Fensel D.“Knowledge Engineering, Principles and Methods”[J]. Data and Knowledge Engineering, 1998, 25(1-2), pp.161-197.
    [178] M R Genesereth, R E Fikes. Knowledge interchange format version 3.0 reference manual[R]. Stanford University, Tech Rep : Logic29221 , 1992.
    [179] T R Gruber. ONTOLINGUA: A mechanism to support portable Ontologies [R]. Stanford University, Tech Rep : KSL291266 , 1992.
    [180] R MacGregor , R Bates1 The loom knowledge representation language[J]. USC Information Sciences Institute, Tech Rep: ISI/ RS2 872188 , 1987.
    [181] E Motta. An overview of the OCML modeling language [C]. The 8th Workshop on Knowledge Engineering: Methods & Languages ( KEML98) , Karlsruhe , Germany, 1998.
    [182] L Farinas, A Herzig1 Interference logic = conditional logic + frame axiom. International Journal of Intelligent Systems, 1994, 9 (1) : 119~130.
    [183] J Heflin, J Hendler. Searching the web with SHOE [C]. In: Artificial Intelligence for Web Search. Menlo Park , CA : AAAI Press, 20001 35~40.
    [184] Karp P, Chaudhri V, Thomere J. XOL Ontology Exchange Language [EB/OL]. http://www.ai sri.com/pkarp/xol/.
    [185] D Brickley, R V Guha. RDF Vocabulary Description Language 1.0: RDF Schema1 World Wide Web Consortium [EB/OL]. Http:/ / www.w3. org/ tr/ rdf2schema/ , 2004 - 02– 10.
    [186] DARPA. The DARPA Agent Markup Language [EB/OL]. http:]/www.daml.org/.
    [187] W3C, Harmelen F, Hendler J, Horrocks I, et al. OWL Web Ontology Language Reference[EB/OL]. http://www.w3.org/tr/owl-ref, 2004.
    [188] http://www.w3.org/.
    [189] Chandrasekaran B, Josephson J R, and Benjamins V R.“What Are Ontologies, and Why Do We Need Them?”[J], IEEE Intelligent Systems, Vo1.14, No.1,Special Issue on Ontologies, January/ February 1999, pp.20-26.
    [190] Uschold M, and Gruninger M.“Ontologies: Principles, Methods and Applications”[J]. The Knowledge Engineering Review, 1996,11 (2), pp.93-155.
    [191] Robert Jasper, Mike Uschold, A Framework for Understanding and Classifying Ontology Applications[C], the proceedings of the IJCAI-99 ontology workshop.
    [192]王洪伟,基于本体的元数据模型的建立研究[D],博士学位论文,上海交通大学,2004.
    [193] E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL) 1.1 [EB/OL]. http://www.w3.org/TR/2001/NOTE-wsdl-20010315, 2001.
    [194] Levent Yilmaz. Automated Object-Flow Testing Dynamic Process Interaction Models [C]. In Proceedings of the 2001 Winter Simulation Conference, 2001, pp: 586-594.
    [195] Yilmaz L. and Stephen H. Edwards.“Specifying and verifying collaborative behavior in component-based systems, [C]”In Proceedings of the RESOLVE Workshop 2002. Technical Report. TR-02-11, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, pp. 95-104.
    [196] Levent Yilmaz. Verifying Collaborative Behavior in Component-Based DEVS Models [ J]. SIMULATION, Vol. 80, No. 7-8, 399-415 (2004).
    [197] Dandashi,F.,“DoD Architecture Framework Overview”[EB/OL], ASD(NII) DoD CIO,http://www.afit.edu/,2003.
    [198] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.0 Volume I: Definitions and Guidelines”[R], the United States: Department of Defense, 2003.
    [199] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.0 Volume II: Product Description”[R], the United States: Department of Defense, 2003.
    [200] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.0 Volume III: Desk book”[R], The United States: Department of Defense, 2003.
    [201] Chad A.Millette,“Status of Department of Defense Architecture Framework (DoDAF) Implementation with the Aeronautical Systems Center (ASC)”[D], Master thesis, Air Force Institute of Technology, 2005.
    [202] Latan K.Griffin,“Analysis and Comparison of DoDAF and Zachman Framework for Use as the Architecture for the United States Coast Guard’s Maritime Patrol Coastal”[D], Master thesis, Naval Postgraduate School, 2005.
    [203] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume I: Definitions and Guidelines”[R], the United States: Department of Defense, 2007.
    [204] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume II: Product Description”[R], the United States: Department of Defense, 2007.
    [205] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume III: Desk book”[R], The United States: Department ofDefense, 2007.
    [206] Zaremski Amy Moormann. Signature and specification matching [D]. School of Computer Science, Carnegie Mellon University, Pittsburgh, USA, 1996.
    [207]胡建强,邹鹏,王怀民,周斌. Web服务描述语言QWSDL和服务匹配模型研究[J].《计算机学报》,第18卷第4期,2005, p505-512.
    [208] Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, Katia Sycara. Semantic Matching of Web Services Capabilities [C]. Proceedings of the International Semantic Web Conference (ISWC), Sardinia, Italy, 2002.
    [209]胡建强. Web服务发现若干关键技术研究[D].长沙国防科学技术大学,2005.
    [210] [12]D.L. Lee, H. Chuang, and K. Seamons. Document ranking and the vector-space model. IEEE Software, 14(2):67-75, 1997.
    [211] [13]G. Salton and M. E. Lesk. Computer evaluation of indexing and text processing. Journal of the ACM, 15(1):8–36, 1968.
    [212]吴健,吴朝晖,李莹,邓水光.基于本体论和词汇语义相似度的Web服务发现[J].计算机学报, 2005. 4, pp: 595-602.
    [213]杨艳萍.自动Web服务组合关键技术研究[D].长沙国防科学技术大学,2007. 4.
    [214] Kornilakis H., Frigoriadou M., et al. Using WordNet to Support Interactive Concept Map Construction [ C]. Proceedings of the IEEE International Conference on Advanced Learning Technologies. Joensuu, Finland, 2004, 600-604.
    [215]陈杰,蒋祖华.领域本体的概念相似度计算[J].计算机工程与应用, 2006.33, 163-166.
    [216] Levent Yilmaz, Swetha Paspuleti. Toward a Meta-Level Framework for Agent-Supported Interoperation of Defense Simulations [J]. Journal of Defense Modeling and Simulation, Volume 2, Issue 3, July 2005 Pages 161–175.
    [217] Daniela Grigori, Veronika Peralta, Mokrane Bouzeghoub. Service Retrieval Based on Behavioral Specifications and Quality Requirements. BPM 2005, LNCS 3649, pp. 392– 397, 2005. Springer-Verlag Berlin Heidelberg 2005.
    [218] Juan Carlos Corrales, Daniela Grigori, Mokrane Bouzeghoub. BPEL Processes Matchmaking for Service Discovery. OTM 2006, LNCS 4275, pp. 237–254, 2006, Springer-Verlag Berlin Heidelberg 2006.
    [219]费培之,图和网络及其应用[M],成都:四川大学出版社,1996.
    [220] DAVES A M. The optimal assignment problem[EB/OL]. http://www.math.uwo.ca/~mdawes/courses/344/kuhn-munkres.pdf. 2004, 07-15.
    [221]霍红卫.序列比较问题的分治法[J].西安电子科技大学学报, Jun.1998, Vol. 25 No.3, pp: 345-348.
    [222] Eugene W. Myers. An Overview of Sequence Comparison Algorithms in Molecular Biology [R]. Technical Report, Department of Computer Science The University of Arizona, December 20, 1991.
    [223]张敏.生物序列比对算法研究现状与展望[J].大连大学学报, 2004,25(4):75-7.
    [224] Bib ontology. Availablet at:http://www.aktors.org/ontology/Bib.owl.
    [225] UDDI. UDDI Technical White Paper. Available from: http://www.uddi.org/pubs/Iru_UDDI_Technical_White_Paper.pdf (2004).
    [226] Menasce D. A.. QoS Issues in Web services. IEEE Internet Computing. 2002, 6(6):72-75.
    [227] Menasce D. A.. Composing Web Services: A QoS view. IEEE Internet Computing. 2004 8(6): 88-90.
    [228] J. Cardoso. Quality of Service and Semantic Composition of Workflows [D]. PhD thesis, Univ. of Georgia, 2002.
    [229] Liangzhao Zeng, Boualem Benatallah, Anne H. H. Ngu, et al. QoS-Aware Middleware for Web Services Composition. IEEE Transactions on Software Engineering. 2004,30(5):311-327.
    [230] Aggarwal R., Verma K., Miller J., Milnor W.. Constraint driven Web service composition in METEOR-S [C]. In: Proc. of the IEEE International Conference on Service Computing, Shanghai, China, 2004, 23-30.
    [231] Zeng Liang-Zhao, Benatallah B., Dumas M., Kalagnanam J., Sheng Q. Z.. Quality driven Web services composition [C]. In: Proc. of the 12th International Conference World Wide Web, Budapest, Hungary, 2003, 411-421.
    [232]刘伟,鱼滨.基于QoS的动态服务组合研究[J].计算机技术与发展, Vol. 17, No.5, 2007.
    [233]代钰,杨霞,张斌,高岩.支持组合服务选取的QoS模型及优化求解[J].计算机学报, Vol. 29, No. 7, 2006.
    [234]代钰.基于QoS的动态Web服务组合中服务选取问题的研究[M].东北大学硕士论文, 2006. 1.
    [235]周少平.支持多分辨率建模的探索性分析方法研究[D].国防科学技术大学博士学位论文, 2005. 10.
    [236]魏洪涛.基于网格计算的仿真任务管理与调度方法研究[D].国防科学技术大学博士学位论文, 2005. 3.
    [237]刘宝宏.多分辨率建模的理论与关键技术研究[D].国防科学技术大学博士学位论文, 2003. 10.
    [238]孙世霞.复杂大系统建模与仿真的可信性评估研究[D].国防科学技术大学博士学位论文, 2005. 10.
    [239]曹星平. HLA仿真系统的校核、验证与确认研究[D].国防科学技术大学博士学位论文, 2004. 10.
    [240]张耀程.通用并行离散事件仿真环境及相关技术研究[D].国防科学技术大学博士学位论文, 2008. 4.
    [241] J. Plank, W. Elwasif. Experimental Assessment of Workstation Failures and Their Impact on Checkpointing Systems [C]. The International Symposium on Fault-Tolerant Computing. 1998, pp:48-57.
    [242]陈春鹏.大规模分布式仿真消息序管理技术研究[D].国防科学技术大学博士学位论文, 2007. 3.
    [243] Michael Roy Fox, David C. Brogan, Paul F. Reynolds, Jr.“Approximating Component Selection”[C], Proceedings of the 2004 Winter Simulation Conference, 2004.
    [244] Lisa A. Schaefer, Craig W. Kirkwood. Model Selection for Simulation Design: A Multi-objective Decision Analysis Approach with an Application to Simulating Transport Agents [J]. SIMULATION, Vol. 79, No. 2, 83-93 (2003).
    [245]徐玖平.多目标决策的理论与方法[M].清华大学出版社,北京, 2005.
    [246]甘应爱,田丰,李维铮等.运筹学[M].清华大学出版社,北京, 1990.
    [247]崔逊学.多目标进化算法及其应用[M].北京:国防工业出版社, 2006.
    [248] J D Schaffer. Multiple objective optimization with vector evaluated genetic algorithms. The First Int’l Conf on Genetic Algorithms, Lawrence Erlbaum , 1985.
    [249] D A V Veldhuizen. GB Lamont1 Multi-objective evolutionary algorithm research : A history and analysis1 Department of Electrical and Computer Engineering, Graduate School of Engineering, Air Force Institute of Technology, Tech Rep : TR298203, 1998.
    [250] R Eberhart, J Kennedy. A new optimizer using particle swarm theory [C]. In : Proc of the 6th Int’l Symposium on Micro Machine and Human Science1 Piscataway, NJ : IEEE Service Center, 19951 39~43.
    [251] 5 J Kennedy, R Eberhart. Particle swarm optimization1 IEEE Int’l Conf on Neural Networks, Perth, Australia, 1995.
    [252]张利彪,周春光,马铭,刘小华.基于粒子群算法求解多目标优化问题[J].计算机研究与发展, Vol. 41, No.7, 2004, 7, pp: 1286-1291.
    [253]孙建英.粒子群优化算法的分析及改进.大连海事大学硕士论文, 2007. 3.
    [254]金义雄.基于粒子群算法的输电网优化规划研究[D].上海交通大学博士学位论文, 2006.
    [255] Shawn Parr. Making the Case for MDA[C]. Proceedings of the Fall Simulation Interoperability Workshop. Orlando, FL, 2003.
    [256] Calytrix Technologies. Welcome to SIMplicity [EB/OL]. http://www.simplicity.calytrix.com, 2002.
    [257] Calytrix Technologies.Calytrix SIMplicity - an MDA approach to distributed simulation [J].2002.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700