Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Tian, Cong; Tian, Cong; Nagoya, Fumiko; Nagoya, Fumiko; Liu, Shaoying; Liu, Shaoying; Duan, Zhenhua; Duan, Zhenhua (Springer International Publishing : Imprint: Springer, 2018)