Cross layer property verification with Property Sequence Charts

Sridevi Saralaya, Rio D'Souza, Vishwas Saralaya

Research output: Chapter in Book/Report/Conference proceedingConference 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 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

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