共 85 条
[31]
Corbett J. C., 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, P439, DOI 10.1109/ICSE.2000.870434
[32]
Dai GL, 2007, P INT COMP SOFTW APP, P517
[33]
DEALFARO L, 2001, P 9 ANN S FDN SOFTW, P109
[35]
DENICOLA R, 1983, LECT NOTES COMPUT SC, V154, P548
[36]
Run-time Verification of Behavioural Conformance for Conversational Web Services
[J].
ECOWS'09: PROCEEDINGS OF THE 7TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES,
2009,
:139-+
[37]
Emmi M, 2008, LECT NOTES COMPUT SC, V5014, P116
[38]
Epifani I., 2010, P 18 ACM SIGSOFT INT, P227
[39]
Model-based verification of web service compositions
[J].
18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS,
2003,
:152-161
[40]
Fu X., 2004, P 13 INT C WORLD WID, P621