رسمی طریقے

رسمی طریقے وہ ریاضیاتی تکنیک ہیں جو سافٹ ویئر انجینئرنگ اور ہارڈویئر انجینئرنگ میں سافٹ ویئر، ہارڈویئر اور نیٹ ورک سسٹم کے رویے کی قطعی وضاحت کے لیے استعمال ہوتی ہیں۔ رسمی طریقوں کا مقصد اس بات کو یقینی بنانا ہے کہ سافٹ ویئر، ہارڈویئر، اور نیٹ ورک مطلوبہ، محفوظ انداز میں بات چیت کریں۔ رسمی طریقے زبان پر مبنی اور طریقہ کار پر مبنی تکنیکوں کا استعمال کرتے ہیں تاکہ تجرید کی مختلف سطحوں میں مستقل مزاجی، مکمل اور درستگی کی جانچ کی جاسکے۔

رسمی طریقے سب سے پہلے 1960 کی دہائی میں ایرو اسپیس، ریڈیو انجینئرنگ، اور نیوکلیئر ری ایکٹر کنٹرول سسٹمز میں سافٹ ویئر اور ہارڈویئر سسٹم کے انضمام کی درستگی کی ضمانت کے طور پر استعمال کیے گئے۔ 1970 اور 1980 کی دہائی کے آخر میں سافٹ ویئر انجینئرنگ کے میدان میں بڑے اور پیچیدہ سافٹ ویئر سسٹمز میں کیڑے کی جانچ کے لیے رسمی طریقے استعمال کیے جانے لگے۔

زبان پر مبنی رسمی طریقے سافٹ ویئر اور ہارڈویئر سسٹم کی تفصیلات کو بیان کرنے کے لیے رسمی زبان کا استعمال کرتے ہیں۔ رسمی طریقوں کے لیے استعمال ہونے والی عام رسمی زبانوں میں TLA+, Z، اور NuSMV شامل ہیں۔ رسمی زبان کا استعمال نظام کی ضروریات اور نظام کے رویے کی وضاحت کے لیے کیا جاتا ہے۔ یہ قطعی اور غیر مبہم ہونا چاہیے، اور سافٹ ویئر یا ہارڈویئر سسٹم کے خلاف اس کی تصدیق ہونی چاہیے۔

میکانزم پر مبنی رسمی طریقے ریاضی کے رسمی طریقے استعمال کرتے ہیں، جیسے سیٹ تھیوری، پروسیس الجبرا، اور موڈل لاجکس۔ یہ نقطہ نظر سافٹ ویئر اور ہارڈویئر سسٹم کے رویے کے تجزیہ اور تصدیق کے لیے ایک سخت بنیاد فراہم کرتا ہے اور اکثر اس کا اطلاق ایرو اسپیس، آٹوموٹیو، ریلوے اور طبی آلات کی صنعتوں میں حفاظتی اہم ایپلی کیشنز میں ہوتا ہے۔

باضابطہ طریقے بھی محفوظ نظاموں کو تیار کرنے کے لیے استعمال کیے گئے ہیں، کیونکہ ان کا استعمال اس بات کی تصدیق کے لیے کیا جا سکتا ہے کہ کوئی نظام سیکیورٹی کی ضروریات کو پورا کرتا ہے۔ باضابطہ طریقوں کے استعمال کے ذریعے، کیڑوں کا پتہ لگانا ممکن ہے، جس کے سنگین نتائج ہو سکتے ہیں اگر سسٹم کے جاری ہونے سے پہلے ان پر توجہ نہ دی گئی۔

رسمی طریقے سافٹ ویئر انجینئرنگ، ہارڈویئر انجینئرنگ، اور سائبرسیکیوریٹی کا ایک اہم حصہ ہیں، اور ان کا استعمال سسٹمز اور ان کے اجزاء کی وشوسنییتا کو یقینی بنانے کے لیے کیا جاتا ہے۔ رسمی طریقوں کا استعمال اس بات کو یقینی بنا کر کہ نظام کو صحیح طریقے سے ڈیزائن اور بنایا گیا ہے، نظام کی نشوونما کے وقت کو کم کرتا ہے۔