TY - GEN
T1 - Cross layer property verification with Property Sequence Charts
AU - Saralaya, Sridevi
AU - D'Souza, Rio
AU - Saralaya, Vishwas
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/10/5
Y1 - 2015/10/5
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84973338710
UR - https://www.scopus.com/inward/citedby.url?scp=84973338710&partnerID=8YFLogxK
U2 - 10.1109/ICSNS.2015.7292368
DO - 10.1109/ICSNS.2015.7292368
M3 - Conference contribution
AN - SCOPUS:84973338710
T3 - Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015
BT - Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015
Y2 - 25 February 2015 through 27 February 2015
ER -