We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
HIERARCHICAL COMMUNICATION DIAGRAMS.
- Authors
SZPYRKA, Marcin; MATYASIK, Piotr; BIERNACKI, Jerzy; BIERNACKA, Agnieszka; WYPYCH, Michał; KOTULSKI, Leszek
- 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.
- Subjects
COMMUNICATIONS research; APPLIED communication; MODELING languages (Computer science); MODEL-integrated computing; ARCHITECTURE Analysis &; Design Language
- Publication
Computing & Informatics, 2016, Vol 35, Issue 1, p55
- ISSN
1335-9150
- Publication type
Article