Broadcast MSCs

Authors:
I. Krüger;W. Prenninger;R. Sandner
Affiliations:
University of California at San Diego, Department of Computer Science & Engineering, CA 92093-0114, La Jolla, USA;Technische Universität München, Institut für Informatik, Boltzmannstraße 3, 85748, Garching, Germany;Technische Universität München, Institut für Informatik, Boltzmannstraße 3, 85748, Garching, Germany
Venue:
Formal Aspects of Computing
Year:
2004

Citing 0
Cited 3

Symbolic message sequence charts

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Symbolic Message Sequence Charts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Distributed real-time behavioral requirements modeling using extended UML/SPT

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Quantified Score

Hi-index	0.00

Visualization

Abstract

Message sequence charts (MSCs) have proven to be a useful modeling technique especially within the requirements analysis phase of software development. MSCs, however, do not support the concept of broadcast communication, which is frequently used in technical applications. In this paper, we present an extension to MSCs for the modeling of broadcast interaction scenarios. Based on the mathematical framework of timed streams we also introduce a semantics for broadcast MSCs. We thoroughly discuss methodological benefits and semantic properties of this approach, consider alternative solutions, and address its scaleability with respect to complex real-time systems applications.