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
5. Yang, Herong: Deadlock. Java Tutorials - Herong's Tutorial Notes,
   version 4.10. (2006), https://www.herongyang.com/java/index.html

Table of Contents

 About This Book

 Reference Citations in 2023

 Reference Citations in 2022

 Reference Citations in 2021

 Reference Citations in 2020

 Reference Citations in 2019

 Reference Citations in 2018

 Reference Citations in 2017

 Reference Citations in 2016

 Reference Citations in 2015

 Reference Citations in 2014

 Reference Citations in 2013

 Reference Citations in 2012

 Reference Citations in 2011

 Reference Citations in 2010

 Reference Citations in 2009

Reference Citations in 2008

 QaTraq Pro API

 Service Oriented Computing for Dynamic Virtual Learning Environments

 Inverted ?

 Migrating files to new computer

 mswsock.dll!WSPStartup +0x102b


 MSSQL binary data

 Correct Character Encoding

 Put icons on bookmarks sidebar folders

 Blob Storage via REST from Java?

 java.lang.OutOfMemoryError: unable to create new native thread

 Obróbka filmów VOB

 ASP Search Function

 SSLHandshakeException unable to find valid certification...

 Using response.setContentType to switch HTML to Word

 Automatic Creation of Different Types of Test Subjects

 ISM 6121 Information Systems Implementation


 Time out bei Aufruf von WebService (php-Script)

 Store and retrieve Chinese characters using Coldfusion MX7 and MySQL5.0

 converting VCD player to DVD player


 αρχειο .pl

 Using ASP.Net c# To add/edit/delete data (ms access)

 regarding JDBC

A UML/SPT Model Analysis Methodology

 Creation d'un nouvel utilisateur sous SQL Server 2000

 No Suitable Driver connecting jdk1.5 with javaDB derby

 Page in Chinese

 Acessar MSAccess com Hibernate

 SiLu – Riktlinjer för spelmotor

 [WebService] come fare?

 JDBC help needed; java.lang.NoClassDefFoundError

 CSV export of tickets has wrong encoding

 MapGuide Manual - Active selections

 Reference Citations in 2007

 Reference Citations in 2006

 Reference Citations in 2005

 Reference Citations in 2004

 Reference Citations in 2003