Auckland, New Zealand
July 11, 2007 to July 14, 2007
Lijun Yu , Colorado State University, USA
Robert B. France , Colorado State University, USA
Indrakshi Ray , Colorado State University, USA
Kevin Lano , Kings College, UK
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed using the Unified Modeling Language (UML). Tools such as OCLE and USE support analysis of static structural properties. These tools provide mechanisms for checking instance models against invariant properties expressed using the Object Constraint Language (OCL). In this paper we propose an approach to analyzing behavioral properties of UML models that can utilize static analysis tools. The approach includes a technique for generating a class model of behavior from operation specifications expressed in a restricted form of OCL Behavioral properties are expressed as invariants defined in the class model of behavior. Static analysis tools such as USE and OCLE can be used to check object models describing series of snapshots. Most of the analysis can be automated. We illustrate our approach by analyzing static separation of duty and dynamic separation of duty properties of a hierarchical role-based access control model (HRBAC).
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano, "A light-weight static approach to analyzing UML behavioral properties", ICECCS, 2007, Engineering of Complex Computer Systems, IEEE International Conference on, Engineering of Complex Computer Systems, IEEE International Conference on 2007, pp. 56-63, doi:10.1109/ICECCS.2007.10