Eliciting formal models of software engineering processes

  • Authors:

  • Dirk Höltje;Nazim H. Madhavji;Tilmann Bruckhaus;WonKook Hong

  • Affiliations:

  • School of Computer Science, McGill University, 3480 University Street, Montréal, Québec, Canada H3A 2A7;School of Computer Science, McGill University, 3480 University Street, Montréal, Québec, Canada H3A 2A7;School of Computer Science, McGill University, 3480 University Street, Montréal, Québec, Canada H3A 2A7;School of Computer Science, McGill University, 3480 University Street, Montréal, Québec, Canada H3A 2A7

  • Venue:
  • CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract

One of the first steps in improving a process is to understand the process, for example, by building descriptive models of the process. This paper addresses the elicitation of formal process models from real-world projects, using the Elicit method and tool, developed at McGill, and Statemate. In addition, the paper illustrates how formal models can make processes visible and how they can uncover inconsistencies and incompleteness in the understanding and the documentation. The described method and tools have been used in several real-world software projects, and the paper describes some conclusions drawn from this experience. Example process models are shown, and a tool demonstration is included in the CD-ROM that is part of this publication.