Modeling early availability requirements using aspect-oriented use case maps

Jameleddine Hassine, Gunter Mussbacher, Edna Braun, Mohammad Alhaj

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

4 Scopus citations


Non-functional requirements such as availability, reliability, and security are often crucial in designing and implementing distributed real-time systems. As a result, such non-functional requirements should be addressed as early as possible in the system development life-cycle. The widespread interest in dependability modeling and analysis techniques at the requirements elicitation and analysis stage provides the major motivation for this research. This paper presents a novel approach to describe high-level availability requirements using the Aspect-oriented Use Case Maps (AoUCM) language. AoUCM adds aspects-oriented concepts to the Use Case Maps (UCM) language, part of the ITU-T User Requirements Notation (URN) standard. The proposed approach relies on a mapping of availability architectural tactics to reusable AoUCM models, allowing availability tactics to be encapsulated early in the software development life-cylce. Initial tool support for the resulting availability extensions, is provided by the jUCMNav tool. We demonstrate the applicability of our approach using a case study of Lawful Intercept (LI), an IP router feature.

Original languageEnglish
Title of host publicationSDL 2013
Subtitle of host publicationModel-Driven Dependability Engineering - 16th International SDL Forum, Proceedings
Number of pages18
StatePublished - 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7916 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Modeling early availability requirements using aspect-oriented use case maps'. Together they form a unique fingerprint.

Cite this