Towards Dynamic Monitoring of WS-BPEL Processes
暂无分享,去创建一个
[1] G. Spanoudakis,et al. A Framework for Requirements Monitoring of Service Based Systems , 2004 .
[2] Albert L. Baker,et al. Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.
[3] Luciano Baresi,et al. Smart monitors for composed services , 2004, ICSOC '04.
[4] Licia Capra,et al. xlinkit: a consistency checking and smart link generation service , 2002, TOIT.
[5] C. Ghezzi,et al. Towards Self-healing Service Compositions , 2004 .
[6] George Spanoudakis,et al. A framework for requirents monitoring of service based systems , 2004, ICSOC '04.
[7] Marco Aiello,et al. Associating assertions with business processes and monitoring their execution , 2004, ICSOC '04.
[8] Ann Q. Gates,et al. A taxonomy and catalog of runtime software-fault monitoring tools , 2004, IEEE Transactions on Software Engineering.
[9] David C. Luckham. Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs , 1990 .
[10] Anthony Finkelstein,et al. Towards aspect weaving applications , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..