《表1 合法的转换类型:系统架构描述语言AADL的功能行为建模扩展》
(4)语法不支持直接地穿越层次边界的转换。当转换以复合状态作为源状态时,需将复合状态的出口状态作为默认的源状态,例如Exiting transitions。当转换以复合状态作为目标状态时,需将复合状态的入口状态作为默认目标状态,例如“Entering transi-tions”。合法的转换集合在表1中给出。图3中,黑色实心点表示入口或出口状态,白色空心点表示基本状态。规定转换不能直接从ENTRY类型状态到EXIT类型状态。
图表编号 | XD0091258400 严禁用于非法目的 |
---|---|
绘制时间 | 2019.10.01 |
作者 | 许金淼、杨志斌、黄志球、谢健、周勇 |
绘制单位 | 南京航空航天大学计算机科学与技术学院、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工信部重点实验室、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工信部重点实验室、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工信部重点实验室、南京航空航天大学计算机科学与技术学院、高安全系统的软件开发与验证技术工信部重点实验室 |
更多格式 | 高清、无水印(增值服务) |