A demo on using visualization to aid run-time verification of dynamic service systems

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

3 Citations (Scopus)

Abstract

Future software systems will be dynamic service oriented systems. Service-Oriented Architecture (SOA) provides an extensible and dynamic architecture to be used, for example, in smart environments. In such an environment, software has to adapt its behaviour dynamically. Thus, there is a need for Verifying and Validating (V & V) the adaptations at run-time. This paper contributes to that by introducing a novel visualization tool to be used with traditional V & V techniques to aid the software analysts in the verification process of dynamic software systems. When Quality of Service (QoS) of dynamic software systems varies due to the changing environment the Interactive Quality Visualization (IQVis) tool detects these changes and provides analysts an easier way of understanding the changed behaviour of the system.
Original languageEnglish
Title of host publication2010 Third International Conference on Software Testing, Verification, and Validation Workshops
PublisherIEEE Institute of Electrical and Electronic Engineers
Pages319-324
ISBN (Electronic)978-1-4244-6774-7, 978-0-7695-4050-4
ISBN (Print)978-1-4244-6773-0
DOIs
Publication statusPublished - 2010
MoE publication typeNot Eligible
Event3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010 - Paris, France
Duration: 6 Apr 201010 Apr 2010
Conference number: 3

Conference

Conference3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010
Abbreviated titleICSTW 2010
CountryFrance
CityParis
Period6/04/1010/04/10

Fingerprint

Visualization
Service oriented architecture (SOA)
Quality of service

Keywords

  • QoS
  • quality attribute
  • run-time verification
  • self-adaptive systems
  • visualization

Cite this

Kuusijärvi, J. (2010). A demo on using visualization to aid run-time verification of dynamic service systems. In 2010 Third International Conference on Software Testing, Verification, and Validation Workshops (pp. 319-324). IEEE Institute of Electrical and Electronic Engineers . https://doi.org/10.1109/ICSTW.2010.40
Kuusijärvi, Jarkko. / A demo on using visualization to aid run-time verification of dynamic service systems. 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. IEEE Institute of Electrical and Electronic Engineers , 2010. pp. 319-324
@inproceedings{d61ebfad5e624d29ae83a08d02d54313,
title = "A demo on using visualization to aid run-time verification of dynamic service systems",
abstract = "Future software systems will be dynamic service oriented systems. Service-Oriented Architecture (SOA) provides an extensible and dynamic architecture to be used, for example, in smart environments. In such an environment, software has to adapt its behaviour dynamically. Thus, there is a need for Verifying and Validating (V & V) the adaptations at run-time. This paper contributes to that by introducing a novel visualization tool to be used with traditional V & V techniques to aid the software analysts in the verification process of dynamic software systems. When Quality of Service (QoS) of dynamic software systems varies due to the changing environment the Interactive Quality Visualization (IQVis) tool detects these changes and provides analysts an easier way of understanding the changed behaviour of the system.",
keywords = "QoS, quality attribute, run-time verification, self-adaptive systems, visualization",
author = "Jarkko Kuusij{\"a}rvi",
note = "CA2: TK805 Project code: 24506",
year = "2010",
doi = "10.1109/ICSTW.2010.40",
language = "English",
isbn = "978-1-4244-6773-0",
pages = "319--324",
booktitle = "2010 Third International Conference on Software Testing, Verification, and Validation Workshops",
publisher = "IEEE Institute of Electrical and Electronic Engineers",
address = "United States",

}

Kuusijärvi, J 2010, A demo on using visualization to aid run-time verification of dynamic service systems. in 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. IEEE Institute of Electrical and Electronic Engineers , pp. 319-324, 3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010, Paris, France, 6/04/10. https://doi.org/10.1109/ICSTW.2010.40

A demo on using visualization to aid run-time verification of dynamic service systems. / Kuusijärvi, Jarkko.

2010 Third International Conference on Software Testing, Verification, and Validation Workshops. IEEE Institute of Electrical and Electronic Engineers , 2010. p. 319-324.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

TY - GEN

T1 - A demo on using visualization to aid run-time verification of dynamic service systems

AU - Kuusijärvi, Jarkko

N1 - CA2: TK805 Project code: 24506

PY - 2010

Y1 - 2010

N2 - Future software systems will be dynamic service oriented systems. Service-Oriented Architecture (SOA) provides an extensible and dynamic architecture to be used, for example, in smart environments. In such an environment, software has to adapt its behaviour dynamically. Thus, there is a need for Verifying and Validating (V & V) the adaptations at run-time. This paper contributes to that by introducing a novel visualization tool to be used with traditional V & V techniques to aid the software analysts in the verification process of dynamic software systems. When Quality of Service (QoS) of dynamic software systems varies due to the changing environment the Interactive Quality Visualization (IQVis) tool detects these changes and provides analysts an easier way of understanding the changed behaviour of the system.

AB - Future software systems will be dynamic service oriented systems. Service-Oriented Architecture (SOA) provides an extensible and dynamic architecture to be used, for example, in smart environments. In such an environment, software has to adapt its behaviour dynamically. Thus, there is a need for Verifying and Validating (V & V) the adaptations at run-time. This paper contributes to that by introducing a novel visualization tool to be used with traditional V & V techniques to aid the software analysts in the verification process of dynamic software systems. When Quality of Service (QoS) of dynamic software systems varies due to the changing environment the Interactive Quality Visualization (IQVis) tool detects these changes and provides analysts an easier way of understanding the changed behaviour of the system.

KW - QoS

KW - quality attribute

KW - run-time verification

KW - self-adaptive systems

KW - visualization

U2 - 10.1109/ICSTW.2010.40

DO - 10.1109/ICSTW.2010.40

M3 - Conference article in proceedings

SN - 978-1-4244-6773-0

SP - 319

EP - 324

BT - 2010 Third International Conference on Software Testing, Verification, and Validation Workshops

PB - IEEE Institute of Electrical and Electronic Engineers

ER -

Kuusijärvi J. A demo on using visualization to aid run-time verification of dynamic service systems. In 2010 Third International Conference on Software Testing, Verification, and Validation Workshops. IEEE Institute of Electrical and Electronic Engineers . 2010. p. 319-324 https://doi.org/10.1109/ICSTW.2010.40