Detail publikace

Semantics of UML diagrams: A Case Study

RYŠAVÝ, O. Semantics of UML diagrams: A Case Study. Proceedings of 8th Conference STUDENT EEICT 2002. Brno, CZ: Faculty of Electrical Engineering and Communication BUT, 2002. ISBN: 80-214-2116-9.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Klíčová slova

UML, formal methods, PVS, SPIN, PROMELA

Abstrakt

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.

Rok
2002
Strany
8
Sborník
Proceedings of 8th Conference STUDENT EEICT 2002
ISBN
80-214-2116-9
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno, CZ
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"
}
Nahoru