[1] |
Henzinger T A. The theory of hybrid automata[C]// The 11th Annual IEEE Symposium on Logic in Computer Science. 1996:278-292.
|
[2] |
磊,解定宝. 混成系统形式化验证[J]. 软件学报, 2014,25(2):219-233.
|
[3] |
OMG. Unified Modeling Language: Superstructure version2.0[EB/OL]. http://www.omg.org/docs/formal/2005-07-04.pdf, 2014-12-21.
|
[4] |
Czarnecki K, Helsen S. Classification of model transformation approaches[C]// OOPSLA’03 Workshop on Generative Techniques in the Context of ModelDriven Architecture. 2003:1-17.
|
[5] |
OMG. UML Profile for MARTE: Modeling And Analysis of Realtime Embedded Systems[EB/OL]. http://www.omg.org /spec /MARTE, 2014-12-30.
|
[6] |
王海兮. 新型抽象建模的研究与实现[D]. 成都:电子科技大学, 2008.
|
[7] |
郑红军,张乃孝. 软件开发中的形式化方法[J]. 计算机科学, 1997,24(6):90-96.
|
[8] |
Duke R W, Rose G. Formal Objectoriented Specification Using ObjectZ[M]. Palgrave Macmillan, 2000.
|
[9] |
Spivey J M. The Z Notation[M]. England:Prentice Hall International (UK) Ltd, 1989.
|
[10] |
Andrade E, Maciel P, Callou G, et al. Mapping UML interaction overview diagram to time Petri Net for analysis and verification of embedded realtime systems with energy constraints[C]// IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation. 2008: 615-620.
|
[11] |
Mostafa A M, Ismail M A, ElBolok H, et al. Toward a formalization of UML2.0 metamodel using Z specifications[C]// IEEE 2007 the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. 2007,1:694-701.
|
[12] |
Kim S K, Carrington D. A formal mapping between UML models and ObjectZ specifications[C]// ZB 2000: Formal Specification and Development in Z and B, 1st International Conference of B and Z Users. 2000:2-21.
|
[13] |
杨卫东,蔡希尧. 基于 Object-Z 的UML对象模型的形式化[J]. 计算机科学, 2000,27(2):60-63.
|
[14] |
倪水妹,曹子宁,李心磊. 带数据约束实时系统的模型检测[J]. 计算机科学, 2014,41(5):254-262.
|
[15] |
许海洋,王萍. 基于MDA的MARTE模型形式化方法[J]. 计算机应用研究, 2012,29(8):3018-3021.
|
[16] |
王立杰,刘昌禄,俞烈彬. 基于MDA的MARTE模型形式化转换[J]. 指挥控制与仿真, 2012,34(6):128-133.
|
[17] |
Cao Zining, Wang Hui. Hybrid ZIA and its approximated refinement relation[C]// Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering. 2011:260265.
|
[18] |
缪淮扣,陈怡海. 软件形式规格说明语言-Z[M]. 北京:清华大学出版社, 2012:228-230.
|