程控交换软件设计和维护中的图模型

在程控交换软件设计和维护的问题空间，有两类问题对软件的性能和可靠性有决定性的影响：共享资源的一致性和进程创建顺序的正确性。以一种计算模型－图模型，描述上述两类问题的解空间。叙述了所使用的图模型的概念，给出了图模型的数据表示，对图模型在程控交换软件设计和维护中的实际应用进行了探讨。