Derivation of petri net performance models from UML specifications of communications software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1786, Issue , 2000, Pages 262-276

  King, Peter ^a   Pooley, Rob ^a  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; MODELING LANGUAGES; PETRI NETS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; UNIFIED MODELING LANGUAGE;

COMMUNICATIONS SOFTWARE; INTERNATIONAL WORKSHOPS; PERFORMANCE MEASURE; SOFTWARE DESIGN PROCESS; SOFTWARE PERFORMANCE ENGINEERINGS; STATE CHART DIAGRAMS; STOCHASTIC PETRI NETS; UML SPECIFICATIONS;

SOFTWARE DESIGN;

EID: 84958766361     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46429-8_19     Document Type: Conference Paper

References (21)

1. K. Bartlett, R. Scantlebury, and W. Wilkinson. A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM, 12(5):260-261, 1969.
2. G. Ciardo, J. Muppala, and K. Trivedi. SPNP: Stochastic petri net package. In Proceedings of 3rd International Workshop on Petri Nets and Performance, pages 142-151, Kyoto, Japan, 1989.
3. Martin Fowler with Kendall Scott. UML Distilled. Addison-Wesley, 1997.
4. D. Harel. Statecharts: A visual formalism for complex systems. Science of Com-puter Programming, 8:231-274, 1987.
5. Steven Hargreaves. Simulating UML models. Master's thesis, University of Edinburgh, 1998.
6. H. Hermanns, V. Mertsiotakis, and M. Rettelbach. Performance analysis of distributed systems using TIPP-a case study. In Jane Hillston, Rob Pooley, and Peter King, editors, UKPEW '94, pages 131-144, Edinburgh University, September 1994. UK Performance Engineering Workshop.
7. ITU. ITU-TS Recommendation Z. 120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1996.
8. Carina Kabajunga. Support for the unified modelling language design paradigm. Master's thesis, Computer Science, University of Edinburgh, 1997.
9. Carina Kabajunga and Rob Pooley. Simulating UML sequence diagrams. In Rob Pooley and Nigel Thomas, editors, UK PEW 1998, pages 198-207. UK Performance Engineering Workshop, July 1998.
10. P. Kähkipuro. UML based performance modelling framework for object-oriented distributed systems. In UML '99 | The Unified Modeling Language: Beyond the Standard, 1999.
11. Peter King and Rob Pooley. Using UML to derive stochastic Petri net models. In N. Davies and J. Bradley, editors, UKPEW '99, University of Bristol, July 1999. UK Performance Engineering Workshop.
12. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalised stochastic Petri nets for the performance evaluation of multi-processor systems. ACM Trans. Comp. Systems, C-31(9):913-917, September 1984.
13. Robin Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
14. OMG. http://www. rational.com/uml/documentation.html.
15. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.
16. Rob Pooley. Using uml to derive stochastic process algebra models. In N. Davies and J. Bradley, editors, UKPEW '99, Proceedings of the Fifteenth UK Performance Engineering Workshop, pages 23-33, Bristol, July 1999. UKPEW.
17. Rob Pooley and Peter King. The unified modeling language and performance engineering. IEE Proceedings-Software, 1999.
18. Rob Pooley and Perdita Stevens. Component Based Software Engineering with UML. Addison-Wesley, November 1998.
19. Connie U. Smith and Lloyd G. Williams. Performance engineering evaluation of object oriented systems with SPEFIED. In R. Marie et al., editor, Computer Performance Evaluation-Modelling Techniques and Tools, 9th Int. Conf. on Mod-elling Techniques and Tools for Computer Performance Evaluation, number 1245in LNCS. Springer, 1997. St Malo.
20. G. Waters, P. Linington, D. Akehurst, and A. Symes. Communications software performance prediction. In Demetres Kouvatsos, editor, 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems, pages 38/1-38/9, Ilkley, West Yorkshire, July 1997. BCS Performance Engineering Specialist Group.
21. Lloyd G. Williams and Connie U. Smith. Information requirements for software performance engineering. In H. Beilner and F. Bause, editors, Computer Perfor-mance Evaluation-Modelling Techniques and Tools, 8th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 977 in LNCS, pages 86-101. Springer, 1995. Heidelberg.