دانلود مقاله آشنایی با زبان توصیف SDL درستی یابی سیستم‌های واکنشی در 9 صفحه قابل ویرایش

زبان SDLبه طور عمده در صنعت مخابرات شناخته شده است اما کاربردهای وسیع‌تری هم دارد. این زبان در توصیف سیستم‌های Real-time، سیستم‌های Interactive و سیستم‌های توزیع شده می‌تواند بکار رود.SDL توانایی توصیف رفتار سیستم و ساختار سلسله مراتبی آن را داراست. همچنین گسترۀ کاربرد آن صرفاً محدود به توصیف اولیه یک سیستم نبوده و قادر به ارائۀ جزئیات سیستم‌ها تا مراحل مربوط به پیاده سازی می‌باشد. [1]

SDL برای توصیف رفتار سیستم‌ها در جاهایی که با محیط اطراف تعامل دارند طراحی شده است. همچنین می‌تواند ساختار داخلی سیستم مذبور را نمایش دهد.ابزارهای تجاری SDL توسط Telelogic ایجاد شده‌اند و شامل دو ابزار ObjectGeode و Tau SLD Toolمی‌باشند. [1]

در SDL تعریف سیستم به صورت تعریف بلوک‌ها و تعریف فرآیندهای درون بلوک‌ها انجام می‌شود. رفتار سیستم متشکل از رفتار ترکیبی فرآیندهای درون آن است. ارتباط بین فرآیندها به صورت آسنکرون و از طریق پیام‌های گسسته موسوم به سیگنال‌ها انجام می‌پذیرد. هر فرآیند دارای یک شناسه است. یک سیگنال همواره شناسۀ فرآیند ارسال کنندۀ سیگنال و شناسۀ فرآیند دریافت کنندۀ آن را همراه خود دارد.[3]

یک فرآیند دارای یک صف ورودی نامحدود برای دریافت و نگه داری سیگنال می‌باشد و بدین ترتیب یا در حالت انتظار جهت دریافت سیگنال در حالت کنونی خود به سر می‌برد و یا در حال گذار از حالت کنونی خود به حالتی دیگر است. چنین گذاری با پذیرش اولین سیگنال موجود در صف ورودی برای فرآیند میسر است. آن سیگنالی که گذار از یک حالت به حالت بعدی را موجب شده است، از صف ورودی حذف می‌گردد و اصطلاحاً می‏گوییم که سیگنال توسط فرآیند مصرف شده است.

در SDLبلوک‌ها با یکدیگر و با محیط اطراف از طریق کانال‌ها ارتباط برقرار می‌کنند. در شکل 1 کل سیستم بلوکی است که از بلوک‌های دیگری تشکیل شده است. تشریح بلوک‌های جزئی‌تر به ساختار درختی بلوک‌ها می‌انجامد و خود سیستم نقش بلوک ریشه را ایفا می‌کند. بلوکی که از بلوک‌های دیگری تشکیل شده باشد، فرآیندی به شکل مستقیم نخواهد داشت.، اما بلوک‌هایی که در برگ‌های ساختار درختی قرار دارنددارای فرآیندهایی خواهند بود.

شکل 1: شمای کلی مدل‏ SDL [2]

در SDL دو فرمت اصلی برای مدل سازی ارائه شده است که یکی از آن‌ها مدل متنی و دیگری مدل گرافیکی می‌باشد. مدل گرافیکی SDL خود شامل سینتکس متنی برای تکمیل این مدل است. در مدل گرافیکی توصیف سیستم به وسیلۀ System Diagram انجام می‌شود. یک System Diagram شامل اسم سیستم، سیگنال‌ها، کانال‌ها، data typeها و بلوک‌هاست.شکل 2 نمونه ای از یک System Diagram در SDLمی‌باشد: