소프트웨어 언어의 기초를 위한 온톨로지(Ontology)를 향하여

소프트웨어 언어(Software languages)라는 개념은 프로그래밍 언어(Programming languages), 모델링 언어(Modeling languages), 그리고 소프트웨어 공학(Software engineering)에서 사용되는 그 외 많은 유형의 언어들을 포괄합니다. 새롭게 등장하는 온톨로지(Ontology)인 '소프트웨어 언어의 기초(Foundations of Software Languages, FSL)'는 소프트웨어 언어의 근간이 되는 기초들을 체계화합니다. 우리는 언어 범주(Language categories), 언어 개념(Language concepts), 관련 도구 및 방법론적 접근 방식(Methodological approaches), 소프트웨어 언어의 기반이 되는 형식 체계(Formal systems) 또는 기타 형식적 엔티티(Formal entities), 그리고 소프트웨어 언어가 소프트웨어 공학 활동에 임베딩(Embedding)되는 방식에 관심을 두고 있습니다. FSL의 주요 목표는 여러 주제 영역을 원칙적인 방식으로 연결함으로써 컴퓨터 과학(Computer Science) 교육의 지식 자원 역할을 하는 것입니다. 본 논문에서 논의된 FSL의 첫 번째 릴리스(V1)는 기대 사항(Expectations), 재사용(Reuse), 개념화(Conceptualization), 형식화(Formalization) 및 검증(Validation)을 위한 공통 단계를 포함하는 비교적 표준적인 방법론을 통해 구축되었습니다. 우리는 온톨로지 엔지니어링(Ontology engineering)(발견(Discovery), 분류(Classification), 연결(Linkage), 완성(Completion), 변환(Transformation))을 지원하기 위해 생성형 AI (GenAI)를 활용했습니다.