Formal modelling languages range from strictly textual ones like process algebra scripts to visual modelling languages based on hierarchical graphs like coloured Petri nets. Approaches equipped with visual modelling capabilities make developing process easier and help users to cope with more complex systems. Alvis is a modelling language that combines possibilities of formal models verification with flexibility and simplicity of practical programming languages. The paper deals with hierarchical communication diagrams - the visual layer of the Alvis modelling language. It provides all necessary information to model system structure with Alvis, to manipulate a model hierarchy and to understand a model semantics. All considered concepts are discussed using illustrative examples.
Publié le : 2016-05-31
Classification:  Software Engineering,  Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation,  68N30, 68N15
@article{cai2961,
     author = {Marcin Szpyrka; AGH University, Dept. of Applied Computer Science, 30-059 Krak\'ow and Piotr Matyasik; AGH University, Dept. of Applied Computer Science, 30-059 Krak\'ow and Jerzy Biernacki; AGH University, Dept. of Applied Computer Science, 30-059 Krak\'ow and Agnieszka Biernacka; AGH University, Dept. of Applied Computer Science, 30-059 Krak\'ow and Micha\l\ Wypych; AGH University, Dept. of Applied Computer Science, 30-059 Krak\'ow and Leszek Kotulski; AGH University, Dept. of Applied Computer Science, 30-059 Krak\'ow},
     title = {Hierarchical Communication Diagrams},
     journal = {Computing and Informatics},
     volume = {34},
     number = {4},
     year = {2016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai2961}
}
Marcin Szpyrka; AGH University, Dept. of Applied Computer Science, 30-059 Kraków; Piotr Matyasik; AGH University, Dept. of Applied Computer Science, 30-059 Kraków; Jerzy Biernacki; AGH University, Dept. of Applied Computer Science, 30-059 Kraków; Agnieszka Biernacka; AGH University, Dept. of Applied Computer Science, 30-059 Kraków; Michał Wypych; AGH University, Dept. of Applied Computer Science, 30-059 Kraków; Leszek Kotulski; AGH University, Dept. of Applied Computer Science, 30-059 Kraków. Hierarchical Communication Diagrams. Computing and Informatics, Tome 34 (2016) no. 4, . http://gdmltest.u-ga.fr/item/cai2961/