| Citation: | Yao Shuzhen, Jing Maozhong. Formal modeling and analysis of UML statecharts[J]. Journal of Beijing University of Aeronautics and Astronautics, 2007, 33(04): 472-476. (in Chinese)
|
|
[1] Bouabana T T, Belmesk M. Formalization of UML object dynamics and behavior 2004 IEEE International Conference on Systems, Man and Cybernetics. Hague:IEEE,2004:4971-4976 [2] Saldhana J A, Shatz S M. UML diagrams to object Petri net models:an approach for modeling and analysis Proceedings of the Int Conference on Software Engineering and Knowledge Engineering (SEKE). Chicago:Knowledge Systems Insitute, 2000:103-110 [3] Hu Z, Shatz S M. Explicit modeling of semantics associated with composite states in UML statecharts[J]. Journal of Automated Software Engineering, 2006, 13(4):423-467 [4] 钱俊彦,蔡国永,古天龙,等. Startchart规格语言的语法分析研究[J]. 林电子工业学院学报,1999, 19(3):40-44 Qian Junyan,Cai Guoyong, Gu Tianlong, et al. Research on syntax analysis of statechart specification[J]. Journal of Guilin Institute of Electronic Technology, 1999,19(3):40-44 (in Chinese) [5] Heimdahl M P, Leveson N G. Completeness and consistency checking of state-Based software requirements[J]. IEEE Transaction on Software Engineering, 1996,22(6):363-377 [6] Murata T. Petri nets:properties, analysis and applications[J].Proceedings of the IEEE, 1989,77(4) :541-580
|
| [1] | LI Wendi, CAO Yueling, MENG Yinan, DAI Wujiao, PAN Lin, ZHOU Shanshi. Methods and Influence Factors Analysis of BeiDou DCB Parameter Solving Based on Regional Monitoring Networks[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0353 |
| [2] | MA S G，CHEN Q M，HOU Z Q，et al. Lightweight semantic segmentation algorithm based on GLCNet[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（11）：3358-3366 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0822. |
| [3] | WANG Ming-jian, ZHAO Zhang-hai, LI Chao, WEN Jia-min, SHANG Min-qiang, HOU Hong-jun. HPC Fault and Performance Analysis in the Field of Petroleum Geophysical Exploration[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0768 |
| [4] | LI Yijian, ZHOU Jianghua, ZHANG Xiaojun, ZHAO Chunyang, XU Guoning. Dynamic modeling and control analysis of pitch/roll channels in the ball cabin system[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0356 |
| [5] | YANG Hai-feng, LI Zhi-gang, TAN Yue-dong, XIAO Peng-hui, KONG Wei. Development of Ejection Seat-Dummy Model and Analysis of Seat Tip-off Stability[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0654 |
| [6] | CHEN P X，WU C C，NI Z Y. Dynamic modelling and simulation of a tethered-net in space[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（9）：2951-2962 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0747. |
| [7] | JIA Zhi-chao, BI Han-li, PENG Zheng, LI Guo-guang, WU Qi, ZHANG Hong-xing, MIAO Jian-yin. Steady state modeling and characteristic analysis of propylene flat loop heat pipes[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0814 |
| [8] | JIANG Y H，GUO T，GONG Q，et al. Analysis and modeling method of civil aircraft emergency scenario[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（3）：839-849 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0339. |
| [9] | PENG Yating, WEN Xiangxi, WU Minggong, YANG Zhiwei, WANG Nan. Complex network-based air traffic complexity analysis in TBO[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0231 |
| [10] | HUANG Jun, FAN Hao-dong, HONG Xu-dong, LI Xue. Semantic information guided multi-label image classification[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0382 |
| [11] | JIANG L，SUN R，LIU Z W，et al. Modeling and accuracy analysis of GNSS ionospheric error in EU-China based on GA-BP[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（6）：1533-1542 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0476. |
| [12] | BAO Y T，LIU W，LI R S，et al. Semantic segmentation of remote sensing images based on U-shaped network combined with spatial enhance attention[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（7）：1828-1837 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0544. |
| [13] | XU Q Y，MENG Y，LI S. Strain-based geometrically nonlinear beam modeling and analysis[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：2039-2049 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0627. |
| [14] | XIA Y X，FANG Z G. Degradation-shock competing failure modeling considering randomness of failure threshold[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：2079-2088 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0576. |
| [15] | ZHANG C，ZHUANG K，YU P，et al. Process control net modelling and analyzing for satellite test and evaluation in launch site[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：1948-1955 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0628. |
| [16] | MA Zhiwei, LI Haojie, FAN Xin, LUO Zhongxuan, LI Jianjun, WANG Zhihui. A real scene underwater semantic segmentation method and related dataset[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(8): 1515-1524. doi: 10.13700/j.bh.1001-5965.2021.0527 |
| [17] | LIU Hao, YANG Xiaoshan, XU Changsheng. Long-tail image captioning with dynamic semantic memory network[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(8): 1399-1408. doi: 10.13700/j.bh.1001-5965.2021.0518 |
| [18] | PENG Cheng, SUN Liguo, WANG Yanyang, TAN Wenqian, XIAO Feng. Control oriented longitudinal modeling and analysis of pigeon-like flapping-wing aircraft[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(12): 2510-2519. doi: 10.13700/j.bh.1001-5965.2021.0130 |
| [19] | QI Jiayi, LI Qiao, XIONG Huagang, YAN Ruowen. Airborne PLC channel modeling by transfer function and its probabilistic guarantee analysis[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(12): 2548-2555. doi: 10.13700/j.bh.1001-5965.2021.0153 |
| [20] | LIU Jiufu, ZHANG Xinzhe, WANG Hengyu, TOMAS DIAS A.M., WANG Zhisheng, YANG Zhong. Partial observable Petri nets fault diagnosis with quantum Bayesian learning[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(7): 1125-1134. doi: 10.13700/j.bh.1001-5965.2021.0010 |
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn
Supported by:
Beijing Renhe Information Technology Co., Ltd.
Yao Shuzhen, Jing Maozhong. Formal modeling and analysis of UML statecharts[J]. Journal of Beijing University of Aeronautics and Astronautics, 2007, 33(04): 472-476. (in Chinese)
DownLoad: