构件系统建模及其动态演化一致性验证方法

郑明,李彤,林英,周小煊,李响,明利

Dynamic Evolution Consistency Verification Method for Component System Modeling

ZHENG Ming, LI Tong, LIN Ying, ZHOU Xiao-xuan, LI Xiang and MING Li

计算机科学 . 2017, (11): 80 -86 . DOI: 10.11896/j.issn.1002-137X.2017.11.012