A plan-based intelligent assistant that supports the software development

Abstract

We describe how an environment can be extended to support the process of software development. Our approach is based on the AI planning paradigm. Processes are formally defined hierarchically via plan operators, using multiple levels of abstraction. Plans are constructed dynamically from the operators; the sequences of actions in plans are tailored to the context of their use. and conflicts among actions are prevented. Monitoring of the development process, to detect and avert process errors, is accomplished by plan recognition; this establishes a context in which programmer-selected goals can be automated via plan generation.We also show how nonmonotonic reasoning can be used to make an independent assessment of the credibility of complex process alternatives, and yet accede to the programmer's superior judgment. This extension to intelligent assistance provides deeper understanding of software processes. Goals are logical expressions composed of the state predicates. A plan is a hierarchical, partial order of operators (with bound

Assistência Inteligente ao Processo de Engenharia de Software

“…Este artigo apresenta a formalização do processo de desenvolvimento do método fusion [COL94] baseada nas técnicas de planejamento propostas por Huff [HUF89).…”

“…No trabalho realizado por Huff [HUF89] foram definidos os aspectos básicos referentes a assistência inteligente ao processo de software. O domlnio de aplicação utilizado por Huff envolveu partes do processo de software restritas às atividades de compilar, ligar e testar uma nova versllo de um sistema.…”

“…Com estas verificações, os problemas encontrados podem ser corrigidos, diminuindo-se a possibilidade de que falhas sejam propagadas no processo. [HUF89] Marvel utiliza uma linguagem chamada MSL (Marvel Strategy Language) para apoiar a descrição de processos. Esta linguagem 6 baseada em id6ias adaptadas das linguagens da inteligência artificial, tais como OPSS e Prolog.…”

“…Em relação ás avaliações apresentadas por Huff [HUF89] podemos acrescentar alguns aspectos críticos inerentes ao domínio de aplicação envolvendo o processo de desenvolvimento do métodofusion. Uma das maiores dificuldades é conciliar as exigências e as limitações de desenvolvedores.…”

Modeling Articulation Work in Software Engineering Processes

“…This section surveys a group of modeling techniques and prototype systems that are representative of state-of-the-art technology. We group these modeling techniques into four categories based the modeling formalisms: Language-based modeling, such as Arcadia [TBC089]; Rule-based modeling, such as Marvel [Kai88]; AI-based modeling, such as Grapple [HL88]; Object-based modeling, such as IPSE 2.5 [War89]; and Evolution-based modeling, such as Prism [MGSO] and TAME [BR88].…”