Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)
  • search hit 24 of 30
Back to Result List

A Petri net based methodology to integrate qualitative and quantitative analysis

  • 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 softwareAn 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.show moreshow less

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Monika Heiner, Giorgio Ventre, Dietmar Wikarski
Parent Title (English):In: Information & Software Technology Volume 36(994)7, S. 435–441
Document Type:Article
Language:English
Year of Publishing:1994
Date of Publication (online):2012/11/29
Release Date:2012/11/29
Institutes:Fachbereich Wirtschaft
University Bibliography:Hochschulbibliografie
Licence (German):Creative Commons - Namensnennung, Nicht kommerziell, Keine Bearbeitung
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.