RCOS (computer sciences)
ஆர்சிஓஎஸ் என்பது பொருள் மற்றும் கூறு அமைப்புகளின் சுத்திகரிப்பைக் குறிக்கிறது. இது கூறு அடிப்படையிலான மாதிரியால் இயக்கப்படும் மென்பொருள் மேம்பாட்டை வழங்கும் முறையான முறையாகும். கண்ணோட்டம் rCOS முதலில் மக்காவில் உள்ள UNU-IIST இல் ஹி ஜிஃபெங், ஜிமிங் லியு மற்றும் சியோஷன் லி ஆகியோரால் உருவாக்கப்பட்டது, மேலும் இது தொடர்புடைய சொற்பொருள் மற்றும் வரைபட அடிப்படையிலான செயல்பாட்டு சொற்பொருள் கோட்பாட்டுடன் ஒரு ஒருங்கிணைந்த பல பார்வை மாடலிங் குறியீட்டைக் கொண்டுள்ளது, ஒரு சுத்திகரிப்பு கால்குலஸ் மற்றும் மாதிரி கட்டுமானத்திற்கான கருவி ஆதரவு, மாதிரி பகுப்பாய்வு மற்றும் சரிபார்ப்பு மற்றும் மாதிரி மாற்றங்கள். மாதிரி மாற்றங்கள் சுத்திகரிப்பு விதிகள் மற்றும் வடிவமைப்பு வடிவங்களை தானியக்கமாக்குகின்றன மற்றும் நிபந்தனைகளை ஆதார கடமைகளாக உருவாக்குகின்றன. ஆர். சி. ஓ. எஸ் பல பரிமாண மாதிரியாக்கத்தை ஆதரிக்கிறதுஃ சுத்திகரிப்பு உறவுகள், கூறுகளின் கலவைகளின் படிநிலை மற்றும் அமைப்பின் வெவ்வேறு பார்வைகளின் மாதிரிகள் (கூறுகளின் தொடர்பு நெறிமுறைகள், கூறுகளின் எதிர்வினை நடத்தைகள், தரவு செயல்பாடு மற்றும் வகுப்பு கட்டமைப்புகள் மற்றும் தரவு வகைகள்) ஆகியவற்றால் தொடர்புடைய பல்வேறு நிலைகளில் உள்ள மாதிரிகள். மூன்றாம் தரப்பு கலவையை ஆதரிப்பதற்காக கூறுகள் அவற்றின் இடைமுகங்களின் மாதிரிகளின் அடிப்படையில் இயற்றப்பட்டு ஒருங்கிணைக்கப்படுகின்றன. நூலியல் ருஜென் டோங், ஜோஹன்னஸ் ஃபேபர், வீ கே, ஜிமிங் லியுஃ "ஆர். சி. ஓ. எஸ்ஃ கூறு அடிப்படையிலான மென்பொருள் கட்டமைப்புகளின் அர்த்தங்களை வரையறுத்தல்". நிரலாக்கம் மற்றும் முறையான பொறியியல் முறைகளின் ஒருங்கிணைந்த கோட்பாடுகள்-மென்பொருள் பொறியியல் குறித்த ஐசிடிஏசி பயிற்சி பள்ளி 2013, எல்என்சிஎஸ் 8050:1-66, ஸ்பிரிங்கர் (2013) வெய் கே, சியோஷன் லி, ஜிமிங் லியு, வோல்கர் ஸ்டோல்ஸ்ஃ "ஆர்சிஓஎஸ்ஃ கூறு அடிப்படையிலான மென்பொருளுக்கான முறையான மாதிரி-உந்துதல் பொறியியல் முறை". சீனாவில் கணினி அறிவியலின் எல்லைகள் 6 (1): 17-39 (2012) ஜிமிங் லியு, சார்லஸ் மோரிசெட் மற்றும் வோல்கர் ஸ்டோல்ஸ். "rCOS: கோட்பாடு மற்றும் கூறு அடிப்படையிலான மாதிரி உந்துதல் மேம்பாட்டுக்கான கருவி, FSEN09 இல் முக்கிய குறிப்பு", தொழில்நுட்ப அறிக்கை 406, UNU-IIST, P. O. பெட்டி 3058, மக்காவ், பிப்ரவரி 2009. ஜென்பாங் சென், ஜிமிங் லியு, ஆண்டர் பி. ராவன் மற்றும் வோல்கர் ஸ்டோல்ஸ் (2009). "கூறு அடிப்படையிலான மாதிரி இயக்க வடிவமைப்பில் சுத்திகரிப்பு மற்றும் சரிபார்ப்பு". UNU-IIST ஆராய்ச்சி அறிக்கை 381. கணினி நிரலாக்க அறிவியல், 74 (4): 168-196,2009. லியாங் சாவோ, சியோஜியான் லியு, ஜிமிங் லியு மற்றும் ஸோங்யான் கியு (2009). "பொருள் சார்ந்த சுத்திகரிப்புக்கான வரைபட மாற்றங்கள்", கணினியின் முறையான அம்சங்கள், 21 (1-2): 103-131,2009. ஹி ஜிஃபெங், சியாவோஷான் லி மற்றும் ஜிமிங் லியு. "கூறு அடிப்படையிலான மென்பொருள் பொறியியல்". ப்ரோவில். ஐசிடிஏசி '2005, கணினி அறிவியலில் விரிவுரை குறிப்புகள் தொகுதி 3722. ஸ்பிரிங்கர், 2005. ஹி ஜிஃபெங், சியாவோஷான் லி மற்றும் ஜிமிங் லியு. "rCOS: பொருள் அமைப்புகளுக்கான ஒரு சுத்திகரிப்பு கால்குலஸ்". கோட்பாட்டு கணினி அறிவியல், 365 (1-2): 109-142,2006. ஹி ஜிஃபெங், ஜிமிங் லியு மற்றும் சியாவோஷான் லி. "எதிர்வினை கூறுகளின் கோட்பாடு" கோட்பாட்டு கணினி அறிவியலில் மின்னணு குறிப்புகள், 160:173-195,2006. ஜின் சென், ஹி ஜிஃபெங், ஜிமிங் லியு மற்றும் நைஜுன் ஜான். "கூறு அடிப்படையிலான நிரலாக்கத்தின் மாதிரி". புரோக். FSEN 2007, கணினி அறிவியல், கணினி அறிவியலில் விரிவுரை குறிப்புகள் 4767, pp. 191-208. ஜின் சென், ஜிமிங் லியு மற்றும் விளாடிமிர் மென்க்ல். "கவலைகளைப் பிரிப்பது மற்றும் தேவைகள் மாதிரியில் நிலையான ஒருங்கிணைப்பு". புரோக்கில். கணினி அறிவியலின் கோட்பாடு மற்றும் நடைமுறையில் தற்போதைய போக்குகள், கணினி அறிவியலில் விரிவுரை குறிப்புகள்]. ஸ்பிரிங்கர், 2007. மேலும் காண்க நிரலாக்கத்தின் ஒருங்கிணைந்த கோட்பாடுகள் (யுடிபி) குறிப்புகள் வெளிப்புற இணைப்புகள் ஆர்சிஓஎஸ் வலைத்தளம் அறிமுக ஆண்டு பொருள் சார்ந்த நிரலாக்க கூறு அடிப்படையிலான மென்பொருள் பொறியியல் முறையான முறைகள் ஐக்கிய நாடுகள் பல்கலைக்கழகம்