 One of the SIS/DIST Faculty Candidate Colloquium Series |
||
Glenn L. Ray Assistant Professor of IT
“THE ROLE
OF UML STATE MACHINES Tuesday,
March 23, 2004 Abstract: The Unified Modeling Language (UML) is the adopted standard for visualizing OO systems. Although it offers a useful suite of diagrams, it lacks a formal foundation. As a result, UML models are not suitable for rigorous analysis. Furthermore, attempts to develop an executable UML (models that can be compiled into a programming language) require, at a minimum, the formal specification of a UML subset (i.e., kernel). Among UML 2.0 diagrams, this study identifies Protocol State Machines (PSM) as a promising candidate for the kernel. A PSM specifies an object lifecycle in terms of transitions between states. Transitions are fired by the invocation of an allowed operation. Ambiguities in PSMs are identified and semantic clarifications are proposed. PSMs are extended (XPSM) to include a token that marks the object’s current state, enabling visual simulation of systems. The XPSM is formally specified and some examples show their use in OO modeling. | ||
| Attention SIS students: The faculty search committee invites you to come and meet SIS/DIST faculty candidate. The student information session is from 1:30 p.m. - 2:00 p.m. on Tuesday, March 23, 2004 in 5th floor large commons room, IS Building. | ||