Detail publikace

Formal Abstract Architecture for Use Case Specifications

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

Originální název

Formal Abstract Architecture for Use Case Specifications

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Rok RIV

2004

Vydáno

26. 5. 2004

Nakladatel

IEEE Computer Society Press

Místo

Los Alamitos

ISBN

0-7695-21258

Kniha

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

Strany od

203

Strany do

211

Strany počet

9

URL

http://scholar.google.cz/scholar?cites=12073840304138067945&hl=cs&as_sdt=2000 (CITACE), http://scholar.google.cz/scholar?cites=8423297298643292068&hl=cs&as_sdt=2000 (CITACE)

BibTex

@inproceedings{BUT17124,
  author="Ondřej {Ryšavý} and František {Bureš}",
  title="Formal Abstract Architecture for Use Case Specifications",
  booktitle="Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
  year="2004",
  pages="203--211",
  publisher="IEEE Computer Society Press",
  address="Los Alamitos",
  isbn="0-7695-21258",
  url="http://scholar.google.cz/scholar?cites=12073840304138067945&hl=cs&as_sdt=2000 (CITACE), http://scholar.google.cz/scholar?cites=8423297298643292068&hl=cs&as_sdt=2000 (CITACE)"
}