The Community for Technology Leaders
RSS Icon
Subscribe
Paris, France France
July 18, 2012 to July 20, 2012
ISBN: 978-1-4673-2156-3
pp: 86-95
ABSTRACT
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, 2012, Engineering of Complex Computer Systems, IEEE International Conference on, Engineering of Complex Computer Systems, IEEE International Conference on 2012, pp. 86-95, doi:10.1109/ICECCS.2012.37
39 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool