SGCCS: A Graphical Language for Real-Time Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F02%3A00007148" target="_blank" >RIV/00216224:14330/02:00007148 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

SGCCS: A Graphical Language for Real-Time Systems

Original language description

We present a graphical language SGCCS as a language for modeling of discrete real-time systems. SGCCS can be viewed as a graphical version of the synchronous Calculus of Communicating Systems (SCCS). A specification in SGCCS contains both graphical and visual components. We give an overview of basic concepts of SGCCS giving an example of specification in SGCCS. Further, we show briefly how the formal semantics of SGCCS is developed.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA201%2F00%2F1023" target="_blank" >GA201/00/1023: Algorithms and tools for practical verification of concurrent systems</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2002

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 SOFSEM 2002 Student Research Forum

ISBN

—

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

47

Publisher name

Mária Bieliková

Place of publication

Milovy

Event location

—

Event date

—

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—