모델 다이어그램의 의미론에 대한 새로운 접근법

Source

• Evernote/Papers/A new approach to the semantics of model diagrams.md

Summary

이 논문은 소프트웨어 공학에서 설계 단계 이후로 소외되기 쉬운 다이어그램의 가치를 높이기 위해, 모델 및 인스턴스 다이어그램(클래스/객체 다이어그램)을 타입 이론(Type Theory)의 일급 엔티티로 제안합니다. 이 접근법은 구성적이고 자기 기술적(reflexive/metacircular)인 의미론을 제공하며, 타입 이론 내에서 모델 변환의 정확성을 증명할 수 있어 메타모델링 및 모델 기반 엔지니어링(MDE)에 적합합니다. 또한 타입 이론 구현이 있다면 다이어그램을 즉시 실행 가능한 코드로 활용할 수 있는 장점이 있습니다.

Key Points

• 다이어그램을 타입 이론의 일급 엔티티로 취급하여 코드와 다이어그램의 위계를 평준화함
• 구성적이고 자기 기술적(reflexive)인 의미론을 통해 메타모델링 및 모델 기반 엔지니어링 지원
• 타입 이론을 사용하여 모델 변환의 정확성을 수학적으로 증명 가능
• 타입 이론 구현을 통해 다이어그램을 즉시 실행 가능한 코드로 활용 가능

Related

• 이동성 모델 분류 체계 및 조사 (A Taxonomy and Survey of Microscopic Mobility Models)

• Statistical Approaches to Concept-Level Sentiment Analysis

• 온라인 소셜 태깅 시스템에서의 소셜 링크 예측

• 위키백과 링크 의미소거를 위한 토픽 모델링

• Supporting Flexible, Efficient, and User-Interpretable Retrieval of Similar Time Series

• 의미적 궤적 모델링 및 분석 (Semantic Trajectories Modeling and Analysis)

• Semantic Queries by Example

• 데이터 모델링과 HCI의 관계 및 미래 UI 구상

• Regularized Latent Semantic Indexing (RLSI): 대규모 토픽 모델링을 위한 새로운 접근법

• E-Tree: 데이터 스트림용 앙상블 모델 효율적 인덱싱 구조

• 이미지 주석 및 검색을 위한 Feature-Word-Topic 모델

• Localized Tensor Completion (LTC) for Network Data Recovery

• Efficient Time-Stamped Event Sequence Anonymization

• Biperpedia: 검색 애플리케이션을 위한 온톨로지

• 햅틱 가상 환경의 사용자 경험(QoE) 모델

• 적응형 온톨로지 규칙을 이용한 보상-처벌 기반 개념 탐지

• Exploratory OLAP을 위한 시맨틱 웹 기술 활용: 서베이

• 온라인 리뷰 요약: Starlet 접근법

• 계층 구조(Taxonomy) 존재 하의 시간적 변화 패턴 발견 (HiGen)

• GRE 모델: 무작위 도로 네트워크 모델 및 모바일 DTN 토폴로지 특성 영향

• X-Class: XML 문서 구조 기반 연관 분류

• Semantic contextual advertising based on the open directory project

• Temporal Information Retrieval (TIR) Survey Overview

• 수치 추상 도메인을 이용한 프로세스 발견 알고리즘

• 모바일 네트워크 데이터를 활용한 도시 감지 연구 조사

• Sequential Pattern Mining: Approaches and Algorithms

• 자동화에 대한 신뢰 (Trust in Automation)

• URL 기반 웹 페이지 언어 분류 기술 종합 연구

• A survey on concept drift adaptation

• Iustitia: 정보 이론적 접근을 통한 고속 플로우 성격 식별

• 대규모 이질적 멀티미디어 데이터에 대한 정서 컴퓨팅(Affective Computing) 서베이

• 지향적 엔티티-관계 기반 1차 확률 언어(FOPL) 조사

• HEADY: 이벤트 패턴 클러스터링을 통한 뉴스 헤드라인 추상화

• 인간 동작 분석을 위한 특이값 분해(SVD) 기반 지식 획득 방법

• 온톨로지 작성에서의 위키 협업 기능 평가

• NautiLOD: 연결된 데이터 웹을 위한 형식적 탐색 언어

• Semantic content-based recommendation of software services using context

• 예측 모델링에 대한 실용서

• Ontology-Based Query Answering with Group Preferences

• 고객 리뷰에서 제품 특징 및 의견 추출 방법론

• State-based model slicing: A survey

• Entity Linking with a Knowledge Base: Issues, Techniques, and Solutions

• 자동화에 대한 신뢰 (Trust in Automation)

• MOWL: 웹 기반 멀티미디어 애플리케이션을 위한 온톨로지 표현 언어

• Checker Architectures Survey

• DOM 구조 지식 기반 모델을 이용한 반구조화 웹 레코드 강건한 탐지

• 인간 행동 인식용 온톨로지 조사

• 대규모 네트워크에서의 멀웨어 전파 모델

• Knowledge Management for Coalition Information Sharing at the Network Edge

• 협동 계획 모델 (CPM): 계획의 생명화

• 통계적 기계 번역 표현을 활용한 교차 언어 정보 검색

• CNY 환율 예측

• Feature Diagram Languages 에서의 관심사 분리: 체계적 문헌 고찰

• 스페인어 온라인 비디오의 다중모달 감정 분석

• 웹 검색 쿼리의 감정 분석 및 활용

• Structured Streaming Skeleton (SSS): 온라인 인간 제스처 인식용 새로운 특징 추출 방법

• 웹 데이터 서비스 통합 및 쿼리 위한 하향식 지식 기반 접근법

• Cost-Sensitive Decision Tree Induction Algorithms Survey

• StatParser: 통계적 파싱을 통한 쿼리 인터페이스 이해

• 베이지언 계산 방법 정리 (Grid Approximation 등)

• 금융 데이터 모델 교차 검증을 위한 점근적 메타러닝 (Asymptotic Meta Learning)

• 사용자 이동성 프로파일 구축 및 비교

• Spaces, Trees, and Colors: 시퀀스 기반 문서 검색의 알고리즘 풍경

• 카카오톡 이모티콘을 통한 남녀 감정 분석 (2013)

• Approximate Recall Confidence Intervals

• The Semantic Web and End Users: What’s Wrong and How to Fix It

• 언어 독립적 시간 표현 판별적 파싱 (Language-Independent Discriminative Parsing of Temporal Expressions)

• 네트워크 가장자리에서의 연합 정보 공유를 위한 지식 관리

• Meta-Learning 기반 Instance Selection을 위한 복잡도 측정 지표

• Knotch: 색상을 통한 감정 온도계

• 모바일 학습(m-learning) 애플리케이션 및 기술의 현황 분석

• JSONiq: 쿼리 언어의 역사

• 디지털 맵 처리 기술 조사 (A Survey of Digital Map Processing Techniques)

• A survey on ear biometrics

• 웹 애플리케이션 모델 저장소의 텍스트 및 내용 기반 검색

• 분산 가상 환경의 관심사 관리(Iinterest Management)에 대한 서베이

• 가역 회로의 합성과 최적화: 서베이

• Kinect 기반 고객 쇼핑 행동 분석 도구

• Dynamic Time Warping for Music Conducting Gestures Evaluation

• 진화적 네트워크 분석: 서베이 (Evolutionary Network Analysis: A Survey)

• 분산 구성 문제의 모델링 및 해결: CSP 기반 접근법

• Scalable Database-Driven Reverse Dictionary

• 스마트 그리드 예측 모델의 전방위적 평가 지표

• 웹 엔티티 발견을 위한 병렬 경로 프레임워크 (The Parallel Path Framework)

• Pipelined Workflow Scheduling: Models and Algorithms (Survey)

• XML 데이터에 대한 키워드 쿼리의 컨텍스트 기반 다양화

• Survey of local algorithms

• Entity-Annotation 시스템 벤치마킹 프레임워크

• Rich Vehicle Routing Problem (VRP) Survey

• 웹 엔티티 페이지 발견을 위한 URL 및 HTML 특징 결합 방법 (SSUP)

• A term-based inverted index partitioning model for efficient distributed query processing

• 색상이 전환율에 미치는 영향 (인포그래픽)

• 3D 객체 검색을 위한 시맨틱 시그니처 학습

• Anomaly Extraction in Backbone Networks Using Association Rules

• Hoeffding 경계 기반 온라인 및 비모수 드리프트 탐지 방법

• 트위터 다면적 토픽 모델링을 위한 사회적 및 보조 의미 통합

• 택시 GPS 추적 데이터 마이닝 연구 동향

• Patent Query Formulation by Synthesizing Multiple Sources of Relevance Evidence

• 네트워크 가상화 환경의 장애 관리: 과제와 해결책

• Source-Side Classifier Preordering for Machine Translation

• 실시간 스토리 식별을 위한 스트리밍 환경에서의 밀집 부분 그래프 유지

• 실시간 분산 미들웨어 표준에 대한 조사