Systematic Scenario-Based Analysis of UML Design Class Models

Authors:
Lijun Yu;Robert B. France;Indrakshi Ray;Wuliang Sun
Affiliations:
-;-;-;-
Venue:
ICECCS '12 Proceedings of the 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Year:
2012

Citing 0
Cited 2

Property-testing real-world authorization systems

Proceedings of the 18th ACM symposium on Access control models and technologies
Enforcing spatio-temporal access control in mobile applications

Computing

Quantified Score

Hi-index	0.00

Visualization

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.