Department Seminar - by Dr. Robert France (Colorado State University)
Updated on Tue, 02/16/2010 - 12:16pm
- Details
-
Scenario-based Analysis of UML Class Models
Speaker: Dr. Robert France
When: Mon, 02/22/2010 - 11:00am - 12:15pm
Room: CH 445
- Abstract
-
Static analysis tools, such as OCLE (Object Constraint Language Environment) and USE (UML-based Specification Environment), can be used to analyze structural properties of class models. The USE tool also provides support for analyzing specified operations through interactive simulations in which users provide operation parameters, and manually assign values to state elements to reflect the effect of an operation. In this talk I describe an approach to statically analyzing behavior specified in UML class models that does not require a user to manually simulate behavior. The approach involves transforming a class model into a static model of behavior, called a Snapshot Model. This allows modelers to use tools such as USE to check whether a scenario that describes a particular behavior is allowed by the operation specifications in a class model.
- Biography
-
Dr. Robert France is a Full Professor in the Department of Computer Science at Colorado State University. His research interests are in the area of Software Engineering, in particular formal specification techniques, software modeling techniques, design patterns, and domain-specific modeling languages. He is an editor-in-chief of the Springer journal on Software and System Modeling (SoSyM), a Software Area Editor for IEEE Computer, and is a past Steering Committee Chair of the MoDELS/UML conference series. He was also a member of the revision task forces for the UML 1.x standards. He was awarded the Ten Year Most Influential Paper award at MODELS in 2008.
|
|
