- Tytuł:
-
Concurrent systems modeling with CCL
Modelowanie systemu w CCL - Autorzy:
- Kułakowski, K.
- Powiązania:
- https://bibliotekanauki.pl/articles/282097.pdf
- Data publikacji:
- 2012
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem - Opis:
-
One of the challenges facing software engineering is to conduct research into new methods of modeling systems. The CCL notation shown in the article tries to follow in this direction. The solutions and methods presented here indicate its practical application to modeling complex eomputer systems using the struetural, dataflowcentric approach. The basis for the proposed integration between CCL and struetural methods is the newly defined externalization mechanism. It allows the details of inter-process communication to be abstracted away, thereby reducing the size of the submodels which are subject to further verification. Thanks to the methods adopted here, the overall picture of the system becomes morę readable for humans, and, due to the significant submodel state space reduction, the effective use of formal methods for their analysis becomes possible.
Jednym z podstawowych zadań związanych z inżynierią oprogramowania jest szukanie nowych i optymalizacja istniejących metod modelowania systemów informatycznych. Przedstawiona w pracy notacja CCL stara się wpisywać w ten nurt badań. Prezentowane podejście pokazuje jej użyteczność w kontekście użycia metod strukturalnych (diagramy przepływu danych) do modelowania złożonych systemów informatycznych. Podstawą proponowanej integracji pomiędzy CCL i metodami modelowania strukturalnego jest nowowprowadzone pojęcie eksternalizacji. Pozwala ono abstrahować od szczegółów implementacyjnych komunikacji międzyprocesowej, redukując tym samym wielkość modeli podlegających dalszej weryfikacji. Dzięki przyjętemu rozwiązaniu modele stają się bardziej czytelne dla projektantów, oraz dzięki znaczącej redukcji przestrzeni stanów, możliwe staje się efektywne wykorzystanie metod formalnych w celu ich dalszej analizy. - Źródło:
-
Automatyka / Automatics; 2012, 16, 2; 115-125
1429-3447
2353-0952 - Pojawia się w:
- Automatyka / Automatics
- Dostawca treści:
- Biblioteka Nauki
Artykuł