Publication detail

A Graph Representation for Use Case Specifications

RYŠAVÝ, O., BUREŠ, F.

Original Title

A Graph Representation for Use Case Specifications

English Title

A Graph Representation for Use Case Specifications

Type

journal article - other

Language

en

Original Abstract

Use cases represent widespread industrial approach to formulation and refinement of requirements specification on a system. Although in the last decade several formal representations of use cases were defined there is still gap between their practical use and those theories. This paper provides a formulation of semantics for use cases that is based on the theory of hierarchical graphs arguing that the definition despite its simplicity is powerful enough to represent all common aspects related with use case concepts. Use case specification is divided into three levels. At the bottom level each use case is considered as a flat graph of events. The middle level shapes use cases into episodes enabling to identify and reuse common fragments. The top level depicts interaction between actors and the modeled system through use case entities. Involving hierarchical graphs enables specifying all three levels in the consistent way and provides necessary abstraction on higher levels while all details is maintained in the bottom level.

English abstract

Use cases represent widespread industrial approach to formulation and refinement of requirements specification on a system. Although in the last decade several formal representations of use cases were defined there is still gap between their practical use and those theories. This paper provides a formulation of semantics for use cases that is based on the theory of hierarchical graphs arguing that the definition despite its simplicity is powerful enough to represent all common aspects related with use case concepts. Use case specification is divided into three levels. At the bottom level each use case is considered as a flat graph of events. The middle level shapes use cases into episodes enabling to identify and reuse common fragments. The top level depicts interaction between actors and the modeled system through use case entities. Involving hierarchical graphs enables specifying all three levels in the consistent way and provides necessary abstraction on higher levels while all details is maintained in the bottom level.

Keywords

formal methods, hierarchical graphs, object-oriented methodology, requirement specification, software engineering, use cases

RIV year

2004

Released

26.03.2004

ISBN

1109-2750

Periodical

WSEAS Transactions on Computers

Year of study

2004

Number

3

State

GR

Pages from

686

Pages to

690

Pages count

5

Documents

BibTex


@article{BUT45716,
  author="Ondřej {Ryšavý} and František {Bureš}",
  title="A Graph Representation for Use Case Specifications",
  annote="Use cases represent widespread industrial approach to formulation and refinement of requirements specification on a system. Although in the last decade several formal representations of use cases were defined there is still gap between their practical use and those theories. This paper provides a formulation of semantics for use cases that is based on the theory of hierarchical graphs arguing that the definition despite its simplicity is powerful enough to represent all common aspects related with use case concepts. Use case specification is divided into three levels. At the bottom level each use case is considered as a flat graph of events. The middle level shapes use cases into episodes enabling to identify and reuse common fragments. The top level depicts interaction between actors and the modeled system through use case entities. Involving hierarchical graphs enables specifying all three levels in the consistent way and provides necessary abstraction on higher levels while all details is maintained in the bottom level.",
  chapter="45716",
  journal="WSEAS Transactions on Computers",
  number="3",
  volume="2004",
  year="2004",
  month="march",
  pages="686--690",
  type="journal article - other"
}