Cross layer property verification with Property Sequence Charts

Monitoring and Adaptation forms an important phase in the life cycle of a Service Based Application (SBA). A vast body of research exists which deal with monitoring of properties and constraints of a SBA in the service composition. We find that there is a lack of coordinated holistic approach concentrating on all the layers of the SBA. This paper proposes a framework to monitor properties of the SBA across all the functional layers by using Property Sequence Charts and AOP techniques, illustrated with the help of an e-health case study.