@article{HeinerVentreWikarski1994, author = {Heiner, Monika and Ventre, Giorgio and Wikarski, Dietmar}, title = {A Petri net based methodology to integrate qualitative and quantitative analysis}, series = {In: Information \& Software Technology Volume 36(994)7, S. 435-441}, journal = {In: Information \& Software Technology Volume 36(994)7, S. 435-441}, year = {1994}, abstract = {An innovative net-based methodology 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, monitoring and testing as well as quantitative analysis on the basis of a net-based 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 made formally, and therefore automated to a high degree. The evaluation of quantitative properties is based on so-called object nets which are obtained by a property-preserving structural compression and quantitative expansion of the qualitative model. In this way, the frequency and delay attributes necessary to generate quantitative models are provided by the monitoring and testing component.}, language = {en} } @book{WikarskiHeiner1995, author = {Wikarski, Dietmar and Heiner, Monika}, title = {On the application of markovian object nets to integrated qualitative and quantitative software analysis}, series = {ISST-Bericht ; 29}, journal = {ISST-Bericht ; 29}, publisher = {Fraunhofer-Inst. Software- und Systemtechnik}, address = {Berlin}, pages = {33 S.}, year = {1995}, abstract = {In this paper a Petri net based methodology is outlined for an integrated qualitative and quantitative analysis of parallel software systems which is based on different (Petri) net representations of die software system under consideration. The software validation methodology starts from the source text of a set of communicating processes which specify the system under development. From this source text skeleton, a Petri net representation of the general control structure of the system is generated. On this basis a set of reduction steps is defined for transforming the net into different intermediate representations all owing the validation of both qualitative and qualitative properties. Particular attention is paid to the validation of quantitative properties which is performed using a transformation into locally Markovian Object Nets (MONs). Models of this new class of modular Petri nets are obtained by property-preserving structural compression and by enhancement with quantitative i nformation This information is obtained in the form of frequency and delay parameters by monitoring testing the software on the basis of prototypes. Compared to a previous paper on the same topic /Heiner94/ the methodology as well presentation have been improved. In particular, a new, more comprehensive running example been selected and the object net approach is explained in much more detail.}, language = {en} } @book{HeinerWikarski1994, author = {Heiner, Monika and Wikarski, Dietmar}, title = {An approach to Petri net based integration of qualitative and quantitative analysis of parallel systems}, publisher = {Techn. Univ., Fak. f{\"u}r Mathematik, Naturwiss. und Informatik}, address = {Cottbus}, pages = {32 S.}, year = {1994}, abstract = {An innovative net-based methodology 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, monitoring and testing as well as quantitative analysis on the basis of a net-based 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 made formally, and therefore automated to a high degree. The evaluation of quantitative properties is based on so-called object nets which are obtained by a property-preserving structural compression and quantitative expansion of the qualitative model. In this way, the frequency and delay attributes necessary to generate quantitative models are provided by the monitoring and testing component.}, language = {en} }