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

 About This Book

 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

 edu.uiuc.ncsa.soap.SOAPUtil.java

 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

 JVMSTAT[JSTAT]

 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

 tomcat中配置https

 αρχειο .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

 PDF Printing Version