Publication detail

Formal Abstract Architecture for Use Case Specifications

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

Original Title

Formal Abstract Architecture for Use Case Specifications

English Title

Formal Abstract Architecture for Use Case Specifications

Type

conference paper

Language

en

Original Abstract

Originally, use cases were informal modeling artifacts serving for specifying the requirements of computer-based systems in the early development phase. Last decade emphasizes the need for rigorous definition of semantics for use cases since discovering their impact during the whole development process. In this contribution, the semantics of use cases is directly obtained as a consequence of formal representation of use cases in the language of higher-order logic. The definition itself reveals the use case specifications as three level architecture which enables abstract specification of static structure at higher levels and more detailed description of a system's behavior at the lowest level. Often mentioned compactness issue of use cases, the interplay between static views that focus primarily on elicitation possible users of the system and corresponding dynamic views describing abstract behavior of the system is treated separately by adding extra information specifying participants which are, nevertheless, accessible from the whole use case hierarchy.

English abstract

Originally, use cases were informal modeling artifacts serving for specifying the requirements of computer-based systems in the early development phase. Last decade emphasizes the need for rigorous definition of semantics for use cases since discovering their impact during the whole development process. In this contribution, the semantics of use cases is directly obtained as a consequence of formal representation of use cases in the language of higher-order logic. The definition itself reveals the use case specifications as three level architecture which enables abstract specification of static structure at higher levels and more detailed description of a system's behavior at the lowest level. Often mentioned compactness issue of use cases, the interplay between static views that focus primarily on elicitation possible users of the system and corresponding dynamic views describing abstract behavior of the system is treated separately by adding extra information specifying participants which are, nevertheless, accessible from the whole use case hierarchy.

Keywords

Use Case, Formal Specification, Computational Logic, Type Theory, Object-Orientation

RIV year

2004

Released

26.05.2004

Publisher

IEEE Computer Society Press

Location

Los Alamitos

ISBN

0-7695-21258

Book

Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

Pages from

203

Pages to

211

Pages count

9

URL

Documents

BibTex


@inproceedings{BUT17124,
  author="Ondřej {Ryšavý} and František {Bureš}",
  title="Formal Abstract Architecture for Use Case Specifications",
  annote="Originally, use cases were informal modeling artifacts serving for specifying the requirements of computer-based systems in the early development phase. Last decade emphasizes the need for rigorous definition of semantics for use cases since discovering their impact during the whole development process. In this contribution, the semantics of use cases is directly obtained as a consequence of formal representation of use cases in the language of higher-order logic. The definition itself reveals the use case specifications as three level architecture which enables abstract specification of static structure at higher levels and more detailed description of a system's behavior at the lowest level. Often mentioned compactness issue of use cases, the interplay between static views that focus primarily on elicitation possible users of the system and corresponding dynamic views describing abstract behavior of the system is treated separately by adding extra information specifying participants which are, nevertheless, accessible from the whole use case hierarchy.",
  address="IEEE Computer Society Press",
  booktitle="Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
  chapter="17124",
  institution="IEEE Computer Society Press",
  year="2004",
  month="may",
  pages="203--211",
  publisher="IEEE Computer Society Press",
  type="conference paper"
}