Cross layer property verification with Property Sequence Charts

Sridevi Saralaya; Rio D'Souza; Vishwas Saralaya

doi:10.1109/ICSNS.2015.7292368

Cross layer property verification with Property Sequence Charts

Sridevi Saralaya, Rio D'Souza, Vishwas Saralaya

Department of Microbiology, Kasturba Medical College, Mangalore

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (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 language	English
Title of host publication	Proceedings of the IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781479917525
DOIs	https://doi.org/10.1109/ICSNS.2015.7292368
Publication status	Published - 05-10-2015
Event	IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015 - Coimbatore, India Duration: 25-02-2015 → 27-02-2015

Conference

Conference	IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015
Country/Territory	India
City	Coimbatore
Period	25-02-15 → 27-02-15

All Science Journal Classification (ASJC) codes

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

Access to Document

10.1109/ICSNS.2015.7292368

Cite this

@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 = oct,

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",

note = "IEEE International Conference on Soft-Computing and Network Security, ICSNS 2015 ; Conference date: 25-02-2015 Through 27-02-2015",

}

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 proceeding › Conference 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

AN - SCOPUS:84973338710

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 -

Cross layer property verification with Property Sequence Charts

Abstract

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this