Formal Modelling and Verification of Concurrent Systems with XCCS

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.