Relation between UML2 Activity Diagrams and CSP algebra

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56434" target="_blank" >RIV/00216305:26230/05:PU56434 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Relation between UML2 Activity Diagrams and CSP algebra
Original language description
The computer systems grows from year to year and they impact our everyday live. Therefore, their failure is unacceptable. One of the techniques, how to increase reliability of a system, is the utilization of formal methods and verification. Unfortunately, most formal methods are mathematically based and system developers refuse to learn such new techniques. This paper aims to present a possibility how to automatically transform a UML activity diagram well known by most system developers into a CSP formaal specification which can then be verified.
Czech name
Relace mezi Diagramy aktivit z UML2 a CSP algebrou
Czech description
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.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—

Project
<a href="/en/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: A Framework for Formal Specifications and Prototyping of Information System's Network Applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)