Synchronous sequence charts in action

Abstract

We identify a number of styles for using Interworkings (synchronous sequence charts), together with their roles in the context of the OSI reference model. We employ the well-known ABP (alternating bit protocol) to see how Interworkings can and cannot be used. This experiment shows that the charts are attractive from an intuitive point of view, but when used in their purest form, lack sufficient expressive power. Some of the distinctions in style can be interpreted as distinct approaches to adding expressive power.