Visualizing formal specifications using diagrams

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42620" target="_blank" >RIV/00216305:26230/03:PU42620 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Visualizing formal specifications using diagrams

Popis výsledku v původním jazyce

Although the verification process of formal models represent a long-time procedure, it is applied on more and more systems because finding and eliminating of consequent error stands for high costs. This contribution develops a front-end interface for system developers which provides automatically generation of system&#8217;s formal models utilizing the algebra of Communicating Sequential Processes. The discussed tool stem from UML composite states diagrams and utilizes behavioral diagrams to specify thee systems. The paper includes the used subset of CSP and the developed technique for automated model specification.

Název v anglickém jazyce

Visualizing formal specifications using diagrams

Popis výsledku anglicky

Although the verification process of formal models represent a long-time procedure, it is applied on more and more systems because finding and eliminating of consequent error stands for high costs. This contribution develops a front-end interface for system developers which provides automatically generation of system&#8217;s formal models utilizing the algebra of Communicating Sequential Processes. The discussed tool stem from UML composite states diagrams and utilizes behavioral diagrams to specify thee systems. The paper includes the used subset of CSP and the developed technique for automated model specification.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2003

Kód důvěrnosti údajů

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

Název statě ve sborníku

11. International Conference on Software, Telecommunications & Computer Networks

ISBN

953-6114-64-X

ISSN

—

e-ISSN

—

Počet stran výsledku

5

Strana od-do

165-169

Název nakladatele

Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split

Místo vydání

Split

Místo konání akce

Split

Datum konání akce

7. 10. 2003

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—