This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Systematic Scenario-Based Analysis of UML Design Class Models
Paris, France France
July 18-July 20
ISBN: 978-1-4673-2156-3
Scenario-based UML Design Analysis (SUDA) is a lightweight technique for analyzing behavior specified in UML design class models. A person (verifier) charged with verifying a design class model developed by an independent group of modelers can use SUDA to analyze the design class model against a set of scenarios manually created by the verifier. In this paper we describe an extension of SUDA that allows a verifier to automatically generate scenarios satisfying criteria defined by the verifier. We illustrate the extended SUDA technique by analyzing a subset of the behavior specified in a Location-aware Role-Base Access Control (LRBAC) class model.
Index Terms:
Unified modeling language,Metals,Analytical models,Access control,Context,Computational modeling,Standards
Citation:
Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun, "Systematic Scenario-Based Analysis of UML Design Class Models," iceccs, pp.86-95, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012
Usage of this product signifies your acceptance of the Terms of Use.