Structured object-oriented formal language and method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers - Tian, Cong; Nagoya, Fumiko; Liu, Shaoying 1960-; Duan, Zhenhua (Springer, 2018)