|
Showing 1 - 4 of
4 matches in All Departments
This volume contains the papers presented at the 12th SDL Forum,
Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then
every two years from 1985. Initially the Forum was concerned only
with the Speci?cation and Description Language that was ?rst
standardized in the 1976 Orange Book of the Inter- tional
Telecommunication Union (ITU). Since then, many developments took
place and the language has undergone several changes. However, the
main underlying paradigm has survived, and it is the reason for the
success of the Speci?cation and Description Language in many
projects. This paradigm is based on the following important
principles of distributed - plications: Communication: large
systems tend to be described using smaller parts that communicate
with each other; State: the systems are described on the basis of
an explicit notion of state; State change: the behavior of the
system is described in terms of (local) changes of the state. The
original language is not the only representative for this kind of
paradigm, so the scope of the SDL Forum was extended quite soon
after the ?rst few events to also include other ITU standardized
languages of the same family, such as MSC, ASN.1 and TTCN. This led
to the current scope of System Design Languages
coveringallstagesofthedevelopmentprocessincludinginparticularSDL,
MSC, UML, ASN.1, eODL, TTCN, and URN. The focus is clearly on the
advantages to users, and how to get from these languages the same
advantage given by the ITU Speci?cation and Description Language:
code generation from high-level speci?cations
This book constitutes the refereed proceedings of the 11th International SDL Forum, SDL 2003, held in Stuttgart, Germany in July 2003. The 23 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on performance, evolution, development, modeling, timing, validation, design, and application. Thus all aspects of systems design and system design languages are addressed.
This book constitutes the refereed proceedings of the 10th International SDL Forum, SDL 2001, held in Copenhagen, Denmark in June 2001.The 26 revised full papers presented were carefully reviewed and selected for presentation. The book offers topical sections on tools, language evolution, combined SDL and UML, unified testing, timing, unified ITU-T languages, SDL applications, MSC, and test and verification.
|
|