SIGNAL (programming language)
SIGNAL ایک پروگرامنگ زبان ہے جو مطابقت پذیر ڈیٹا فلو (فلوز + مطابقت پذیری) پر مبنی ہے: ایک عمل ابتدائی بہاؤ پر مساوات کا ایک مجموعہ ہے جو ڈیٹا اور کنٹرول دونوں کو بیان کرتا ہے۔ سگنل رسمی ماڈل کئی گھڑیوں (پولی کرونس سسٹمز) والے سسٹمز کو رشتہ دار وضاحتیں کے طور پر بیان کرنے کی صلاحیت فراہم کرتا ہے۔ تعلقات جزوی وضاحتیں اور غیر تعیناتی آلات (مثال کے طور پر غیر تعیناتی بس) یا بیرونی عمل (مثال کے طور پر غیر محفوظ کار ڈرائیور) کی وضاحتیں کے طور پر مفید ہیں۔ سگنل کا استعمال کسی کو کسی ایپلی کیشن کی وضاحت کرنے، فن تعمیر کو ڈیزائن کرنے، تفصیلی اجزاء کو آر ٹی او ایس یا ہارڈ ویئر کی تفصیل تک بہتر بنانے کی اجازت دیتا ہے۔ سگنل ماڈل ایک ڈیزائن کے طریقہ کار کی حمایت کرتا ہے جو تفصیلات سے لے کر عمل درآمد تک، تجریدی سے لے کر کنکریٹائزیشن تک، مطابقت پذیری سے لے کر غیر مطابقت پذیری تک جاتا ہے۔ SIGNAL بنیادی طور پر 1980 کی دہائی سے INRIAEspresso ٹیم میں تیار کیا گیا ہے، اسی وقت اسی طرح کی پروگرامنگ زبانوں، ایسٹرل اور لسٹر کے طور پر۔ ایک مختصر تاریخ سگنل زبان پہلی بار 1980 کی دہائی کے آغاز میں سگنل پروسیسنگ ایپلی کیشنز کے لیے ڈیزائن کی گئی تھی۔ سگنل پروسیسنگ ایپلی کیشنز کے ڈیزائن کے لیے نئی ڈومین مخصوص زبان کے مطالبے کا جواب دینے کی تجویز پیش کی گئی ہے، جس میں ڈیٹا فلو اور بلاک ڈائیگرام سٹائل کو صف اور سلائڈنگ ونڈو آپریٹرز کے ساتھ اپنایا گیا ہے۔ پی لی گورنیک، اے بینوینسٹ، اور ٹی گوٹیئر زبان کی تعریف کے ذمہ دار رہے ہیں۔ سگنال پر پہلا مقالہ 1982 میں شائع ہوا تھا، جبکہ سگنال کی پہلی مکمل تفصیل ٹی گوٹیئر کے پی ایچ ڈی مقالے میں شائع ہوئی تھی۔ Z/3z (اوور [-1,0,1]) کے ذریعے سگنل کی علامتی نمائندگی 1986 میں متعارف کرائی گئی ہے۔ بولین گھڑیوں کے درجہ بندی پر گھڑی کے حساب پر مبنی سگنال کا ایک مکمل مرتب، ایل بیسنارڈ نے 1992 میں اپنے پی ایچ ڈی مقالے میں بیان کیا تھا۔ گھڑی کے کیلکولس کو بعد میں ٹی امیگبیگنن نے آربروسینٹ کینونکل شکلوں کی تجویز کے ساتھ بہتر بنایا ہے۔ 1990 کی دہائی کے دوران، سگنل زبان کے ایپلی کیشن ڈومین کو عام سرایت شدہ اور حقیقی وقت کے نظاموں میں بڑھا دیا گیا ہے۔ رشتہ پر مبنی تفصیلات کے انداز نے نظام کی بڑھتی ہوئی تعمیر کو فعال کیا، اور ملٹی کلاکڈ سسٹم پر غور کرتے ہوئے ڈیزائن کی طرف بھی لے گیا، اس کے مقابلے میں ایسٹرل اور لوسٹر کے اصل سنگل کلاک پر مبنی نفاذ کے مقابلے میں۔ مزید برآں، SIGNAL میں تقسیم شدہ سرایت شدہ نظاموں کے ڈیزائن اور نفاذ کو بھی مدنظر رکھا گیا۔ متعلقہ تحقیق میں بی چیرون کے تجویز کردہ اصلاح کے طریقے شامل ہیں، کلسٹرنگ ماڈل جو بی کے ذریعہ بیان کیے گئے ہیں۔ لی گوف، خلاصہ اور علیحدہ تالیف جسے او میفیس نے باقاعدہ بنایا، اور پی آبری کے تیار کردہ تقسیم شدہ پروگراموں کا نفاذ۔ پولی کرونی ٹول سیٹ پولی کرونی ٹول سیٹ ایک حقیقی وقت کی پولی کرونس ڈیٹا فلو زبان سگنال پر مبنی اہم/سرایت شدہ نظاموں کے لیے ایک اوپن سورس ترقیاتی ماحول ہے۔ یہ اوپر سے نیچے اور نیچے سے اوپر ڈیزائن کے طریقوں کا استعمال کرتے ہوئے ڈیزائن کی تلاش کو انجام دینے کے لیے ایک متحد ماڈل پر مبنی ماحول فراہم کرتا ہے جس کی باضابطہ طور پر ڈیزائن ماڈل کی وضاحت سے عمل درآمد اور مطابقت پذیری سے مطابقت پذیری میں تبدیلی کے ذریعے حمایت کی جاتی ہے۔ اسے مختلف ان پٹ فارملزم اور آؤٹ پٹ زبانوں کے ساتھ متنوع ڈیزائن سسٹم میں شامل کیا جا سکتا ہے۔ پولی کرونی ٹولز کا ایک مجموعہ ہے جو اس پر مشتمل ہے: ایک سگنل بیچ مرتب کرنے والا ایک گرافیکل یوزر انٹرفیس (ایڈیٹر + فنکشنلٹیز کو مرتب کرنے کے لیے انٹرایکٹو رسائی) سگالی ٹول، رسمی تصدیق اور کنٹرولر کی ترکیب کے لیے ایک متعلقہ رسمی نظام۔ سگالی کو آئی این آر آئی اے ورٹیکس پروجیکٹ کے ساتھ مل کر تیار کیا گیا ہے۔ ایس ایم ای ماحول ایس ایم ای (سگنل میٹا انڈر ایکلپس) ماحول ماڈل ڈرائیو انجینئرنگ (ایم ڈی ای) ٹیکنالوجیز پر مبنی ایکلپس ماحول میں پولی کرونی کا فرنٹ اینڈ ہے۔ یہ ایکلپس پلگ ان کے ایک سیٹ پر مشتمل ہوتا ہے جو ایکلپس ماڈلنگ فریم ورک (ای ایم ایف) پر انحصار کرتا ہے۔ ماحول ایس ایم ای کے ارد گرد بنایا گیا ہے، جو موڈ آٹومیٹا تصورات کے ساتھ توسیع شدہ سگنل زبان کا ایک میٹا ماڈل ہے۔ ایس ایم ای ماحول کئی پلگ ان پر مشتمل ہوتا ہے جو اس سے مطابقت رکھتا ہے: ایک اضطراری ایڈیٹر: ایک ٹری ویو جو ماڈلز کو جوڑنے کی اجازت دیتا ہے ایس ایم ای میٹا ماڈل کے مطابق ہوتا ہے۔ ٹاپ کیسڈ ماڈلنگ کی سہولیات پر مبنی ایک گرافیکل ماڈلر (cf. پچھلی تصویر)۔ تالیف کے منظرنامے بنانے کے لیے ایک اضطراری ایڈیٹر اور ایکلپس ویو۔ پولی کرونی خدمات سے براہ راست رابطہ (تالیف، رسمی تصدیق، وغیرہ)۔ دستاویزات اور ماڈل کی مثالیں۔ ایسٹرل لوسٹر (پروگرامنگ زبان) مطابقت پذیر پروگرامنگ زبان ڈیٹا فلو پروگرامنگ زبان عالمی سطح پر مطابقت پذیر مقامی طور پر مطابقت پذیر رسمی تصدیق ماڈل کی جانچ کرنا پروگرامنگ زبانوں کے رسمی الفاظ اے اے ڈی ایل سمولینک ایوینکس سسٹم ڈیزائن مطابقت پذیر (کمپیوٹر پروگرامنگ) نوٹ اور حوالہ جات بیرونی لنکس آئی این آر آئی اے/آئی آر آئی ایس اے ایسپریسو ٹیم پولی کرونی ٹول سیٹ سگنال (پولی کرونی کی سرکاری ویب سائٹ) بیک اپ لنک سنکرون لیب (ہم وقت زبان چمک) ایسٹرل (ہم وقت زبان ایسٹرل) اعلانیہ پروگرامنگ زبانیں مطابقت پذیر پروگرامنگ زبانیں ہارڈ ویئر کی تفصیل کے رسمی طریقے سافٹ ویئر ماڈلنگ زبان