tlooto
Sign up
Open AccessComputer Science

LSCs: Breathing Life into Message Sequence Charts

W. Damm, D. Harel

1999.2.15FORMAL METHODS IN SYSTEM DESIGN

DOI: 10.1023/a:1011227529550

tlooto Summary

This paper proposes an extension of MSCs, which it is called live sequence charts (or LSCs), since the main extension deals with specifying “liveness”, i.e., things that must occur.

Abstract

Abstract is not available.

Citation format

DAMM, W.; HAREL, D. LSCs: Breathing life into message sequence charts. FORMAL METHODS IN SYSTEM DESIGN, 1999, 19: 45–80.