Advertisement

Computer-aided verification of software process model properties

  • Alfred Bröckers
  • Volker Gruhn
Animation and Verification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 685)

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.

Keywords

software process model verification FUNSOFT nets static and dynamic software process model properties coverability trees MELMAC 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ADH+92]
    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.Google Scholar
  2. [BFG91]
    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.Google Scholar
  3. [Boe88]
    B.W. Boehm. A Spiral Model of Software Development and Enhancement. IEEE Computer, 21(5):61–72, May 1988.Google Scholar
  4. [BR87]
    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.Google Scholar
  5. [Bro91]
    A. Broeckers. Ein Verifikationswerkzeug für FUNSOFT Netze (in German). 1991. Diplomarbeit, University of Dortmund.Google Scholar
  6. [Der92]
    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.Google Scholar
  7. [DG90]
    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.Google Scholar
  8. [DG91]
    W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modeling and Simulation, (8), May 1991.Google Scholar
  9. [Dow86]
    M. Dowson, editor. Iteration in the Software Process-Proceedings of the 3rd International Software Process Workshop, Beckenridge, Colorado, USA, November 1986.Google Scholar
  10. [Dow91]
    M. Dowson, editor. “Manufacturing Complex Systems” Proceedings of the 1st International Software Process Conference, Redondo Beach, California, USA, October 1991.Google Scholar
  11. [EG91]
    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.Google Scholar
  12. [Fug91]
    A. Fugetta, editor. Proceedings of the 1 st European Workshop on Software Process Modelling, Milan, Italy, May 1991. AICA Press.Google Scholar
  13. [Gen87]
    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.Google Scholar
  14. [GJ92]
    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.Google Scholar
  15. [Gru]
    V. Gruhn. Software Process Simulation in MELMAC. Systems Analysis-Modelling-Simulation.Google Scholar
  16. [Gru91a]
    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.Google Scholar
  17. [Gru91b]
    V. Gruhn. Validation and Verification of Software Process Models. PhD thesis, University Dortmund, June 1991. Appeared as Technical Report No. 394/91.Google Scholar
  18. [Gru92]
    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.Google Scholar
  19. [GS92]
    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.Google Scholar
  20. [Hei91]
    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.Google Scholar
  21. [HJJJ86]
    P. Huber, A.M. Jensen, L.O.Jepsen,and K. Jensen. Reachability Trees for High-Level Petri Nets. Theoretical Computer Science, (45), 1986.Google Scholar
  22. [HJS89]
    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.Google Scholar
  23. [Hum89]
    W.S. Humphrey. Managing the Software Process. SEI Series in Software Engineering. Addison-Wesley, 1989.Google Scholar
  24. [Jeg91]
    R. Jegelka. Evaluierung der Software-Prozeβmodellierungs-Sprache FUNSOFTNetze und der Software-Prozeβmanagement-Umgebung MELMAC (in German). 1991. Diplomarbeit, University of Dortmund.Google Scholar
  25. [Jen83]
    K. Jensen. High-level Petri nets. Informatik Fachberichte, (66), 1983.Google Scholar
  26. [Jen87]
    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.Google Scholar
  27. [Kat90]
    T. Katayama, editor. Proceedings of the 6th International Software Process Workshop, Hakodate, Japan, October 1990.Google Scholar
  28. [Kel88]
    M.I. Kellner. Representation Formalisms for Software Process Modelling. In Proceedings of the 4th International Software Process Workshop, Moretonhampstead, Devon, UK, May 1988.Google Scholar
  29. [Kel89]
    M.I. Kellner. Software Process Modeling Example. In Proceedings of the 5th International Software Process Workshop, Kennebunkport, Maine, USA, September 1989.Google Scholar
  30. [Leh87]
    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.Google Scholar
  31. [LH89]
    L. Liu and E. Horowitz. A Formal Model for Software Project Management. IEEE Transactions on Software Engineering, 15(10), October 1989.Google Scholar
  32. [LS88]
    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.Google Scholar
  33. [Luq89]
    Luqi. Software Evolution Through Rapid Prototyping. IEEE Computer, 22(5):13–25, May 1989.Google Scholar
  34. [Mur89]
    T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), April 1989.Google Scholar
  35. [Ost87]
    L. Osterweil. Software Processes are Software Too. In Proceedings of the 9th International Conference on Software Engineering, Monterey, California, April 1987.Google Scholar
  36. [Per91]
    D.E. Perry, editor. Proceedings of the 7th International Software Process Workshop, Yountville, California, USA, October 1991.Google Scholar
  37. [Rei86]
    W. Reisig. Petrinetze (in German). Springer, Berlin, FRG, 1986.Google Scholar
  38. [Roy70]
    W.W. Royce. Managing the development of large software systems: Concepts and techniques. In Proc. WESCON, 1970.Google Scholar
  39. [Sch91]
    U. Schindler. Projekt Management in Software Prozeβmodellen (in German). 1991. Diplomarbeit, University of Dortmund.Google Scholar
  40. [Som92]
    I. Sommerville. Software Engineering. Addison-Wesley, fourth edition, 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Alfred Bröckers
    • 1
  • Volker Gruhn
    • 2
  1. 1.AG Software EngineeringUniversity of KaiserslauternKaiserslauternGermany
  2. 2.Fraunhofer-Institut für Software und Systemtechnikc/o University of DortmundDortmundGermany

Personalised recommendations