loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)
Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency
Santorini Island, Greece
May 07-May 09
ISBN: 0-7695-2765-5
ASCII Text
x 
 
Abdelouahed Gherbi, Ferhat Khendek, "Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 412-419, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ISORC.2007.57,
author = {Abdelouahed Gherbi and Ferhat Khendek},
title = {Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {2007},
isbn = {0-7695-2765-5},
pages = {412-419},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2007.57},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency
SN - 0-7695-2765-5
SP412
EP419
A1 - Abdelouahed Gherbi,
A1 - Ferhat Khendek,
PY - 2007
KW - null
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -
 
Abdelouahed Gherbi, Concordia University, Canada
Ferhat Khendek, Concordia University, Canada
UML can be effectively used for the design and analysis of real-time systems. UML profiles for real-time, like the current OMG?s standard UML/SPT, enable the modeling of quantitative requirements such as time constraints as well as behavioral features such as concurrency. Because of the multitude of diagrams and their complexity, UML/SPT models face the challenging issue of consistency. In this paper we look into the behavioral consistency and particularly into concurrency-related properties of UML/SPT models. In order to do so, we formally define the UML/SPT concurrency domain model in terms of timed automata. As a straightforward application of this semantics, UML/SPT concurrent models can be validated using well-established model checking techniques and tools.
Citation:
Abdelouahed Gherbi, Ferhat Khendek, "Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency," isorc, pp.412-419, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.