Funsoft nets: A petri-net based software process modeling language

IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

Volumn , Issue , 1991, Pages 175-184

  Emmcrich, Wolfgang ^a   Gruhn, Volker ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Funsoft nets; Semantics definition in terms of pr t nets; Software process modeling

Indexed keywords

APPLICATION PROGRAMS; PETRI NETS; PROCESS ENGINEERING; SEMANTICS; SPECIFICATIONS;

FUNSOFT NETS; HIGH-LEVEL PETRI NETS; PR/T NET; PREDICATE/TRANSITION NET; SOFTWARE PROCESS; SOFTWARE PROCESS MODELING; STANDARD ANALYSIS;

MODELING LANGUAGES;

EID: 85002283617     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1991.213063     Document Type: Conference Paper

References (17)

1. A. Broeckers. Ein Verifikationswerkzeug fur FUNSOFT Netze (in German). 1991. Diplomar- beit, University of Dortmund.
2. W. Deiters and V. Gruhn. Managing Software Processes in MELMAC. In Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments, Irvine, California, USA, December 1990. Appeared as Software Engineering Notes, 15(6), December 1990.
3. M. Dowson, editor. "Iteration in the Software Process" Proceedings of the 3rd International Software Process Workshop, Beckenridge, Colorado, USA, November 1986.
4. H.J. Genrich. Predicate/Transition 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 in Lecture Notes on Computer Science 254.
5. V. Gruhn. Analysis of Software Process Models in the Software Process Management Environment MELMAC. In Proceedings of the fifth Software Engineering Environments Workshop, Aberystwyth, Wales, UK, March 1991.
6. V. Gruhn. Validation and Verification of Software Process Models. PhD thesis, University Dortmund, June 1991.
7. V. Gruhn. Validation and Verification of Software Process Models. In A. Endres and H. We-ber, editors, Proceedings of the European Symposium on Software Development Environments and CASE Technology, Konigswinter, FRG, Berlin, FRG, June 1991. Springer. Appeared as Lecture Notes in Computer Science 509.
8. P. Huber, K. Jensen, and R.M. Shapiro. Hierarchies in Coloured Petri Nets. In Proc. of the 10'A Int. Conf. on Application and Theory of Petri Nets, Bonn, FRG, 1989.
9. R. Jegelka. Evaluierung der Software- Prozefimodellierungs-Sprache FUNSOFT-Netze und der Software-Prozefimanagement-Umgebung MELMAC (in German). 1991. Diplomarbeit, University of Dortmund.
10. M.I. Kellner. Representation Formalisms for Software Process Modelling. In Proceedings of the 4th International Software Process Workshop, Moretonhampstead, Devon, UK, May 1988.
11. L. Liu and E. Horowitz. A Formal Model for Software Project Management. IEEE Transactions on Software Engineering, 15(10), October 1989.
12. PSI GmbH, Berlin, FRG. NED Release 2.0, 1987.
13. C. Ramchandani. Analysis of asynchronous concurrent systems by timed Petri Nets. PhD the-sis, Massachusettes Institute of Technology, Cambridge, Massachusetts, USA, 1974.
14. W. Reisig. Petrinetze (in German). Springer, Berlin, FRG, 1986.
15. A. Saalmann. Ein Validations- und Post- Evaluationswerkzeug fur FUNSOFT-Netze (in German). 1991. Diplomarbeit, University of Dortmund.
16. E. Smith and W. Reisig. The Semantics of a Net is a Net. In Concurrency and Nets, Berlin, FRG, 1987. Springer.
17. P. Starke. On the mutual simulatability of different types of Petri nets. In Concurrency and Nets, Berlin, FRG, 1987. Springer.