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