Towards dynamic monitoring of WS-BPEL processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3826 LNCS, Issue , 2005, Pages 269-282

  Baresi, Luciano ^a   Guinea, Sam ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT FREE LANGUAGES; DATA ACQUISITION; DATA HANDLING; PROBLEM SOLVING; QUALITY OF SERVICE; SERVERS; USER INTERFACES;

DYNAMIC SELECTIONS; INTRINSIC FLEXIBILITIES; MONITORING RULES; SIGNIFICANT DATA;

COMPUTER APPLICATIONS;

EID: 33744965631     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596141_21     Document Type: Conference Paper

References (11)

1. XlinkIt: A Consistency Checking and Smart Link Generation Service. ACM Transactions on Software Engineering and Methodology, pages 151-185, May 2002.
2. AXIS. Apache AXIS Web Services Project, 2005. http://ws.apache.org/axis/.
3. Web Service Invocation Framework. Apache WSIF Project, 2005. http://ws.apache.org/wsif/.
4. D.C. Luckham. Programming with Specifications: An Introduction to Anna, A Language for Specifying Ada Programs. Texts and Monographs in Computer Science, Oct 1990.
5. C. Courbis and A. Finkelstein. Towards Aspect Weaving Application. In Proceedings of the 25th International Conference on Software Engineering, 2005.
6. N. Delgado, A.Q. Gates and S. Roach. A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Transactions on software Engineering, pages 859-872, December, 2004.
7. L. Baresi, C. Ghezzi and S. Guinea. Smart Monitors for Composed Services. In Proceedings of the 2nd International Conference on Service Oriented Computing, 2004.
8. L. Baresi, C. Ghezzi and S. Guinea. Towards Self-healing Service Compositions. In Proceedings of the First Conference on the PRInciples of Software Engineering, 2004.
9. K. Mahbub and G. Spanoudakis. A Framework for Requirements Monitoring of Service Based Systems. In Proceedings of the 2nd International Conference on Service Oriented Computing, 2004.
10. A. Lazovik, M. Aiello and M. Papazoglou. Associating Assertions with Business Processes and Monitoring their Execution. In Proceedings of the 2nd International Conference on Service Oriented Computing, 2004.
11. Gary T. Leavens, Albert L. Baker, and Clyde Ruby. Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Department of Computer Science, Iowa State University, TR 98-06-rev27, April, 2005.