loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
31st IEEE Software Engineering Workshop (SEW 2007)
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
Columbia, MD, USA
March 06-March 08
ISBN: 0-7695-2862-7
ASCII Text
x 
 
Zo? Stephenson, John McDermid, "Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 53-62, 31st IEEE Software Engineering Workshop (SEW 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2007.112,
author = {Zo? Stephenson and John McDermid},
title = {Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2007},
issn = {1550-6215},
pages = {53-62},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.112},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
SN - 1550-6215
SP53
EP62
A1 - Zo? Stephenson,
A1 - John McDermid,
PY - 2007
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
When developing a new domain-specific architectural style, there can be uncertainty about the feasibility of us- ing that style. In particular, the HADES architectural style contains refactoring patterns intended to remove undesir- able scheduling features such as deadlock and livelock, but these patterns have not yet been fully validated. We report on the translation between the HADES structure and the in- put languages for two popular model checkers (SPIN and NuSMV) to help validate these patterns. We found model checking to be a valuable asset in confirming the presence of undesirable features.
Citation:
Zo? Stephenson, John McDermid, "Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns," sew, pp.53-62, 31st IEEE Software Engineering Workshop (SEW 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.