Notes on Reference Citations - Version 2.70, by Dr. Herong Yang
A UML/SPT Model Analysis Methodology
'Java Tutorials - Herong's Tutorial Notes' tutorial was cited in a technical report at Carleton University in 2008.
The Java Tutorials - Herong's Tutorial Notes tutorial was cited in a technical report at Carleton University in 2008.
Subject: A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms Date: May, 2008 Author: Marwa Shousha1, Lionel Briand, and Yvan Labiche Source: http://www.springerlink.com/content/x7qu340587g17337/ Abstract - Concurrency problems, such as deadlocks, should be identified early in the design process. This is made increasingly difficult as larger and more complex concurrent systems are being developed. We propose here an approach, based on the analysis of specific models expressed in the Unified Modeling Language (UML) that uses a specifically designed genetic algorithm to detect deadlocks. ... 9 References 1. Holzmann, Gerard J.: The Model Checker SPIN. IEEE Trans. Soft. Eng. Vol. 23, No. 5. (1997). 2. Bacon, J.: Concurrent Systems - Operating Systems, Database and Distributed Systems: An Integrated Approach. Addison-Wesley, 2nd Ed., Harlow (1997). 3. Petriu, D. C.: Performance Analysis with the SPT Profile. Model- Driven Eng. Dist. Embed. Sys., 205-224. (2005). 4. Behrmann, Gerd, David, Alexandre and Larsen, Kim G.: A Tutorial on Uppaal. (2004), http://www.it.uu.se/research/group/darts/papers /texts/new-tutorial.pdf 5. Yang, Herong: Deadlock. Java Tutorials - Herong's Tutorial Notes, version 4.10. (2006), http://www.herongyang.com/java/index.html
Table of Contents