The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2012)
Paris, France France
July 18, 2012 to July 20, 2012
ISBN: 978-1-4673-2156-3
pp: 86-95
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.
Unified modeling language, Metals, Analytical models, Access control, Context, Computational modeling, Standards

L. Yu, R. B. France, I. Ray and W. Sun, "Systematic Scenario-Based Analysis of UML Design Class Models," 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS), Paris, 2012, pp. 86-95.
184 ms
(Ver 3.3 (11022016))