Publication detail

Semantics of UML diagrams: A Case Study

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

RYŠAVÝ, O.

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"
}