Using NLP to Define the Scope for Stakeholder Assessment of Simulated Service Qualities

The paper is devoted to defining the scope of research activities aimed at involving business stakeholders in a software process in a form of assessing the perceived quality of the service-oriented system in its usage context when the initial specification of the system is available in natural language form. We propose to use NLP techniques to extract the scope from this specification and to represent it in the format of specific predesign models compatible with the rest of the simulation solution.Стаття присвячена визначенню області проведення досліджень, пов’язаних з підключенням зацікавлених осіб до процесу розробки програмного забезпечення через оцінювання сприйманої якості сервіс-оріентованих систем в контексті їхнього використання, коли початкова специфікація системи задана природною мовою. Пропонується використання технології аналізу природної мови для отримання інформації про область застосування з цієї специфікації у форматі спеціальних моделей предпроектування, які є сумісними з основними модулями імітаційного рішення.Статья посвящена определению области проведения исследований, связанных с подключением заинтересованных лиц к процессу разработки программного обеспечения через оценивание воспринимаемого качества сервис-ориентированных систем в контексте их использования, в случае, если начальная спецификация системы задана естественным языком. Предлагается использование технологии анализа естественного языка для получения информации об области применения из этой спецификации в формате специальных моделей предпроектирования, которые являются совместимыми с основными модулями имитационного решения

Combining probabilistic tagging with rule-based multilevel chunking for requirements elicitation

In this paper author describes a multi-layered NLP approach for the elicitation of ontology relevant information from free requirements text. To automate the requirements elicitation process from textual information of stakeholders, as well as to transform it into structured and validated fashion the combination of probabilistic and rule-based NLP methods are proposed. The developed methodology includes a multi-level chunking strategy as its core principle.Стаття присвячена опису NLP підходу до витягу відповідної онтологічної інформації з неопрацьованих текстів вимог. Для автоматизації процесу витягу вимог з текстової інформації зацікавлених осіб, а також для її трансформації в структуровану і придатну для валідації форму пропонується використання поєднання імовірнісних та заснованих на правилах методив NLP. Розроблена методологія у якості основного принципу включає в себе багаторівневу стратегію синтаксичного аналізу.Статья посвящена описанию NLP подхода к извлечению соответствующей онтологической информации из необработанных текстов требований. Для автоматизации процесса извлечения требований из текстовой информации заинтересованных лиц, а также для её трансформации в структурированную и пригодную для валидации форму предлагается использовать сочетание вероятностных и основанных на правилах методов NLP. Разработанная методология в качестве основного принципа включает в себя многоуровневую стратегию синтаксического анализа

Strong Degrees of Categoricity and Weak Density

© 2020, Pleiades Publishing, Ltd. Abstract: It is well-known that every c.e. Turing degree is the degree of categoricity of a rigid structure. In this work we study the possibility of extension of this result to properly 2-c.e. degrees. We found a condition such that if a Δ02-degree is a degree of categoricity of a rigid structure and satisfies this condition then it must be c.e. Also we show that degrees of non-categoricity are dense in the c.e. degrees

Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

© 2020, Pleiades Publishing, Ltd. Abstract: A standard tool for classifying the complexity of equivalence relations on ω is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which (Formula presented.), where α ≥ 2 is a computable ordinal and n is a non-zero natural number. We prove that there are infinitely many pairwise incomparable minimal equivalence relations that are properly in Γ