245 Concurrent systems modeling with CCL
Konrad Kułakowski · Automatyka/Automatics · 2012
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.