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 language | English |
---|---|
Pages (from-to) | 493-514 |
Number of pages | 22 |
Journal | Information and Software Technology |
Volume | 49 |
Issue number | 5 |
DOIs | |
Publication status | Published - May 2007 |
Externally published | Yes |
Keywords
- Model verification
- PML
- Process modeling
- Static analysis