Processo e evolução dos métodos formais na engenharia de requisitos

Requirements Engineering is considered the most important phase of the life cycle of software products because it specifies the needs of the customers, and it is also the basis for the execution of the other phases of software engineering. The models currently used to perform the requirements elicitation have been proposed and widely documented, but they are focused only on the techniques to collect information, disregarding the activity of properly documenting this information. Moreover, to structure the requirements specification, natural language continues to be used as a means of communication and understanding with the customer. Due to the ambiguities caused by this language, its interpretation becomes difficult, and this leads to reprocesses in the later stages of the software life cycle. According to the above, it is necessary for software development organizations to consider formalizing the process of requirements elicitation if they wish to make their development process more efficient. A literature review is carried out in this paper to determine the process and evolution of the formal methods from the requirements engineering perspective.La ingeniería de requisitos se considera la fase más importante del ciclo de vida de los productos de software, porque en ella se especifican las necesidades de los clientes y es la base para la ejecución de las demás fases de la ingeniería de software. Los modelos que actualmente se utilizan para realizar la elicitación de requisitos se han propuesto y documentado de forma amplia, pero se centran solo en las técnicas para colectar información y descuidan la actividad de documentarla de manera adecuada. Además, para estructurar la especificación de requisitos sigue en uso el lenguaje natural como forma de comunicación y comprensión con el cliente. Debido a las ambigüedades que este causa, se dificulta la interpretación; esto conlleva reprocesos en las etapas posteriores del ciclo de vida del software. De acuerdo con ello, es necesario que las organizaciones desarrolladoras de software consideren formalizar el proceso de elicitación de requisitos si desean hacer más eficiente su proceso de desarrollo. En este artículo se hace una revisión de literatura para determinar el proceso y evolución de los métodos formales desde la perspectiva de la ingeniería de requisitos. De acuerdo a lo anterior, es necesario que las organizaciones que desarrollan software consideren formalizar el proceso de elicitación de requisitos si desean hacer más eficiente su proceso de desarrollo. En este artículo se hace una revisión de literatura para determinar el proceso y evolución de los métodos formales desde la perspectiva de la Ingeniería de Requisitos. A engenharia de requisitos é considerada a fase mais importante do ciclo de vida dos produtos de software, porque nela se especificam as necessidades dos clientes e é a base para a execução das demais fases da engenharia de software. Os modelos que atualmente são utilizados para realizar a elicitação de requisitos foram propostos e documentados de forma ampla, mas se centram só nas técnicas para coletar informação e descuidam a atividade de documentar de maneira adequada. Além disso, para estruturar a especificação de requisitos segue em uso a linguagem natural como forma de comunicação e entendimento com o cliente. Devido às ambiguidades que este causa, dificulta-se a interpretação; isso implica reprocessos nas etapas posteriores do ciclo de vida do software. De acordo com isso, é necessário que as organizações desenvolvedoras de software considerem formalizar o processo de elicitação de requisitos se desejam tornar mais eficiente seu processo de desenvolvimento. Neste artigo, faz-se uma revisão de literatura para determinar o processo e a evolução dos métodos formais a partir da perspectiva da engenharia de requisitos

Proceso y progreso de la formalización de requisitos

Los métodos formales son un área de las Ciencias Computacionales que ha evolucionado ampliamente en las últimas dos décadas. Actualmente tienen mayor uso en el desarrollo de software crítico, pero varios investigadores vienen trabajando en su incorporación en todo tipo de producto software. En este proyecto se averiguará por el estado actual de este proceso, desde el punto de vista de la formalización de los requisitos. El objetivo es encontrar cuál ha sido el proceso y el progreso de esta formalización, para tener un mapa de la temática y pensarla como contenido del plan de estudios en la Ingeniería de Sistemas.Ingeniero de Sistemaspregrad

DREQUS: an approach for the Discovery of REQuirements Using Scenarios

ABSTRACT: Requirements engineering is recognized as a complex cognitive problem-solving process that takes place in an unstructured and poorly-understood problem context. Requirements elicitation is the activity generally regarded as the most crucial step in the requirements engineering process. The term “elicitation” is preferred to “capture”, to avoid the suggestion that requirements are out there to be collected. Information gathered during requirements elicitation often has to be interpreted, analyzed, modeled, and validated before the requirements engineer can feel confident that a complete set of requirements of a system have been obtained. Requirements elicitation comprises the set of activities that enable discovering, understanding, and documenting the goals and motives for building a proposed software system. It also involves identifying the requirements that the resulting system must satisfy in to achieve these goals. The requirements to be elicited may range from modifications to well-understood problems and systems (i.e. software upgrades), to hazy understandings of new problems being automated, to relatively unconstrained requirements that are open to innovation (e.g. mass-market software). Requirements elicitation remains problematic; missing or mistaken requirements still delay projects and cause cost overruns. No firm definition has matured for requirements elicitation in comparison to other areas of requirements engineering. This research is aimed to improve the results of the requirements elicitation process directly impacting the quality of the software products derived from them

From business logic to business process : designing strategy-aligned business processes

Het ontwerpen van strategisch gealigneerde bedrijfsprocessen vereist een coördinatie tussen de strategie en de processen binnen een onderneming. Binnen het onderzoeksgebied van het Conceptueel Modelleren kan deze coördinatie verwezenlijkt worden door het gebruik van waardemodellen. Modelleertalen voor waardemodellen brengen zowel de creatie van waarde binnen de onderneming, als de uitwisseling van waarde tussen de onderneming en haar ruimer netwerk, in kaart. Binnen dit doctoraatsonderzoek wordt het gebruik van deze modelleertalen gecombineerd met het bedrijfsmodel van de onderneming, een concept dat zijn oorsprong vindt in Strategisch Management. Het combineren van conceptuele modelleertalen met relevante raamwerken uit de management literatuur zorgt er voor dat conceptuele modellen ontwikkeld kunnen worden binnen een afgelijnde strategische context. Hierdoor worden concepten gebruikt die een duidelijke betekenis hebben voor de eindgebruikers binnen de onderneming, waardoor het eenvoudiger wordt voor hen om de uiteindelijke modellen te begrijpen. Het onderzoek binnen dit doctoraatsproefschrift is opgesplitst in drie delen. Het eerste deel (hoofdstuk 2) beschrijft de ontwikkeling van een integrerend raamwerk voor het bedrijfsmodel, zoals het gepercipieerd wordt binnen Strategisch Management. De belangrijkste reden voor dit onderzoek was het gebrek aan een gemeenschappelijke visie binnen dit onderzoeksdomein. Het raamwerk werd ontwikkeld door middel van een literatuurstudie en leidde tot de identificatie van 10 elementen en hun onderlinge relaties binnen het bedrijfsmodel. De toepasbaarheid van dit raamwerk werd geïllustreerd door het toe te passen op de Southwest Airlines gevalstudie. Het onderzoek uit hoofdstuk 3 bouwt verder op dit raamwerk aangezien het gericht is op de realisatie van IT support voor de ontwikkeling van bedrijfsmodellen. Hiervoor zijn we nagegaan welke modelleerconstructen, die gebruikt worden bij het opstellen van waardemodellen, geschikt zijn om de elementen binnen het bedrijfsmodel weer te geven. Nadien zijn deze modelleerconstructen gecombineerd tot het nieuwe business model viewpoint binnen VDML. Deze modelleertaal werd recent ontwikkeld door de Object Management Group als een standaard voor het modelleren van de waardecreatie en –uitwisseling door de onderneming. Het VDML business model viewpoint heeft als doel om het begrip van de eindgebruikers over de onderliggende bedrijfsinformatie te vergroten. Dit effect werd nagegaan door het uitvoeren van een experiment, waarvan de statistische resultaten aantonen dat het gebruik van dit nieuwe model een significante en positieve invloed heeft op het de accuraatheid en de snelheid waarmee eindgebruikers de onderliggende informatie kunnen afleiden. Het laatste deel van het onderzoek (hoofdstuk 4) is gericht op the realiseren van strategische afstemming binnen de bedrijfsarchitectuur. Dit werd verwezenlijkt door de ontwikkeling van een modelleertechniek die gericht is op de creatie van business architecture heat maps. Deze techniek steunt op raamwerken uit Strategisch Management om de relevante elementen binnen de bedrijfsarchitectuur te identificeren. In dit opzicht maken we hier dus ook gebruik van de onderzoeksresultaten uit hoofdstuk 2. De realisatie van de heat maps is gebaseerd op het toevoegen van een kleurencode die zowel de prestatie als het strategisch belang aanduidt van de elementen binnen de bedrijfsarchitectuur. De creatie van deze heat maps wordt ondersteund door een software programma dat ontwikkeld werd via het ADOxx platform. De voorgestelde modelleertechniek werd toegepast en geëvalueerd door middel van drie gevalstudies bij een grootschalig internationaal bedrijf dat software ontwikkelt. De resultaten van deze gevalstudies hadden tot doel om de voorgestelde modelleertechniek verder te verfijnen, waardoor een mooie balans gevonden werd tussen het bijdragen van kennis aan de betrokken onderzoeksdomeinen en het bieden van een oplossing voor een praktisch bedrijfsprobleem

Formal methods adoption in the commercial world

: leaves 122-134There have been numerous studies on formal methods but little utilisation of formal methods in the commercial world. This can be attributed to many factors, such as that few specialists know how to use formal methods. Moreover, the use of mathematical notation leads to the perception that formal methods are difficult. Formal methods can be described as system design methods by which complex computer systems are built using mathematical notation and logic. Formal methods have been used in the software development world since 1940, that is to say, from the earliest stage of computer development. To date, there has been a slow adoption of formal methods, which are mostly used for mission-critical projects in, for example, the military and the aviation industry. Researchers worldwide are conducting studies on formal methods, but the research mostly deals with path planning and control and not the runtime verification of autonomous systems. The main focus of this dissertation is the question of how to increase the pace at which formal methods are adopted in the business or commercial world. As part of this dissertation, a framework was developed to facilitate the use of formal methods in the commercial world. The framework mainly focuses on education, support tools, buy-in and remuneration. The framework was validated using a case study to illustrate its practicality. This dissertation also focuses on different types of formal methods and how they are used, as well as the link between formal methods and other software development techniques. An ERP system specification is presented in both natural language (informal) and formal notation, which demonstrates how a formal specification can be derived from an informal specification using the enhanced established strategy for constructing a Z specification as a guideline. Success stories of companies that are applying formal methods in the commercial world are also presented.School of ComputingM. Sc. (Computing