Title: Required Behavior of Sequence Diagrams: Semantics and Refinement
Presenter: Dr. Lunjin Lu
                Department of Computer Science and Engineering Oakland University, USA
Time: 10:00AM July 28, 2011
Location: Room 109, MMW Building

Abstract:

Sequence diagrams are a widely used design notation for describing software behavior. Many reusable software artifacts such as design patterns and design aspects make use of sequence diagrams to describe interaction behavior. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence diagrams for the application correctly refines the corresponding sequence diagrams for the pattern or aspect. However, reasoning about refinement of sequence diagrams has not been addressed adequately. In this paper, we focus on refinement of required behavior specified by a UML sequence diagram, A novel trace semantics is given that captures precisely required behavior specified by a sequence diagram and a refinement relation between sequence diagrams is formalized based on the semantics. Properties of the trace semantics and the refinement relation are studied.

Introduction

Dr. Lunjin Lu is an associate professor with Oakland University. With a Ph.D. in Computer Science from the University of Birmingham, U.K., he worked as a postdoctoral research fellow at Ecole Polytechnique (Paris), Ben-Gurion University (Israel) and The University of Waikato (New Zealand), His work has focused mainly on semantic based program analysis; logic programming; and UML models. His current research includes formal aspects of UML models, logic program analysis and analysis of Web plug-ins. His research has been supported by an NSF CAREER award and an NSF INT grant.