Sciweavers

ICECCS
2007
IEEE

A light-weight static approach to analyzing UML behavioral properties

14 years 4 months ago
A light-weight static approach to analyzing UML behavioral properties
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 se...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L
Added 03 Jun 2010
Updated 03 Jun 2010
Type Conference
Year 2007
Where ICECCS
Authors Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano
Comments (0)