Detail publikace

Semantics of UML diagrams: A Case Study

RYŠAVÝ, O.

Originální název

Semantics of UML diagrams: A Case Study

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

UML, formal methods, PVS, SPIN, PROMELA

Autoři

RYŠAVÝ, O.

Vydáno

31. 3. 2002

Nakladatel

Faculty of Electrical Engineering and Communication BUT

Místo

Brno, CZ

ISBN

80-214-2116-9

Kniha

Proceedings of 8th Conference STUDENT EEICT 2002

Strany počet

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