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%3APU56432" target="_blank" >RIV/00216305:26230/05:PU56432 - 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.

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ů

Article name in the collection
Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization
ISBN
960-8457-32-7
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
1234-1239
Publisher name
World Scientific and Engineering Academy
Place of publication
Kerkyra
Event location
Korfu
Event date
Aug 17, 2005
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)