트라이우네 연속체 패러다임
Triune continuum paradigm트라이우네 연속체 패러다임은 2002년에 발표된 일반 시스템 모델링의 패러다임이다.[1] 패러다임은 다양한 애플리케이션 맥락에서 시스템 모델링에 채택된 엄격한 개념 프레임워크를 구축할 수 있다(학제간뿐만 아니라 높은 맞춤화).
개요
케임브리지 철학사전에 언급된 바와 같이:[2] "파라다임은 토마스 쿤(The Structure of Scientific Revolution, 1962)이 사용한 것으로서, 과학 이론이 시험되고 평가되며 필요하다면 개정될 수 있는 이론적 틀을 구성하는 일련의 과학적이고 형이상학적인 믿음들을 말한다."
트라이우네 연속성 패러다임은 다양한 맥락에서 시스템 모델링에 사용되는 개념 프레임워크를 구축, 테스트, 평가 및 수정할 수 있는 일련의 과학적 원리를 정의함으로써 이 정의를 준수한다.[3]
현존하는 모델링 프레임워크의 경우, 패러다임은 프레임워크의 가능한 개정에서 결함을 해결하는 방법을 설명하면서, 프레임워크의 결함을 보여주면서, 원칙과 비교하여 프레임워크를 시험할 수 있도록 한다. 새로운 시스템 모델링 프레임워크를 구축할 때, 패러다임은 프레임워크의 결과적 품질을 보증하면서, 그렇게 하는 방법에 대한 지침을 제공한다.
헤레라 외 연구진에 따르면,[4] 트라이우네 연속체 패러다임은 특히 소프트웨어 개발과 기업 정보 시스템의 엔지니어링에 있어서 다른 맥락에서 시스템 모델링에 채용되는 현대 모델링 프레임워크의 구축이나 개선에 이용될 수 있는 완전한 이론적 기반이다.
기초 및 그 시사점
트라이우네 연속체 패러다임은 타르스키의 진리 이론, 러셀의 유형 이론, 그리고 트라이우네 연속체 이론의 세 가지 이론에 기초하고 있다.[5] 이 이론들은 일반 시스템 모델링에 적용되었을 때 다음과 같은 세 가지 원칙을 제시한다.[3]
- 첫 번째 원칙은 단일 모델링 프레임워크의 모델링 해석 내에서 일관성과 불확실성을 보장한다.
- 두 번째 원칙은 모델링 프레임워크의 도움으로 구성된 설명과 규격의 내부 일관성을 보장한다.
- 세 번째 원리는 (러셀의 유형 이론에서 첫 번째 순서 명제에 해당하는 수준에서) 가장 추상적인 수준에서 모델링 프레임워크의 표현 범위를 커버하기에 필요하고 충분한 최소한의 모델링 개념 집합을 도입하고 정당화할 수 있도록 한다.
패러다임의 적용
Triune 연속체 패러다임은 기존의 시스템 모델링 프레임워크를 개선하거나 주어진 목적을 위해 새로운 시스템 모델링 프레임워크를 설계하기 위해 실제로 적용될 수 있다.
- RM-ODP
- 소프트웨어와 시스템 엔지니어링 분야에서 패러다임을 적용하여 RM-ODP(Open Distributed Processing) 개념 프레임워크의 참조 모델의 기초를 공식화하였다.[6] Dijkman에 의해 기술된 바와 같이,[7] 2002년 Naumenko는 RM-ODP에 대한 추상적인 구문을 이론적 형식 의미론을 사용하는 알로이라는 언어로 정의했다.
- UML
- 이 패러다임은 UML에 대한 공식적인 메타모델을 정의하기 위해 적용되었으며,[8] 라노에 따르면 UML 개념에 대한 근거 있는 해석의 부족이 이 애플리케이션에서 확인되었다고 한다.[9] Broy와 Cengarle이 설명한 바와 같이,[10] 트라이우네 연속체 패러다임의 이 적용은 다음과 같다.
- UML(예: 순환 및 모순된 정의)의 결함을 보였다.
- 러셀의 유형 이론에 의해 지지되는 내부적으로 일관된 구조를 가진 옵션을 도입했다.
- 정의된 선언적 의미론 á la Tarski;
- (이론적으로 결코 정당화되지 않았던 시도, 실패, 성공의 결과인 UML과 대조적으로) 철학과 자연과학의 기초 위에서 정당화되었다.
- 심
- RM-ODP의 애플리케이션은 엔터프라이즈 아키텍처용 SEM 방식의 정의에 채택되어 모든 시스템이 동일한 모델링 온톨로지(ontology)로 체계적으로 표현되는 엔터프라이즈 모델링이 가능해졌다.[11]
- UFO
- 새로운 프레임워크인 "Unit - Function - Object"(UFO) 접근방식은 트뤼네 연속체 패러다임이 제공하는 온톨로지 기반의 비즈니스 모델링을[13] 위해 설계되었다.[12]
참조
- ^ A. 나오멘코. Triune Continuum Paradise: UML 및 RM-ODP, 박사 논문 2581, 스위스 연방 기술 연구소 – 로잔에 대한 일반 시스템 모델링 및 그 적용 패러다임. 2002년 6월 EPFL.
- ^ R. 아우디(총편집장) 케임브리지 철학사전, 제2판; 케임브리지 대학 출판부 1999.
- ^ a b A. 나오멘코. 정보 과학 기술 백과사전, 제2판, Vol의 "트리운 연속체 패러다임" VIII, 페이지 3821–3825; M. Khosrowpour (Ed.), IGI Global, 2008년 9월, 정보 과학 참조서. ISBN978-1-60566-026-4.
- ^ S.I. 에레라, M. 클루셀라, G.N. Tkachuk, P.A. Luna. 국제시스템연구연맹(IFSR 2005) 제1차 세계회의(First World Conference of International Federation for Systems Research, IFSR 2005)의 "시스템 모델이 정보시스템 설계에 기여하는 방법": 지식기반 사회를 위한 시스템 과학의 새로운 역할; 2005년 11월 일본 고베.
- ^ A. 나오멘코. PHISE'05 제1회 정보시스템공학 철학적 기초 국제 워크숍 「트리우네 연속체 패러다임과 그 기초이론에 관한 보고서」. CAiSE'05 워크샵의 진행, 제2권, 페이지 439–450; J. 카스트로, E. 테니엔테 (Eds.); 포르투갈 포르투, 2005년 6월. FEUP edies. ISBN 972-752-077-4
- ^ A. 나우멘코, A. 베그만 "Triune Continuum 패러다임에 기초한 RM-ODP 기반 공식화", 컴퓨터 표준 & 인터페이스, 제29권, 제1호, 페이지 39–53, Exvier B.V., 2007. ISSN 0920-5489. doi:10.1016/j.csi.2005.10.001
- ^ R.M. Dijkman. 다중 뷰포인트 아키텍처 설계의 일관성. 2006년 20대 대학 텔레매틱스 및 정보 기술 센터 박사 논문 06-80. 16페이지.
- ^ A. 나우멘코, A. 베그만 "통합 모델링 언어를 위한 메타모델" "UML" 2002 – 통합 모델링 언어: 모델 엔지니어링, 개념 및 도구. 제5회 국제회의; 페이지 2-17; J.-M. 제제켈, Hussmann, S. Cook (Eds.); 독일 드레스덴, 2002년 9월/10월. LNCS 2460. 스프링거-베를라그 2002. ISBN 3-540-44254-5. doi:10.1007/3-540-540-45800-X_2
- ^ K. 라노. "B를 사용하여 UML 변환 검증", 제3차 모델 설계 및 검증 워크숍(MODEVA 2006), B. Baudry, D. Hearnden, N. Rapin, J. G. Süß (Eds), 페이지 46–61; 이탈리아 제노바, 2006년 10월.
- ^ M. Broy, M. V. Cengarle. "UML 공식 의미론: 배운 교훈" 소프트웨어 & 시스템 모델링, 10권, 4, 페이지 441–446, Springer-Verlag, 2011. ISSN 1619-1366. doi:10.1007/s10270-011-0207-y
- ^ A. 베그만, L.S. 레, G. 레예프, B. 목재. "RM-ODP ISO/ITU 표준의 기초 개념을 이용한 엔터프라이즈 모델링". 정보 시스템 및 E-비즈니스 관리, 제5권 제4호 397–413호, 스프링거 베를린/하이델베르크, 2007. ISSN 1617-9846. doi:10.1007/s10257-007-007-0051-3
- ^ O. 우크라이나인. "Triune Continuum 패러다임의 메타모델 구조에서의 UFO 요소 발표", 컴퓨터 과학 및 정보 기술에 관한 국제 회의 (CSIT'2006), 페이지 107–108; 우크라이나의 Lviv, 2006년 9월.
- ^ K. 반후프, M. 본다렌코, K. 솔로요바, O. 우크레이네츠. "지능 비즈니스 모델링을 위한 시스템 언어". 인텔리전트한 의사결정 시스템. 제4차 국제 ISKE 회의의 진행; 페이지 439-444; K. 반후프, D. Ruan, T. Li, G. Wets (Eds.); Hasselt, 벨기에, 2009년 11월. 세계 과학 출판사 2010년 싱가포르. ISBN 981-4295-05-1. doi:10.11442/9789814295062_0068
외부 링크
- Triune Continuum Enterprise: Triune Continuum Paradigma triunecontinuum.com에 대해 알아보십시오.