Detail publikace

Relation between UML2 Activity Diagrams and CSP algebra

ŠČUGLÍK František. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers, roč. 4, č. 10, 2005, s. 1234-1240. ISSN 1109-2750.
Název česky
Relace mezi Diagramy aktivit z UML2 a CSP algebrou
Typ
článek v časopise
Jazyk
angličtina
Autoři
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Klíčová slova

UML, CSP, Formální specifikace, Verifikace, Automatizovaný překlad

Abstrakt

Rozmach počítačových systémů neustále roste a ovlivňují stále více náš každodenní život. Proto je jejich selhání nepřípustné. Jednou z možností jak zvýšit spolehlivost systémů je použití formálních metod. Ty jsou však převážně matematicky založené a systémový vývojáři se je odmítají učit. Tento článek prezentuje možnost automatické tranformace diagramů Aktivit z UML2, které zná a používá většina vývojářů, do CSP algebry, která je formální a může být verifikována.

Rok
2005
Strany
1234-1240
Časopis
WSEAS Transactions on Computers, roč. 4, č. 10, ISSN 1109-2750
Vydavatel
World Scientific and Engineering Academy
BibTeX 
@ARTICLE{FITPUB7827,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Relation between UML2 Activity Diagrams and CSP algebra",
   pages = "1234--1240",
   journal = "WSEAS Transactions on Computers",
   volume = 4,
   number = 10,
   year = 2005,
   ISSN = "1109-2750",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7827"
}
Nahoru