{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:22:27Z","timestamp":1777645347566,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1-3","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2009,6]]},"abstract":"<jats:p>The paper presents a formal definition of XCCS \u2013 a graphical\n\t\t\t extension of CCS process calculus. The aim of this extension is to supply\n\t\t\t graphical means for creating models and thus to eliminate problems typical for\n\t\t\t modelling in textual manner inherent to CCS process algebra. XCCS diagrams\n\t\t\t consist of two layers, a graphical one that represents the structure of a\n\t\t\t modelled system and algebraic one that describes behaviour of individual\n\t\t\t agents. The graphical layer takes the form of a directed graph, while the\n\t\t\t algebraic one is a set of sequences of algebraic equations similar to those in\n\t\t\t the CCS calculus. The formal definition presented in the paper deals with both\n\t\t\t parts of such models. At the end of the paper we define the Synchronization\n\t\t\t Relation and present the Basic Conversion Algorithm that converts XCCS diagrams\n\t\t\t into CCS scripts.<\/jats:p>","DOI":"10.3233\/fi-2009-0084","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T22:40:48Z","timestamp":1575326448000},"page":"1-15","source":"Crossref","is-referenced-by-count":4,"title":["Formal Definition of XCCS Modelling Language"],"prefix":"10.1177","volume":"93","author":[{"given":"Krzysztof","family":"Balicki","sequence":"first","affiliation":[{"name":"Institute of Mathematics, Rzesz\u00f3w University,\r\t\t\t Al. Rejtana 16A, 35-959 Rzesz\u00f3w, Poland. kbalicki@univ.rzeszow.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Szpyrka","sequence":"additional","affiliation":[{"name":"Department of Automatics, AGH University of Science and\r\t\t\t Technology, Al. Mickiewicza 30, 30-059 Krak\u00f3w, Poland.\r\t\t\t mszpyrka@agh.edu.pl"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2009,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-0084","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-0084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:32:00Z","timestamp":1777444320000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2009-0084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":0,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["10.3233\/FI-2009-0084"],"URL":"https:\/\/doi.org\/10.3233\/fi-2009-0084","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}