摘要
随着仿真应用范围的不断发展,建模仿真对象已经发展到包含众多子系统,结构、行为复杂并不断演化的复杂大系统,迫切要求仿真应用能够及时响应领域对象的演化,持续保持对研究对象的有效性与合理性,避免当研究对象发生需求、结构及行为的变化时重新开发仿真系统;并且希望仿真系统的开发能够像工业制造领域一样,通过灵活组装零部件快速形成满足不同需要、结构行为各异的目标系统,从而降低仿真系统开发的费用与风险。组合仿真正是在这种需求背景下提出的一种新的仿真开发思想与范式,已经成为复杂系统仿真领域的研究热点。
组合仿真强调最大限度地实现仿真模型的组合与再组合,通过灵活的组装方式快速构建目标仿真系统,并通过模型组件替换实现仿真系统结构、行为的演化发展。当前组合仿真方法大多集中在工程实现层次上,由于缺少组合仿真理论的指导,仿真模型难以组合以及模型组合性质难以定量分析的问题仍然十分突出。如何提高仿真模型的可组合性已经成为组合仿真领域亟待解决的焦点问题。
论文以卫星导航系统工程总体仿真为应用背景,以提高仿真模型的可组合性为最终目标,从模型描述及组合性质分析机制两个方面入手,对仿真模型组合理论、多层次建模与仿真集成等重大理论方法问题进行了一定的创新研究和工程实践,主要体现在以下几点:
(1)系统地搭建了组合仿真的概念体系,提出以多层次仿真模型描述为核心的组合仿真概念框架CSCF,明确了CSCF中包含的模型、过程实体以及实体之间的组合依赖关系。构造了五种组合模式,为模型组装过程提供了多种选择。建立了仿真模型可组合性的参考模型RMC,深入辨析了可组合性与其它相近概念的联系和区别;建立了组合正确性的概念,以此为基础提出了仿真模型可组合性的分析框架。
(2)针对语法层次的四类模型组合失配问题,提出基于类型理论的仿真模型语法描述及组合性质分析机制。通过分析组合失配情形,指出语法层次仿真模型组合的实质是类型匹配问题。基于类型理论对仿真模型定义语言SMDL进行了扩展,通过为其建立一个简单类型系统STS,从而使SMDL具备了对语法层次模型组合进行推理与分析的能力。在仿真模型类型定义的基础上,构造了严格类型匹配、子类型匹配以及弱化类型匹配三种组合匹配关系。基于类型匹配关系建立了组合相容性及可替换性的形式化分析方法,给出了语法层次组合性质分析的关键算法。
(3)针对语法上可组合的模型不一定构成有意义(Meaningful)组合的问题,基于Hoare逻辑建立了仿真模型语义描述及组合性质分析机制。提出模型语义描述的分类框架,指出显式、形式化的模型语义描述是促进模型之间的语义共享以及支持语义层次组合性质分析的关键。在Hoare逻辑基础上,提出了基于前后断言的仿真模型语义的形式化描述机制,并针对不同组合模式分别给出了模型语义的组合推理机制;根据模型语义的描述,通过考察模型前置条件、后置条件之间的逻辑关系判断模型是否具备可组合性,分别建立了三种组合相容性和六种可替换性的分析规则,并给出相应算法。
(4)提出扩展DEVS的仿真模型动态语义描述及组合分析机制。针对DEVS规范没有明确行为等价性的问题,建立了DEVS执行语义的形式描述,基于互摸拟关系的DEVS模型行为等价性准则,并进一步分析了互模拟等价和系统态射的关系;针对DEVS组合模型规范中端口连接仅关注语法元素而不支持动态行为组合的问题,基于角色—协议—协作(RPC)框架对DEVS规范进行了扩展,以角色和交互协议刻画了DEVS模型在端口(集)上的详细交互行为,以角色的绑定刻画了DEVS组合模型中端口绑定的组合行为,建立了支持语用层次仿真模型组合的RPC-DEVS形式描述规范。为了分析语用层次仿真模型动态语义的组合性质,提出了角色相容性及可替换性的概念,以协作中模型角色的交互协议判断角色是否满足相容或可替换性,给出了角色相容性及可替换性的形式定义,并分别给出相容性和可替换性判定的关键算法。
(5)为有效支持组合仿真的建模与集成,提出模型驱动的组合仿真集成框架(MCSIF)。MCSIF明确给出了组合仿真的开发过程,可用于指导实际仿真系统开发,并能有效支持模型组合与再组合过程,提高仿真系统对新需求的适应能力。MCSIF框架利用精确元建模框架PMF支持不同层次的模型描述,PMF框架不仅关注语法层面的模型定义(如接口、事件等),还通过模型转换机制建立语法层次模型描述和语义、语用层次模型描述的关联,不同层次的模型描述都是精确、平台无关的,具有较高的抽象层次,从而构成DTM的全面描述,满足多层次组合建模的需求。PMF框架利用MLF系列元建模语言,面向不同层次分别建立了MSSD元模型、SCM元模型和REM元模型,并建立了元模型之间的映射关系支持模型转换机制,从而保证了不同元模型在模型描述问题上的一致性以及不同层次组合性质分析的相互校准作用。
(6)针对卫星导航系统工程总体仿真中的模型组合需求,设计并实现了支持多层次建模及组合的卫星导航仿真辅助开发与集成环境原型CSimTools,支持不同层次的仿真模型描述,提供模型组装环境,支持模型的统一调度执行。以导航系统服务性能仿真应用实例验证了论文提出的仿真模型组合理论与集成方法。
论文的研究属于建模仿真理论的基础和前沿性研究,不但丰富和发展了系统仿真方法学,对于促进卫星导航工程总体仿真模型的互操作、重用也具有重要意义,可用于指导和支持复杂系统仿真模型的集成。
The research area of Modeling and Simulation (M&S) has moved to the complex huge systems comprised of many sub-systems, whose structure and behavior are keeping evolving. The ability to quickly respond to such evolvements for keeping valid and sound to the real systems is required to avoid developing new simulation systems from scratch when the requirement, structure and behavior of them has changed. The way to build simulation systems like the industrialized making, in which the components were assembled flexibly and agilely to form different target systems is urgently required to reduce the cost and risk of developing a new simulation systems. In this situation, composable simulation was proposed, as a new thinking and paradigm of simulation development, to tackling these current problems, and it has been the research hotspot of M&S of complex systems.
The issue about composing and re-composing of simulation models is focus of composable simulation. But current approaches to composable simulation are mostly concerned about the implement details. Without the theory of composable simulation, the composition of simulation models and analysis of model composablity are still very hard. How to improve composability of simulation models has been the key problem and urgently required in the composable simulation.
This dissertation makes the general demonstratiion of satellites navigation systems as the application background. To improving composability of simulation models, this dissertation expands its key contents to several correlative directions focusing on simulation model representation and analysis of composability. The original work and the main contributions of this dissertation include:
(1) Core conceptual problems of composable simulation are systematically studied. Focusing on multi-level representation of simulation models, the Composable Simulation Conceptual Framework(CSCF) is proposed, in which several kinds of models entities, process entities, and the relationships between these entities are definitely defined and five composition patterns are provided to assemble models. The Reference Model of Composability of simulation model(RMC) was established, which differentiates related concepts such as interoperability, reusability ,etc. The analysis framework of composability is proposed on the concept of composition correctness.
(2) Syntactical model representation and composability analysis based on type theory are systematically studied. Firstly four syntactical composition mismatching problems which roots in type mismatching are presented, then Simulation Model Definition Languages(SMDL) was extended with a SMDL simple Type System(STS). Based on the type judgement and type inferring rules, three type matching relations, including exact match, subtype match and the relaxed match, are formally defined. The formal methods of analyzing compatibility and substitutability of models, as well as the key algorithms, are established on these type matching.
(3) Semantic representation of simulation models and composability analysis based on Hoare logic are studied. The classification framework of model semantics shows that explicit, formal semantic description is the keys to prompt semantic model composability. The approach to semantic description is proposed on Pre-Post assertions to form the composition reasoning rules. Three compatibility rules and six substitutability rules are constructed to analyze the composability by checking the logical relations between the pre-and post predicates, and the algorithms are provided for these rules.
(4) Pragmatic composability concerns about how to use model and what's the behavior of model, i.e. model dynamic semantic, which represents its interactions with environment or other models. The formal semantic of DEVS specification is defined, and further the behavioral equivalence checking rules of DEVS models based on bi-simulation is provided. The Coupling DEVS specification essentially concerns about syntactical composability between ports, so DEVS is extended by Role-Protocol-Collaboration(RPC) framework to form RPC-DEVS specification. In RPC-DEVS, the roles and its protocols describe the detailed behavior of DEVS port, and the binding of roles characterizes the behavior of the composition of DEVS ports. The approach to analyzing dynamic semantic composability and the algorithms are established on the compatibility and substitutability between roles.
(5) In order to effectively support multi-level modeling and simulation integration, the Model driven Composable Simulation Integration Framework (MCSIF) is proposed. MCSIF framework supports rigorous model definition at syntactic, semantic and pragmatic level, and further prompts model composability and reusability. In MCSIF, the Precise Modeling Framework(PMF) was constructed by using Meta-modeling Languages Families (MLF), and the meta-model of MSSD, SCM and REM are designed based on PMF for multi-level modeling. The mapping relationship between these meta-models is studied, which assures the consistency of multi-level model descriptions, and plays the calibration role in multi-level composability analyzing.
(6) According to requirements of model composability and simulation integration in general simulation of satellite navigation system, the CSimTools prototype was design and implemented. CSimTools provides series of tools to supports multi-level modeling, composing and simulation integration, and provides a uniform schedule mechanism to support simulation execution. The theory and approach of this dissertation is demonstrated by an example of satellite navigation Service Volume Simulation development.
The research topics of this dissertation belong to the fundamental M&S theory category. Above work and contributions can advance the research of simulation methodology, and promote the interoperability and reusability of models in general simulation of satellite navigation system, and can direct the integration of other complex system simulations.
引文
[1]Paul C.Davis,Paul A.Fishwick,C.Michael Overstreet,et al.Model Composability as a Reasearch Investment:Responses to the Featured Paper[C].Proceedings of the Winter Simulation Conference.2000.
[2]Stephen Kasputis,Henry C.Ng.Composable Simulations[C].Proceedings of the The Winter Simulation Conference 2000.
[3]Composability Task Force JSIMS.JSIMS Composability Task Force Final Report.[A].1997.
[4]周东祥,仲辉,李群,等.复杂系统仿真的可组合问题研究综述[J].系统仿真学报,2007,19(8):1819-1823.
[5]Mikel D.Petty,Eric W.Weisel.A Composability Lexicon[C].Proceedings of the Spring Simulation Interoperability Workshop.Kissimmee,FL,2003.
[6]王维平,周东祥,李群,等.基于MDA的多层次框架式组合建模仿真方法研究[J].系统仿真学报,2007,19(19).
[7]European Space Agency.SMP 2.0 Handbook,v 1.2[A].EGOS-SIM-GEN-TN-0099.2005.
[8]V.K.Handley,R 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.
[9]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
[10]Jesse Aronson,David Wade.Model Based Simulation Composition[C].Proceedings of the Fall Simulation Interoperability Workshop.Frolida,Orlando,1998.
[11]OneSAF Operational Requirements Document Version 1.0[A].U.S.Army Simulation,Training and Instrumentation Command,2000.
[12]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.
[13]J.Dahmann,M.Salisbury,C.Turrell R Barry,et al.HLA and beyond:Interoperability challenges[J].Information & Security,1999,3:25-42.
[14]Andreas Tolk.Metamodels and Mappings - Ending the Interoperability War[C].Proceedings of the Fall Simlation Interoperability Workshop.2004.
[15]Phil Zimmerman,Chris Turrell,Jim Heusmann,et al.Composable Mission Space Environments[A].Defence Modeling and Simulation Office,2002.
[16]Paul K.Davis,Robert H.Anderson.Improving the Composability of DoD Modeling and Simulations[A].Santa Monica,CA:Rand National Defense Research Institute,2003.
[17]Ernest H.Page,Jeffrey M.Opper.Observations on the Complexity of Composable Simulation[C].Proceedings of the Winter Simulation Conference.1999.
[18]Jesse Aronson,David M.Wade.Benefits and Pitfalls of Composable Simulation[C].Proceedings of the Spring Simulation Interoperability Workshop.Orlando FL,2000.
[19]Gestalt.Requirements for Composable Simulations[A].Alexandria,Virginia: Defense Modeling & Simulation Office(DMSO),2003.
[20]Mikel D.Petty,Eric W.Weisel,Roland R.Mielke.A Formal Approach to Composability[C].Proceedings of the Interservice/Industry Training,Simulation and Education Conference Orlando,FL,2003.
[21]周东祥,陈超,李群,等.仿真模型语义组合的形式化判定方法研究[J].系统仿真学报,2007,已录用.
[22]周东祥,李群,王维平.一种支持仿真模型组合判定的形式化方法研究[J].数学的实践与认识2007,已录用.
[23]周东祥,李群,王维平.仿真模型的语法可组合问题及组合判定研究[J].火力与指挥控制,2007,已录用.
[24]周东祥,李群,王维平.联合装备体系对抗仿真可组合问题的概念框架[J].计算机仿真,2007,已录用.
[25]周东祥,李群,王维平.可组合仿真模型的语义形式描述及组合判定方法[J].国防科技大学学报,2008,30(1).
[26]Ryan R Z.Brunton.Simulation Composability Using HLA,X3D and Web Services:An XMSF Exemplar[C].Proceedings of the Spring Simulation Interoperability Workshop.Arlington,2004.
[27]S.M.Harkrider,W.H.Lunceford.Modeling and simulation composability[C].Proceedings of the 1999 Interservice/Industry Training,Simulation,and Education Conference.1999.
[28]Katherine L.Morse,Mikel D.Petty,Paul F.Reynolds,et al.Findings and Recommendations from the 2003 Composable Mission Space Environments Workshop[C].Proceedings of the Spring Simulation Interoperability Workshop.Arlington,VA,2004.
[29]Eric W.Weisel,Mikel D.Petty,Roland R.Mielke.A Survey of Engineering Approaches to Composability[C].Proceedings of the Spring Simulation Interoperability Workshop.Arlington,VA,2004.
[30]Mikel D.Petty,Eric W.Weisel.A Formal Basis for a Theory of Semantic Composability[C].Proceedings of the Spring Simulation Interoperability Workshop.Kissimmee,FL,2003.
[31]Eric Werner Weisel.Models,composability,and validity[D].Virginia:Old Dominion University,2004.
[32]复杂系统一体化组合仿真方法研究,国家自然科学基金项目申请报告[A].国防科技大学信息系统与管理学院系统工程系建模与仿真实验室,2007.
[33]Stephen Kasputis,Ivar Oswalt,Ryan McKay,et al.Semantic Descriptors of Models and Simulations[C].Proceedings of the Spring Simulation Interoperability Workshop.Crystal City Hyatt,Arlington,VA,2004.
[34]A.J.Courtemanche,von der Lippe S.R.,J.McCormack.Developing User-Composable Behaviors[C].Proceedings of the Fall Simulation Interoperability Workshop.1997.
[35]D.R.Pratt,L.C.Ragusa,S.vonder Lippe.Composability as an architecture driver[C].Proceedings of the the 1999 Interservice/Industry Training,Simulation,and Education Conference.1999.
[36]Mark Biddle,Constance Perry.An Architecture for Composable Interoperability[C].Proceedings of the Fall Simulation Interoperability Workshop.2000.
[37] Demetrius Davis,Jesse Aronson. Component Selection Techniques to Support Composable Simulation[C]. Proceedings of the Spring Simulation Interoperabiltiy Workshop. 1999.
[38] Mikel D. Petty. Simple Composition Suffices to Assemble any Composite Model[C].Proceedings of the Spring Simulation Interoperability Workshop. Arlington, VA,2004.
[39] Eric W. Weisel. Validity of Models and Classes of Models in Semantic Composability[C]. Proceedings of the Fall Simulation Interoperability Workshop.Orlando, FL, 2003.
[40] DMSO. Composable Mission Space Environments[EB/OL].https://www.dmso.mil/public/warfighter/cmse/, 2003.
[41] Levent Yilmaz.A Strategy for Improving Dynamic Composability: Ontology-driven Introspective Agent Architectures[J].Journal of Systemics, Cybernetics, and Informatics,2007, 5(5).
[42] 张童,刘云生,查亚兵.可组合仿真系统的概念框架研究[J].系统仿真学报,2007,19(8):1710-1712.
[43] V.T. Miller,P.A. Fishwick. Graphic Modeling Using Heterogeneous Hierarchical Models[C]. Proceedings of the Winter Simulation Conference. Los Angeles,CA,1993
[44] 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.
[45] Michael Kantner. Hierarchical Modeling and Multiresolution Simulation[C].Proceedings of the Winter Simulation Conference. 1999.
[46] 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.
[47] J.J. Luna. Hierarchical Relations in Simulation Models[C]. Proceedings of the Winter Simulation Conference. Los Angeles, CA, 1993.
[48] Andreas Tolk,James A. Muguira. The Levels of Conceptual Interoperability Model[C]. Proceedings of the Fall Simulation Interoperability Workshop. Orlando,FL, 2003.
[49] Don Brutzman,Michael Zyda,J. Mark Pullen, et al. Extensible Modeling and Simulation Framework (XMSF)Challenges for Web-Based Modeling and Simulation[EB/OL]. http://www.MovesInstitute.org/xmst 2002,Accessed in October.
[50] Don Brutzman,Andreas Tolk. JSB Composability and Web Services Interoperability via XMSF, MDA,Component Repositories, and Web-based Visualization [A]. USAF,2003.
[51] Brahim Medjahed.A Multilevel Composability Model for Semantic Web Services[J].IEEE Transactions on Knowledges and Engineering,2005,17(7):954-968.
[52] Mikel D. Petty,Eric W. Weisel,Roland R. Mielke. Composability Theory Overview and Update[C]. Proceedings of the Spring Simulation Interoperability Workshop.San Diego, CA, 2005.
[53]Eric W.Weisel,Mikel D.Petty,Roland R.Mielke.A Comparison of DEVS and Semantic Composability Theory[C].Proceedings of the Spring Simulation Interoperability Workshop.San Diego,CA,2005.
[54]Bernard P.Zeigler,Herbert Praehofer,Tag Gon Kim.Theory of Modeling and Simulation:Integrating Discrete Event and Continuous Complex Dynamic Systems[M].San Diego,CA:Academic Press,2000.
[55]Bernard P.Zeigler.Continuity and change(activity) are fundamentally related in devs simulation of continuous systems(Keynote speech)[C].Proceedings of the AI,Simulation,and Planning 2004(AIS'04) 2004.
[56]Paul A.Fishwick.Using XML for Simulation Modeling[C].Proceedings of the 2002Winter Simulation Conference.2002.
[57]Paul A.Fishwick.A Modeling Strategy for the NASA Intelligent Synthesis Environment[J].Journal of Space Mission Architecture,1999,(7).
[58]Paul A.Fishwick.Simulation Model Design and Execution:Building Digital Worlds[M].Prentice Hall Press,1995.
[59]Hans Vangheluwe.Multi-Formalism Modelling and Simulation[D].Gent University,2000.
[60]Hans Vangheluwe,Juan de Lara,Pieter J.Mosterman.An Introduction to Multi-Paradigm Modelling and Simulation[C].Proceedings of the AI,Simulation and Planning(AIS'2002).Lisbon,2002.
[61]Paul L.Gustavson,John R Hancock,Mark McAuliffe.Base Object Models(BOMs):Reusable Component Objects for Federation Development.Fall Simulation Interoperability Workshop.1998.
[62]Base Object Model Product Development Group SISO.Base Object Model(BOM)Template Specification[A].SISO-STD-003.0-DRAFT-V0.12.Orlando,FL,2005.
[63]Simulation Model Composition Using BOMs[J].
[64]John R Hancock,Judy Ann Schandua,Paul L.Gustavson.A Structural Description of Base Object Models(BOMs)[C].Proceedings of the Spring Simulation Interoperability Workshop.1999.
[65]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.
[66]European Space Agency.SMP 2.0 Metamodel,v 1.2[A].EGOS-SIM-GEN-TN-0100.2005.
[67]L.Arg(u|¨)ello.Introduction to Simulation Model Portability[A].European Space Agency,1999.
[68]European Space Agency.SMP 2.0 Component Model,v1.2[A].EGOS-SIM-GEN-TN-0101.2005.
[69]金伟新.大型仿真系统[M].北京:电子工业出版社,2004.
[70]王维平,朱一凡,李群,等.Sim2000:一个柔性仿真开发环境[J].系统仿真学报,2000,12(1):61-64.
[71]R.L.Wittman,C.T.Harrison.OneSAF:A Product Line Approach to Simulation Development[C].Proceedings of the European 2001 Simulation Interoperability Workshop.2001.
[72]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.
[73]P.Carlisle,W.Babineau,R.Wuerfel.The Joint Simulation System(JSIMS)Federation Management Toolbox[C].Proceedings of the Fall Simulation Interoperability Workshop.2003
[74]Henry A.Marshall.SAF in CATT Training Systems,Update 1999[C].Proceedings of the Eighth Conference on Computer Generated Forces and Behavioral Representation.1999.
[75]Jorn Bettin.Model-Driven Software Development:An emerging paradigm for Industrialized Software Asset Development[A].SoftMetaWare Ltd,2004.
[76]Sami Beydeda,Matthias Book,Volker Gmhn,eds.Model-Driven Software Development.2005,Springer:Germany.
[77]Colin Atkinson,Thomas K(u|¨)hne.Model-Driven Development:A Metamodeling Foundation[J].IEEE Software,2003 20(5):36-41.
[78]Object Management Group.Model Driven Architecture,white paper,Draft 3.2[EB/OL].ftp://ftp.omg.orr/pub/docs/omg/00-H-05.pdf,2000.
[79]David S.Frankel.鲍志云译.MDA[M].北京:人民邮电出版社,2003.
[80]Object Management Group.MDA Success Stroies[EB/OL].http://www.omg.org/mda/products success.htm,2007.
[81]John D.Poole.Model-Driven Architecture:Vision,Standards And Emerging Technologies[C].Proceedings of the ECOOR 2001.
[82]OMG.MDA Guide[EB/OL].http://www.omg.org/cgi-bin/doc?ptc/03-06-01.pdf,2003.
[83]Anneke Kleppe,Jos Warmer,Wim Bast.鲍民云译.解析MDA[M].北京:人民邮电出版社,2003.
[84]Stephen J.Mellor,Kendall Scott,Dirk Weise Axel Uhl.MDA Distilled:Principles of Model-Driven Architecture[M].Addison Wesley,2004.
[85]Perdita Stevens.Bidirectional Model Transformations in QVT:Semantic Issues and Open Questions[J].Model Driven Engineering Languages and Systems,from book:Model Driven Engineering Languages and Systems,2007.
[86]Tom Mens,Pieter Van Gorp.A Taxonomy of Model Transformation[J].Electronic Notes in Theoretical Computer Science,2006,152.
[87]板桥里人.DSM:Domain-Specific Modeling[EB/OL].http://www.idon.com 2006.
[88]Arie van Deursen,Paul Klint,Joost Visser.Domain-Specific Languages:An Annotated Bibliography[EB/OL].http://www.cwi.nl/arie,paulk,jvisser/,2002.
[89]Steven Kelly.Improving Developer Productivity With Domain-Specific Modeling Languages.develop.~* magazine,2005,
[90]Matthew J.Emerson,Janos Sztipanovits,Ted Bapty.A MOF-Based Metamodeling Environment[J].Journal of Universal Computer Science,2004,10(10).
[91]Marjan Memik,Jan Heering,Anthony M.Sloane.When and How to Develop Domain-Specific Languages[A].SEN-E0309.CWI,2003.
[92]UML Profile for CORBA.www.omg.org.
[93]Gregory G.Nordstrom.Metamodeling-Rapid Design and Evolution of Domain-Specific Modeling Environments[D].Nashville,Tennessee:Vanderbilt University,1999.
[94]GME 2000 User's Manual[A].Institute for Software Integrated Systems,2002.
[95]Jeffrey G.Gray.Aspect-oriented domain-specific modeling:a generative approach using a metaweaver framework[D].Nashville,Tennessee:Vanderbilt University,2002.
[96]Frank Budinsky,David Steinberg,Ed Merks,et al.Eclipse Modeling Framework:A Developer's Guide[M].Addison Wesley,2003.
[97]Juha-Pekka Tolvanen.MetaEdit+:domain-specific modeling for full code generation demonstrated[C].Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications Vancouver,BC,CANADA ACM Press,New York,USA,,2004.
[98]IBM Rational Architect.www.rational.com.
[99]Vs.studio 2005 teamwork.www.microsoft.com.
[100]DSM Forum.www.dsmforum.org.
[101]OOPSLA Workshop on Domain Specific Modeling.
[102]Elliott D.Kaplan.邱致和,王万义译.GPS原理与应用[M].北京:电子工业出版社,2004.
[103]Rafael Lucas,Jorg Hahn,Simon Dinwiddy,et al.王殿佑译,伽利略空间和地面段定义:系统和性能[J].控制工程,2006.
[104]子力.“伽利略”-欧洲的全球卫星导航系统(下)[J].中国航天,2006,(6).
[105]雷永林.仿真模型重用理论、方法与异构集成技术研究[D].长沙:国防科学技术大学,2005.
[106]U.S.Department of Defense.High-Level Architecture(HLA) Object Model Template Specification,Version 1.3[A].1998.
[107]Dale K Pace.Development and Documentation of a Simulation Conceptual Model[C].Proceedings of the Fall Simulation Interoperability Workshop.1999.
[108]Dale K.Pace.Simulation Conceptual Model Development[C].Proceedings of the Spring Simulation Interoperability Workshop.Orlando,FL,2000
[109]Dale K Pace.Thoughts About The Simulation Conceptual Model[C].Proceedings of the Spring Simulation Interoperability Workshop.2003.
[110]张琦,王达,黄柯棣.概念模型的描述方法和验证过程[J].计算机仿真 2004,21(12).
[111]Erich Gamma,Richard Helm,Ralph Johnson,et al.Design Patterns--Elements of Reusable Object-Oriented Software[M].Addison Wesley,1995.
[112]D.R.Pratt,L.C.Ragusa,S.von der Lippe.Composability as an architecture driver[C].Proceedings of the 1999 Interservice/Industry Training,Simulation,and Education Conference.1999.
[113]Levent Yilmaz.On the Need for Contextualized Introspective Models to Improve Reuse and Composability of Defense Simulations[J].Journal of Defense Modeling and Simulation:Application,Methodology,Technology,2004,3(1).
[114]燕雪峰,杜庆伟,柴旭东.一种新的仿真组件模型及其实现[J].南京航空航天大学学报,2006,38(6).
[115]DMSO.DoD glossary ofM&S terms[EB/OL].www.dmso.mil.
[116]James A.Muguira,Andreas Tolk.Applying a Methodology to Identify Structural Variances in Interoperations[J].Journal of Defense Modeling and Simulation:Application,Methodology,Technology,2006,3(2).
[117]杨峰.面向效能评估的平台级体系对抗仿真跨层次建模方法研究[D].长沙:国 防科技大学,2003.
[118]Benjamin C.Pierce.马世龙,眭跃飞译.类型和程序设计语言[M].北京:电子工业出版社,2005.
[119]Yong Xia,Martin Glinz.Rigorous EBNF-based Definition for a Graphic Modeling Language[C].Proceedings of the Tenth Asia-Pacific Software Engineering Conference(APSEC' 03).2003.
[120]傅韶勇,张杰,王刚,等.组件化分布式应用平台的研究与设计[J].小型微型计算机系统,1999,20(12).
[121]张驰,吴健,胡正国,等.基于组件基调匹配的系统开发[J].计算机工程与应用,2005,41(31):82-85.
[122]王刚,傅韶勇,徐征,等.一种基于基调描述的组件查询技术的研究与应用[J].小型微型计算机系统,1999,20(11).
[123]陈意云.形式语义学基础[M].合肥:中国科学技术大学出版社,1994.
[124]Antero Taivalsaari.On the Notion of Inheritance[J].ACM Computing Surveys,1996,28(3).
[125]周晓聪.类型系统及其范畴论模型研究[D].北京:中国科学院软件研究所,2000.
[126]L.C ardelli,S.Martini,J.C.Mitchell,et al.An extension of System F with subtyping[J].Information and Computation,1994,10(9).
[127]A.B.Compagnoni.Subject Reduction and Minimal Subtypes for high Order Subtyping[A].ECS-LFCS-97-363.University of Edinburgh,1997.
[128]M.Abadi,L.Cardelli.A Tbeory of Primitive Objects:Second-order System[C].Proceedings of the European Symposiumon Programming(ESOP).Edinburgh,Scotland,1994.
[129]P.Martin-Lof.Intuitionistic Type Theory[M].Naples:1984.
[130]Zhaohui Luo.An Extended Calculus of Constructions[D].University of Edinburgh,1990.
[131]刘丹.XML数据库类型系统研究[D].武汉:华中科技大学,2004.
[132]Robert Harper.Type Systems for Programming Languages[M].Pittsburgh,PA:springer,2000.
[133]John C.Reynolds.Theroy of Programming languages[M].Cambridge University Press,1998.
[134]Benedict R.Gaster,Mark R Jones.A Polymorphic Type System for Extensible Records and Variants[A].NOTTCS-TR-1996-3.School of Computer Science and Information Technology,University of Nottingham,1996.
[135]L.Cardelli,R Wegner.On understanding types,data abstraction,and polymorphism.[J].Computing Surveys,1985,17(4):471-522.
[136]William R.Cook.A Denotational Semantics of Inheritance[D].Brown University,1989.
[137]B.C.Pierce,D.N.Turner.Simple type-theoretic foundations for object-oriented programming[J].Jounral of Functional Programming,1994,4(2):207-248.
[138]全炳哲,金淳兆,李文辉.基于类型理论的面向对象程序设计[J].计算机学报,1997,20(1):50-57.
[139]European Space Agency.EGOS Modelling Framework(EGOSMF)Specification,Part 1:Foundations,Architecture Modelling and UML Profiles,v 1.1[A].EGOS-XAS-XASTRO-TN-00XX-ESOC.2005.
[140]周晓聪,李文军,李师贤.对象在类型系统λω×≤中的表示[J].计算机研究与发展,2003,40(4).
[141]林慧民.高级语言中的类型等价问题[J].福州大学学报,1981,(3).
[142]Benjamin C.Pierce,Steffen Martin.Higher-order subtyping[C].Proceedings of the IFIP Working Conference on Programming Concepts,Methods and Calculi (PROCOMET).1994.
[143]Kenneth Slonneger,Barry L.Kurtz.Formal syntax and semantics of programming languages:a laboratory based approach[M].New York:Addison-Wesley,1995.
[144]Amy M.Zaremski.Signature and specification matching[D].Pittsburgh,PA:Carnegie Mellon University,1996.
[145]P Gardenfors.The Conceptual Spaces--The Geometry of Thought[M].Cambridge,Massachusetts:MIT Press,2000.
[146]Gordana Dodig-Crnkovic.System Modeling and Information Semantics[C].Proceedings of the the Fifth Conference for the Promotion of Research in IT.2005.
[147]Blom M.,Nordby E.J.Semantic integrity in component based development[A].Sweden:M(a|¨)lardalen University,2000.
[148]Gao Shu,Omer F.Rana,Nick J.Avis,et al.Ontology-based semantic matchmaking approach[J].Advances in Engineering Software,2007,38(1).
[149]Florian Probst,Michael Lutz.Giving Meaning to GI Web Service Descriptions[C].Proceedings of the ICEIS.2004.
[150]展锦程,谢乔军,何祖威.连续系统仿真语言ACSL及其应用[J].计算机仿真,1997,14(2).
[151]W3C.SRML - Simulation Reference Markup Language[EB/OL].http://www.w3.org/,2002.
[152]Richard A.Kilgore.Open Source Simulation Modeling Language(SML)[C].Proceedings of the Winter Simulation Conference.2001.
[153]张迎周,张卫丰,钱俊彦.形式语义描述方法研究进展与评价[J].南京邮电大学学报(自然科学版),2006,26(6).
[154]Ralf Sasse,Jose Meseguer.Java+ITP:A Verification Tool Based on Hoare Logic and Algebraic Semantics[J].Electronic Notes in Theoretical Computer Science,2007,176(4).
[155]周巢尘.形式语义学引论[M].长沙:湖南科学技术出版社,1985.
[156]Glynn Winskel.宋国新等译.程序设计语言的形式语义[M].北京:机械工业出版社,2004.
[157]R.Milner.Communication and Concurrency[M].Englewood Cliffs:Prentice-Hall,1989.
[158]Luca Aceto,Kim G.Larsen,Anna Ing'olfsd'ottir.An Introduction to Milner's CCS[EB/OL].http://www.cs.auc.dk/~luca/SV/intro2ccs.pdf.,2005,Accessed in 2007.
[159]Amy M.Zaremski,Jeannette M.WING.Specification Matching of Software Components[J].ACM Transactions on Software Engineering and Methodology,1997,6(4):333-369.
[160]Simulation Refence Markup Language(SRML) Study Group Final Report[A].Orlando,Florida:Simulation Interoperability Standards Organization(SISO),2004.
[161]刘晨,李群,王维平.基于DEVS扩展SRML大纲:仿真模型表示和重用的基础[J].系统仿真学报,2005,17(10).
[162]OMG.UML1.5 Superstructure Specification[EB/OL].http://www.omg.org/cgi-bin/apps/doc?formal/03-03-01.pdf,2003.
[163]James Rumbaugh,Ivar Jacobson,Grady Booch.The Unified Modeling Languages Reference Manual[M].Addison Wesley,1999.
[164]Martin Fowler.UML Distilled:A Brief Guide to the Standard Object Modeling Language[M].Boston,MA:Addison Wesley,2003.
[165]Bilung Lee.Specification and Design of Reactive Systems[D].Berkeley:University of California,2000.
[166]R Alur,D.L.Dill.A Theory of Timed Automata[J].Theorical computer science,1994,126(2):183-235.
[167]王维平.Euler网仿真建模方法[J].系统仿真学报,1997,9(2).
[168]王维平,朱一凡,华雪倩,等.离散事件系统建模与仿真[M].长沙:国防科技大学出版社,1997.
[169]郭齐胜,杨秀月,王杏林,等.系统建模[M].北京:国防王业出版社,2006.
[170]罗军舟,沈俊,顾冠群.从Petri网到形式描述技术和协议工程[J].软件学报,2000,11(5):606-615.
[171]李文军.并发模型与动态优先系统[D].北京:中国科学院软件研究所,2000.
[172]R.Milner.Communication and Concurrency.[M].Prentice-Hall,1989.
[173]C.Hoare.Communicaitng Sequenital Processes[M].Prenitce-Hall Internaitonal,1985.
[174]C.Hoare.Communicating Sequential Processes[J].communication of ACM,1978,21(8):666-677.
[175]J.A.Bergstra,J.W.Klop.Algebra of Comrnunicatiing Processes with abstraction[J].Theoretical Computer Science,1985,37:77-121.
[176]M.Hennessy.An Algebraic Theory of Processes[M].Cambridge:MIT Press,1988.
[177]T.Bolognesi,E.Brinksma.Introduction to the ISO Specification Language LOTO S[J].Computer Networks and ISDN Systems,1988,14(1):25-59.
[178]R.Milner,J.Parrow,D.Walker.A Calculus of Mobile Processes,Patr Ⅰ and Ⅱ[J].Journal of Information and Computation,1992,100:1-77.
[179]Hans Vangheluwe.Multi-Formalism Modelling and Simulation[D].Gent University,2000.
[180]许文.pi-演算互模拟验证系统的设计与实现[D].北京:中国科学院软件研究所,2006.
[181]周东祥,李群,王维平.可组合DEVS模型的形式语义及行为等价性研究[J].系统仿真学报,已投稿.
[182]Changyan Zhou,Ratnesh Kumar,Shengbing Jiang.Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence[J].IEEE Transactions on Automatic Control,2006,51(5).
[183]Arjan van der Schaft.Equivalence of Dynamical Systems by Bisimulation,[J].IEEE Transactions on Automatic Control,2004,49(12).
[184]蒋凡,宁华中.基于标号变迁系统的测试集自动生成[J].计算机研究与发展,2001,38(12):1435-1445.
[185]D Park.Concurrency and automata on infinite sequences[J].Lecture notes in computer science,1981,104.
[186]R.Milner.A Calculus of Communicating Systems[J].Lecture Notes in Computer Science,1980,92.
[187]Mackulak G.,F.Lawrence.Effective simulation model reuse:A case study for AMHS modeling[C].Proceedings of the winter simulation conference.1998.
[188]Carlos Canal,Ernesto Pimentel,Jose' M.Troya.Compatibility and Inheritance in Software Architectures[J].Science of Computer Programming,2001,41:105-138,.
[189]牟树霞,胡金柱,杨明霞,等.基于构件角色的组装检测方法探讨[J].计算机应用研究,2005,(7).
[190]Nabil Hameurlain.Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS,from book:Multi-Agent Systems and Applications[J].Lecture Notes in Computer Science,2007.
[191]Carlos Canal,Lidia Fuentes,Ernesto Pimentel,et al.Adding Roles to CORBA objects[J].IEEE Transactions on Software Engineering,2003,29(3):242-260.
[192]Daniel M.Yellin,Robert E.Strom.Protocol Specications and Component Adaptors[J].ACM Transactions on Programming Languages and Systems,1997,19(2):292-333.
[193]周东祥,李群,王维平.基于RPC-DEVS规范的仿真模型语用描述及组合方法研究[J].系统工程学报,已投稿.
[194]Deniel Brand,Pitro Zafiropulo.On Communicating Finite-State Machines[J].Jounral of the association for computing machinery,1983,30(2):323-342.
[195]Davd Harel,Orna Kupferman.On object systems and behaviral inhertance[J].IEEE Transactions on Software Engineering,2002,28(9):889-903.
[196]C.Fischer,H.Wehrheim.Behavioral subtyping relations for object-oriented formalisms[C].Proceedings of the conferenceof Algebraic methodlogy and software technology.2000.
[197]Sabine Moisan,Annie Ressouche,Jean Paul Rigault.Behaviroal Substitutability in Component Frameworks:A Formal Approach[C].Proceedings of the the 2003Workshop of Specification and Verification of Component Based Systems.Helsinki,Finland,2003.
[198]Shawn Parr.Making the Case for MDA[C].Proceedings of the Fall Simulation Interoperability Workshop.Orlando,FL,2003.
[199]Calytrix Technologies.Welcome to SIMplicity[EB/OL].http://www.simplicity..calytrix.com,2002.
[200]Calytrix Technologies.Calytrix SIMplicity - an MDA approach to distributed simulation[J].2002.
[201]Andreas Tolk.Avoiding another Green Elephant - A Proposal for the Next Generation HLA based on the Model Driven Architecture[C].Proceedings of the Fall Simulation Interoperability Workshop.Orlando,Florida,2002.
[202]Andreas Tolk,James A.Muguira.M&S within the Model Driven Architecture[C].Proceedings of the Interservice/Industry Training,Simulation,and Education Conference.2004.
[203]Shawn Parr,Russell Keith-Magee.The Next Step - Applying the Model Driven Architecture to HLA[C].Proceedings of the Spring Simulation Interoperability Workshop.Kissimmee,FL,2003.
[204]Ng Wei Tze,Thio Seng Joo,Teo Cheng Hong.A MDA-Based Translation Approach to Component-Level Reuse[C].Proceedings of the Spring Simulation Interoperability Workshop.Crystal City Hyatt,Arlington,VA,2004.
[205]王超,周东祥,李群,等.SMP2-一个基于MDA的仿真模型组合规范[C].Proceedings of the 国防科技大学第6届研究生学术活动节.2006.
[206]I.A.Niaz,J.Tanaka.Code Generation from UML Statecharts[C].Proceedings of the Software Engineering and Applications.Marina del Rey,USA,2003.
[207]Tony Clark,Andy Evans,Paul Sammut,et al.Applied Metamodeling:A Foundation for Language Driven Development.2004.
[208]Steve Cook.Domain-Specific Modeling and Model Driven Architecture.MDA Journal,2004,1
[209]Tony Clark,Andy Evans,Stuart Kent,et al.A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach[A].pUML Group and IBM,2000.
[210]Ralf Gitzel,Tobias Hildenbrand.A Taxonomy of Metamodel Hierarchies[EB/OL].http://www.wifo.uni-mannheim.de/~gitzel/publications/taxonomy.pdf.
[211]Colin Atkinson,Thomas K(u|¨)hne.The Role of Metamodeling in MDA[C].Proceedings of the International Workshop in Software Model Engineering(in conjunction with UML'02).Dresden,Germany,2002.
[212]OMG.Meta Object Facility(MOF) Core Specification[EB/OL].http://www.omg.org,2006.
[213]Yong Xia,Martin Glinz.Rigorous EBNF-based Definition for a Graphic Modeling Language[C].Proceedings of the Tenth Asia-Pacific Software Engineering Conference(APSEC'03).2003.
[214]Ernst J.Introduction to CDIF[EB/OL].http://www.cdif.org/.
[215]Juan de Lara,Hans Vangheluwe.Using AToM~3 as a Meta-CASE Tool[C].Proceedings of the the 4th International Conference on Enterprise Information Systems(ICEIS).Ciudad Real,Spain,2003.
[216]Industrial Automation Systems and Integration-Product Data Representation and Exchange-EXPRESS-X Reference Manual[A].TC184/SC4/WG5.Geneva:ISO,1995.
[217]Matthew Joel Emerson.GME-MOF:AN MDA METAMODELING ENVIRONMENT FOR GME[D].Nashville,Tennessee:Vanderbilt University,2005.
[218]Wile D.AML:Architecture Meta-Language,Draft Report[A].University of Southern California,1996.
[219]Matthew J.Emerson,Janos Sztipanovits.Implementing a MOF-Based Metamodeling Environment Using Graph Transformations[C].Proceedings of the the 4th OOPSLA Workshop on Domain-Specific Modeling.Vancouver,Canada,2004.
[220]侯洪涛,周东祥,刘颖,等.导航系统服务性能仿真中的模型集成研究[J].系统仿真学报,已录用,2007.
[221]Andriy Levytskyy,Ernesto Posse,Eugène J.H.Kerckhoffs,et al.Creating DEVS components with the meta-modelling tool AToM~3[EB/OL].http://mones.cs.mcgill.ca/MSDL/research/projects/DEVS/,2004.
[222]陈应明,马俊杰,张怀庆.编译原理[M].北京:冶金工业出版社,2004.
[223]任洪敏,钱乐秋.构件组装及其形式化推导研究[J].软件学报,2003, 13(4):1066-1074.
[224] Robin Milner. Higher-order action calculi[C]. Proceedings of the Computer Science Logic. 1992.
[225] Robin Milner. Action Calculi, or Syntactic Action Structures[C]. Proceedings of the MFCS' 93. Gdansk,Poland, 1993.
[226] Kohei Honda. Types for Dynamic Interaction[C]. Proceedings of the CONCUR 93 1993.
[227] Stephen J. Mellor,Marc J. Balcer. Executable UML: A Foundation for Model-Driven Architecture[M]. Addison Wesley, 2002.
[228] OMG. MOF QVT Final Adopted Specification[EB/OL]. www.omg.org, 2005.
[229] Arend Rensink,Ronald Nederpel. Graph Transformation Semantics for a QVT Language[C]. Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques. 2006.
[230] D. H. Akehurst,S.Kent. A Relational Approach to Defining Transformations in a Metamodel[C]. Proceedings of the UML 2002 - The Unified Modeling Language 5th International Conference. Dresden, Germany, 2002.
[231] Eclipse. GMF Project[EB/OL]. http://www.eclipse.org/gmf, 2007.
[232] J. de Lara,H. Vangheluwe. AToM3: A tool for multi-formalism and meta-modelling[C]. Proceedings of the European Joint Conference on Theory and Practice of Software (ETAPS), Fundamental Approaches to Software Engineering (FASE).2002.