Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A Petri Net based tool kit to integrate qualitative and quantitative analysis

 
: Wikarski, D.; Heiner, M.; Ventre, G.

Gorton, I.; Gray, J.; Jelly, I.:
WTC '93. World Transputer Congress. Proceedings
Aachen, 1993
Workshop on Software Engineering for Parallel Systems <1993, Aachen>
English
Conference Paper
Fraunhofer ISST ()
dependability; formal method; monitoring; parallel software engineering; performance evaluation; petri net; process oriented imperative; software validation; static analysis; testing

Abstract
An innovative net-based method to integrate qualitative and quantitative analysis of distributed software systems is outlined, and an on-going prototype implementation of a related graphic-oriented tool kit is sketched. The proposed method combines qualitative analysis, testing and monitoring as well as quantitative analysis on the basis of a netbased intermediate representation of the distributed software system under consideration. All transformations (from the distributed software system into a first Petri net model, and between the different kinds of net models) can be done formally, and therefore be automated to a high degree.

: http://publica.fraunhofer.de/documents/PX-28302.html