Tool support for iterative software process modeling

Darren C. Atkinson, Daniel C. Weeks, John Noll

Research output: Contribution to journalArticlepeer-review

Abstract

To formalize a process, its important aspects must be extracted and described in a model. This model is often written in a formal language so that the process itself can be automated. Since models are often developed iteratively, this language should support this iterative development cycle. However, many existing languages do not. In this paper, we use an existing high-level process modeling language and present a tool that we have developed for supporting iterative development. We have used our tool to develop and refine a process model of distributed software development for NetBeans.

Original languageEnglish
Pages (from-to)493-514
Number of pages22
JournalInformation and Software Technology
Volume49
Issue number5
DOIs
Publication statusPublished - May 2007
Externally publishedYes

Keywords

  • Model verification
  • PML
  • Process modeling
  • Static analysis

Fingerprint

Dive into the research topics of 'Tool support for iterative software process modeling'. Together they form a unique fingerprint.

Cite this