Publication Details

An iterative software process management using Petri nets

KVĚTOŇOVÁ, Š.; KRESLÍKOVÁ, J. An iterative software process management using Petri nets. Proceedings of the 16th International Conference on Systems Science. Wroclaw: Wroclaw University of Technology, 2007. p. 334-341. ISBN: 978-83-7493-340-7.
Czech title
Iterativní řízení softwarového procesu s využitím Petriho sítí
Type
conference paper
Language
English
Authors
Květoňová Šárka, Ing., Ph.D. (DIFS)
Kreslíková Jitka, doc. RNDr., CSc. (DIFS)
Keywords

Iterative life cycle, Petri nets, MDA, Spiral model, RUP, DSDM 

Abstract

The main purpose of this submission is to introduce an iterative approach to software process modelling by Petri Nets. It is the basic idea how we can use the iterative life cycle of software development process to a process oriented model creation. Then, this model is used for furter work related to implementation and verification of a system. We assume, too, that our approach should improve security of software development through decreasing the number of faults. Especially through the automated control of the whole software development process by a Petri net verification tool.

Annotation

This submission presents a new approach to processes modelling of software project management. It describes how we can use the iterative and incremental software development life cycle in association with Petri nets technique. Firstly, the model of a software process is created and than every activity of this software process is mapped into a Petri net, where it can be verified by the concrete verification tool. 

Published
2007
Pages
334–341
Proceedings
Proceedings of the 16th International Conference on Systems Science
ISBN
978-83-7493-340-7
Publisher
Wroclaw University of Technology
Place
Wroclaw
BibTeX 
@inproceedings{BUT28594,
  author="Šárka {Květoňová} and Jitka {Kreslíková}",
  title="An iterative software process management using Petri nets",
  booktitle="Proceedings of the  16th International Conference on Systems Science",
  year="2007",
  pages="334--341",
  publisher="Wroclaw University of Technology",
  address="Wroclaw",
  isbn="978-83-7493-340-7"
}
Back to top