ФОРМАЛИЗАЦИЯ СПЕЦИФИКАЦИЙ ИТ-УСЛУГ

Илья Валентинович Логинов

Авторы

И. В. Логинов Академия ФСО России, Орел

Ключевые слова:

ИТ-услуга, спецификация, административное управление

Аннотация

Проведен анализ используемых в процессе административного управления механизмов формализаций спецификаций ИТ-услуг, оказы- ваемых внешними организациями. Показана необходимость повышения степени формализации таких описаний при повышенной ответ- ственности в условиях использования внешних услуг.

Биография автора

И. В. Логинов, Академия ФСО России, Орел

кандидат технических наук, инженер; Академия ФСО России, Орел

Библиографические ссылки

Skene J. Language support for service-level agreements for application-service provision : Ph. D. theses. London. - November 2, 2007. - 432 p.

Lamanna D. D. , Skene J., Emmerich W. SLAng : A Language for Defining Service Level Agreement // FTDCS 03. Proceedings of the Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. - P. 100-106.

Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям / И. В. Никифоров, А. В. Петров, Ю. В. Юсупов, В. П. Котляров // Науч.-техн. ведомости СПбГТУ. Информатика. Телекоммуникации. Управление. - 2011. - № 3(121). - С. 180-184.

Сухомлин В. Итология - наука об информационных технологиях. - URL: http://citforum.ru/programming/prg96/ sukhomkin.shtml

Поляков К. Мера успеха // CIO. Директор информационной службы. - Декабрь 2010. - № 12. - С. 31-33.

Fatolahi A., Shams F. An Object Meta-Model for Zachman Framework // Proceedings of the International Management Conference (IRIMC2003), Iran, 2003. - P. 380-382.