Abstract
In this paper we introduce an approach to computer-aided verification of software process model properties. This approach uses a net-based software process modeling language called FUNSOFT nets. FUNSOFT nets are highlevel Petri nets which are adapted to the application domain of software process modeling. In this paper we focus on the verification of static and dynamic software process model properties. We define some software process model properties and introduce the notion of coverability trees for FUNSOFT nets. Moreover, we discuss how a verification component for FUNSOFT nets is integrated into the software process management environment MELMAC.
The work described here was done while both authors were supported by the chair for software technology at the University of Dortmund.
Chapter PDF
References
R. Adomeit, W. Deiters, B. Holtkamp, F. Schülke, and H. Weber. K/2RA Kernel for the ESF Software Factory Support Environment. In Proceedings of the 2nd International Conference on System Integration, Morristown, New Jersey, June 1992.
S. Bandinelli, A. Fugetta, and C. Ghezzi. Software Processes as Real-Time Systems: A Case Study Using High-Level Petri Nets. In A. Fugetta, R. Conradi, and V. Ambriola, editors, Proceedings of the European Software Process Modeling Workshop, Milan, Italy, May 1991. AICA Press.
B.W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE Computer, 21(5):61–72, May 1988.
V.R. Basili and H.D. Rombach. Tailoring The Software Process To Project Goals and Environments. In Proceedings of the 9th International Conference on Software Engineering, Monterey, California, April 1987.
A. Broeckers. Ein Verifikationswerkzeug für FUNSOFT Netze (in German). 1991. Diplomarbeit, University of Dortmund.
J.-C. Derniame, editor. Proceedings of the 2 nd European Workshop on Software Process Modelling, Trondheim, Norway, September 1992. Springer. Appeared as Lecture Notes in Computer Science 635.
W. Deiters and V. Gruhn. Managing Software Processes in MELMAC. In Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments, pages 193–205, Irvine, California, USA, December 1990. Appeared as ACM Software Engineering Notes, 15(6), December 1990.
W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991.
M. Dowson, editor. Iteration in the Software Process-Proceedings of the 3rd International Software Process Workshop, Beckenridge, Colorado, USA, November 1986.
M. Dowson, editor. “Manufacturing Complex Systems” Proceedings of the 1st International Software Process Conference, Redondo Beach, California, USA, October 1991.
W. Emmerich and V. Gruhn. FUNSOFT Nets: A Petri-Net based Software Process Modeling Language. In Proc. of the 6th International Workshop on Software Specification and Design, Como, Italy, September 1991.
A. Fugetta, editor. Proceedings of the 1 st European Workshop on Software Process Modelling, Milan, Italy, May 1991. AICA Press.
H.J. Genrich. Predicate/TransitionNets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to other Models of Concurrency, Berlin, FRG, 1987. Springer. Appeared in Lecture Notes on Computer Science 254.
V. Gruhn and R. Jegelka. An Evaluation of FUNSOFT Nets. In J.-C. Derniame, editor, Software Process Technology — Proceedings of the 2 nd European Software Process Modeling Workshop, pages 194–214, Trondheim, Norway, September 1992. Springer. Appeared as Lecture Notes in Computer Science 635.
V. Gruhn. Software Process Simulation in MELMAC. Systems Analysis-Modelling-Simulation.
V. Gruhn. The Software Process Management Environment MELMAC. In A. Fugetta, R. Conradi, and V. Ambriola, editors, Proceedings of the European Software Process Modeling Workshop, Milan, Italy, May 1991. AICA Press.
V. Gruhn. Validation and Verification of Software Process Models. PhD thesis, University Dortmund, June 1991. Appeared as Technical Report No. 394/91.
V. Gruhn. Software Process Simulation on Arbitrary Levels of Abstraction. In A. Sydow, editor, Computational Systems Analysis 1992, pages 439–444, Amsterdam, The Netherlands, 1992. Elsevier.
V. Gruhn and A. Saalmann. Software Process Validation Based on FUNSOFT Nets. In J.-C. Derniame, editor, Software Process Technology — Proceedings of the 2 nd European Software Process Modeling Workshop, pages 223–226, Trondheim, Norway, September 1992. Springer. Appeared as Lecture Notes in Computer Science 635.
D. Heimbigner. The Process Modeling Example Problem and its Solutions. In Proceedings of the First International Conference on the Software Process, Redondo Beach, California, USA, October 1991.
P. Huber, A.M. Jensen, L.O.Jepsen,and K. Jensen. Reachability Trees for High-Level Petri Nets. Theoretical Computer Science, (45), 1986.
P. Huber, K. Jensen, and R.M. Shapiro. Hierarchies in Coloured Petri Nets. In Proc. of the 10th Int. Conf. on Application and Theory of Petri Nets, Bonn, FRG, 1989.
W.S. Humphrey. Managing the Software Process. SEI Series in Software Engineering. Addison-Wesley, 1989.
R. Jegelka. Evaluierung der Software-Prozeβmodellierungs-Sprache FUNSOFTNetze und der Software-Prozeβmanagement-Umgebung MELMAC (in German). 1991. Diplomarbeit, University of Dortmund.
K. Jensen. High-level Petri nets. Informatik Fachberichte, (66), 1983.
K. Jensen. Coloured Petri Nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to other Models of Concurrency, Berlin, FRG, 1987. Springer. Appeared as Lecture Notes on Computer Science 254.
T. Katayama, editor. Proceedings of the 6th International Software Process Workshop, Hakodate, Japan, October 1990.
M.I. Kellner. Representation Formalisms for Software Process Modelling. In Proceedings of the 4th International Software Process Workshop, Moretonhampstead, Devon, UK, May 1988.
M.I. Kellner. Software Process Modeling Example. In Proceedings of the 5th International Software Process Workshop, Kennebunkport, Maine, USA, September 1989.
M. Lehman. Process Models, Process Programs, Programming Support-Invited Response To A Keynote Address By Lee Osterweil. In Proceedings of the 9th International Conference on Software Engineering, Monterey, California, 1987.
L. Liu and E. Horowitz. A Formal Model for Software Project Management. IEEE Transactions on Software Engineering, 15(10), October 1989.
C. Lewerentz and A. Schuerr. GRAS — a Management System for Graph — like Documents. In Proc. 3 rd Int. Conf. on Data and Knowledge Bases, Jerusalem, 1988. Morgan Kaufmann Publishers Inc.
Luqi. Software Evolution Through Rapid Prototyping. IEEE Computer, 22(5):13–25, May 1989.
T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), April 1989.
L. Osterweil. Software Processes are Software Too. In Proceedings of the 9th International Conference on Software Engineering, Monterey, California, April 1987.
D.E. Perry, editor. Proceedings of the 7th International Software Process Workshop, Yountville, California, USA, October 1991.
W. Reisig. Petrinetze (in German). Springer, Berlin, FRG, 1986.
W.W. Royce. Managing the development of large software systems: Concepts and techniques. In Proc. WESCON, 1970.
U. Schindler. Projekt Management in Software Prozeβmodellen (in German). 1991. Diplomarbeit, University of Dortmund.
I. Sommerville. Software Engineering. Addison-Wesley, fourth edition, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bröckers, A., Gruhn, V. (1993). Computer-aided verification of software process model properties. In: Rolland, C., Bodart, F., Cauvet, C. (eds) Advanced Information Systems Engineering. CAiSE 1993. Lecture Notes in Computer Science, vol 685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56777-1_28
Download citation
DOI: https://doi.org/10.1007/3-540-56777-1_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56777-6
Online ISBN: 978-3-540-47735-8
eBook Packages: Springer Book Archive