Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo  Home/Search
Context Related
| grid.grid.unina.it/pub/Pap...IST94.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: grid.unina.it/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We discuss the main issues related to the use of the Generalized Stochastic Petri Nets (GSPN) formalism for computer supported concurrent software comprehension and validation. A GSPN-based approach is currently under investigation in the EPOCA Project, based on the integration of the DIStributed C development system with the GreatSPN tool for editing and analysis of GSPN models. 1 Introduction Validation represents a major problem in the development of concurrent software systems. Validating... (Update)
Context of citations to this paper: More
.... Interval Petri Nets and more on incorporation of performance criteria as part of the system development cycle [Balbo 92] Heiner 94] Donatelli 94] Moreover, some situations are wellknown in different kinds of hard real time systems, making worst case analysis unavoidable....
...thus are useful for many practical situations. The analysis tool has also been published [Lindemann94] An application can be found in [Donatelli94] Although SPNs have many advantages, there are several problems. A global must firing rule changes the properties of the nets so...
Cited by: More
Performance Evaluation by Simulation - Hlavacs, Ueberhuber (2001) (Correct)
Worst-case Analysis of Concurrent Systems with Duration.. - Heiner, Popova-Zeugmann (1997) (Correct)
Performance Evaluation for Parallel Systems: A Survey - Hu, Gorton (1997) (Correct)
Active bibliography (related documents): More All
0.8: A Mapping Method for Distributed Heterogeneous Systems - Mazzeo, Mazzocca, Russo.. (Correct)
0.5: Using CSP Languages to Program Parallel Workstation Systems - Mazzeo, Russo, Ventre (Correct)
0.3: Annotated Bibliography on Stochastic Petri Nets - Baccelli, Balbo, Boucherie.. (1994) (Correct)
Similar documents based on text: More All
0.6: Efficient solution of GSPNs using Canonical Matrix Diagrams - Miner (2001) (Correct)
0.4: Compositionality in the GreatSPN tool and its.. - Bernardi, Donatelli.. (2000) (Correct)
0.3: GreatSPN 1.7: GRaphical Editor and Analyzer for.. - Chiola.. (Correct)
Related documents from co-citation: More All
3: Modeling and verification of time dependent systems using time Petri nets (context) - Berthomieu, Diaz - 1991
3: A Petri Net Based Methodology to Integrate Qualitative and Quantitative Analysis - HEINER, VENTRE et al.
3: PROTEUS: A High-Performance Parallel-Architecture Simulator - Brewer, Dellarocas et al. - 1991
BibTeX entry: (Update)
Donatelli, S. et al.: Use of GSPNs for Concurrent Software Validation in EPOCA; Information and Software Technology 36(94)7, 443-448. http://citeseer.ist.psu.edu/donatelli94use.html More
@misc{ donatelli-use,
author = "S. Donatelli",
title = "Use of GSPNs for Concurrent Software Validation in EPOCA; Information and
Software Technology",
text = "Donatelli, S. et al.: Use of GSPNs for Concurrent Software Validation in
EPOCA; Information and Software Technology 36(94)7, 443-448.",
url = "citeseer.ist.psu.edu/donatelli94use.html" }
Citations (may not include all citations):52 Superposed Stochastic Automata: a class of stochastic Petri .. (context) - Donatelli - 1991
34 Safety Analysis Using Petri Nets (context) - Leveson, Stolzy - 1987
26 GreatSPN 1.5 software architecture (context) - Chiola - 1991
22 Detection of Ada Static Deadlocks using Petri Nets Invariant.. (context) - Murata, Shenker et al. - 1989
9 on Software Engineering for Parallel Systems (context) - Jelly, Gorton
4 Using PARSE for Transputer Software Development (context) - Jelly, Gorton et al. - 1993
3 the Computation of Performance Characteristics of Concurrent.. (context) - Balbo, Donatelli et al. - 1993
3 Rapid Prototyping through Communicating Petri Nets (context) - Bucci, Vicario
2 Parallel Software Development in the DISC Programming Enviro.. (context) - Iannello, Mazzeo et al. - 1990
2 Software Architecture of the EPOCA Integrated Environment (context) - Donatelli, Franceschinis et al. - 1994
1 Comparing OCCAM2 Program Placements by a GSPN model (context) - De Cindio, Botti - 1991
1 Methods and Tools for Distributed Software Analysis (context) - Russo - 1993
1 Research Triangle Park (context) - on, Prototyping
1 DISCGreatSPN: an Integrated System for Distributed Software .. (context) - Balbo, Donatelli et al. - 1993
Documents on the same site (http://www.grid.unina.it/publications.html): More
Integrating trace logic and Petri nets specifications - Mazzocca, Russo, Vittorini (1997) (Correct)
A Characterization of Multi-Party Interactive Multimedia.. - Clemens Szyperski (1993) (Correct)
Distributed Advance Reservation of Real-Time Connections - Ferrari, Gupta, Ventre (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC