Capturing overlapping, triggered, and preemptive collaborations using MSCs

Abstract

Message Sequence Charts (MSCs) and related notations have found wide acceptance for scenario-oriented behavior specifications. However, MSCs lack adequate support for important aspects of interaction modeling, including overlapping interactions, progress/liveness specifications, and preemption. Such support is needed particularly in the context of service-oriented specifications both in the business information and embedded systems domain. In this text, we introduce extensions to the "standard" MSC notation addressing these deficits, and provide a semantic foundation for these extensions. © Springer-Verlag Berlin Heidelberg 2003.