参考文献 [1]Petty M D,Weisel E W.A Composability Lexicon[C]//Proceedings of Simulation Interoperability Workshop.Kissimmee,USA:IEEE Computer Society,2003:236-349. [2]Abukwaik H,Taibi D,Rombach D.Interoperability-related Architectural Problems and Solutions in Information Systems:A Scoping Study[M].Vienna,Austria:[s.n.],2014. [3]康晓予.仿真模型重用与组合关键技术研究[D].大连:大连理工大学,2012. [4]Davis P K,Anderson R H.Improving the Composability of DOD Modeling and Simulations[D].Santa Monica,USA:Rand National Defense Research Institute,2003. [5]Medjahed B,Bouguettaya A.A Multilevel Composability Model for Semantic Web Services[J].IEEE Transa-ctions on Knowledge and Data Engineering,2005,17(7):954-968. [6]Tolk A,Diallo S Y,Turnits C D.Applying the Levels of Conceptual Interoperability Model in Support of Integra-tability,and Composability for System-of-systems Eng-ineering[J].Systemics,Cybernetics and Informatics,2007,5(5):65-74. [7]Szabo C,Teo Y M.An Approach to Semantic-based Model Discovery and Selection[C]//Proceedings of WSC’11.Phoenix,USA:IEEE Computer Society,2011:3054-3066. [8]Teo Y M,Szabo C.CODES:An Integrated Approach to Composable Modeling and Simulation[C]//Proceedings of the 41st Annual Simulation Symposium.Ottawa,Canada:IEEE Computer Society,2008:103-110. [9]Mahmood I.A Verification Framework for Component Based Modeling and Simulation[D].Stockholm,Sweden:Royal Institute of Technology,2013. [10]Mahmood I,Ayani R,Vlassov V,et al.Verifying Dynamic Semantic Composability of BOM-based Com-posed Models Using Colored Petri Nets[C]//Pro-ceedings of the 26th Workshop on Principles of Advanced and Distributed Simulation.Zhangjiajie,China:[s.n.],2012:250-257. [11]Mahmood I,Ayani R,Vlassov V,et al.Fairness Verification of BOM-based Composed Models Using Petri Nets[C]//Proceedings of IEEE Workshop on Principles of Advanced and Distributed Simulation.Nice,France:IEEE Computer Society,2011:1 -8. [12]Moradi F,Ayani R,Mokarizadeh S,et al.ARule-based Approach to Syntactic and Semantic Composition of BOMs[C]//Proceedings of the 11th IEEE Symposium on Distributed Simulation and Real-time Applications.Chania,Greece:IEEE Computer Society,2007:145-155. [13]周东祥.多层次仿真模型组合理论与集成方法研究[D].长沙:国防科学技术大学,2007. [14]周东祥,仲辉,邓睿,等.复杂系统仿真的可组合问题研究综述[J].系统仿真学报,2007,19(8):1819-1823. [15]Liu Shixiong,Li Weizi,Liu Kecheng.Assessing Pragmatic Interoperability of Information Systems From a Semiotic Perspective[C]//Proceedings of SSKI’14.New York,USA:[s.n.],2014:32-41. [16]Porzel R.Contextual Computing Models and Appli-cations[M].Berlin,Germany:Springer,2011. [17]钟义信.面向智能研究的全信息理论[J].北京邮电大学学报,1998,21(4):1-6. [18]罗爱民,黄力,罗雪山.C4ISR体系结构全信息分析模型[J].计算机科学,2007,34(11):239-240. [19]王向辉,冯志勇.语义Web服务自动组合定义、方法及验证调查[J].计算机应用研究,2014,31(5):1292-1301. [20]Singh M P.The Pragmatic Web[J].IEEE Internet Computing,2002,6(3):4-5. [21]Asuncion C H,van Sinderen M J.Pragmatic Interoper-ability:a Systematic Review of Published Definitions[M].Berlin,Germany:Springer,2010. [22]胡鹏,沈建京,郭晓峰.基于本体的LVC仿真联邦构建技术[J].计算机工程与设计,2014,35(7):2487-2493. [23]田萱,李冬梅.上下文信息检索研究综述[J].计算机科学,2011,39(9):19-24. [24]郭贵春.语境的边界及其意义[J].哲学研究,2009,9(2):94-100. [25]Dey A K.Understanding and Using Context[J].Personal and Ubiquitous Computing,2001,5(1):4-7. [26]Kocaball A B,Koyigˇit A.Granular Best Match Algorithm for Context-aware Computing Systems[J].Journal of Systems and Software,2007,80(12):2015-2024. [27]杨惠珍,郝莉莉.基于CPN的联邦概念模型形式化建模与验证[J].系统仿真学报,2012,24(7):1361-1365. [28]Alagar V S,Periyasamy K.Extended Finite State Ma-chine[C]//Proceedings of SS’11.New York,USA:[s.n.],2011:105-128. [29]Jensen K,Kristensen L M.Coloured Petri Nets:Modelling and Validation of Concurrent Systems[M].Berlin,Germany:Springer,2009. [30]张志强.基于着色Petri网的建模和模型性质分析验证的研究[D].济南:山东大学,2012. 编辑索书志 |