Hierarchical Communication Diagrams

Authors

  • 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

Keywords:

Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

Abstract

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 http://147.213.75.17/ojs/index.php/cai/article/view/2961