[1] 张霖, 周龙飞. 制造中的建模仿真技术[J]. 系统仿真学报, 2018, 30(6): 1997-2012. Zhang Lin, Zhou Longfei.Modeling & Simulation Technology in Manufacturing[J]. Journal of System Simulation, 2018, 30(6): 1997-2012. [2] 雷永林, 李群, 杨峰, 等. 武器装备效能仿真的可组合建模框架研究[J]. 系统工程理论与实践, 2013, 33(11): 2954-2966. Lei Yonglin, Li Qun, Yang Feng, et al.A Composable Modeling Framework for Weapon Systems Effectiveness Simulation[J]. Systems Engineering-Theory & Practice, 2013, 33(11): 2954-2966. [3] Ehrig H, Ermel C.Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation[C]// 4th International Conference on Graph Transformations. Leicester, UK: Springer, 2008: 194-210. [4] Agarwal S, Dixit S, Aggarwal A.Model to Model Transformation for Declarative Models[J]. International Journal of Computer Science and Engineering (S2347-2693), 2018, 6(11): 164-170. [5] Ege F, Tichy M.A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations[C]// ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion. Munich, Germany: IEEE, 2019: 326-330. [6] Mukhtar M A O, Abdullah A, Downe A G. Preliminary Overview about Relations QVT: Query/View/ Transformation Model Transformation Language[C]// 2011 National Postgraduate Conference. Kuala Lumpur, Malaysia: IEEE, 2011: 1-5. [7] Jouault F, Allilaire F, Bezivin J, et al.ATL: A Model Transformation Tool[J]. Science of Computer Programming (S0167-6423), 2008, 72(1/2): 31-39. [8] Ghezzi C, Jazayeri M, Mandrioli D.Fundamentals of Software Engineering[M]. 2nd ed. NY: Prentice Hall, 2002: 58-60. [9] Balci O.A Life Cycle for Modeling and Simulation[J]. Simulation (S2310-4791), 2012, 88(7): 870-883. [10] 李伯虎, 柴旭东, 张霖, 等. 面向新型人工智能系统的建模与仿真技术初步研究[J]. 系统仿真学报, 2018, 30(2): 349-362. Li Bohu, Cai Xudong, Zhang Lin, et al.Preliminary Study of Modeling and Simulation Technology Oriented to Neo-type Artificial Intelligent Systems[J]. Journal of System Simulation, 2018, 30(2): 349-362. [11] Olive A.Conceptual modeling of information systems[M]. Berlin: Springer-Verlag, 2007: 98-101. [12] Zhi Z, Lei Y L, Alshareef A, et al.Domain Specific MetaModeling for Deep Semantic Composability[J]. IEEE Access (S2169-3536), 2018, 6(1): 18276-18289. [13] Nain S, Vardi M Y.Trace Semantics is Fully Abstract[C]//24th Annual IEEE Symposium on Logic in Computer Science. Los Angeles, CA: IEEE, 2009: 59-68. |