RCOS (computer sciences)
آر سی او ایس کا مطلب آبجیکٹ اور اجزاء کے نظام کی اصلاح ہے۔ یہ جزو پر مبنی ماڈل پر مبنی سافٹ ویئر ڈویلپمنٹ فراہم کرنے کا ایک رسمی طریقہ ہے۔ آر سی او ایس کا جائزہ اصل میں ہی جیفینگ، زیمنگ لیو اور شیاؤشان لی نے مکاؤ میں یو این یو-آئی آئی ایس ٹی میں تیار کیا تھا، اور یہ ایک متحد ملٹی ویو ماڈلنگ نوٹیشن پر مشتمل ہے جس میں ریلیشنل سیمنٹک اور گراف پر مبنی آپریشنل سیمنٹکس کا نظریہ، ماڈل کی تعمیر، ماڈل تجزیہ اور تصدیق، اور ماڈل کی تبدیلیوں کے لیے ایک ریفائنمنٹ کیلکولس اور ٹول سپورٹ شامل ہے۔ ماڈل کی تبدیلیاں اصلاح کے قوانین اور ڈیزائن کے نمونوں کو خودکار بناتی ہیں اور ثبوت کی ذمہ داریوں کے طور پر حالات پیدا کرتی ہیں۔ آر سی او ایس متعدد جہتی ماڈلنگ کی حمایت کرتا ہے: تجریدی کی مختلف سطحوں پر ماڈل جو اصلاحات کے تعلقات، اجزاء کی ترکیبوں کے درجہ بندی، اور نظام کے مختلف نظریات کے ماڈل (اجزاء کے تعامل پروٹوکول، اجزاء کے رد عمل کے طرز عمل، ڈیٹا کی فعالیت، اور کلاس ڈھانچے اور ڈیٹا کی اقسام) سے متعلق ہیں۔ اجزاء کو تیسرے فریق کی ساخت کی حمایت کرنے کے لیے انٹرفیس کے ان کے ماڈلز کی بنیاد پر تشکیل اور مربوط کیا جاتا ہے۔ کتابچہ روزین ڈونگ، جوہانس فابر، وی کے، زیمنگ لیو: "آر سی او ایس: اجزاء پر مبنی سافٹ ویئر آرکیٹیکچرز کے معنی کی وضاحت"۔ پروگرامنگ اور رسمی انجینئرنگ کے طریقوں کے نظریات کو یکجا کرنا-سافٹ ویئر انجینئرنگ 2013 پر آئی سی ٹی اے سی ٹریننگ اسکول، ایل این سی ایس 8050:1-66، سپرنگر (2013) وی کے، شیاؤشان لی، زیمنگ لیو، والکر اسٹولز: "آر سی او ایس: جزو پر مبنی سافٹ ویئر کے لیے ایک رسمی ماڈل پر مبنی انجینئرنگ کا طریقہ"۔ چین میں کمپیوٹر سائنس کے محاذ 6 (1): 17-39 (2012) زیمنگ لیو، چارلس موریسیٹ اور والکر اسٹولز۔ "آر سی او ایس: تھیوری اینڈ ٹول فار کمپونینٹ بیسڈ ماڈل ڈرائیوڈ ڈیولپمنٹ، ایف ایس ای این 09 پر کلیدی نوٹ"، تکنیکی رپورٹ 406، یو این یو-آئی آئی ایس ٹی، پی۔ او۔ باکس 3058، مکاؤ، فروری 2009۔ زینبانگ چن، زیمنگ لیو، اینڈر پی راون اور والکر اسٹولز (2009)۔ "اجزاء پر مبنی ماڈل ڈرائیوڈ ڈیزائن میں اصلاح اور تصدیق"۔ یو این یو-آئی آئی ایس ٹی تحقیقی رپورٹ 381۔ سائنس آف کمپیوٹر پروگرامنگ، 74 (4): 168-196، 2009۔ لیانگ زاؤ، شیاؤجیان لیو، زیمنگ لیو اور زونگیان کیو (2009)۔ "گراف ٹرانسفارمیشنز فار آبجیکٹ اورینٹڈ ریفائنمنٹ"، کمپیوٹنگ کے رسمی پہلو، 21 (1-2): 103-131، 2009۔ وہ جیفینگ، شیاؤشان لی، اور زیمنگ لیو۔ "اجزاء پر مبنی سافٹ ویئر انجینئرنگ"۔ پرو میں۔ آئی سی ٹی اے سی '2005، لیکچر نوٹس ان کمپیوٹر سائنس جلد 3722۔ سپرنگر، 2005۔ وہ جیفینگ، شیاؤشان لی، اور زیمنگ لیو۔ "آر سی او ایس: آبجیکٹ سسٹمز کے لیے ایک ریفائنمنٹ کیلکولس۔" نظریاتی کمپیوٹر سائنس، 365 (1-2): 109-142، 2006۔ وہ جیفینگ، زیمنگ لیو، اور شیاؤشان لی۔ "رد عمل والے اجزاء کا ایک نظریہ" نظریاتی کمپیوٹر سائنس میں الیکٹرانک نوٹ، 160:173-195، 2006۔ شن چن، ہی جیفینگ، زیمنگ لیو اور نیجن ژان۔ "اجزاء پر مبنی پروگرامنگ کا ایک ماڈل"۔ پروک۔ ایف ایس ای این 2007، کمپیوٹر سائنس، لیکچر نوٹس ان کمپیوٹر سائنس 4767، پی پی۔ شن چن، زیمنگ لیو، اور ولادیمیر مینکل۔ "خدشات کو الگ کرنا اور ضروریات کے ماڈلنگ میں مستقل انضمام"۔ پروک میں۔ کمپیوٹر سائنس کے تھیوری اور پریکٹس میں موجودہ رجحانات، کمپیوٹر سائنس میں لیکچر نوٹس]۔ سپرنگر، 2007۔ یونیفائنگ تھیوریز آف پروگرامنگ (یو ٹی پی) حوالہ جات بیرونی لنکس آر سی او ایس ویب سائٹ تعارف کا سال لاپتہ آبجیکٹ پر مبنی پروگرامنگ جزو پر مبنی سافٹ ویئر انجینئرنگ رسمی طریقے اقوام متحدہ یونیورسٹی