Toward a ucm-based approach for recovering system availability requirements from execution traces

Jameleddine Hassine; Abdelwahab Hamou-Lhadj

doi:10.1007/978-3-319-11743-0_4

Toward a ucm-based approach for recovering system availability requirements from execution traces

Jameleddine Hassine, Abdelwahab Hamou-Lhadj

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

5 Scopus citations

Abstract

Software maintenance accounts for a significant proportion of the cost of the software life cycle. Software engineers must spend a considerable amount of time understanding the software system func- tional attributes and non-functional (e.g., availability, security, etc.) as- pects prior to performing a maintenance task. In this paper, we propose a dynamic analysis approach to recover availability requirements from system execution traces. Availability requirements are described and vi- sualized using the Use Case Maps (UCM) language of the ITU-T User Requirements Notation (URN) standard, extended with availability an- notations. Our UCM-based approach allows for capturing availability re- quirements at higher levels of abstraction from low-level execution traces. The resulting availability UCM models can then be analyzed to reveal system availability shortcomings. In order to illustrate and demonstrate the feasibility of the proposed approach, we apply it to a case study of a network implementing the HSRP (Hot Standby Router Protocol) redundancy protocol.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher
Publisher	Springer Verlag
Pages	48-63
Number of pages	16
ISBN (Electronic)	9783319117423
DOIs	https://doi.org/10.1007/978-3-319-11743-0_4
State	Published - 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8769
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2014.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-11743-0_4

Cite this

Hassine, J., & Hamou-Lhadj, A. (2014). Toward a ucm-based approach for recovering system availability requirements from execution traces. In D. Amyot, P. F. i Casas, & G. Mussbacher (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 48-63). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8769). Springer Verlag. https://doi.org/10.1007/978-3-319-11743-0_4

Hassine, Jameleddine ; Hamou-Lhadj, Abdelwahab. / Toward a ucm-based approach for recovering system availability requirements from execution traces. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Daniel Amyot ; Pau Fonseca i Casas ; Gunter Mussbacher. Springer Verlag, 2014. pp. 48-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8bdee4589ffe44bfbb88d5c46a5479a2,

title = "Toward a ucm-based approach for recovering system availability requirements from execution traces",

abstract = "Software maintenance accounts for a significant proportion of the cost of the software life cycle. Software engineers must spend a considerable amount of time understanding the software system func- tional attributes and non-functional (e.g., availability, security, etc.) as- pects prior to performing a maintenance task. In this paper, we propose a dynamic analysis approach to recover availability requirements from system execution traces. Availability requirements are described and vi- sualized using the Use Case Maps (UCM) language of the ITU-T User Requirements Notation (URN) standard, extended with availability an- notations. Our UCM-based approach allows for capturing availability re- quirements at higher levels of abstraction from low-level execution traces. The resulting availability UCM models can then be analyzed to reveal system availability shortcomings. In order to illustrate and demonstrate the feasibility of the proposed approach, we apply it to a case study of a network implementing the HSRP (Hot Standby Router Protocol) redundancy protocol.",

author = "Jameleddine Hassine and Abdelwahab Hamou-Lhadj",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014.",

year = "2014",

doi = "10.1007/978-3-319-11743-0_4",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "48--63",

editor = "Daniel Amyot and {i Casas}, {Pau Fonseca} and Gunter Mussbacher",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "Germany",

}

Hassine, J & Hamou-Lhadj, A 2014, Toward a ucm-based approach for recovering system availability requirements from execution traces. in D Amyot, PF i Casas & G Mussbacher (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8769, Springer Verlag, pp. 48-63. https://doi.org/10.1007/978-3-319-11743-0_4

Toward a ucm-based approach for recovering system availability requirements from execution traces. / Hassine, Jameleddine; Hamou-Lhadj, Abdelwahab.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Daniel Amyot; Pau Fonseca i Casas; Gunter Mussbacher. Springer Verlag, 2014. p. 48-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8769).

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

TY - GEN

T1 - Toward a ucm-based approach for recovering system availability requirements from execution traces

AU - Hassine, Jameleddine

AU - Hamou-Lhadj, Abdelwahab

PY - 2014

Y1 - 2014

N2 - Software maintenance accounts for a significant proportion of the cost of the software life cycle. Software engineers must spend a considerable amount of time understanding the software system func- tional attributes and non-functional (e.g., availability, security, etc.) as- pects prior to performing a maintenance task. In this paper, we propose a dynamic analysis approach to recover availability requirements from system execution traces. Availability requirements are described and vi- sualized using the Use Case Maps (UCM) language of the ITU-T User Requirements Notation (URN) standard, extended with availability an- notations. Our UCM-based approach allows for capturing availability re- quirements at higher levels of abstraction from low-level execution traces. The resulting availability UCM models can then be analyzed to reveal system availability shortcomings. In order to illustrate and demonstrate the feasibility of the proposed approach, we apply it to a case study of a network implementing the HSRP (Hot Standby Router Protocol) redundancy protocol.

AB - Software maintenance accounts for a significant proportion of the cost of the software life cycle. Software engineers must spend a considerable amount of time understanding the software system func- tional attributes and non-functional (e.g., availability, security, etc.) as- pects prior to performing a maintenance task. In this paper, we propose a dynamic analysis approach to recover availability requirements from system execution traces. Availability requirements are described and vi- sualized using the Use Case Maps (UCM) language of the ITU-T User Requirements Notation (URN) standard, extended with availability an- notations. Our UCM-based approach allows for capturing availability re- quirements at higher levels of abstraction from low-level execution traces. The resulting availability UCM models can then be analyzed to reveal system availability shortcomings. In order to illustrate and demonstrate the feasibility of the proposed approach, we apply it to a case study of a network implementing the HSRP (Hot Standby Router Protocol) redundancy protocol.

UR - http://www.scopus.com/inward/record.url?scp=84949125692&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-11743-0_4

DO - 10.1007/978-3-319-11743-0_4

M3 - Conference contribution

AN - SCOPUS:84949125692

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 48

EP - 63

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Amyot, Daniel

A2 - i Casas, Pau Fonseca

A2 - Mussbacher, Gunter

PB - Springer Verlag

ER -

Hassine J, Hamou-Lhadj A. Toward a ucm-based approach for recovering system availability requirements from execution traces. In Amyot D, i Casas PF, Mussbacher G, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2014. p. 48-63. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-11743-0_4

Toward a ucm-based approach for recovering system availability requirements from execution traces

Abstract

Publication series

Bibliographical note

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this