Title :
FUNSOFT nets: a Petri-net based software process modeling language
Author :
Emmerich, Wolfgang ; Gruhn, Volker
Author_Institution :
Inf. X, Dortmund Univ., Germany
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;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213063
