Symulacja złożonego wdrożenia systemu IT

• Autorzy: Laszko Ł. , Stasiak A.

Warianty tytułu

EN

Simulation of IT system complex deployment

• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

symulacja; metoda weryfikacji; wdrożenie systemu; model topologii; UML; UAL; OCL

EN

simulation; deployment; topology model; UML; UAL; OCL

• Wydawca: Instytut Teleinformatyki i Automatyki, Wydział Cybernetyki, Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
• Czasopismo: Przegląd Teleinformatyczny
• Rocznik: 2013
• Tom: T. 1, Nr 3 (36)
• Strony: 51--73
• Opis fizyczny: Bibliogr. 11 poz., il.

Twórcy

autor

Laszko Ł.

• Instytut Teleinformatyki i Automatyki WAT, ul. Gen. S. Kaliskiego 2, 00-908 Warszawa

autor

Stasiak A.

• Instytut Teleinformatyki i Automatyki WAT, ul. Gen. S. Kaliskiego 2, 00-908 Warszawa

Bibliografia

• [1] LASZKO Ł., STASIAK A., Planowanie złożonego wdrożenia systemu IT, „Biuletyn IAiR”, 31/2011, str. 55-78.
• [2] SNOECK M., DEDENE G., Experiences with object oriented model-driven development, Software Technology and Engineering Practice, Proceedings., Eighth IEEE International Workshop on incorporating Computer Aided Software Engineering, pp. 143-153, 14-18, Jul 1997.
• [3] KRUCHTEN P., The Rational Unified Process: An Introduction (3th ed.). Boston, Addison-Wesley, 2003.
• [4] SCHWABER K., BEEDLE M., Agile Software Development with Scrum (1st ed.), Prentice Hall PTR, 2001.
• [5] BECK K., ANDRES C., Extreme Programming Explained: Embrace Change (2nd Edition), Addison-Wesley, 2004.
• [6] ZIELIŃSKI Z., STASIAK A., DĄBROWSKI W., UML Simulation of a Topology Configuration Model, „Journal of Telecommunications and Information Technology”, No. 4, 2012, pp. 1–8.
• [7] BEN-ARI M., PNUELI A., MANNA Z., The temporal logic of branching time, „Acta Informatica 20”, 1983, pp. 207-226.
• [8] FAGAN M. E., Design and Code inspections to reduce errors in program development, „IBM Systems Journal”, Vol. 15, No 3, 1976, pp. 182–211.
• [9] IEEE Std 1490™-2011. IEEE Guide – Adoption of the Project Management Institute (PMI®) Standard. A Guide to the Project Management Body of Knowledge (PMBOK® Guide) – Fourth Edition, Project Management Institute, 2008.
• [10] Action Language for Foundational UML (Alf), Concrete Syntax for a UML Action Language, FTF – Beta 2, http://www.omg.org/spec/ALF/1.0/Beta2/PDF.
• [11] Object Constraint Language, OMG Available Specification, Version 2.0, formal/06-05-01, http://www.omg.org/spec/OCL/2.0/PDF/.

Uwagi

PL

Artykuł powstał w ramach realizacji grantu nr RMN/699/2012 (Wydział Cybernetyki WAT).