Concurrent systems modeling with CCL

Abstract

One of the challenges facing software engineering is to con-
duct research into new methods of modeling systems. The CCL
notation shown in the article tries to follow in this direction. The
solutions and methods presented here indicate its practical applica-
tion to modeling complex computer systems using the structural,
dataflow-centric approach. The basis for the proposed integration
between CCL and structural methods is the newly defined exter-
nalization mechanism. It allows the details of inter-process commu-
nication to be abstracted away, thereby reducing the size of the
sub-models which are subject to further verification. Thanks to the
methods adopted here, the overall picture of the system becomes
more readable for humans, and, due to the significant sub-model
state space reduction, the effective use of formal methods for their
analysis becomes possible.