Specializirowannye modeli dlq razrabotki informacionnyh sistem

Odnim iz wazhnyh faktorow razrabotki sowremennogo programmnogo obespecheniq qwlqetsq formalizowannyj podhod, obespechiwaüschij strogoe i odnoznachnoe opisanie sozdawaemogo programmnogo produkta. Nailuchshij äffekt primeneniq formalizowannyh sredstw dostigaetsq w sluchae ih adekwatnogo ispol'zowaniq na wseh neobhodimyh ätapah razrabotki, nachinaq ot postanowki zadachi do ätapa neposredstwennoj realizacii i wnedreniq programmnogo produkta. Takoj podhod obespechiwaet wozmozhnost' kompaktnogo opisaniq i prinqtiq obosnowannyh reshenij po metodam realizacii. Osnowu formalizowannogo podhoda sostawlqet postroenie formal'noj modeli, s pomosch'ü kotoroj obespechiwaetsq ne tol'ko opisanie sootwetstwuüschih komponent programmnogo produkta na wseh ätapah zhiznennogo cikla programmnogo obespecheniq, no i prowedenie predwaritel'nyh issledowanij po wyboru adekwatnyh metodow razrabotki i realizacii. V rabote predlagaetsq odin iz podhodow k postroeniü specializirowannoj ob#ektno-orientirowannoj modeli dlq sozdaniq informacionnyh sistem na osnowe soedineniq sredstw opisaniq diagramm UML s formal'nym apparatom teorii CSP-OZ.Predlagaemyj podhod demonstriruetsq na primere sistemy uprawleniq i rezerwirowaniq awiabiletow.