Detail publikace

Relation Between UML2 Activity Diagrams and CSP algebra

ŠČUGLÍK, F. 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. p. 1234 ( p.)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
anglicky
Autoři
Ščuglík František, Ing., Ph.D. (CK-SZZ)
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
ISBN
960-8457-32-7
Vydavatel
World Scientific and Engineering Academy
Místo
Kerkyra
BibTeX 
@inproceedings{BUT21521,
  author="František {Ščuglík}",
  title="Relation Between UML2 Activity Diagrams and CSP algebra",
  booktitle="Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization",
  year="2005",
  pages="6",
  publisher="World Scientific and Engineering Academy",
  address="Kerkyra",
  isbn="960-8457-32-7"
}
Nahoru