图形扩展的CCS语言

2007 14th International Conference on Mixed Design of Integrated Circuits and Systems Pub Date : 2007-06-21 DOI:10.1109/MIXDES.2007.4286251

M. Szpyrka, K. Balicki

{"title":"图形扩展的CCS语言","authors":"M. Szpyrka, K. Balicki","doi":"10.1109/MIXDES.2007.4286251","DOIUrl":null,"url":null,"abstract":"A graphical extension of CCS process calculus called XCCS (extended CCS) is proposed in the paper. In the modified process calculus most operators were moved to a graphical layer to eliminate problems typical for CCS language, e.g. elimination of undesirable connections among agents. An XCCS model consists of two layers: a textual and a graphical one. The former is used to define behaviour of single agents, while the latter is used to define interconnections among them in concurrent systems. XCCS calculus is compatible with the CCS one and it is possible to transform an XCCS model into an equivalent CCS script. The paper presents a survey of main features of XCCS language.","PeriodicalId":310187,"journal":{"name":"2007 14th International Conference on Mixed Design of Integrated Circuits and Systems","volume":"162 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"XCCS - Graphical Extension of CCS Language\",\"authors\":\"M. Szpyrka, K. Balicki\",\"doi\":\"10.1109/MIXDES.2007.4286251\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A graphical extension of CCS process calculus called XCCS (extended CCS) is proposed in the paper. In the modified process calculus most operators were moved to a graphical layer to eliminate problems typical for CCS language, e.g. elimination of undesirable connections among agents. An XCCS model consists of two layers: a textual and a graphical one. The former is used to define behaviour of single agents, while the latter is used to define interconnections among them in concurrent systems. XCCS calculus is compatible with the CCS one and it is possible to transform an XCCS model into an equivalent CCS script. The paper presents a survey of main features of XCCS language.\",\"PeriodicalId\":310187,\"journal\":{\"name\":\"2007 14th International Conference on Mixed Design of Integrated Circuits and Systems\",\"volume\":\"162 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-06-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 14th International Conference on Mixed Design of Integrated Circuits and Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MIXDES.2007.4286251\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 14th International Conference on Mixed Design of Integrated Circuits and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MIXDES.2007.4286251","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

本文提出了一种CCS过程演算的图形化扩展，称为XCCS (extended CCS)。在改进的过程演算中，大多数算子被移到图形层，以消除CCS语言的典型问题，例如消除agent之间的不良连接。XCCS模型由两层组成:文本层和图形层。前者用于定义单个代理的行为，后者用于定义并发系统中它们之间的互连。XCCS演算与CCS演算兼容，并且可以将XCCS模型转换为等效的CCS脚本。本文概述了XCCS语言的主要特性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

XCCS - Graphical Extension of CCS Language

A graphical extension of CCS process calculus called XCCS (extended CCS) is proposed in the paper. In the modified process calculus most operators were moved to a graphical layer to eliminate problems typical for CCS language, e.g. elimination of undesirable connections among agents. An XCCS model consists of two layers: a textual and a graphical one. The former is used to define behaviour of single agents, while the latter is used to define interconnections among them in concurrent systems. XCCS calculus is compatible with the CCS one and it is possible to transform an XCCS model into an equivalent CCS script. The paper presents a survey of main features of XCCS language.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2007 14th International Conference on Mixed Design of Integrated Circuits and Systems

自引率

0.00%

发文量