Publication Details

Formal Abstract Architecture for Use Case Specifications

RYŠAVÝ Ondřej and BUREŠ František. Formal Abstract Architecture for Use Case Specifications. In: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society Press, 2004, pp. 203-211. ISBN 0-7695-21258.
Czech title
Formálně definovaná architektura pro Use case specifikace
Type
conference paper
Language
english
Authors
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Bureš František, Ing. (DIFS FIT BUT)
URL
Keywords

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

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.

Published
2004
Pages
203-211
Proceedings
Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
Conference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Brno, CZ
ISBN
0-7695-21258
Publisher
IEEE Computer Society Press
Place
Los Alamitos, MX
BibTeX 
@INPROCEEDINGS{FITPUB7474,
   author = "Ond\v{r}ej Ry\v{s}av\'{y} and Franti\v{s}ek Bure\v{s}",
   title = "Formal Abstract Architecture for Use Case Specifications",
   pages = "203--211",
   booktitle = "Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
   year = 2004,
   location = "Los Alamitos, MX",
   publisher = "IEEE Computer Society Press",
   ISBN = "0-7695-21258",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7474"
}
Back to top