Detail publikace

Relation Between UML2 Activity Diagrams and CSP algebra

ŠČUGLÍK František. Relation Between UML2 Activity Diagrams and CSP algebra. In: Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005, s. 6. ISBN 960-8457-32-7.
Název česky
Relace mezi Diagramy aktivit z UML2 a CSP algebrou
Typ
článek ve sborníku konference
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
6
Sborník
Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization
Konference
WSEAS Internat. Conference on Simulation, Modeling and Optimisation, Kerkyra, GR
ISBN
960-8457-32-7
Vydavatel
World Scientific and Engineering Academy
Místo
Kerkyra, GR
BibTeX 
@INPROCEEDINGS{FITPUB7825,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Relation Between UML2 Activity Diagrams and CSP algebra",
   pages = 6,
   booktitle = "Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization",
   year = 2005,
   location = "Kerkyra, GR",
   publisher = "World Scientific and Engineering Academy",
   ISBN = "960-8457-32-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7825"
}
Nahoru