Hybrid MARTE statecharts
摘要
当模特儿和即时、嵌入的系统(MARTE ) 的分析的说明在即时、嵌入的系统的域是统一当模特儿的语言(UML ) 的扩展。尽管 MARTE 时间模型提供支持描述分离、稠密的钟，最大的努力到目前为止被放在分离 MARTE 模型的说明和分析上。探讨混合即时、嵌入的系统，我们建议用 MARTE 和混合自动机的理论扩大 statecharts。我们把这延期混血儿 MARTE 称为 statecharts。它在那在混合自动机上提供改进：逻辑时间变量和测时学的时间变量被统一。混合 MARTE statecharts 的正式句法和语义基于标记的转变系统和实时转变系统被给。作为案例研究，我们与混合 MARTE statecharts 为一个火车控制系统的行为建模表明利益。
引用本文（GB/T 7714）
Jing Jing, Liu ., Ziwei, 等. Hybrid MARTE statecharts[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2013.
引文网络
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。