Resumo  A proposta deste estudo experimental controlado e aleatorizado foi analisar a especificação de requisitos funcionais. Avaliaram-se os possíveis impactos do método de notação de modelagem de processo no nível de ambiguidade presente na especificação em linguagem natural. As notações foram utilizadas como instrumento para manifestar as necessidades do usuário quanto ao processo de compra em aplicações de comércio eletrônico - caso de uso típico de sistemas de informação empresarial. A partir de um protótipo de baixa fidelidade, que representa o processo de compra numa loja virtual, 43 estudantes de graduação em ciência da computação foram agrupados de acordo com as notações desempenhadas: grupo controle linguagem natural (GC); grupo experimental máquina de estados finitos (GEMEF); e o grupo experimental notação combinada (GENC), que utilizou anotação manual de papéis semânticos baseados em máquina de estados finitos. Foi utilizado o conceito que trata da ambiguidade como informações inconsistentes que levam a múltiplas interpretações do documento de especificação dos requisitos funcionais. Pela técnica de leitura baseada em teste, associada à utilização da métrica de qualidade apropriada, foi conduzida uma análise de variância de fator único com delineamento completamente casualizado para saber se o método de notação, como fator primário, afeta o nível de ambiguidade. A comparação intergrupo sugere que: a notação combinada é o melhor método para reduzir o nível de ambiguidade da especificação de requisitos; e que a especificação de requisitos expressa em máquina de estados finitos gera o maior o nível de ambiguidade dentre as notações avaliadas. No entanto, estas tendências não são estatisticamente significativas. De forma geral, observou-se que a variável independente, método de notação, não afeta o nível de ambiguidade do processo descrito na especificação de requisitos funcionais.

Abstract  The aim of this controlled and randomized experimental study was to analyze the functional requirement specification. The possible impacts of process modeling notation method in the ambiguity level of natural language specification were evaluated. The notations were used as a tool to express the user's needs about buying process in e-commerce applications - typical Enterprise Information System use case. From a low-fidelity prototype, that represents the purchasing process in a virtual store, 43 undergraduate computer science students were grouped according to the notations performed: natural (Brazilian Portuguese) language control group (CG); finite state machine experimental group (FSMEG); and combined notation experimental group (CNEG) that used manual annotation of semantic roles based on finite state machine. It was used the concept that deals with ambiguity as inconsistent information that leads to multiple interpretations of functional requirement specification document. By a Test-based Reading technique, associated with the use of appropriate quality metric, a one-way analysis of variance (completely randomized design) was conducted to know if notation method, as a primary factor, affects the ambiguity level. The inter-group comparison suggests that: combined notation is the best method to minimize ambiguity levels in requirement specification; and that requirement specification expressed in finite state machine generates the higher ambiguity level among assessed notations. However, these trends are not statistically significant. Generally, it was observed that the independent variable, notation method, does not affect the ambiguity level in the process described in the functional requirement specification.