DocumentCode
3142348
Title
FUNSOFT nets: a Petri-net based software process modeling language
Author
Emmerich, Wolfgang ; Gruhn, Volker
Author_Institution
Inf. X, Dortmund Univ., Germany
fYear
1991
fDate
25-26 Oct 1991
Firstpage
175
Lastpage
184
Abstract
Introduces an approach to software process modeling and analysis. It is based on describing software processes by FUNSOFT nets. FUNSOFT nets are high level Petri nets which are adapted to the application domain of software process modeling. Their semantics is defined by predicate/transition nets. That enables them to benefit from standard analysis techniques approved for predicate/transition nets
Keywords
Petri nets; formal specification; specification languages; FUNSOFT nets; high level Petri nets; predicate/transition nets; semantics; software process modeling language; Animation; Concurrent computing; Formal languages; Graphics; Measurement standards; Petri nets; Programming; Software performance; Software quality; Software standards;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location
Como
Print_ISBN
0-8186-2320-9
Type
conf
DOI
10.1109/IWSSD.1991.213063
Filename
213063
Link To Document