Aspect-Oriented Development Using Protocol Modeling

Abstract. The aim of this paper is to explore the modeling of crosscut-ting behavioral abstractions. We argue that behavioral aspects can be seen as a particular kind of more general behavioral abstraction called a “mixin”. Mixins support a compositional style of modeling, whereby a complete class definition is constructed by composing one or more mix-ins each of which represents a partial definition of the class. If used as the replacement for inheritance, mixins can provide an expressive power equivalent to multiple inheritance. In this paper we use a modeling semantics called Protocol Modeling to illustrate how mixins can be used to represent behavioral aspects. We use the Crisis Management System case to illustrate the Protocol Modeling approach, and describe how the model can be executed to give early validation of its behavior. We discuss the extent to which the Protocol Modeling approach is scal-able to large problems, is suitable for evolutionary development and sup-ports correctness analysis and testing.