Formal Modelling and Verification of Concurrent Systems with XCCS

Authors:
Piotr Matyasik;Marcin Szpyrka
Affiliations:
-;-
Venue:
ISPDC '08 Proceedings of the 2008 International Symposium on Parallel and Distributed Computing
Year:
2008

Citing 0
Cited 3

Formal Definition of XCCS Modelling Language

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Formal Definition of XCCS Modelling Language

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Formal Description of Alvis Language with α0 System Layer

Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek

Quantified Score

Hi-index	0.00

Visualization

Abstract

XCCS is a graphical extension of CCS process algebra. To make CCS more convenient from the software engineering point of view the CCS calculus has been equipped with a graphical modelling language and some operators have been moved to the graphical layer. The proposed approach is supported by a computer tool called the Inez XCCS Editor. Among other things the tool provides a graphical editor for designing XCCS diagrams and a transformation algorithm for exporting XCCS models into CCS scripts. The paper presents both a survey of main features of the XCCS language and a description of the Inez XCCS Editor.