A UML/SPT model analysis methodology for concurrent systems based on genetic algorithms

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

Volumn 5301 LNCS, Issue , 2008, Pages 475-489

  Shousha, Marwa ^a   Briand, Lionel ^b   Labiche, Yvan ^a  

^a CARLETON UNIVERSITY   (Canada)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Concurrent systems; Deadlocks; Genetic algorithms; MDD; Model analysis; SPT; UML

Indexed keywords

ALGORITHMS; DIESEL ENGINES; GENETIC ALGORITHMS; LINGUISTICS; MODAL ANALYSIS; MODELS; PROCESS ENGINEERING; QUERY LANGUAGES; REAL TIME SYSTEMS;

CONCURRENT SYSTEMS; DEADLOCKS; MDD; MODEL ANALYSIS; SPT; UML;

UNIFIED MODELING LANGUAGE;

EID: 56649121749     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_34     Document Type: Conference Paper

References (21)

1. Holzmann, G.J.: The Model Checker SPIN. IEEE Trans. Soft. Eng. 23(5) (1997)
2. Bacon, J.: Concurrent Systems - Operating Systems, Database and Distributed Systems: An Integrated Approach, 2nd edn. Addison-Wesley, Reading (1997)
3. Petriu, D.C.: Performance Analysis with the SPT Profile. Model-Driven Eng. Dist. Embed. Sys., 205-224 (2005)
4. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal (2004), http://www. it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf
5. Yang, H.: Deadlock. Java Tutorials - Herong's Tutorial Notes, version 4.10 (2006), http://www.herongyang.com/Java/index.html
6. Chinneck, J.W.: Practical Optimization: A Gentle Introduction. Draft (2007), http://www.sce.carleton.ca/facuity/chinneck/po.html
7. Downey, A.B.: The Little Book of Semaphores, 2nd edn. Green Tea Press (2008)
8. Godefroid, P., Khurshid, S.: Exploring Very Large State Spaces Using Genetic Algorithms. Intl. Journal Soft. Tools Tech. Trans. 6(2), 117-127 (2004)
9. Gradara, S., Sontone, A., Villani, M.L.: DELFIN+: An Efficient Deadlock Detection Tool forCCS Processes. J. Comp. System Sci. 72(8), 1397-1412 (2006)
10. Haupt, R.L., Haupt, S.E.: Practical Genetic Algorithms. Wiley-Interscience, Chichester (1998)
11. Edelkamp, S., Lluch-Lafuente, A., Leue, S.: Trail-Directed Model Checking. Proc. Soft. Model Check, Elec. Notes Theoretical Comp. Sci. 55 (2001)
12. OMG: Unified Modeling Language (UML). Version 2.1.2 (2007)
13. Jacob, C: Illustrating Evolutionary Computation with Mathematica. Morgan Kaufmann, San Francisco (2001)
14. Kim, S., Wildman, L., Duke, R.: A UML Approach to the Generation of Test Sequences for JAVA-based Concurrent Systems. In: Proc. Austrl. Soft. Eng. Conf., pp. 100-109 (2005)
15. Kleppe, A., Warmer, J., Bast, W.: MDA Explained - The Model Driven Architecture: Practice and Promise. Addison-Wesley, Boston (2003)
16. Back, T.: Self-Adaptation in Genetic Algorithms. In: Proc. European Conf. Artif. Life, pp. 263-271 (1992)
17. Mahfoud, S.W., Goldberg, D.E.: Parallel Recombinative Simulated Annealing: A Genetic Algorithm. Parallel Comp, 21(1), 1-28 (1995)
18. Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992)
19. OMG: UML Profile for Schedulibility, Performance and Time Specification. Adopted Specification (2005), http : //www. omg.org/docs/ formal/05-01-02 .pdf
20. Shousha, M., Briand, L., Labiche, Y.: A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. Technical Report SCE-07-06 Carleton University (2008)
21. Briand, L., Labiche, Y., Shousha, M.: Using Genetic Algorithms for Early Schedulability Analysis and Stress Testing in Real-Time Systems. Gene. Prog, and Evol. Mach. 7(2), 145-170(2006)