An Approach to Adaptive Distributed Execution Monitoring for Workflows in Service-based Systems

Authors:
Stephen S. Yau;Dazhi Huang;Luping Zhu
Affiliations:
Arizona State University, Tempe, AZ;Arizona State University, Tempe, AZ;Arizona State University, Tempe, AZ
Venue:
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Year:
2007

Citing 0
Cited 1

Detecting artifact anomalies in business process specifications with a formal model

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written in aspect-oriented languages. Pipa is a BISL tailored to AspectJ for specifying ...