Krzysztof巴利基；马钦·斯皮尔卡 XCCS建模语言的形式化定义。 （英语） Zbl 1191.68428号 芬丹。通知。 93，编号1-3，1-15（2009）. 摘要：本文给出了XCCS的形式化定义——CCS过程演算的图形扩展。此扩展的目的是提供创建模型的图形方法，从而消除CCS过程代数固有的文本方式建模的典型问题。XCCS图由两层组成，一层是表示建模系统结构的图形层，另一层是描述单个代理行为的代数层。图形层采用有向图的形式，而代数层是一组类似于CCS演算中的代数方程序列。本文给出的形式化定义涉及此类模型的两部分。在文章的最后，我们定义了同步关系，并给出了将XCCS图转换为CCS脚本的基本转换算法。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：XCCS进程代数；同步关系；基本转换算法 PDF格式BibTeX公司 XML格式引用 \textit{K.Balicki}和\textit{M.Szpyrka}，Fundam。通知。93，编号1--3，1--15（2009；Zbl 1191.68428）