C~4ISR体系结构服务视图建模描述与分析方法研究
|
摘要
C~4ISR体系结构主要描述C~4ISR系统各部件的组成、它们之间的关系以及制约其设计和随时间演化的原则和指南,对C~4ISR系统设计、开发、运行、演化具有重要的指导作用,是C~4ISR系统综合集成的关键技术。目前,C~4ISR体系结构设计的主要依据是体系结构框架。原有的基于“作战视图、系统视图、技术视图”等多视图描述的C~4ISR体系结构框架,通过作战活动与系统功能之间的映射关系,提供了一种面向具体作战活动过程的C~4ISR系统资源集成机制,但难以描述和分析未来“网络化作战”中C~4ISR系统资源之间的动态集成过程以支持作战活动过程的动态调整。为此,本文结合面向服务思想和SOA对原有的C~4ISR体系结构框架进行了扩展,增加了服务视图产品描述内容,实现了作战视图中作战活动和系统视图中军事系统资源之间的分离,在此基础上建立了服务视图产品的建模描述方法,并重点研究了C~4ISR体系结构服务视图演化过程描述和分析方法及其可执行验证方法。论文的主要工作和创新点包括:
(1)提出了一种C~4ISR体系结构服务视图描述框架
DoDAF2.0、NATOAFv3.0、MoDAF1.2等最新体系结构框架增加了服务视图的描述,但仅仅给出服务视图产品的定义、作用和描述内容,缺乏对服务视图与作战视图、系统视图之间内在逻辑关系的分析,难以指导服务视图产品建模和分析应用(尤其是C~4ISR体系结构服务视图演化过程的描述和分析方法)。本文结合上述体系结构框架尤其是NATOAFv3.0的研究,以Zachman体系结构理论框架为基础抽象出了C~4ISR体系结构包含的基本数据元素模型,为解决作战活动过程与具体军事系统资源实现之间的分离,通过对作战视图与系统视图中基本数据元素之间逻辑关系的分析,研究了C~4ISR体系结构中引入服务描述的原因和机理,提出了一种C~4ISR体系结构服务视图描述框架,详细描述了服务视图产品的作用、描述内容、形式化描述方法、基本数据元素以及服务视图产品之间的逻辑关系。
(2)研究了C~4ISR体系结构服务视图产品的建模描述方法
针对DoDAF2.0、MoDAF1.2、NATOAFv3.0等最新体系结构框架缺乏对服务视图产品详细建模描述方法的研究现状,围绕着如何通过服务视图产品描述和分析“网络化作战”中军事系统资源的动态集成过程等问题,研究了C~4ISR体系结构服务视图产品的建模描述方法,其中包括:基于OWL-S和CADM的SOV-1服务描述产品建模方法、基于服务群(ServiceGroup)的SOV-2服务分类管理产品描述方法、基于对象Petri网的SOV-3服务交互过程模型建模方法、基于可追溯关系矩阵的SOV-4服务与作战活动之间映射和SOV-5服务与系统资源之间映射产品的描述方法。
(3)提出了C~4ISR体系结构服务视图演化过程描述和分析方法
围绕如何在体系结构设计层面描述和分析未来战场环境中因军事系统资源失效、作战活动过程调整等情况下C~4ISR系统演化需求,提出了一种C~4ISR体系结构服务视图产品演化描述框架,结合服务视图设计过程,描述和分析了服务视图产品的演化过程。面对军事系统资源失效、作战活动过程调整的演化需求,服务视图演化过程中都涉及到了服务交互过程模型的演化描述,为了保证服务交互过程模型演化的正确性,提出了一组保持服务交互过程模型结构合理性的演化操作,同时分析了演化后服务交互过程模型资源实现的有效性。
(4)提出了C~4ISR体系结构服务视图的可执行验证方法
针对现有C~4ISR体系结构可执行验证方法中作战活动过程与军事系统资源之间紧密偶合,难以分析和验证体系结构所对应C~4ISR系统演化需求和演化过程,本文提出了一种以SOV-3服务交互过程模型为核心的服务视图可执行验证方法理论框架,详细研究了基于对象Petri网的服务交互过程模型的建模描述、实例化及其仿真执行过程。研究了SOV-3产品向BPEL描述的转换规则和算法,实现了SOV-3描述产品的通用化描述和存储,为体系结构数据的比较和集成提供了支持,保证了以数据为中心的体系结构开发策略。最后,详细描述和分析了军事系统资源失效、作战活动过程调整等情况下C~4ISR体系结构服务视图的执行过程。
(5)研究了区域防空网络化作战体系结构案例服务视图的建模描述和分析方法
为验证论文提出的理论、方法的合理性和可用性,以体现“网络中心战”作战概念的区域防空网络化作战为案例背景,研究了区域防空网络化作战体系结构中服务视图产品的建模描述方法,在此基础上研究了如何在体系结构设计层面描述和分析区域防空网络化作战系统在未来战场环境下的演化需求,分析了区域防空网络化作战体系结构服务视图执行过程。
综上所述,本文针对未来“网络化作战”中军事系统资源动态集成和C~4ISR系统演化需求,结合面向服务思想和SOA研究了C~4ISR体系结构服务视图产品的建模描述和分析方法,对未来网络化作战C~4ISR系统体系结构的设计和分析具有一定的理论价值和应用价值。
C~4ISR system, their relationships, and the disciplines and guidelines governing their design and evolution over time, has great importance on the C~4ISR system design, development, operation and evolution. Architecture is one of the key technologies to promain the C~4ISR system integration. Currently, C~4ISR architecture design is mainly based architecture framework. The C~4ISR Architecture Framework Based on the "Operational View, Systems View, Technical View," and many more views descriptions, through the mapping between operational activity and system function, provides an integration mechanism of C~4ISR system resources to support a specific combat mission, while that is difficult to describe and analyze the dynamic integration process of the C~4ISR system resources to support the dynamic adjustment of operational mission in the future Network Centric Operation. Therefore, using the SOA and service-oriented thinking, this paper extendes the original C~4ISR Architecture Framework with increasing the service view product description in order to archieve the separation between the operational activity described in operational view and the military system resources described in system view. Then under the service view framework, this paper presents the modeling approach of the service view product, and focus on the evolution and executable verification research of the C~4ISR architecture service view. The main work and innovations of the papers include:
(1) Presents a service view decription framework of C~4ISR architecture Such as DoDAF2.0, NATOAFv3.0, MoDAF1.2 and other latest architecture frameworks including service view description, they just only describe the definition, role and content of the service view product without analysising the internal logical relationship between the operational view, the system view and the service view, so that it is difficult to guide modeling and analysising application of the service view product. In this paper, contrasting by the study of the latest architecture framework, especially NATOAFv3.0, firstly we get the basic data elements contained inside the C~4ISR architecture by analysising the Zachman theoretical framework. Then we analysis the reason why the service view is needed to archieve the separation between the operational activity and the military system resources by uncoupled the data elements relationship between the Operational View and the System View. Based on the above research, we present a service view decription framework of C~4ISR architecture and the detailed description of service view product about the role, the content, formal description method, the basic data elements and the logic relationship between the services view product are described at last.
(2) Modeling methods of the service view product within C~4ISR architecture
For the reason that DoDAF2.0, NATOAFv3.0, MoDAF1.2 and other latest architecture frameworks do not prescribe the detailed modeling methods of service view product description, in order to describe and analysis the dynamic integration of the military system resources, this paper researches on the modeling methods of the C~4ISR architecture service view product description, including: the modeling approach of SOV-1 service description product based on OWL-S and CADM, the method on classification and management of SOV-2 service taxonary based on service groups, the modeling approach of SOV-3 products based on Object Petri Net, and the detailed description methods of SOV-4 and SOV-5 based on the traceable relationship matrix.
(3) Proposes an evolution description method of service view product within C~4ISR architecture
At the C~4ISR architecture designing level, in order to describe and analysis the evolution of C~4ISR systems in the future battlefield environment due to the functional failure of the military system resources and the adjustment of operational process, this paper proposes an evolution description framework of service view product within C~4ISR architecture and analysis the evolutional process of the service view product contrasting by the designing process. Because the evolution of service view under the above two conditions is both related the evolution description of the service interaction process model, in order to ensure the correct evolution of model, so this paper puts forward a set of evolutional operation of SOV-3 to promain the rational structure of process and analysises the effectiveness of resources to support the service nodes of the the service interaction process model after evolutioning.
(4) Proposed an executable verification method of service view product within C~4ISR architecture
Because of the tightly couplede relationship between the operational activity and the military system resources, the current executable verification methods of C~4ISR architecture are difficulte to analysis and validate the evolution process of the related C~4ISR systems in the future battlefield environment. So this paper proposed an executable verification method of service view product within C~4ISR architecture based on SOV-3 as the core product, and analysises the modeling, implementation and the executable simulation of SOV-3 based on Object Petri Net. In order to maintain the data-centric architecture development strategy and achieve the universal description of SOV-3 for the comparison and integration of architecture, the rules and algorithms of transformation from SOV-3 description to BPEL are proposed. Finally, the detailed description of the executable process of service view products is analyzed under the conditions of the functional failure of the military system resources and the adjustment of operational process.
(5) The modeling and analysising method of service view within the regional aerial defense Network Centric Operation system architecture
To verify the availability, rationality of the proposed theory and methods, this paper studies the modeling case of service view using the regional aerial defense Network Centric Operation which embodies the "Network Centric Warfare”ideas as the background. On the basis of service view description, at the architecture design level, evolution of the regional aerial defense Network Centric Operation system is described and analyzed through the evolutional description of the service view, and the executable process of service view within the regional aerial defense Network Centric Operation system architecture is described at last.
In summary, this paper presents the modeling and anlysising of the service view within the C~4ISR architecture using service-oriented thinking and research on SOA, in oder to describe and analysis the military systems dynamic integration and evolution demand of C~4ISR system in the future Network Centric Operation. Our contributions make a base ground for the future research of C~4ISR system architecture designing and analysising both in theory and practice.
(1)提出了一种C~4ISR体系结构服务视图描述框架
DoDAF2.0、NATOAFv3.0、MoDAF1.2等最新体系结构框架增加了服务视图的描述,但仅仅给出服务视图产品的定义、作用和描述内容,缺乏对服务视图与作战视图、系统视图之间内在逻辑关系的分析,难以指导服务视图产品建模和分析应用(尤其是C~4ISR体系结构服务视图演化过程的描述和分析方法)。本文结合上述体系结构框架尤其是NATOAFv3.0的研究,以Zachman体系结构理论框架为基础抽象出了C~4ISR体系结构包含的基本数据元素模型,为解决作战活动过程与具体军事系统资源实现之间的分离,通过对作战视图与系统视图中基本数据元素之间逻辑关系的分析,研究了C~4ISR体系结构中引入服务描述的原因和机理,提出了一种C~4ISR体系结构服务视图描述框架,详细描述了服务视图产品的作用、描述内容、形式化描述方法、基本数据元素以及服务视图产品之间的逻辑关系。
(2)研究了C~4ISR体系结构服务视图产品的建模描述方法
针对DoDAF2.0、MoDAF1.2、NATOAFv3.0等最新体系结构框架缺乏对服务视图产品详细建模描述方法的研究现状,围绕着如何通过服务视图产品描述和分析“网络化作战”中军事系统资源的动态集成过程等问题,研究了C~4ISR体系结构服务视图产品的建模描述方法,其中包括:基于OWL-S和CADM的SOV-1服务描述产品建模方法、基于服务群(ServiceGroup)的SOV-2服务分类管理产品描述方法、基于对象Petri网的SOV-3服务交互过程模型建模方法、基于可追溯关系矩阵的SOV-4服务与作战活动之间映射和SOV-5服务与系统资源之间映射产品的描述方法。
(3)提出了C~4ISR体系结构服务视图演化过程描述和分析方法
围绕如何在体系结构设计层面描述和分析未来战场环境中因军事系统资源失效、作战活动过程调整等情况下C~4ISR系统演化需求,提出了一种C~4ISR体系结构服务视图产品演化描述框架,结合服务视图设计过程,描述和分析了服务视图产品的演化过程。面对军事系统资源失效、作战活动过程调整的演化需求,服务视图演化过程中都涉及到了服务交互过程模型的演化描述,为了保证服务交互过程模型演化的正确性,提出了一组保持服务交互过程模型结构合理性的演化操作,同时分析了演化后服务交互过程模型资源实现的有效性。
(4)提出了C~4ISR体系结构服务视图的可执行验证方法
针对现有C~4ISR体系结构可执行验证方法中作战活动过程与军事系统资源之间紧密偶合,难以分析和验证体系结构所对应C~4ISR系统演化需求和演化过程,本文提出了一种以SOV-3服务交互过程模型为核心的服务视图可执行验证方法理论框架,详细研究了基于对象Petri网的服务交互过程模型的建模描述、实例化及其仿真执行过程。研究了SOV-3产品向BPEL描述的转换规则和算法,实现了SOV-3描述产品的通用化描述和存储,为体系结构数据的比较和集成提供了支持,保证了以数据为中心的体系结构开发策略。最后,详细描述和分析了军事系统资源失效、作战活动过程调整等情况下C~4ISR体系结构服务视图的执行过程。
(5)研究了区域防空网络化作战体系结构案例服务视图的建模描述和分析方法
为验证论文提出的理论、方法的合理性和可用性,以体现“网络中心战”作战概念的区域防空网络化作战为案例背景,研究了区域防空网络化作战体系结构中服务视图产品的建模描述方法,在此基础上研究了如何在体系结构设计层面描述和分析区域防空网络化作战系统在未来战场环境下的演化需求,分析了区域防空网络化作战体系结构服务视图执行过程。
综上所述,本文针对未来“网络化作战”中军事系统资源动态集成和C~4ISR系统演化需求,结合面向服务思想和SOA研究了C~4ISR体系结构服务视图产品的建模描述和分析方法,对未来网络化作战C~4ISR系统体系结构的设计和分析具有一定的理论价值和应用价值。
C~4ISR system, their relationships, and the disciplines and guidelines governing their design and evolution over time, has great importance on the C~4ISR system design, development, operation and evolution. Architecture is one of the key technologies to promain the C~4ISR system integration. Currently, C~4ISR architecture design is mainly based architecture framework. The C~4ISR Architecture Framework Based on the "Operational View, Systems View, Technical View," and many more views descriptions, through the mapping between operational activity and system function, provides an integration mechanism of C~4ISR system resources to support a specific combat mission, while that is difficult to describe and analyze the dynamic integration process of the C~4ISR system resources to support the dynamic adjustment of operational mission in the future Network Centric Operation. Therefore, using the SOA and service-oriented thinking, this paper extendes the original C~4ISR Architecture Framework with increasing the service view product description in order to archieve the separation between the operational activity described in operational view and the military system resources described in system view. Then under the service view framework, this paper presents the modeling approach of the service view product, and focus on the evolution and executable verification research of the C~4ISR architecture service view. The main work and innovations of the papers include:
(1) Presents a service view decription framework of C~4ISR architecture Such as DoDAF2.0, NATOAFv3.0, MoDAF1.2 and other latest architecture frameworks including service view description, they just only describe the definition, role and content of the service view product without analysising the internal logical relationship between the operational view, the system view and the service view, so that it is difficult to guide modeling and analysising application of the service view product. In this paper, contrasting by the study of the latest architecture framework, especially NATOAFv3.0, firstly we get the basic data elements contained inside the C~4ISR architecture by analysising the Zachman theoretical framework. Then we analysis the reason why the service view is needed to archieve the separation between the operational activity and the military system resources by uncoupled the data elements relationship between the Operational View and the System View. Based on the above research, we present a service view decription framework of C~4ISR architecture and the detailed description of service view product about the role, the content, formal description method, the basic data elements and the logic relationship between the services view product are described at last.
(2) Modeling methods of the service view product within C~4ISR architecture
For the reason that DoDAF2.0, NATOAFv3.0, MoDAF1.2 and other latest architecture frameworks do not prescribe the detailed modeling methods of service view product description, in order to describe and analysis the dynamic integration of the military system resources, this paper researches on the modeling methods of the C~4ISR architecture service view product description, including: the modeling approach of SOV-1 service description product based on OWL-S and CADM, the method on classification and management of SOV-2 service taxonary based on service groups, the modeling approach of SOV-3 products based on Object Petri Net, and the detailed description methods of SOV-4 and SOV-5 based on the traceable relationship matrix.
(3) Proposes an evolution description method of service view product within C~4ISR architecture
At the C~4ISR architecture designing level, in order to describe and analysis the evolution of C~4ISR systems in the future battlefield environment due to the functional failure of the military system resources and the adjustment of operational process, this paper proposes an evolution description framework of service view product within C~4ISR architecture and analysis the evolutional process of the service view product contrasting by the designing process. Because the evolution of service view under the above two conditions is both related the evolution description of the service interaction process model, in order to ensure the correct evolution of model, so this paper puts forward a set of evolutional operation of SOV-3 to promain the rational structure of process and analysises the effectiveness of resources to support the service nodes of the the service interaction process model after evolutioning.
(4) Proposed an executable verification method of service view product within C~4ISR architecture
Because of the tightly couplede relationship between the operational activity and the military system resources, the current executable verification methods of C~4ISR architecture are difficulte to analysis and validate the evolution process of the related C~4ISR systems in the future battlefield environment. So this paper proposed an executable verification method of service view product within C~4ISR architecture based on SOV-3 as the core product, and analysises the modeling, implementation and the executable simulation of SOV-3 based on Object Petri Net. In order to maintain the data-centric architecture development strategy and achieve the universal description of SOV-3 for the comparison and integration of architecture, the rules and algorithms of transformation from SOV-3 description to BPEL are proposed. Finally, the detailed description of the executable process of service view products is analyzed under the conditions of the functional failure of the military system resources and the adjustment of operational process.
(5) The modeling and analysising method of service view within the regional aerial defense Network Centric Operation system architecture
To verify the availability, rationality of the proposed theory and methods, this paper studies the modeling case of service view using the regional aerial defense Network Centric Operation which embodies the "Network Centric Warfare”ideas as the background. On the basis of service view description, at the architecture design level, evolution of the regional aerial defense Network Centric Operation system is described and analyzed through the evolutional description of the service view, and the executable process of service view within the regional aerial defense Network Centric Operation system architecture is described at last.
In summary, this paper presents the modeling and anlysising of the service view within the C~4ISR architecture using service-oriented thinking and research on SOA, in oder to describe and analysis the military systems dynamic integration and evolution demand of C~4ISR system in the future Network Centric Operation. Our contributions make a base ground for the future research of C~4ISR system architecture designing and analysising both in theory and practice.
引文
[1]童志鹏,刘兴.综合电子信息系统[M].北京:国防工业出版社,2008年7月.
[2]罗爱民.基于信息模型的C~4ISR体系结构设计与分析方法研究[D].国防科技大学研究生院, 2006.10.
[3]美国国防部C~4ISR体系结构工作组. C~4ISR体系结构框架2.0版[R].北京:电子科学研究院工程总体部编译, 1999.
[4]黄力,罗爱民,罗雪山,谭跃进. C~4ISR体系结构研究综述[J].系统工程与电子技术, 2003, 25(12): 1497-1500.
[5]罗爱民,罗雪山,黄力. C3I系统体系结构框架研究[J].系统工程理论与实践, 2003, 23(6): 86-90.
[6] David S.Alberts. Network Centric Warfare: current status and way ahead[J]. Ministry of Defense, Journal of Defense science,2003.
[7] David S.Alberts, Richard E.Hayes. Understanding Command and Control[M]. Washington: DOD Command and Control Research Program publication series, 2003.
[8] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume I: Definitions and Guidelines”[R], the United States: Department of Defense, 2007.
[9] C~4ISR Architecture Working Group. C~4ISR Architecture Framework Version 2.0 [R]. U.S.: Department of Defense, 1997.
[10] DoD Architecture Framework Working Group. DoD Architecture Framework Version 1.0 Volume I: Definitions and Guidelines [R]. U.S.: Department of Defense, 2003.
[11]鲍爱华.语义Web环境下组合服务演化方法及其关键技术研究[D].国防科技大学研究生院, 2009.10.
[12]喻坚,韩燕波.面向服务的计算——原理和应用[M].北京:清华大学出版社, 2006.12.
[13]张抗抗.基于语义Web Services的企业异构系统应用集成研究与实现[D].山东大学, 2006.
[14]姜志平.基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D].国防科学技术大学研究生院博士论文, 2007, 09.
[15] IEEE Std 1471-2000. IEEE Recommended Practice for Architectural Description of Software-Intensive Systems [S].
[16] IEEE Architecture Working Group. IEEE Recommended Practice for Architectural Description, IEEE Std 1471, Draft Version 3.0, USA, 1998.
[17] Integrated Architecture Panel of the C~4ISR Integration Task Force. C~4ISR Architecture Framework Version 1.0[R]. The United States: Department of Defense, 1996.
[18] DoD Architecture Framework Working Group. DoD Architecture Framework Version 1.0 Volume II: Product Description [R]. U.S.: Department of Defense, 2003.
[19] DoD Architecture Framework Working Group. DoD Architecture Framework Version 1.0: Deskbook [R]. The United States: Department of Defense, 2003.
[20]海军装备论证中心.网络中心战[M]. 2002.
[21]费爱国.网络中心战与信息化战争[M].军事科学出版社, 2006.
[22] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume II: Product Description”[R], the United States: Department of Defense, 2007.
[23] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume III: Desk book”[R], The United States: Department of Defense, 2007.
[24] The MODAF Development Team,“The MOD Architecture Framework Version 1.2”[R], The UK: Ministry of Defense,www.modaf.org.uk, 22 September 2008.
[25] The NATO C3 Board,“The NATO Architecture Framework Version 3.0”[R],North Altlantic Treaty Organization: http://www.nhqc3s.nato.int/Browser.asp?Target=_docs/NAF_v3, November 2007.
[26] DoD Architecture Framework Working Group. DoD Architecture Framework Version 2.0 Volume I: Definitions Overviews and Concepts[R]. U.S.: Department of Defense, May18, 2009.
[27] DoD Architecture Framework Working Group. DoD Architecture Framework Version 2.0 Volume II: Architectural Data and Models[R]. U.S.: Department of Defense, May18, 2009.
[28] DoD Architecture Framework Working Group. DoD Architecture Framework Version 2.0 Volume 3: DoDAF Meta-model[R]. U.S.: Department of Defense, May18, 2009.
[29] Mapping of DoDAF V1.5 Products to DoDAF V2.0 Models. http://cio-nii.defense.gov/sites/dodaf20/V15support.html.
[30] UK Ministry of Defense,“UK Ministry of Defense Architectural Framework (MODAF) v1.1”[R], UK Ministry of Defense, 10th April 2007.
[31] UK Ministry of Defense,MOD Architectural Framework Viewpoint Overview Version 1.0[R], UK Ministry of Defense, 2005.8.
[32] UK Ministry of Defense,MOD Architectural Framework Technical Handbook Version 1.0, MINISTRY OF DEFENCE[R/OL]. http://www.modaf.com/files/MODAF%20Technical%20Handbook%20V1.0.pdf
[33] The UK's Ministry of Defence, "WarNet - The Network Centric Warfare Report 2005"[R], Apr 20, 2005.
[34]曲爱华,陆敏.解读英国国防部体系结构框架MoDAF1.2[J],指挥控制与仿真, 2010,32(1):116-120.
[35] NATO Consultation,Command and Control Board (NC3B) , "Introduction to NATO Architecture"[R],NATO ARCHITECTURE FRAMEWORK Version 3, http://www.nato.int., 2008.
[36] NATO Consultation,Command and Control Board (NC3B) , "Transition Guidance NAF v2 to NAF v3"[R],http://www.nato.int., 2008.
[37] Aagedal J, Berre A, et al. ODP-based Improvements of C~4ISR-AF [C]. 1999 Command and Control Research and Technology Symposium, United States Naval Warfare College, 1999.
[38] Reid D, Johnson W. A System Design Archetype for C~4ISR Systems of the 21st Century [C]. 7th International Command and Control Research and Technology Symposium, Quebec City, Canada, 2002.
[39]黄力,罗爱民,罗雪山. C~4ISR体系结构工程概念研究[J].国防科技大学学报, 2004, 26(1): 81-83.
[40]修胜龙.C~4ISR体系结构产品一致性开发及验证方法研究[D].国防科学技术大学研究生院博士论文, 2004, 10.
[41]车万方,张凤鸣,宋志平.基于UML的C3I系统体系结构的面向对象分析与设计方法[J].系统工程理论与实践,2003,23(7):88-94.
[42]黄力.基于Statechart图的C~4ISR系统体系结构验证方法研究[D].国防科学技术大学研究生院博士论文, 2004, 4.
[43]罗爱民.基于信息模型的C~4ISR体系结构设计与分析方法研究[D].国防科学技术大学研究生院博士论文, 2006, 10.
[44]姜军.可执行体系结构及DoDAF的可执行化方法研究[D].国防科学技术大学研究生院博士论文, 2008, 09.
[45] C~4ISR体系结构设计工具集用户手册.长沙:国防科技大学C~4ISR技术重点实验室, 2004.
[46]原瑞政.基于场景的C~4ISR体系结构分析与评价[D].国防科学技术大学研究生院硕士论文, 2004, 12
[47]电子科学总装备部武器装备论证研究中心,中国电子科技集团公司电子科学研究院.军事电子信息系统体系结构框架[R].中国电子科技集团公司电子科学研究院, 2005.
[48] L. W. Wagenhals, I. Shin, D. Kim, and A. H. Levis. C~4ISR Architectures II: Structured Analysis approach for architecture design [J]. Systems Engineering, 2000, 3(4):248-287.
[49] M. P. Bienvenu, I. Shin, and A. H. Levis. C~4ISR Architectures III: An Object-Oriented approach to architecture design [J]. Systems Engineering, 2000, 3(4):288-312.
[50] Colin C. Venters, Duncan J. Russell, Lu Liu.st. A Scenario-Based Architecture Evaluation Framework for Network Enabled Capability[C]. In Proceedings of 2009 33rd Annual IEEE International Computer Software and Applications Conference. July 20-24, 2009, Seattle, Washington, USA .
[51] NATO Consultation,Command and Control Board (NC3B) , "NATO Architecture Framework Version 3 ANNEX B Architecture Methodologies"[R],http://www.nato.int., 2008.
[52]修胜龙,罗雪山,罗爱民. C3I系统仿真模型自动生成方法[J].火力与指挥控制, 2004, 29(2): 10-13.
[53]修胜龙. C~4ISR体系结构产品一致性开发及验证方法研究[D].国防科学技术大学博士论文, 2004, 10.
[54]修胜龙,罗雪山,罗爱民等. C~4ISR体系结构描述的逻辑和行为验证[J].系统工程与电子技术,2005,27(2): 275-279.
[55] Nicholas J. Merski. Tailored Systems Architecture For Design of Space Scinece and Technology Missions Using DoDAF2.0[D]. Wright-Patterson Air Force Base, Ohio Department of The Air Force Air University, 2010.
[56] Joongyoon Lee, Youngwon Park. A Study on the Abstracted Metamodel of DoDAF 2.0 for CBA Methodology Execution[C], In the Proceeding of the 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing(SNPD '09),Page: 364-369,May 27-29, 2009, Daegu.
[57] Matthew Hause. An overview of UPDM-A Unified Profile for DoDAF/MODAF[R], ARTISAN SOFTWARE TOOLS, October, 2008, visted at www.ArtisanSoftwareTools.com.
[58] Korff, A., Modellierung von eingebetteten Systemen mit UML und SysML, von Spektrum Akademischer Verlag Taschenbuch - 13. June 2008
[59] Hause, M.C., 2009, The UPDM RFC Development Project - An Exercise inModel-Based Virtual Team Development or“Practicing What We Preach”, 5th Annual Israeli National Conference on Systems Engineering proceedings, Herzlia, Israel.
[60] Duncan J. Russell, Lu Liu, Zongyang Luo, Colin C. Venters, David E. Webster, Jie Xu, "Realizing Network Enabled Capability Through Dependable Dynamic Systems Integration," cit, pp.1269-1274, 2010 10th IEEE International Conference on Computer and Information Technology, 2010.
[61] Dzmitry Churbanau. A Conceptual Framework for Specification of Network-Centric System Architectures[D], Virginia Polytechnic Institute and State University ,Virginia ,May 2010.
[62] "Network-Centric Architectures Overview"[R], CS5704 Course Notes, visited at http://manta.cs.vt.edu/cs5704.
[63] Levis A H, Wagenhals L W. C~4ISR Architectures: I. Developing a Process for C~4ISR Architecture Design [J]. Systems Engineering, 2000, 3(4): 225-247.
[64] Barr P C, Bernstein A R, et al. Executable Architecture for the First Digitized Division [A]. Pier H H, Suresh R. Proceedings of SPIE Vol. 4037 [C]. Orlando: SPIE, 2000: 94-101.
[65] Wagenhals L W, Haider S, Levis A H. Synthesizing Executable Models of Object Oriented Architectures [C]. Workshop on Formal Methods Applied to Defence Systems, Adelaide, Australia, 2002.
[66] Pawlowski, Thomas J. III, etc. Applying Executable Architectures to Support Dynamic Analysis of C2 Systems, C2 Assessments & Tools [R]. 2004 Command and Control Research Technology Symposium, June 2004.
[67] Pawlowski, Thomas J. III, etc. Executable Architecture Methodology for Analysis, FY03 Report [R]. MTR 03W0000081, Feb 2004.
[68] Feng Ni, Ming-Zhe Wang, Jing-Jing Liao, Jing-Dan Zhou, "Enhancing DoDAF with a HCPN Executable Model to Support Validation"[C],In Proceeding of the 2009 Second International Symposium on Computational Intelligence and Design, vol. 2, pp.283-287, 2009.
[69]姜军,罗雪山,罗爱民等.可执行体系结构研究[J].国防科技大学学报, 2008, 30(3): 76-80.
[70] Kazman R, Abowd R, Bass L, et al. Scenario-Based Analysis of Software Architecture [J]. IEEE Software, 1996, 13(6): 47-56.
[71] Kazman R, Klein M, et al. The Architecture Tradeoff Analysis Method [C]. Proceedings of ICECCS, Monterey, CA, 1998.
[72] Kazman R, Klein M, Clements P. ATAM: Method for Architecture Evaluation[R], CMU/SEI-2000-TR-004, Pittsburgh: Software Engineering Institute, Carnegie Mellon University, 2000.
[73] ATAM (Architecture Tradeoff Analysis Method), http://www.sei.cmu.edu/architecture/ tools /atam/index.cfm, 2010.
[74]黄力,罗爱民,邱涤珊,罗雪山,谭跃进. ATAM方法及其在C~4ISR系统体系结构评价中的应用[J].火力与指挥控制, 2003, 28(2): 99-102.
[75] Colin C. Venters, Duncan J. Russell, Lu Liu, Zongyang Luo, David E. Webster, Jie Xu, "A Scenario-Based Architecture Evaluation Framework for Network Enabled Capability," compsac, vol. 2, pp.9-12, 2009 33rd Annual IEEE International Computer Software and Applications Conference, 2009.
[76] Prem P. Jain, Ph.D. and Ben King. Mission-Model Driven Process: Test and Evaluate Composition of SOA Services[J], ITEA(the International Test and Evaluation Association) Journal 2008, 29: 179–189.
[77] JoséL. Risco-Martín , Alejandro Moreno , J. M. Cruz , Joaquín Aranda, Interoperability between DEVS and non-DEVS models using DEVS/SOA, Proceedings of the 2009 Spring Simulation Multiconference, March 22-27, 2009, San Diego, California.
[78] JoséL. Risco-Martín , Jesús M. De La Cruz , Saurabh Mittal , Bernard P. Zeigler, eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation, Simulation, v.85 n.11-12, p.750-777, November 2009
[79] Saurabh Mittal , JoséLuis Risco-Martín, Bernard P. Zeigler. DEVSML: automating DEVS execution over SOA towards transparent simulators[C].In Proceedings of 2009 33rd Annual IEEE International Computer Software and Applications Conference,Pages: 287-295. July 20-24, 2009, Seattle, Washington, USA .
[80] Saurabh Mittal , JoséLuis Risco-Martín, Bernard P. Zeigler. DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process[P].Simulation, 2009,85(7), Pages: 419-450.
[81] Lean Weng, Y.E.O.H. and N.G. Ming Chun, Architecting C4I systems[C].In Proceeding of the 2nd International Symposium on Engineering Systems, pp: 1-11, June 15-17, MIT Press, Cambridge, Massachusetts, 2009.
[82] Abdullah S, Alghamdi. Evaluating Defense Architecture Frameworks for C4I System Using Analytic Hierarchy Process[J], Journal of Computer Science,2009 5 (12), pp: 1075-1081.
[83] H.-M. Chen, "Towards Service Engineering: Service Orientation and Business-IT Alignment," Proc. IEEE Hawaii Int'l Conf. System Science, 2008.
[84] M. Lankhorst, "Enterprise Architecture Modeling—the Issue of Integration," Advanced Eng. Informatics, vol. 18, pp. 205-216, 2005.
[85] "Software as a Service (SaaS): An Enterprise Perspective," Microsoft Corp, http://msdn.microsoft.com/en-us/library/aa905332.aspx, 2010.
[86] J.M. Tien, "Services: A System's Perspective"[J], IEEE Systems Journal, Mar. 2008. 2(1), pp:146-157,.
[87] Thomas Erl, Service-Oriented Architecture: Concepts, Technology, and Design [M]. Prentice Hall PTR, August 04, 2005.
[88] Thomas Eri著,王满红,陈荣华译.SOA概念、技术与设计[M].北京:机械工业出版社,2007..
[89] IBM Corporation, Web services: Web services architect, Part 1: An introduction to dynamic e-business, 2001. Available at: http://www-106.ibm.com/developerworks/Webservices/.
[90] W3C, Web Services Choreography Description Language (WS-CDL) Version 1.0, W3C Working Draft 17, 2004. Available at: http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/.
[91] W3C, Web Services Choreography Interface (WSCI) Version 1.0, August 2002. Available at: http://www.w3.org/TR/wsci.
[92] W3C, Web Services Description Language (WSDL) Version 2.0, W3C Working Draft 3, 2004.
[93] COBIT, the Control Objectives for Information and Related Technology, http:/www.isaca.org. 2010.
[94] "Business Alignment and Agility," Hewlett Packard, video, http://h30423.www3.hp.com/?fr_story=0e4d9cdbd23432b8a860 c6c9dc456458debf36b3, 2010.
[95] "SAP Solutions for Governance, Risk, and Compliance," http://www.sap.com/usa/solutions/grc/index.epx, 2010.
[96] Ms. Leslie Winters, Dr. Andreas Tolk. C2 Domain Ontology within Our Lifetime[C], In Proceedings of the 14th International Command and Control Research and Technology Symposium (ICCRTS), Jun 15-17, 2009, in Washington, DC.
[97] R. Jinghai, S. Xiaomeng. A Survey of Automated Web Service Composition Methods. In Proc. of the 1st International Workshop on Semantic Web Services and Web Process Composition (SWSWPC), California, USA: Springer-Verlag, LNCS vol. 3387, 2004. pp43-56.
[98] S.L¨ammermann. Runtime Service Composition via Logic-Based Program Synthesis. PhD thesis, Department of Microelectronics and Information Technology, Royal Institute of Technology, June 2002.
[99] S. McIlraith and T.C.Son. Adapting Golog for composition of Semantic Web services. In Proc. of the 8th International Conference on Knowledge Representation and Reasoning (KR), Toulouse, France, April 2002.pp482-493.
[100] D. McDermott. Estimated-regression planning for interactions with Webservices. In Proc. of the 6th International Conference on AI Planning and Scheduling, Toulouse, France, 2006. AAAI Press.
[101] S. Chadrasekaran, J.A.Miller. Composition, Performance Analysis and Simulation of Web Services. The International Journal of Electronic Commerce and Business Media. 2003.
[102] F.Casati, S.Ming-Chien. Definition, Execution, Analysis, and Optimization of Composite E-Services. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering. 2001.
[103] F.Casati, S.iIlnicki, etc. eFlow: a Platform for Developing and Managing Composite e-Services. Industry Working Conference on Research Challenges.2000.
[104] Rohit Aggarwal, Kunal Verma, John Miller, William Milnor. Constraint Driven Web Service Composition in METEOR-S. In Proc. of IEEE International Conference on Services Computing (SCC), Washington D. C., USA: IEEE Computer Society, 2004. pp23-30.
[105] B. Benatallah, M. Dumas. Definition and Execution of Composite Web Services: The SELF-SERV Project. Bulletin of the IEEE Computer Society Technical Committee on Data Engineerin. 25(4): 47-52 2002.
[106]房俊.支持最终用户编程的服务虚拟化方法研究[D].中国科学院计算技术研究所, 2006.
[107] B. Holtkamp, R. Gartmann, Y. Han. FLAME2008 Personalized Web Services for the Olympic Games 2008 in Beiiing. In Proc. of eChallengest. 2003.
[108] Johanneke Siljee, Ivor Bosloper, Jos Nijhuis et al. DySOA: Making Service Systems Self-adaptive[C]. In International Conference on Service Oriented Computing (SOC) 2005.
[109] Ivor Bosloper, Johanneke Siljee, Jos Nijhuis et al. Creating Self-Adaptive Service Systems with Dysoa[C]. In Proceedings of the Third European Conference on Web Services (ECOWS 2005). IEEE Computer Society,Washington, DC, USA, 2005.
[110] Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito et al. QoS-Aware Replanning of Composite Web Services[C]. In Proceedings of the IEEE International Conference on Web Services (ICWS2005). IEEE Computer Society,Washington, DC, USA, 2005.
[111] Henri Naccache, Gannod Gerald C, Gray Kevin A. A Self-healing Web Server Using Differentiated Services[C]. In Proceedings of 2007 IEEE International Conference on Web Services (ICWS 2007). July 9-13, 2007, Salt Lake City, Utah, USA.
[112] Sami Bhiri, Walid Gaaloul, Claude Godart. Discovering and ImprovingRecovery Mechanisms of Composite Web Services[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2006). 18-22 September 2006, Chicago, Illinois, USA.
[113] An Liu, Qing Li, Mingjun Xiao. A Declarative Approach to Enhancing the Reliability of BPEL Processes[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2007). July 9-13, 2007, Salt Lake City, Utah, USA.
[114] Yue Qiang, Wang Hao, Zha Li et al. An Approach to Exception Handling for Service-Oriented Systems[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2006). 18-22 September 2006, Chicago, Illinois, USA.
[115] Huipeng Guo, Jinpeng Huai, Huan Li et al. ANGEL: Optimal Configuration for High Available Service Composition[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2007). July 9-13, 2007, Salt Lake City, Utah, USA.
[116] Girish Chafle, Koustuv Dasgupta, Arun Kumar et al. Adaptation in Web Service Composition and Execution[C]. Proceedings of the IEEE International Conference on Web Services, ICWS 2006. pp. 549~557.
[117] Xumin Liu, Athman Bouguettaya. Managing Top-down Changes in Service-Oriented Enterprises[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2007). July 9-13, 2007, Salt Lake City, Utah, USA.
[118]马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报, 2005.13(04).
[119]余萍,马晓星,吕建,陶先平.一种面向动态软件体系结构的在线演化方法[J].软件学报, 2006.17(06).
[120]李长云,李莹,吴健,吴朝晖.一个面向服务的支持动态演化的软件模型[J].计算机学报, 2006, 29(07).
[121]鲍爱华,袁金平,姚莉,张维明.基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法.计算机集成制造系统, 2008,(09):1856-1864.
[122] Open Management Group, SOA SIG, http://SOA.omg.org.
[123] Zachman J.A.. Enterprise Architecture: The Issue of the Century [J]. DataBase Programming and Design, 1997.
[124] Zachman J.A.. A Framework for Information Systems Architecture [J]. IBM Systems Journal, 1987, 26(3): 276-292.
[125] Zachman Framework, http:/www.zifa.com, 2010.
[126]赵文,胡文蕙等.工作流元模型的研究与应用.软件学报,2003,14(6):1052—1059.
[127] OPMSE技术报告[R].长沙:国防科技大学C3I研究中心, 1999.
[128]罗雪山等. C3I系统建模方法与技术[M].长沙:国防科技大学出版社, 2000.
[129]闻晓,张为群,杨阳等. BPEL应用程序验证模型研究[J],计算机科学2009, 36(4):163-166.
[130] Zheng Y,Krause P. An automatic test generation f ramework for BPEL web services. Technical Report . England : University of Surrey ,2006.
[131]董文莉,胡建华.基于BPEL的Web Service组合的数据流分析测试方法[J],软件学报, 2009, 20(8):2102-2112.
[132] Dong WL, Yu H, Zhang YB. Testing BPEL-based Web service composition using high-level Petri nets. In: Proc. of the 10th IEEE Enterprise Distributed Object Computing Conf. Washington: IEEE Computer Society, 2006.pp: 441-444.
[133] Business process execution language for Web services. http://www.ibm.com/developerworks/library/ws-bpel/.
[134] W.M.P.Vander Aalst, et a1. Advanced Workflow Patterns[C].the 7th International Conference On Cooperative Information Systems(CoopIS 2000),volume1901 of LNCS[C],pages 18-29. Springer-Verlag, Berlin, 2000.
[135] W.M.P.Vander Aalst, A.H.M Hofstede. Workflow Patterns: On the Expressive Power of(Petri-net-based)Workflow Languages. Proceedings of the Fourth Workshop on the Practical Use of Colored Petri Nets and CPN Tools, 2002.
[136]刘书雷.基于工作流的空间信息服务聚合技术研究[D],国防科技大学博士学位论文, 2006.10.
[137]王磊.防空导弹网络化作战C2系统结构研究[D],国防科技大学硕士学位论文, 2005.12.
[138]罗爱民,修胜龙,罗雪山.防空导弹网络化作战C4ISR系统体系结构研究[J].国防科技大学学报, 2004,26(6):86-90.
[139]陈晨,陈杰,张娟,王高鹏.网络化防空火控系统体系结构研究[J],兵工学报, 2009,30(9):1252-1258.
[140]毛昭军,李云芝.网络化防空反导体系一体化火力控制问题[J],火力指挥与控制, 2008, 33(6):757-761.
[2]罗爱民.基于信息模型的C~4ISR体系结构设计与分析方法研究[D].国防科技大学研究生院, 2006.10.
[3]美国国防部C~4ISR体系结构工作组. C~4ISR体系结构框架2.0版[R].北京:电子科学研究院工程总体部编译, 1999.
[4]黄力,罗爱民,罗雪山,谭跃进. C~4ISR体系结构研究综述[J].系统工程与电子技术, 2003, 25(12): 1497-1500.
[5]罗爱民,罗雪山,黄力. C3I系统体系结构框架研究[J].系统工程理论与实践, 2003, 23(6): 86-90.
[6] David S.Alberts. Network Centric Warfare: current status and way ahead[J]. Ministry of Defense, Journal of Defense science,2003.
[7] David S.Alberts, Richard E.Hayes. Understanding Command and Control[M]. Washington: DOD Command and Control Research Program publication series, 2003.
[8] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume I: Definitions and Guidelines”[R], the United States: Department of Defense, 2007.
[9] C~4ISR Architecture Working Group. C~4ISR Architecture Framework Version 2.0 [R]. U.S.: Department of Defense, 1997.
[10] DoD Architecture Framework Working Group. DoD Architecture Framework Version 1.0 Volume I: Definitions and Guidelines [R]. U.S.: Department of Defense, 2003.
[11]鲍爱华.语义Web环境下组合服务演化方法及其关键技术研究[D].国防科技大学研究生院, 2009.10.
[12]喻坚,韩燕波.面向服务的计算——原理和应用[M].北京:清华大学出版社, 2006.12.
[13]张抗抗.基于语义Web Services的企业异构系统应用集成研究与实现[D].山东大学, 2006.
[14]姜志平.基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D].国防科学技术大学研究生院博士论文, 2007, 09.
[15] IEEE Std 1471-2000. IEEE Recommended Practice for Architectural Description of Software-Intensive Systems [S].
[16] IEEE Architecture Working Group. IEEE Recommended Practice for Architectural Description, IEEE Std 1471, Draft Version 3.0, USA, 1998.
[17] Integrated Architecture Panel of the C~4ISR Integration Task Force. C~4ISR Architecture Framework Version 1.0[R]. The United States: Department of Defense, 1996.
[18] DoD Architecture Framework Working Group. DoD Architecture Framework Version 1.0 Volume II: Product Description [R]. U.S.: Department of Defense, 2003.
[19] DoD Architecture Framework Working Group. DoD Architecture Framework Version 1.0: Deskbook [R]. The United States: Department of Defense, 2003.
[20]海军装备论证中心.网络中心战[M]. 2002.
[21]费爱国.网络中心战与信息化战争[M].军事科学出版社, 2006.
[22] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume II: Product Description”[R], the United States: Department of Defense, 2007.
[23] DoD Architecture Framework Working Group,“DoD Architecture Framework Version 1.5 Volume III: Desk book”[R], The United States: Department of Defense, 2007.
[24] The MODAF Development Team,“The MOD Architecture Framework Version 1.2”[R], The UK: Ministry of Defense,www.modaf.org.uk, 22 September 2008.
[25] The NATO C3 Board,“The NATO Architecture Framework Version 3.0”[R],North Altlantic Treaty Organization: http://www.nhqc3s.nato.int/Browser.asp?Target=_docs/NAF_v3, November 2007.
[26] DoD Architecture Framework Working Group. DoD Architecture Framework Version 2.0 Volume I: Definitions Overviews and Concepts[R]. U.S.: Department of Defense, May18, 2009.
[27] DoD Architecture Framework Working Group. DoD Architecture Framework Version 2.0 Volume II: Architectural Data and Models[R]. U.S.: Department of Defense, May18, 2009.
[28] DoD Architecture Framework Working Group. DoD Architecture Framework Version 2.0 Volume 3: DoDAF Meta-model[R]. U.S.: Department of Defense, May18, 2009.
[29] Mapping of DoDAF V1.5 Products to DoDAF V2.0 Models. http://cio-nii.defense.gov/sites/dodaf20/V15support.html.
[30] UK Ministry of Defense,“UK Ministry of Defense Architectural Framework (MODAF) v1.1”[R], UK Ministry of Defense, 10th April 2007.
[31] UK Ministry of Defense,MOD Architectural Framework Viewpoint Overview Version 1.0[R], UK Ministry of Defense, 2005.8.
[32] UK Ministry of Defense,MOD Architectural Framework Technical Handbook Version 1.0, MINISTRY OF DEFENCE[R/OL]. http://www.modaf.com/files/MODAF%20Technical%20Handbook%20V1.0.pdf
[33] The UK's Ministry of Defence, "WarNet - The Network Centric Warfare Report 2005"[R], Apr 20, 2005.
[34]曲爱华,陆敏.解读英国国防部体系结构框架MoDAF1.2[J],指挥控制与仿真, 2010,32(1):116-120.
[35] NATO Consultation,Command and Control Board (NC3B) , "Introduction to NATO Architecture"[R],NATO ARCHITECTURE FRAMEWORK Version 3, http://www.nato.int., 2008.
[36] NATO Consultation,Command and Control Board (NC3B) , "Transition Guidance NAF v2 to NAF v3"[R],http://www.nato.int., 2008.
[37] Aagedal J, Berre A, et al. ODP-based Improvements of C~4ISR-AF [C]. 1999 Command and Control Research and Technology Symposium, United States Naval Warfare College, 1999.
[38] Reid D, Johnson W. A System Design Archetype for C~4ISR Systems of the 21st Century [C]. 7th International Command and Control Research and Technology Symposium, Quebec City, Canada, 2002.
[39]黄力,罗爱民,罗雪山. C~4ISR体系结构工程概念研究[J].国防科技大学学报, 2004, 26(1): 81-83.
[40]修胜龙.C~4ISR体系结构产品一致性开发及验证方法研究[D].国防科学技术大学研究生院博士论文, 2004, 10.
[41]车万方,张凤鸣,宋志平.基于UML的C3I系统体系结构的面向对象分析与设计方法[J].系统工程理论与实践,2003,23(7):88-94.
[42]黄力.基于Statechart图的C~4ISR系统体系结构验证方法研究[D].国防科学技术大学研究生院博士论文, 2004, 4.
[43]罗爱民.基于信息模型的C~4ISR体系结构设计与分析方法研究[D].国防科学技术大学研究生院博士论文, 2006, 10.
[44]姜军.可执行体系结构及DoDAF的可执行化方法研究[D].国防科学技术大学研究生院博士论文, 2008, 09.
[45] C~4ISR体系结构设计工具集用户手册.长沙:国防科技大学C~4ISR技术重点实验室, 2004.
[46]原瑞政.基于场景的C~4ISR体系结构分析与评价[D].国防科学技术大学研究生院硕士论文, 2004, 12
[47]电子科学总装备部武器装备论证研究中心,中国电子科技集团公司电子科学研究院.军事电子信息系统体系结构框架[R].中国电子科技集团公司电子科学研究院, 2005.
[48] L. W. Wagenhals, I. Shin, D. Kim, and A. H. Levis. C~4ISR Architectures II: Structured Analysis approach for architecture design [J]. Systems Engineering, 2000, 3(4):248-287.
[49] M. P. Bienvenu, I. Shin, and A. H. Levis. C~4ISR Architectures III: An Object-Oriented approach to architecture design [J]. Systems Engineering, 2000, 3(4):288-312.
[50] Colin C. Venters, Duncan J. Russell, Lu Liu.st. A Scenario-Based Architecture Evaluation Framework for Network Enabled Capability[C]. In Proceedings of 2009 33rd Annual IEEE International Computer Software and Applications Conference. July 20-24, 2009, Seattle, Washington, USA .
[51] NATO Consultation,Command and Control Board (NC3B) , "NATO Architecture Framework Version 3 ANNEX B Architecture Methodologies"[R],http://www.nato.int., 2008.
[52]修胜龙,罗雪山,罗爱民. C3I系统仿真模型自动生成方法[J].火力与指挥控制, 2004, 29(2): 10-13.
[53]修胜龙. C~4ISR体系结构产品一致性开发及验证方法研究[D].国防科学技术大学博士论文, 2004, 10.
[54]修胜龙,罗雪山,罗爱民等. C~4ISR体系结构描述的逻辑和行为验证[J].系统工程与电子技术,2005,27(2): 275-279.
[55] Nicholas J. Merski. Tailored Systems Architecture For Design of Space Scinece and Technology Missions Using DoDAF2.0[D]. Wright-Patterson Air Force Base, Ohio Department of The Air Force Air University, 2010.
[56] Joongyoon Lee, Youngwon Park. A Study on the Abstracted Metamodel of DoDAF 2.0 for CBA Methodology Execution[C], In the Proceeding of the 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing(SNPD '09),Page: 364-369,May 27-29, 2009, Daegu.
[57] Matthew Hause. An overview of UPDM-A Unified Profile for DoDAF/MODAF[R], ARTISAN SOFTWARE TOOLS, October, 2008, visted at www.ArtisanSoftwareTools.com.
[58] Korff, A., Modellierung von eingebetteten Systemen mit UML und SysML, von Spektrum Akademischer Verlag Taschenbuch - 13. June 2008
[59] Hause, M.C., 2009, The UPDM RFC Development Project - An Exercise inModel-Based Virtual Team Development or“Practicing What We Preach”, 5th Annual Israeli National Conference on Systems Engineering proceedings, Herzlia, Israel.
[60] Duncan J. Russell, Lu Liu, Zongyang Luo, Colin C. Venters, David E. Webster, Jie Xu, "Realizing Network Enabled Capability Through Dependable Dynamic Systems Integration," cit, pp.1269-1274, 2010 10th IEEE International Conference on Computer and Information Technology, 2010.
[61] Dzmitry Churbanau. A Conceptual Framework for Specification of Network-Centric System Architectures[D], Virginia Polytechnic Institute and State University ,Virginia ,May 2010.
[62] "Network-Centric Architectures Overview"[R], CS5704 Course Notes, visited at http://manta.cs.vt.edu/cs5704.
[63] Levis A H, Wagenhals L W. C~4ISR Architectures: I. Developing a Process for C~4ISR Architecture Design [J]. Systems Engineering, 2000, 3(4): 225-247.
[64] Barr P C, Bernstein A R, et al. Executable Architecture for the First Digitized Division [A]. Pier H H, Suresh R. Proceedings of SPIE Vol. 4037 [C]. Orlando: SPIE, 2000: 94-101.
[65] Wagenhals L W, Haider S, Levis A H. Synthesizing Executable Models of Object Oriented Architectures [C]. Workshop on Formal Methods Applied to Defence Systems, Adelaide, Australia, 2002.
[66] Pawlowski, Thomas J. III, etc. Applying Executable Architectures to Support Dynamic Analysis of C2 Systems, C2 Assessments & Tools [R]. 2004 Command and Control Research Technology Symposium, June 2004.
[67] Pawlowski, Thomas J. III, etc. Executable Architecture Methodology for Analysis, FY03 Report [R]. MTR 03W0000081, Feb 2004.
[68] Feng Ni, Ming-Zhe Wang, Jing-Jing Liao, Jing-Dan Zhou, "Enhancing DoDAF with a HCPN Executable Model to Support Validation"[C],In Proceeding of the 2009 Second International Symposium on Computational Intelligence and Design, vol. 2, pp.283-287, 2009.
[69]姜军,罗雪山,罗爱民等.可执行体系结构研究[J].国防科技大学学报, 2008, 30(3): 76-80.
[70] Kazman R, Abowd R, Bass L, et al. Scenario-Based Analysis of Software Architecture [J]. IEEE Software, 1996, 13(6): 47-56.
[71] Kazman R, Klein M, et al. The Architecture Tradeoff Analysis Method [C]. Proceedings of ICECCS, Monterey, CA, 1998.
[72] Kazman R, Klein M, Clements P. ATAM: Method for Architecture Evaluation[R], CMU/SEI-2000-TR-004, Pittsburgh: Software Engineering Institute, Carnegie Mellon University, 2000.
[73] ATAM (Architecture Tradeoff Analysis Method), http://www.sei.cmu.edu/architecture/ tools /atam/index.cfm, 2010.
[74]黄力,罗爱民,邱涤珊,罗雪山,谭跃进. ATAM方法及其在C~4ISR系统体系结构评价中的应用[J].火力与指挥控制, 2003, 28(2): 99-102.
[75] Colin C. Venters, Duncan J. Russell, Lu Liu, Zongyang Luo, David E. Webster, Jie Xu, "A Scenario-Based Architecture Evaluation Framework for Network Enabled Capability," compsac, vol. 2, pp.9-12, 2009 33rd Annual IEEE International Computer Software and Applications Conference, 2009.
[76] Prem P. Jain, Ph.D. and Ben King. Mission-Model Driven Process: Test and Evaluate Composition of SOA Services[J], ITEA(the International Test and Evaluation Association) Journal 2008, 29: 179–189.
[77] JoséL. Risco-Martín , Alejandro Moreno , J. M. Cruz , Joaquín Aranda, Interoperability between DEVS and non-DEVS models using DEVS/SOA, Proceedings of the 2009 Spring Simulation Multiconference, March 22-27, 2009, San Diego, California.
[78] JoséL. Risco-Martín , Jesús M. De La Cruz , Saurabh Mittal , Bernard P. Zeigler, eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation, Simulation, v.85 n.11-12, p.750-777, November 2009
[79] Saurabh Mittal , JoséLuis Risco-Martín, Bernard P. Zeigler. DEVSML: automating DEVS execution over SOA towards transparent simulators[C].In Proceedings of 2009 33rd Annual IEEE International Computer Software and Applications Conference,Pages: 287-295. July 20-24, 2009, Seattle, Washington, USA .
[80] Saurabh Mittal , JoséLuis Risco-Martín, Bernard P. Zeigler. DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process[P].Simulation, 2009,85(7), Pages: 419-450.
[81] Lean Weng, Y.E.O.H. and N.G. Ming Chun, Architecting C4I systems[C].In Proceeding of the 2nd International Symposium on Engineering Systems, pp: 1-11, June 15-17, MIT Press, Cambridge, Massachusetts, 2009.
[82] Abdullah S, Alghamdi. Evaluating Defense Architecture Frameworks for C4I System Using Analytic Hierarchy Process[J], Journal of Computer Science,2009 5 (12), pp: 1075-1081.
[83] H.-M. Chen, "Towards Service Engineering: Service Orientation and Business-IT Alignment," Proc. IEEE Hawaii Int'l Conf. System Science, 2008.
[84] M. Lankhorst, "Enterprise Architecture Modeling—the Issue of Integration," Advanced Eng. Informatics, vol. 18, pp. 205-216, 2005.
[85] "Software as a Service (SaaS): An Enterprise Perspective," Microsoft Corp, http://msdn.microsoft.com/en-us/library/aa905332.aspx, 2010.
[86] J.M. Tien, "Services: A System's Perspective"[J], IEEE Systems Journal, Mar. 2008. 2(1), pp:146-157,.
[87] Thomas Erl, Service-Oriented Architecture: Concepts, Technology, and Design [M]. Prentice Hall PTR, August 04, 2005.
[88] Thomas Eri著,王满红,陈荣华译.SOA概念、技术与设计[M].北京:机械工业出版社,2007..
[89] IBM Corporation, Web services: Web services architect, Part 1: An introduction to dynamic e-business, 2001. Available at: http://www-106.ibm.com/developerworks/Webservices/.
[90] W3C, Web Services Choreography Description Language (WS-CDL) Version 1.0, W3C Working Draft 17, 2004. Available at: http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/.
[91] W3C, Web Services Choreography Interface (WSCI) Version 1.0, August 2002. Available at: http://www.w3.org/TR/wsci.
[92] W3C, Web Services Description Language (WSDL) Version 2.0, W3C Working Draft 3, 2004.
[93] COBIT, the Control Objectives for Information and Related Technology, http:/www.isaca.org. 2010.
[94] "Business Alignment and Agility," Hewlett Packard, video, http://h30423.www3.hp.com/?fr_story=0e4d9cdbd23432b8a860 c6c9dc456458debf36b3, 2010.
[95] "SAP Solutions for Governance, Risk, and Compliance," http://www.sap.com/usa/solutions/grc/index.epx, 2010.
[96] Ms. Leslie Winters, Dr. Andreas Tolk. C2 Domain Ontology within Our Lifetime[C], In Proceedings of the 14th International Command and Control Research and Technology Symposium (ICCRTS), Jun 15-17, 2009, in Washington, DC.
[97] R. Jinghai, S. Xiaomeng. A Survey of Automated Web Service Composition Methods. In Proc. of the 1st International Workshop on Semantic Web Services and Web Process Composition (SWSWPC), California, USA: Springer-Verlag, LNCS vol. 3387, 2004. pp43-56.
[98] S.L¨ammermann. Runtime Service Composition via Logic-Based Program Synthesis. PhD thesis, Department of Microelectronics and Information Technology, Royal Institute of Technology, June 2002.
[99] S. McIlraith and T.C.Son. Adapting Golog for composition of Semantic Web services. In Proc. of the 8th International Conference on Knowledge Representation and Reasoning (KR), Toulouse, France, April 2002.pp482-493.
[100] D. McDermott. Estimated-regression planning for interactions with Webservices. In Proc. of the 6th International Conference on AI Planning and Scheduling, Toulouse, France, 2006. AAAI Press.
[101] S. Chadrasekaran, J.A.Miller. Composition, Performance Analysis and Simulation of Web Services. The International Journal of Electronic Commerce and Business Media. 2003.
[102] F.Casati, S.Ming-Chien. Definition, Execution, Analysis, and Optimization of Composite E-Services. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering. 2001.
[103] F.Casati, S.iIlnicki, etc. eFlow: a Platform for Developing and Managing Composite e-Services. Industry Working Conference on Research Challenges.2000.
[104] Rohit Aggarwal, Kunal Verma, John Miller, William Milnor. Constraint Driven Web Service Composition in METEOR-S. In Proc. of IEEE International Conference on Services Computing (SCC), Washington D. C., USA: IEEE Computer Society, 2004. pp23-30.
[105] B. Benatallah, M. Dumas. Definition and Execution of Composite Web Services: The SELF-SERV Project. Bulletin of the IEEE Computer Society Technical Committee on Data Engineerin. 25(4): 47-52 2002.
[106]房俊.支持最终用户编程的服务虚拟化方法研究[D].中国科学院计算技术研究所, 2006.
[107] B. Holtkamp, R. Gartmann, Y. Han. FLAME2008 Personalized Web Services for the Olympic Games 2008 in Beiiing. In Proc. of eChallengest. 2003.
[108] Johanneke Siljee, Ivor Bosloper, Jos Nijhuis et al. DySOA: Making Service Systems Self-adaptive[C]. In International Conference on Service Oriented Computing (SOC) 2005.
[109] Ivor Bosloper, Johanneke Siljee, Jos Nijhuis et al. Creating Self-Adaptive Service Systems with Dysoa[C]. In Proceedings of the Third European Conference on Web Services (ECOWS 2005). IEEE Computer Society,Washington, DC, USA, 2005.
[110] Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito et al. QoS-Aware Replanning of Composite Web Services[C]. In Proceedings of the IEEE International Conference on Web Services (ICWS2005). IEEE Computer Society,Washington, DC, USA, 2005.
[111] Henri Naccache, Gannod Gerald C, Gray Kevin A. A Self-healing Web Server Using Differentiated Services[C]. In Proceedings of 2007 IEEE International Conference on Web Services (ICWS 2007). July 9-13, 2007, Salt Lake City, Utah, USA.
[112] Sami Bhiri, Walid Gaaloul, Claude Godart. Discovering and ImprovingRecovery Mechanisms of Composite Web Services[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2006). 18-22 September 2006, Chicago, Illinois, USA.
[113] An Liu, Qing Li, Mingjun Xiao. A Declarative Approach to Enhancing the Reliability of BPEL Processes[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2007). July 9-13, 2007, Salt Lake City, Utah, USA.
[114] Yue Qiang, Wang Hao, Zha Li et al. An Approach to Exception Handling for Service-Oriented Systems[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2006). 18-22 September 2006, Chicago, Illinois, USA.
[115] Huipeng Guo, Jinpeng Huai, Huan Li et al. ANGEL: Optimal Configuration for High Available Service Composition[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2007). July 9-13, 2007, Salt Lake City, Utah, USA.
[116] Girish Chafle, Koustuv Dasgupta, Arun Kumar et al. Adaptation in Web Service Composition and Execution[C]. Proceedings of the IEEE International Conference on Web Services, ICWS 2006. pp. 549~557.
[117] Xumin Liu, Athman Bouguettaya. Managing Top-down Changes in Service-Oriented Enterprises[C]. In Proceedings of IEEE International Conference on Web Services (ICWS 2007). July 9-13, 2007, Salt Lake City, Utah, USA.
[118]马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报, 2005.13(04).
[119]余萍,马晓星,吕建,陶先平.一种面向动态软件体系结构的在线演化方法[J].软件学报, 2006.17(06).
[120]李长云,李莹,吴健,吴朝晖.一个面向服务的支持动态演化的软件模型[J].计算机学报, 2006, 29(07).
[121]鲍爱华,袁金平,姚莉,张维明.基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法.计算机集成制造系统, 2008,(09):1856-1864.
[122] Open Management Group, SOA SIG, http://SOA.omg.org.
[123] Zachman J.A.. Enterprise Architecture: The Issue of the Century [J]. DataBase Programming and Design, 1997.
[124] Zachman J.A.. A Framework for Information Systems Architecture [J]. IBM Systems Journal, 1987, 26(3): 276-292.
[125] Zachman Framework, http:/www.zifa.com, 2010.
[126]赵文,胡文蕙等.工作流元模型的研究与应用.软件学报,2003,14(6):1052—1059.
[127] OPMSE技术报告[R].长沙:国防科技大学C3I研究中心, 1999.
[128]罗雪山等. C3I系统建模方法与技术[M].长沙:国防科技大学出版社, 2000.
[129]闻晓,张为群,杨阳等. BPEL应用程序验证模型研究[J],计算机科学2009, 36(4):163-166.
[130] Zheng Y,Krause P. An automatic test generation f ramework for BPEL web services. Technical Report . England : University of Surrey ,2006.
[131]董文莉,胡建华.基于BPEL的Web Service组合的数据流分析测试方法[J],软件学报, 2009, 20(8):2102-2112.
[132] Dong WL, Yu H, Zhang YB. Testing BPEL-based Web service composition using high-level Petri nets. In: Proc. of the 10th IEEE Enterprise Distributed Object Computing Conf. Washington: IEEE Computer Society, 2006.pp: 441-444.
[133] Business process execution language for Web services. http://www.ibm.com/developerworks/library/ws-bpel/.
[134] W.M.P.Vander Aalst, et a1. Advanced Workflow Patterns[C].the 7th International Conference On Cooperative Information Systems(CoopIS 2000),volume1901 of LNCS[C],pages 18-29. Springer-Verlag, Berlin, 2000.
[135] W.M.P.Vander Aalst, A.H.M Hofstede. Workflow Patterns: On the Expressive Power of(Petri-net-based)Workflow Languages. Proceedings of the Fourth Workshop on the Practical Use of Colored Petri Nets and CPN Tools, 2002.
[136]刘书雷.基于工作流的空间信息服务聚合技术研究[D],国防科技大学博士学位论文, 2006.10.
[137]王磊.防空导弹网络化作战C2系统结构研究[D],国防科技大学硕士学位论文, 2005.12.
[138]罗爱民,修胜龙,罗雪山.防空导弹网络化作战C4ISR系统体系结构研究[J].国防科技大学学报, 2004,26(6):86-90.
[139]陈晨,陈杰,张娟,王高鹏.网络化防空火控系统体系结构研究[J],兵工学报, 2009,30(9):1252-1258.
[140]毛昭军,李云芝.网络化防空反导体系一体化火力控制问题[J],火力指挥与控制, 2008, 33(6):757-761.