Přístupnostní navigace
E-application
Search Search Close
Publication detail
RYŠAVÝ, O.
Original Title
Semantics of UML diagrams: A Case Study
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
In this paper the first experience with formal specification ofreactive system is introduced. We combine two distinc approach:specification language based on high order logic for description ofdata intensive parts of system and specialized language PROMELA todescribe a behaviour of application are used. We come out from UMLmodel of the system. The UML diagrams serve as modeling language fromwhich specifications for mentioned tools are derived.
Keywords
UML, formal methods, PVS, SPIN, PROMELA
Authors
Released
31. 3. 2002
Publisher
Faculty of Electrical Engineering and Communication BUT
Location
Brno, CZ
ISBN
80-214-2116-9
Book
Proceedings of 8th Conference STUDENT EEICT 2002
Pages count
8
BibTex
@inproceedings{BUT192494, author="Ondřej {Ryšavý}", title="Semantics of UML diagrams: A Case Study", booktitle="Proceedings of 8th Conference STUDENT EEICT 2002", year="2002", pages="8", publisher="Faculty of Electrical Engineering and Communication BUT", address="Brno, CZ", isbn="80-214-2116-9" }