SDL '95 with MSC in CASE
R. Braek, Amardeo Sarma
Newnes, Dec 2, 2012 - Computers - 412 pages
Message Sequence Charts (MSC) have had an unanticipated success, both with SDL, on its own and in conjunction with other methods and tools. Major tool vendors now offer both SDL and MSC in their tool set. This timely volume reports on the recent developments in this expanding field. Several papers deal with language issues, tools and methods for effective use of MSC. Advances in "SDL technology" are discussed, and several papers deal with the early stages of product development and how SDL may be complemented by other methods, such as OMT, to improve problem understanding and make better SDL designs. New developments in the areas of tools for verification, validation and testing are also included, together with a large number of papers on applications.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract algorithm application architecture attribute automatically basic behaviour block type BMSC Braek CCITT communication components Computer concepts constraints corresponding data type deﬁned deﬁnition described dynamic entities environment error EWSD example execution express ﬁeld Figure ﬁrst ﬂow functions GDMO GEODE graph graphical hierarchical identiﬁer implementation inheritance input interaction interface introduced ISDN ITU-T language machine mapping Message Sequence Charts method methodology model checking multiset NEXTSTATE notation object oriented Occam operation Overview parameters phase PLEX possible process instance process type proﬁle properties protocol queue reference remote procedure SDL description SDL diagrams SDL model SDL process SDL speciﬁcation SDL system SDL/PR semantics signal simulation SINTEF SISU specification structure symbol syntax requirements techniques telecommunication template test case speciﬁcation transformed transition translation transputer TTCN veriﬁcation Verilog