REQUIREMENTS ENGINEERING AT A GLANCE: COMPARING GORE AND UML METHODS IN THE DESIGN OF AUTOMATED SYSTEMS

JAVIER M. SILVA; JOSÉ  REINALDO SILVA; ARIANNA ZOILA OLIVEIRA SALMON; PEDRO  MANUEL GONZÁLEZ DEL FOYO

doi:10.20906/CBA2022/513

JAVIER M. SILVA Universidade de São Paulo
JOSÉ REINALDO SILVA UNIVERSIDADE DE SÃO PAULO
ARIANNA ZOILA OLIVEIRA SALMON Universidade de Pernambuco
PEDRO MANUEL GONZÁLEZ DEL FOYO Universidade Federal de Pernambuco

DOI: https://doi.org/10.20906/CBA2022/513

Keywords: Petri net, Requirements Engineering, Intelligent automated planning, GORE, KAOS, UML

Abstract

The early phase of Requirements Engineering is crucial to design intelligent automated systems,
especially if an analytic formal solutions are not achieved. In such cases Requirement analysis is not feasible
and the design process will be more suitable do re-work. Planning and scheduling problems can be approached
with Articial Intelligence (AI) and constitute an important area of machine intelligence - together with machine
learning. Therefore, it will be an important result to propose good design practices to solve planning problems,
also giving special attention to the early requirements phase. Specically, it would look for a method that lead
to formal methods of requirements analysis using Petri Nets (which is also used to direct solutions that do not
use AI). In this work it is compared two direct approaches to requirements engineering: A semi-formal modeling using Unied Modeling Language (UML) that transform the diagrams to Petri Nets to perform analysis, and another approach that uses Goal-Oriented Requirement Engineering (GORE) method, represented by KAOS diagrams that could also be converted to Petri Nets. The possibility to use a unied Petri Net environment and introduce some extensions such as hierarchy is also envisaged.