Publication Details

Semantics of UML diagrams: A Case Study

RYŠAVÝ Ondřej. Semantics of UML diagrams: A Case Study. In: Proceedings of 8th Conference STUDENT EEICT 2002. Brno, CZ: Faculty of Electrical Engineering and Communication BUT, 2002, p. 8. ISBN 80-214-2116-9.
Type
conference paper
Language
english
Authors
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Keywords

UML, formal methods, PVS, SPIN, PROMELA

Abstract

In this paper the first experience with formal specification of reactive system is introduced. We combine two distinc approach: specification language based on high order logic for description of data intensive parts of system and specialized language PROMELA to describe a behaviour of application are used. We come out from UML model of the system. The UML diagrams serve as modeling language from which specifications for mentioned tools are derived.

Published
2002
Pages
8
Proceedings
Proceedings of 8th Conference STUDENT EEICT 2002
Conference
ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2002, Brno, CZ
ISBN
80-214-2116-9
Publisher
Faculty of Electrical Engineering and Communication BUT
Place
Brno, CZ, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7151,
   author = "Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "Semantics of UML diagrams: A Case Study",
   pages = 8,
   booktitle = "Proceedings of 8th Conference STUDENT EEICT 2002",
   year = 2002,
   location = "Brno, CZ, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2116-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7151"
}
Back to top