Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 2013

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: UAL

Sortuj według:

Ogranicz wyniki do:

Symulacja złożonego wdrożenia systemu IT

100%

Laszko Ł. , Stasiak A.

Przegląd Teleinformatyczny

2013

tom T. 1, Nr 3 (36)

51-73

W artykule przedstawiono opis zaproponowanej przez autorów symulacyjnej metody weryfikacji i walidacji planów wdrożenia, która na etapie projektowania systemu ułatwia zrozumienie jego dynamicznych aspektów oraz pozwala na wczesne wykrycie błędów projektowych i architektonicznych bez konieczności istnienia rzeczywistych produktów wdrożenia i docelowego środowiska działania. Metoda bazuje na wykorzystaniu topologii (jako planu wdrożenia) oraz języków: UML (opisu środowiska wdrożenia), OCL (opisu ograniczeń) i UAL (do opisu imperatywu semantyk akcji). Środki te pozwoliły na zbudowanie precyzyjnych modeli, zarówno planu wdrożenia, jak i symulacyjnego środowiska do jego badania. Symulację w tej metodzie wykorzystano do badania planów wdrożenia jako środek ich ewaluacji.

Simulation method for verification and validation of deployment plans was presented. Using this approach at the design stage of a system, makes it easier to understand dynamics of the system and allows for early detection of design and architecture errors without the need for an actual product deployment. The method is based on the use of topology model (as a deployment plan) and the following languages: UML (description of deployment environment), OCL (constraints) and UAL (imperative semantic of actions). The use of these languages yielded highly accurate models which are the key element of the simulator. The simulation enabled examination of different deployment plans and selection of the one that met the constraints brought to the target environment. ABSTRACT: Simulation method for verification and validation of deployment plans was presented. Using this approach at the design stage of a system, makes it easier to understand dynamics of the system and allows for early detection of design and architecture errors without the need for an actual product deployment. The method is based on the use of topology model (as a deployment plan) and the following languages: UML (description of deployment environment), OCL (constraints) and UAL (imperative semantic of actions). The use of these languages yielded highly accurate models which are the key element of the simulator. The simulation enabled examination of different deployment plans and selection of the one that met the constraints brought to the target environment.