Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri.

Abstract

Recent works in Planning and Scheduling, lead to a great expectations about how to apply achieved results in real systems. In this scenario, methods, tools and concepts from Knowledge and Requirements Engineering seem to be a key issue for characterizing, understanding and specifying the domain of planning problems. In this case a special attention should be given to the initial stages of the process, where knowledge about the domain is incomplete and there are a few tools to support or partially automate the process, and there is a lack of formal methods for modeling and analysis of requirements in the existing tools. This work proposes the ReKPlan (Requirement Engineering Using KAOS for Planning Problems) which uses KAOS, a goal-oriented method, for modeling requirements. However, the use of KAOS (or another goal-oriented method) don't seem the most appropriate for formal verification of the dynamic behavior of planning systems. The purpose of this work is to combine the use of KAOS with Petri Nets formalism (Rdp)-GHENeSys approach specifically-for modeling and analyzing requirements in the design of planning system. Finally is proposed a model driven engineering mechanism over a design for guiding, until the generation of PDDL instructions as input for planners to solve problems.

Engenharia de controle e automação: estudos fundamentais

“…The Peri Net used here is a Unified model, that is, a mod-eling environment that implements the standard ISO/IEC 15.909 including basic Place/Transitions nets up to High Level nets and some extensions. Some basic elements used in GHENeSys are il-lustrated in tool (Martinez Silva, 2016), which au-tomatically transforms KAOS diagrams into Petri Nets. The obtained Petri Nets is suitable to sim-ulate the proper mode of operation, depending on the reading of the IDE's responsible for collecting the microgrid information.…”

A Catalogue of KAOS Extensions

“…Software requirements catalogue is defined by [8] as a set of requirements patterns that are related in a way that suggests additional requirements. They are generally proposed to allow reuse.…”

De KAOS para SysML na Modelagem de Sistemas Embarcados: Uma Revisão da Literatura

“…Até a fase atual da revisão sistemática, não foram encontrados trabalhos que mencionem o mapeamento de elementos de KAOS para diagramas da SysML. Foram identificados até o momento, alguns trabalhos relacionados [4,8,17,18]. Como trabalhos futuros serão realizadas as etapas de: conclusão da RSL, definição dos modelos de KAOS e diagramas da SysML que serão mapeados e a verificação do mapeamento via rede de Petri.…”

“…Nesse contexto, tem-se a popular abordagem de Engenharia de Requisitos Orientada a Objetivos (do inglês, Goal Oriented Requirements Engineering -GORE) [7]. Em particular, o framework KAOS tem sido foco de alguns trabalhos [8,9] nos últimos anos. Com KAOS pretende-se a construção de um modelo de requisitos que descreve o problema a ser resolvido e as restrições que devem ser superadas quando a solução é implementada [10].…”

“…sobre os objetivos/metas previamente declarados [11]. KAOS envolve uma série de redes semânticas para a modelagem conceitual dos objetivos, hipóteses, agentes, objetos e operações do sistema [8]. A análise se dá por meio de técnicas de refinamento de objetivos/metas, detecção de resolução de conflitos e delegação de responsabilidades a agentes [12].…”