[논문 리뷰] Wise Computing: Towards Endowing System Development with True Wisdom

David Harel, Guy Katz외 2명|arXiv (Cornell University)|2015. 01. 23.

Big Data and Business Intelligence인용 수 5

한 줄 요약

이 논문은 소프트웨어 개발 환경에 인간과 유사한 지혜를 부여함으로써 시스템 공학에 맞게 조정된 지능적 지혜를 갖춘 '지혜 있는 계산(Wise Computing)'을 제안한다. 이는 컴퓨터가 개발 과정에서 능동적이고 통찰력 있으며 책임감 있는 파트너로 기능하도록 하는 패러다임의 전환이다. 프로토타입 데모를 통해 저자들은 깊이 있는 구조적 및 행동적 이해, 목표 인식 기반 추론, 전통적인 검증 도구를 초월한 창의적 문제 해결을 통해 시스템 설계 향상을 가능하게 함을 입증한다.

ABSTRACT

Encouraged by significant advances in algorithms and tools for verification and analysis, high level modeling and programming techniques, natural language programming, etc., we feel it is time for a major change in the way complex software and systems are developed. We present a vision that will shift the power balance between human engineers and the development and runtime environments. The idea is to endow the computer with human-like wisdom - not general wisdom, and not AI in the standard sense of the term - but wisdom geared towards classical system-building, which will be manifested, throughout development, in creativity and proactivity, and deep insights into the system's own structure and behavior, its overarching goals and rationale. Ideally, the computer will join the development team as an equal partner - knowledgeable, concerned, and responsibly active. We present a running demo of our initial efforts on the topic, illustrating on a small example what we feel is the feasibility of the ideas.

연구 동기 및 목표

• 개발 과정에서 인간 기술자에게서 컴퓨터로의 권한 이행을 통해 컴퓨터가 동등하고 지혜 기반의 파트너로 기능하는 협업 환경을 조성함으로써 시스템 개발의 정의를 재정의하기.
• 현재 소프트웨어 공학 도구들이 시스템의 구조, 행동 및 종합적 목표에 대한 깊은 통찰을 결여하고 있는 한계를 해결하기.
• 개발 환경에 창의성, 능동성, 맥락 인식 능력을 부여함으로써 인간의 지혜와 유사하지만 시스템 구축에 집중된 지혜를 실현하기.
• 소규모이고 설명에 적합한 예시 시스템을 대상으로 한 프로토타입 구현을 통해 이러한 비전의 실현 가능성을 입증하기.
• 정확성뿐만 아니라 아키텍처적 통찰력과 장기적인 시스템 건강도를 지원하는 미래 도구의 기반을 마련하기.

제안 방법

• 고수준 모델링, 형식적 검증, 자연어 처리를 통합하여 깊이 있는 시스템 분석을 지원하는 프로토타입 개발 환경을 설계하고 구현하기.
• 개발 수명 주기 전반에 걸쳐 시스템 목표, 구조적 종속성, 행동 패턴을 추적할 수 있는 추론 능력을 환경에 통합하기.
• 형식적 의미론과 목표 중심 추론을 사용하여 시스템이 능동적으로 개선 사항을 제안하고, 일관성 없는 점을 탐지하며, 설계 결정을 설명할 수 있도록 하기.
• 실제 예시를 통해 환경가 시스템 행동에 대해 추론하고, 대체 설계를 제안하며, 시스템 논리에 기반한 결정을 정당화할 수 있음을 보여주기.
• 기존의 형식적 방법, 모델 체킹, 자연어 이해 분야의 발전을 활용하여 지혜 인식 기반 개발의 기반을 마련하기.
• 개발자 상호작용을 바탕으로 시스템이 학습하고 시간이 지남에 따라 통찰력을 개선할 수 있도록 피드백 루프 통합하기.

실험 결과

연구 질문

• RQ1 일반 인공지능에 의존하지 않고도 개발 환경이 시스템 개발에서 능동성과 깊은 통찰력을 갖춘 지혜 유사 행동을 보일 수 있는가?
• RQ2 형식적 방법과 고수준 모델링을 자연어 이해와 어떻게 융합하여 목표 인식 기반의 시스템 추론을 지원할 수 있는가?
• RQ3 구조적 및 행동적 분석을 통해 계산 시스템이 설계 결함이나 아키텍처 문제를 얼마나 정확히 예측할 수 있는가?
• RQ4 어떤 메커니즘이 시스템이 소프트웨어 개발에서 책임감 있고 지식이 풍부하며 창의적인 파트너로 기능하도록 하는가?
• RQ5 검증 중심 도구에서 지혜 기반 협업으로의 전환을 실제 세계 규모에서 실현 가능한 방식으로 어떻게 입증할 수 있는가?

주요 결과

• 프로토타입은 전통적인 검증을 초월하여 시스템의 구조, 행동, 목표에 대해 추론할 수 있음을 입증하며, 능동적인 제안과 통찰을 보여준다.
• 소규모 예시에서 시스템은 형식적 분석과 목표 중심 추론을 기반으로 잠재적 설계 문제를 성공적으로 식별하고 개선 사항을 제안한다.
• 자연어 통합을 통해 시스템은 인간이 이해할 수 있는 방식으로 자신의 추론을 표현할 수 있어 협업과 신뢰를 향상시킨다.
• 환경는 시스템 목표와 제약 조건에 부합하는 대체 아키텍처 패턴을 제안함으로써 창의성을 보여준다.
• 한정된 범위이지만 지혜 유사 기능을 개발 도구에 통합할 수 있음을 데모를 통해 확인하였다.
• 개발자의 인지적 부담을 줄이기 위해 통찰 생성과 의사결정 지원을 자동화함으로써 이 접근법이 잠재력을 지닌다.