Affiliations: Institute of Mathematics, Rzeszów University,
Al. Rejtana 16A, 35-959 Rzeszów, Poland. kbalicki@univ.rzeszow.pl | Department of Automatics, AGH University of Science and
Technology, Al. Mickiewicza 30, 30-059 Kraków, Poland.
mszpyrka@agh.edu.pl
Note: [] Address for correspondence: Institute of Mathematics,
Rzeszów University, Al. Rejtana 16A, 35-959 Rzeszów,
Poland
Abstract: The paper presents a formal definition of XCCS – a graphical
extension of CCS process calculus. The aim of this extension is to supply
graphical means for creating models and thus to eliminate problems typical for
modelling in textual manner inherent to CCS process algebra. XCCS diagrams
consist of two layers, a graphical one that represents the structure of a
modelled system and algebraic one that describes behaviour of individual
agents. The graphical layer takes the form of a directed graph, while the
algebraic one is a set of sequences of algebraic equations similar to those in
the CCS calculus. The formal definition presented in the paper deals with both
parts of such models. At the end of the paper we define the Synchronization
Relation and present the Basic Conversion Algorithm that converts XCCS diagrams
into CCS scripts.
