References
[1]
Yang
F,
Lü
J,
Mei
H.
Sci China Ser-F: Inf Sci,
2008, 51: 610-622
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Yang F&author=Lü J&author=Mei H&publication_year=2008&journal=Sci China Ser-F: Inf Sci&volume=51&pages=610-622
[2]
Wang
H,
Wu
W,
Mao
X, et al.
Sci Sin Inform,
2014, 44: 743-761
Google Scholar
http://scholar.google.com/scholar_lookup?author=Wang H&author=Wu W&author=Mao X&publication_year=2014&journal=Sci Sin Inform&volume=44&pages=743-761
[3]
Fu
J M,
Tao
F,
Wang
D, et al.
J Softw,
2011, 22: 2716-2728
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Fu J M&author=Tao F&author=Wang D&publication_year=2011&journal=J Softw&volume=22&pages=2716-2728
[4]
Wang
Q X,
Shen
J R,
Wang
X, et al.
J Softw Maint Evol-Res Pract,
2006, 18: 181-205
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Wang Q X&author=Shen J R&author=Wang X&publication_year=2006&journal=J Softw Maint Evol-Res Pract&volume=18&pages=181-205
[5]
Oreizy P, Medvidovic N, Taylor R. Runtime software adaptation: framework, approaches, and styles. In: Companion of the 30th International Conference on Software Engineering, Leipzig, 2008. 899--910.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Oreizy P, Medvidovic N, Taylor R. Runtime software adaptation: framework, approaches, and styles. In: Companion of the 30th International Conference on Software Engineering, Leipzig, 2008. 899--910&
[6]
L{ü}
J,
Ma
X X,
Tao
X P, et al.
Sci China Ser-F: Inf Sci,
2008, 51: 683-721
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=L{ü} J&author=Ma X X&author=Tao X P&publication_year=2008&journal=Sci China Ser-F: Inf Sci&volume=51&pages=683-721
[7]
Kazhamiakin R, Pandya P, Pistore M. Timed modelling and analysis in web service compositions. In: Proceedings of 1st International Conference on Availability, Reliability and Security, Vienna, 2006. 840--846.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Kazhamiakin R, Pandya P, Pistore M. Timed modelling and analysis in web service compositions. In: Proceedings of 1st International Conference on Availability, Reliability and Security, Vienna, 2006. 840--846&
[8]
Alur
R,
Dill
D.
Theor Comput Sci,
1994, 126: 183-235
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Alur R&author=Dill D&publication_year=1994&journal=Theor Comput Sci&volume=126&pages=183-235
[9]
Calinescu
R,
Ghezzi
C,
Kwiatkowska
M, et al.
Commun ACM,
2012, 55: 69-77
Google Scholar
http://scholar.google.com/scholar_lookup?author=Calinescu R&author=Ghezzi C&author=Kwiatkowska M&publication_year=2012&journal=Commun ACM&volume=55&pages=69-77
[10]
Dong
J S,
Hao
P,
Qin
S C, et al.
IEEE Trans Softw Eng,
2008, 34: 844-859
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Dong J S&author=Hao P&author=Qin S C&publication_year=2008&journal=IEEE Trans Softw Eng&volume=34&pages=844-859
[11]
Zhou Y, Ge J D, Zhang P C. Hierarchical timed automata based verification of dynamic evolution process in open environments. In: Proceedings of the International Conference on Software and System Process, Nanjing, 2014. 144--148.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Zhou Y, Ge J D, Zhang P C. Hierarchical timed automata based verification of dynamic evolution process in open environments. In: Proceedings of the International Conference on Software and System Process, Nanjing, 2014. 144--148&
[12]
Song
W,
Tang
J H,
Zhang
G X, et al.
Sci Sin Inform,
2012, 42: 264-279
Google Scholar
http://scholar.google.com/scholar_lookup?author=Song W&author=Tang J H&author=Zhang G X&publication_year=2012&journal=Sci Sin Inform&volume=42&pages=264-279
[13]
Zeng
J,
Sun
H L,
Liu
X D, et al.
J Softw,
2010, 21: 261-276
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Zeng J&author=Sun H L&author=Liu X D&publication_year=2010&journal=J Softw&volume=21&pages=261-276
[14]
Zhou
Y,
Ma
X X,
Gall
H.
Computing,
2014, 96: 725-747
Google Scholar
http://scholar.google.com/scholar_lookup?author=Zhou Y&author=Ma X X&author=Gall H&publication_year=2014&journal=Computing&volume=96&pages=725-747
[15]
Hartmanns A, Hermanns H. A modest approach to checking probabilistic timed automata. In: Proceedings of 6th International Conference on Quantitative Evaluation of Systems, Budapest, 2009. 187--196.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Hartmanns A, Hermanns H. A modest approach to checking probabilistic timed automata. In: Proceedings of 6th International Conference on Quantitative Evaluation of Systems, Budapest, 2009. 187--196&
[16]
Legay A, Delahaye B, Bensalem S. Statistical model checking: an overview. In: Proceedings of First International Conference on Runtime Verification, St. Julians, 2010. 122--135.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Legay A, Delahaye B, Bensalem S. Statistical model checking: an overview. In: Proceedings of First International Conference on Runtime Verification, St. Julians, 2010. 122--135&
[17]
Baresi
L,
Di~Nitto
E,
Ghezzi
C.
Computer,
2006, 39: 36-43
Google Scholar
http://scholar.google.com/scholar_lookup?author=Baresi L&author=Di~Nitto E&author=Ghezzi C&publication_year=2006&journal=Computer&volume=39&pages=36-43
[18]
Kramer
J,
Magee
J.
IEEE Trans Softw Eng,
1990, 16: 1293-1306
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Kramer J&author=Magee J&publication_year=1990&journal=IEEE Trans Softw Eng&volume=16&pages=1293-1306
[19]
Vandewoude
Y,
Ebraert
P,
Berbers
Y, et al.
IEEE Trans Softw Eng,
2007, 33: 856-868
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Vandewoude Y&author=Ebraert P&author=Berbers Y&publication_year=2007&journal=IEEE Trans Softw Eng&volume=33&pages=856-868
[20]
Epifani I, Ghezzi C, Mirandola R, et al. Model evolution by run-time parameter adaptation. In: Proceedings of 31st International Conference on Software Engineering, Vancouver, 2009. 111--121.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Epifani I, Ghezzi C, Mirandola R, et al. Model evolution by run-time parameter adaptation. In: Proceedings of 31st International Conference on Software Engineering, Vancouver, 2009. 111--121&
[21]
Behrmann G, David A, Larsen K. A tutorial on Uppaal. In: Proceedings of Formal Methods for the Design of Real-Time Systems, Bertinoro, 2004. 200--236.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Behrmann G, David A, Larsen K. A tutorial on Uppaal. In: Proceedings of Formal Methods for the Design of Real-Time Systems, Bertinoro, 2004. 200--236&
[22]
David
A,
Larsen
K,
Legay
A, et al.
Int J Softw Tools Technol Transfer,
2015, 17: 397-415
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=David A&author=Larsen K&author=Legay A&publication_year=2015&journal=Int J Softw Tools Technol Transfer&volume=17&pages=397-415
[23]
Zhou
Y,
Baresi
L,
Rossi
M.
J Comput Sci Technol,
2013, 28: 188-202
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Zhou Y&author=Baresi L&author=Rossi M&publication_year=2013&journal=J Comput Sci Technol&volume=28&pages=188-202
[24]
Milner R. Communicating and Mobile Systems: the Pi Calculus. Cambridge: Cambridge University Press, 1999.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Milner R. Communicating and Mobile Systems: the Pi Calculus. Cambridge: Cambridge University Press, 1999&
[25]
Behrmann G, Larsen K, Rasmussen J. Priced timed automata: algorithms and applications. In: Proceedings of International Symposium on Formal Methods for Components and Objects, Amsterdam, 2005. 162--182.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Behrmann G, Larsen K, Rasmussen J. Priced timed automata: algorithms and applications. In: Proceedings of International Symposium on Formal Methods for Components and Objects, Amsterdam, 2005. 162--182&
[26]
OMG. {Specification. Unified Modeling Language: Superstructure Version 2.2}. OMG Formal Document, 2009.
Google Scholar
http://scholar.google.com/scholar_lookup?title=OMG. {Specification. Unified Modeling Language: Superstructure Version 2.2}. OMG Formal Document, 2009&
[27]
Cavallaro L, Di~Nitto E, Pradella M. An automatic approach to enable replacement of conversational services. In: Proceedings of the International Conference on Service-Oriented Computing, Stockholm, 2009. 159--174.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Cavallaro L, Di~Nitto E, Pradella M. An automatic approach to enable replacement of conversational services. In: Proceedings of the International Conference on Service-Oriented Computing, Stockholm, 2009. 159--174&
[28]
Huang
G,
Mei
H,
Yang
F Q.
Sci China Ser-F: Inf Sci,
2004, 47: 555-576
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Huang G&author=Mei H&author=Yang F Q&publication_year=2004&journal=Sci China Ser-F: Inf Sci&volume=47&pages=555-576
[29]
Ma X X, Zhou Y, Pan J, et al. Constructing self-adaptive systems with polymorphic software architecture. In: Proceedings of International Conference on Software Engineering and Knowledge Engineering, Boston, 2007. 2--8.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Ma X X, Zhou Y, Pan J, et al. Constructing self-adaptive systems with polymorphic software architecture. In: Proceedings of International Conference on Software Engineering and Knowledge Engineering, Boston, 2007. 2--8&
[30]
Baresi
L,
Ghezzi
C,
Mottola
L.
IEEE Trans Softw Eng,
2011, 37: 228-246
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Baresi L&author=Ghezzi C&author=Mottola L&publication_year=2011&journal=IEEE Trans Softw Eng&volume=37&pages=228-246
[31]
Chen
H B,
Yu
J,
Hang
C Q, et al.
IEEE Trans Softw Eng,
2011, 37: 679-694
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Chen H B&author=Yu J&author=Hang C Q&publication_year=2011&journal=IEEE Trans Softw Eng&volume=37&pages=679-694
[32]
Hayden C, Magill S, Hicks M, et al. Specifying and verifying the correctness of dynamic software updates. In: Proceedings of International Confernece on Verified Software: Theories, Tools, Experiments. Berlin: Springer, 2012. 278--293.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Hayden C, Magill S, Hicks M, et al. Specifying and verifying the correctness of dynamic software updates. In: Proceedings of International Confernece on Verified Software: Theories, Tools, Experiments. Berlin: Springer, 2012. 278--293&
[33]
Zhang J, Cheng B. Model-based development of dynamically adaptive software. In: Proceedings of 28th International Conference on Software Engineering, Shanghai, 2006. 371--380.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Zhang J, Cheng B. Model-based development of dynamically adaptive software. In: Proceedings of 28th International Conference on Software Engineering, Shanghai, 2006. 371--380&
[34]
Zhang
P C,
Leung
H,
Li
W R, et al.
IET Softw,
2013, 7: 222-248
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Zhang P C&author=Leung H&author=Li W R&publication_year=2013&journal=IET Softw&volume=7&pages=222-248
[35]
David
A,
Du
D,
Larsen
K, et al.
Sci China Inf Sci,
2012, 55: 2694-2707
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=David A&author=Du D&author=Larsen K&publication_year=2012&journal=Sci China Inf Sci&volume=55&pages=2694-2707
[36]
Xu
C,
Liu
Y P,
Cheung
S C, et al.
Sci China Inf Sci,
2013, 56: 082105-2707
Google Scholar
http://scholar.google.com/scholar_lookup?author=Xu C&author=Liu Y P&author=Cheung S C&publication_year=2013&journal=Sci China Inf Sci&volume=56&pages=082105-2707
[37]
Calinescu
R,
Grunske
L,
Kwiatkowska
M, et al.
IEEE Trans Softw Eng,
2011, 37: 387-409
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Calinescu R&author=Grunske L&author=Kwiatkowska M&publication_year=2011&journal=IEEE Trans Softw Eng&volume=37&pages=387-409
[38]
Hölscher
K,
Ziemann
P,
Gogolla
M.
J Vis Lang Comput,
2006, 17: 78-105
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Hölscher K&author=Ziemann P&author=Gogolla M&publication_year=2006&journal=J Vis Lang Comput&volume=17&pages=78-105
[39]
Xu
H Z,
Zeng
G S,
Chen
B.
J Softw,
2011, 22: 1210-1223
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?author=Xu H Z&author=Zeng G S&author=Chen B&publication_year=2011&journal=J Softw&volume=22&pages=1210-1223
[40]
Ma X X, Baresi L, Ghezzi C, et al. Version-consistent dynamic reconfiguration of component-based distributed systems. In: Proceedings of 19th Symposium on Foundations of Software Engineering, Hungary, 2011. 245--255.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Ma X X, Baresi L, Ghezzi C, et al. Version-consistent dynamic reconfiguration of component-based distributed systems. In: Proceedings of 19th Symposium on Foundations of Software Engineering, Hungary, 2011. 245--255&