Article

Article title THE ALGORITHM OF FORMALIZATION OF REQUIREMENTS WHEN DEVELOPING INFORMATION SYSTEMS
Authors Yu.Yu. Lipko
Section SECTION III. SOFTWARE ENGINEERING
Month, Year 06, 2014 @en
Index UDC 681.518
DOI
Abstract One of the urgent problems at the initial stages of life cycle information systems development is formation of system requirements, correctly and accurately reflect the goals and tasks of the customer. Organization of work with the requirements is among the priorities of the project management for the development of the information system, since the quality of the developed system is largely determined by how it meets the requirements. For the successful realization of the project of development of an information system that meets the goals and objectives of the customer, need to find out the requirements to the system and translate them into the language of formal models to ensure compliance with the goals and objectives of the organization. This requires the use of the most effective methods to transform requirements into formal models. The object of study are the approaches and methods for translating requirements into formal model in the development of information systems. In the work the algorithm of conversion requirements in natural language in a formal model in the form of hybrid chart activity. The proposed algorithm allows to obtain basic and subject knowledge of the texts requirements, to describe the structure and behavior of the system, convert created a formal model in a number of other UML model, as proposed tabular representation of the text can be considered as the knowledge base when designing information systems. Practical value of results of studies identified their application for solving problems of formalization of requirements in the first phase of the development life cycle information systems.

Download PDF

Keywords Technologies of information systems development; conversion requirements; formal model; methods of transformation requirements.
References 1. Рогозов Ю.И., Бутенков С.А., Свиридов А.С., Горбань Н.С. Систематизация моделей жизненного цикла информационных систем в рамках схемы J. Zachman // Известия ЮФУ. Технические науки. – 2008. – № 1 (78). – С. 68-72.
2. Рогозов Ю.И., Свиридов А.С., Горбань Н.С., Дубровский А.А., Жибулис Ю.А., Почечуев Н.В., Микита Р.М., Друппов С.А., Шевченко О.В. Системный подход к построению информационных систем на основе жизненного цикла // Известия ЮФУ. Технические науки. – 2009. – № 1 (90). – С. 82-90.
3. Abbott R. Program design by informal English descriptions // Communications of the ACM. – 2006. – Vol. 26/11. – P. 882-894.
4. Tao Yue, Lionel C. Briand, Yvan Labiche. A systematic review of transformation approaches between user requirements and analysis models. Requirements Engineering – RE, 2011. – P. 75-99.
5. Рогозов Ю.И., Свиридов А.С. Концепция применения метадизайна и метамоделирования для разработки ИС // Известия ЮФУ. Технические науки. – 2012. – № 1 (126). – С. 147-152.
6. Рогозов Ю.И., Свиридов А.С. Метод построения интегральной модели жизненного цикла информационной системы // Телекоммуникации. – 2011. – № 3. – С. 8-17.
7. Рогозов Ю.И., Бутенков С.А., Кодачигов В.И., Свиридов А.С., Микита Р.М. Информационные ER++ модели – новый подход к интеграции основных этапов проектирования информационных систем // Известия ЮФУ. Технические науки. – 2006. – № 9-1 (64). – С. 70-74.
8. Рогозов Ю.И., Свиридов А.С., Липко Ю.Ю. Использование гиперметода разработки методов создания прототипов на примере построения структурно-независимых баз данных // Известия ЮФУ. Технические науки. – 2011. – № 1 (114). – С. 130-135.

Comments are closed.