Hierarchical Communication Diagrams
Keywords:
Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operationAbstract
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.Downloads
Download data is not yet available.
Downloads
Published
2016-05-31
How to Cite
Szpyrka, M., Matyasik, P., Biernacki, J., Biernacka, A., Wypych, M., & Kotulski, L. (2016). Hierarchical Communication Diagrams. COMPUTING AND INFORMATICS, 35(1), 55–83. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/2961
Issue
Section
Articles