Book Details

SDL 2001: Meeting UML

Publication year: 2001

ISBN: 978-3-540-48213-0

Internet Resource: Please Login to download book


This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi?cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni?ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation.


Subject: Computer Science, Description Languages, Message Sequence Chart, Modeling, OSPF, Process-Communication Languages, Requirements Analysis, SDL, State-Transition Languages, Systems Design, Unified Modeling Language (UML), algorithm, communication, model checking, semantics, verification