Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 International Journal of Microelectronics and Computer Science

1 2017

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: communication modes

Sortuj według:

Ogranicz wyniki do:

A survey of Alvis communication modes

Szpyrka M., Biernacki J., Matyasik P., Wypych M.

International Journal of Microelectronics and Computer Science

2017

Vol. 8, nr 1

1--9

Concurrent systems appear natural and intuitive solution for many real IT problems. However, designing a more complex concurrent system is a difficult task. The main problem is that for systems that have more than several subsystems it becomes difficult to control their properties at the design stage. Applications of formal methods in the development process may remarkable reduce the problem. An important issue is to choose a suitable formal modelling language, that supports the required methods of communication between subsystems. The paper provides a survey of communication modes introduced to the Alvis modelling language and discusses how the communication modes may be used while modelling concurrent systems.