Conference paper

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.
Publication language:english
Original title:Formal Abstract Architecture for Use Case Specifications
Title (cs):Formálně definovaná architektura pro Use case specifikace
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
Place:Los Alamitos, MX
Year:2004
ISBN:0-7695-21258
Publisher:IEEE Computer Society Press
URL:http://scholar.google.cz/scholar?cites=12073840304138067945&hl=cs&as_sdt=2000 (CITACE) [HTML]
URL:http://scholar.google.cz/scholar?cites=8423297298643292068&hl=cs&as_sdt=2000 (CITACE) [HTML]
Keywords
Use Case, Formal Specification, Computational Logic, Type Theory, Object-Orientation
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7474}
}

Your IPv4 address: 54.147.40.153
Switch to IPv6 connection

DNSSEC [dnssec]