rCOS(컴퓨터 과학)

rCOS는 객체 및 컴포넌트 시스템의 정교함을 의미합니다.컴포넌트 기반 모델 기반 소프트웨어 개발을 제공하는 정식 방법입니다.

개요

rCOS는 원래 마카오의 UNU-IIST에서 He Jifeng, Zhiming Liu 및 Xiaosan Li에 의해 개발되었으며, 관계적 의미론 및 그래프 기반 운영 의미론 이론, 모델 구축, 분석 및 검증 및 모델 변환을 위한 정교한 미적분 및 도구 지원과 함께 통합된 다중 뷰 모델링 기법으로 구성되어 있습니다.모델 변환은 미세화 규칙 및 설계 패턴을 자동화하고 증명 의무로서 조건을 생성합니다.rCOS는 다차원 모델링을 지원합니다.정밀 관계에 의한 다양한 추상화 레벨의 모델, 컴포넌트 구성의 계층, 시스템의 다양한 뷰 모델(컴포넌트의 상호작용 프로토콜)컴포넌트, 컴포넌트의 반응적 동작, 데이터 기능, 클래스 구조 및 데이터 유형).컴포넌트는 서드파티 ^[1]구성을 지원하기 위해 인터페이스 모델에 따라 구성 및 통합됩니다.

참고 문헌

• Rujen Dong, Johannes Faber, Wei Ke, Zhiming Liu: "rCOS: 컴포넌트 기반 소프트웨어 아키텍처의 의미 정의"프로그래밍 이론과 형식 엔지니어링 방법 통합– ICTAC Training School on Software Engineering 2013, LNCS 8050: 1-66, Springer (2013)
• Wei Ke, Xiaosan Li, Zhiming Liu, Volker Stolz: "rCOS: 컴포넌트 기반 소프트웨어의 정식 모델 기반 엔지니어링 방법"중국 컴퓨터 공학의 프런티어 6 (1) : 17 ~ 39 (2012)
• 지밍 류, 찰스 모리셋, 볼커 스톨츠."rCOS: 컴포넌트 기반 모델 개발을 위한 이론과 도구, FSEN09의 기조 강연", 기술 보고서 406, UNU-IIST, 사서함 3058, 마카오, 2009년 2월
• 첸방, 류지밍, 안데르 P. Ravn 및 Volker Stolz(2009)."컴포넌트 기반 모델 기반 설계에서의 개선 및 검증"UNU-IIST 연구 보고서 381.컴퓨터 프로그래밍 과학, 74(4): 168-196, 2009.
• 량자오, 류샤오젠, 류쯔밍, 추종옌(2009)."오브젝트 지향 개선을 위한 그래프 변환", 컴퓨팅의 형식적 측면, 21(1-2): 103-131, 2009.
• 허지펑, 리샤오산, 류지밍."컴포넌트 기반 소프트웨어 엔지니어링"프로에서.ICTAC'2005, 컴퓨터 사이언스 강의 노트 3722권.Springer, 2005.
• 허지펑, 리샤오산, 류지밍."rCOS: 객체 시스템을 위한 정제 미적분"이론 컴퓨터 사이언스, 365(1~2) : 109~142, 2006.
• He Jifeng, Zhiming Liu 및 Xiaosan Li. "반응성분 이론" 컴퓨터 이론 전자 노트, 160:173–195, 2006.
• 신첸, 허지펑, 지밍 류, 나이쥔 잔."컴포넌트 기반 프로그래밍 모델"Proc. FSEN 2007, 컴퓨터 사이언스 강의 노트, 컴퓨터 사이언스 4767, 페이지 191-208.
• Xin Chen, Zhiming Liu, 그리고 Vladimir Mencl."관계의 분리 및 요구사항 모델링의 일관된 통합"인프로그래프 컴퓨터 사이언스의 이론과 실천의 현재 동향, 컴퓨터 사이언스 강의 노트.Springer, 2007년

참고 항목

• 통합 프로그래밍 이론(UTP)

레퍼런스

외부 링크

• rCOS 웹사이트