软件构架动态行为建模与检测.pdfVIP

计算机研究与发展 ISSN CN 111777/ TP Journal of Computer Research and Develop ment 42 ( 11) : 20 18～2024 , 2005 软件构架动态行为建模与检测 1 ,2 2 何 　坚 　　覃 　征 1 (北京工业大学软件学院　北京 　100022) 2 (西安交通大学电子与信息工程学院电子商务研究所 　西安 　7 10049) (J ianhee @163com) Model ing and Checking the Behavior of Sof t ware Architecture He J ian1 ,2 and Qin Zheng2 1 ( ) S chool of S of tw a