Detail publikace

Relation between UML2 Activity Diagrams and CSP algebra

ŠČUGLÍK, F. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers, 2005, vol. 4, no. 10, p. 1234-1240. ISSN: 1109-2750.
Název česky
Relace mezi Diagramy aktivit z UML2 a CSP algebrou
Typ
článek v časopise
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
1234–1240
Časopis
WSEAS Transactions on Computers, roč. 4, č. 10, ISSN 1109-2750
BibTeX 
@article{BUT42908,
  author="František {Ščuglík}",
  title="Relation between UML2 Activity Diagrams and CSP algebra",
  journal="WSEAS Transactions on Computers",
  year="2005",
  volume="4",
  number="10",
  pages="1234--1240",
  issn="1109-2750"
}
Nahoru