@inproceedings{c2ce2903732b42c5b657c689a967cc52,
title = "A UML/SPT model analysis methodology for concurrent systems based on genetic algorithms",
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. Our main motivations are (1) to devise practical solutions that are applicable in the context of UML design without requiring additional modeling and (2) to achieve scalable automation. All relevant concurrency information is extracted from systems' UML models that comply with the UML Schedulability, Performance and Time profile, a standardized specialization of UML for real-time, concurrent systems. Our genetic algorithm is then used to search for execution sequences exhibiting deadlocks. Results on three case studies show that our approach can achieve efficient results.",
keywords = "Concurrent systems, Deadlocks, Genetic algorithms, MDD, Model analysis, SPT, UML",
author = "Marwa Shousha and Lionel Briand and Yvan Labiche",
year = "2008",
doi = "10.1007/978-3-540-87875-9_34",
language = "English",
isbn = "3540878742",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "475--489",
booktitle = "Model Driven Engineering Languages and Systems - 11th International Conference, MoDELS 2008, Proceedings",
note = "11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008 ; Conference date: 28-09-2008 Through 03-10-2008",
}