SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

این جلد شامل مقالات ارائه شده در دوازدهمین انجمن SDL، گریمستاد، نروژ است. انجمن SDL برای اولین بار در سال 1982 برگزار شد و سپس از سال 1985 هر دو سال یکبار برگزار شد. در ابتدا انجمن فقط به مشخصات و زبان توصیف مربوط می شد که برای اولین بار در کتاب نارنجی اتحادیه بین المللی مخابرات در سال 1976 استاندارد شده بود. ITU). از آن زمان، تحولات زیادی رخ داده و زبان دستخوش تغییرات متعددی شده است. با این حال، پارادایم زیربنایی اصلی باقی مانده است، و دلیل موفقیت Speci?cation و زبان توصیف در بسیاری از پروژه ها است. این پارادایم بر اساس اصول مهم کاربردهای توزیع شده زیر استوار است: ارتباطات: سیستم های بزرگ تمایل دارند با استفاده از قطعات کوچکتر که با یکدیگر ارتباط برقرار می کنند توصیف شوند. حالت: سیستم ها بر اساس یک مفهوم صریح از حالت توصیف می شوند. تغییر حالت: رفتار سیستم بر حسب تغییرات (محلی) وضعیت توصیف می شود. زبان اصلی تنها نماینده این نوع پارادایم نیست، بنابراین دامنه انجمن SDL خیلی زود پس از اولین رویداد گسترش یافت تا سایر زبان‌های استاندارد ITU از همان خانواده، مانند MSC، ASN.1 را نیز شامل شود. و TTCN. این منجر به دامنه فعلی زبان‌های طراحی سیستم شد که تمام مراحل فرآیند توسعه شامل SDL، MSC، UML، ASN.1، eODL، TTCN و URN خاص را پوشش می‌دهد. تمرکز به وضوح بر روی مزایا برای کاربران است، و چگونه می توان از این زبان ها همان مزیت ارائه شده توسط ITU Speci?cation و Language Description: تولید کد از مشخصات سطح بالا را از این زبان ها دریافت کرد.

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.