Cross layer property verification with Property Sequence Charts

Sridevi Saralaya, Rio D'Souza, Vishwas Saralaya

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781479917525
DOIs
Publication statusPublished - 05-10-2015
EventIEEE International Conference on Soft-Computing and Network Security, ICSNS 2015 - Coimbatore, India
Duration: 25-02-201527-02-2015

Conference

ConferenceIEEE International Conference on Soft-Computing and Network Security, ICSNS 2015
CountryIndia
CityCoimbatore
Period25-02-1527-02-15

Fingerprint

Monitoring
Life cycle
Health
Charts
Chemical analysis
E-health
Service composition
Holistic approach

All Science Journal Classification (ASJC) codes

  • Information Systems and Management
  • Safety, Risk, Reliability and Quality
  • Computer Networks and Communications

Cite this

Saralaya, S., D'Souza, R., & Saralaya, V. (2015). Cross layer property verification with Property Sequence Charts. In Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015 [7292368] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICSNS.2015.7292368
Saralaya, Sridevi ; D'Souza, Rio ; Saralaya, Vishwas. / Cross layer property verification with Property Sequence Charts. Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015. Institute of Electrical and Electronics Engineers Inc., 2015.
@inproceedings{4387302a6618413aac59823e3af8e90a,
title = "Cross layer property verification with Property Sequence Charts",
abstract = "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.",
author = "Sridevi Saralaya and Rio D'Souza and Vishwas Saralaya",
year = "2015",
month = "10",
day = "5",
doi = "10.1109/ICSNS.2015.7292368",
language = "English",
booktitle = "Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

Saralaya, S, D'Souza, R & Saralaya, V 2015, Cross layer property verification with Property Sequence Charts. in Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015., 7292368, Institute of Electrical and Electronics Engineers Inc., IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015, Coimbatore, India, 25-02-15. https://doi.org/10.1109/ICSNS.2015.7292368

Cross layer property verification with Property Sequence Charts. / Saralaya, Sridevi; D'Souza, Rio; Saralaya, Vishwas.

Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. 7292368.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Cross layer property verification with Property Sequence Charts

AU - Saralaya, Sridevi

AU - D'Souza, Rio

AU - Saralaya, Vishwas

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 - http://www.scopus.com/inward/record.url?scp=84973338710&partnerID=8YFLogxK

UR - http://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

BT - Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Saralaya S, D'Souza R, Saralaya V. Cross layer property verification with Property Sequence Charts. In Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015. Institute of Electrical and Electronics Engineers Inc. 2015. 7292368 https://doi.org/10.1109/ICSNS.2015.7292368