Formalization of IT-services specifications
Keywords:
IT-service, specification, management controlAbstract
The paper presents the analysis of mechanisms of IT-services specifications formalization applied at administrative management, the services being provided by external organizations. The necessity of increasing the formalization level of such descriptions at the increased responsibility of external services usage is shown.References
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.