[논문]추상화의 분류

김성기

doi:10.3745/kipsta.2004.11a.1.089

추상화의 분류
Taxonomy of Abstraction 원문보기

정보처리학회논문지. The KIPS transactions. Part A. Part A, v.11A no.1, 2004년, pp.89 - 96

초록
AI-Helper

프로그래밍 언어에서의 추상화는 변수, 함수, 복합 데이터 등에서부터 추상 데이터 타입, 클래스, 다형성 등에 이르기까지 광범위하게 적용되는 중요한 개념이다. 그러나 추상화 개념의 명확성과 통일성 부족으로 인하여 추상화는 다소 애매 모호한 특성을 갖는 용어로 인식되어지고 있으며, 관점에 따라 다르게 설명되는 혼란스러움을 경험하고 있다. 본 논문에서는 여러 프로그래밍 언어에 나타난 추상화에 대한 체계적인 분석을 실시하여 추상화의 분류를 제안한다. 추상화는 추상물의 생성 방법에 따라 사상 추상화, 묶음 추상화, 통합 추상화, 확장 추상화 등 4가지 범주로 분류된다. 또한 함수, 추상 데이터 타입, 객체, 캡슐화, 클래스 등 추상화를 기반으로 하여 형성된 여러 개념들이 추상화의 관점에서 고찰된다. 이러한 체계적인 추상화의 분석과 분류를 통하여 지금까지 개별적이며 서로 다른 형태의 추상화로 취급된 여러 추상화 양상이 하나의 통일된 개념으로 설명될 수 있을 것이며, 추상화의 의미, 필요성, 중요성에 대하여 보다 깊은 이해가 가능할 것이다.

Abstract ▼ AI-Helper

Abstraction is an important concept applied widely to variables, functions, complex data, abstract data types, classes and polymorphism in programming languages. However, the concept of abstraction has been considered as ambiguous and explained differently because it is not defined clearly and uniformly. In this paper, we analyse many aspects of abstraction in programming languages, and propose the taxonomy of abstraction. We classify abstraction according to the mechanism of formation into 4 categories such as napping abstraction, bundling abstraction. integrating abstraction and extending abstraction. We also consider many concepts related closely to abstraction such as functions, abstract data types, objects, encapsulation and classes in the view of abstraction. These analysis and consideration will make it possible to explain uniformly various aspects of abstraction which have been treated individually and differently, and to understand the meanings, necessity and importance of abstraction more intensively.

주제어

AI 본문요약
AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

본 논문에서는 추상화 개념을 일관성 있고 통일성 있게 정의하기 위해 여러 프로그래밍 언어에 나타난 추상화 양상에 대하여 살펴보았고, 추상화의 분류체계를 새롭게 제안하였다. 추상화는 사상 추상화, 묶음 추상화, 통합 추상화, 확장 추상화로 분류되었으며, 함수, 복합 데이터, 추상 데이터 타입, 객체, 캡슐화, 클래스 등 추상화를 기반으로 하여 형성된 여러 개념들이 추상화의 관점에서 고찰되었다.

제안 방법

0, 1, 2 등의 숫자, +, - 등의 연산자, 점, 선, 삼각형 등에 대한 정의, 피타고라스 정리, 괴델의 불완전성의 정리 등의 여러 정리들은 모두가 추상화된 결과를 표현하고 이를 조작하는 방법을 제공한다.
본 논문은 [24]와 [25]의 후속작업으로서, FORTRAN, C, C++, Java 등 여러 프로그래밍 언에2, 11, 17, 2이에 나타난 추상화에 대한 체계적인 분석을 실시하여 추상화의 분류체계를 새롭게 제안한다. 제안된 분류체계에서는 추상화를 사상 추상화, 묶음 추상화, 통합 추상화, 확장 추상화라는 4개의 범주로 분류하고 각 범주에 대한 세부 분류를 제시한다.
새롭게 제안한다. 제안된 분류체계에서는 추상화를 사상 추상화, 묶음 추상화, 통합 추상화, 확장 추상화라는 4개의 범주로 분류하고 각 범주에 대한 세부 분류를 제시한다. 이러한 체계적인 추상화의 분석과 분류를 통하여 지금까지 절차적 추상화, 복합 데이터, 데이터 추상화, 다형성 등 개별적이며 서로 다른 형태의 추상화로 취급된 다양한 형태의 추상화를 하나의 통일된 개념으로 통합할 수 있을 것이다.

성능/효과

또한 상하위 클래스 또는 포괄 클래스에서는 서로 다른 수준의 여러 추상화가 반복적으로 적용됨을 확인할 수 있었다.
매개변수의 타입이 다르지만 동일한 기능을 수행하는 여러 부프로그램들을 하나의 부프로그램으로 통합하려는 노력의 결과 포괄 함수(generic function)[6]7F 도입되었으며, 프로그래밍 언어는 파라메트릭 다형성(parametric poly- morphism)을 제공하게 되었다. 포괄 함수는 여러 타입의 매개변수에 대해 작동할 수 있는 함수로, 매개변수의 타입과 상관없이 특정한 작업을 수행한다.
주소, 데이터 그리고 명령을 기호로 나타내는 어셈블리어가 등장하고, 어셈블리 프로그램의 기호를 이진수로 바꾸어주는 어셈블러(assembler)가 개발되어 어셈블리어로 프로그래밍을 하게 됨에 따라 프로그래머의 생산성이 그 전에 비하여 크게 향상되었고, 변환 오류의 감소, 빠른 번역, 용이한 프로그램의 변경 등이 가능하게 되었다.
체계적인 추상화의 분석과 분류를 통하여 지금까지 절차적 추상화, 복합 데이터, 데이터 추상화, 다형성 등 개별적이며 서로 다른 형태의 추상화로 취급된 여러 추상화 양상이 하나의 통일된 개념으로 통합될 수 있으며 추상화의 의미, 필요성, 중요성에 대하여 보다 체계적인 설명도 가능하였다. 또한 상하위 클래스 또는 포괄 클래스에서는 서로 다른 수준의 여러 추상화가 반복적으로 적용됨을 확인할 수 있었다.
중 가장 중요한 위치를 차지한다. 하나의 프로그램을 여러 기능적 단위로 분해할 수 있게 되었으며, 그 결과 구조적 프로그래밍, 하향식 설계, 코드 재사용 등 향상된 프로그래밍 기법을 이용한 다양한 소프트웨어가 개발되었다.

후속연구

이러한 체계적인 추상화의 분석과 분류를 통하여 지금까지 절차적 추상화, 복합 데이터, 데이터 추상화, 다형성 등 개별적이며 서로 다른 형태의 추상화로 취급된 다양한 형태의 추상화를 하나의 통일된 개념으로 통합할 수 있을 것이다. 또한 이러한 분석과 분류를 통하여 추상화의 의미, 필요성, 중요성에 대하여 체계적인 이해도 가능할 것이다.
앞으로의 연구로, 프로그래밍 언어에서 가장 중요한 부분이며 통합 추상화의 결과로 나타나는 타입 개념과, 추상화의 또 다른 양상으로 중요시 되는 다형성 개념에 대해 추상화의 관점에서 심도 있는 고찰을 통하여 개념을 명확히 정립하고 이에 대한 분류체계도 형성하여야 할 것이다.
제안된 분류체계에서는 추상화를 사상 추상화, 묶음 추상화, 통합 추상화, 확장 추상화라는 4개의 범주로 분류하고 각 범주에 대한 세부 분류를 제시한다. 이러한 체계적인 추상화의 분석과 분류를 통하여 지금까지 절차적 추상화, 복합 데이터, 데이터 추상화, 다형성 등 개별적이며 서로 다른 형태의 추상화로 취급된 다양한 형태의 추상화를 하나의 통일된 개념으로 통합할 수 있을 것이다. 또한 이러한 분석과 분류를 통하여 추상화의 의미, 필요성, 중요성에 대하여 체계적인 이해도 가능할 것이다.

참고문헌 (25)

M. Abadi, L. Cardelli and P. L. Curien, 'Formal Parametric Polymorphism,' Proceedings of the 20th ACM Symposium on Principles of Programming Languages, 1993
K. Arnold and J. Gosling, The Java Programming language, Addison-Wesley, 1996
The Bible Societies, The Holy Bible Authorized Version, The Bible Societies, 1972
A. Bogida, J. Mylopoulos and H. Wong, 'Generalization/Specialization as a Basis for Software Specification,' On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, M. L. Brodie, J. Mylopoulos and J. W. Schmidt, Eds., Springer-Verlag, 1984
P. Canning, W. Cook, W. Hill, W. Olthoff and J.C. Mitchell, 'F'-bounded Polymorphism for Object-Oriented Programming,' Proceedings of the 4th Functional Programming Languages and Computer Architecture, 1989
L. Cardelli and P. Wegner, 'On Understanding Types, Data Abstraction, and Polymorphism,' ACM Computing Survey, Vol.17, No.4, Dec., 1985

상세보기
O. J Dahl and K. Nygaard, 'Simula - An Algol-based Simulation Language,' Comm. ACM, Vol.9. No.9, Sep., 1966

상세보기
S. Danforth and C. Tomlinson, 'Type Theories and Object-Oriented Programming,' ACM Computing Surveys, Vol.20, No.1, Mar., 1988

상세보기
http://www.encyber.com/
T. Korson and J. D. McGregor, 'Understanding Object-Oriented: a Unifying Paradigm,' Comm. of ACM, Vol.33, No.9, Sep., 1990

상세보기
B. W. Kenighan, D. M. Ritchie, The C Programming Language, Prentice-Hall, 1988
Q. Ma, 'Parametricity as Subtyping,' Proceedings of the 19th ACM Symposium on Principles of Programming Languages, 1992
M. N. Mattos, 'Abstraction Concepts: the Basis for Knowledge Modeling,' Proc. of Conf. on Entity-Relationship Approach, 1988
B. Mayer, Eiffel : The Language, Prentice-Hall, 1992
O. Nierstrasz, 'A Survey of Object-Oriented Concepts,' in Object-Oriented Concepts, Databases, and Application, ACM Press, 1989
R. W. Sebesta, Concepts of Programming Languages, The Benjamin/Cummings Publishing Company, 1992
R. Sethi, 'Programming Languages,' Concepts and Constructs, Addison-Wesley, 1989
A. Snyder, 'Encapsulation and Inheritance in Object-Oriented Programming language,' Proceedings of the First ACM Conference on Object-oriented programming Systems, Languages and Applications, 1986
J. M. Smith and D. C. P. Smith, 'Database Abstraction : Aggregation and Generalization,' ACM TODS, Vol.2, No.2, June, 1977
B. Stroustrup, The C++ programming Language, Addison Wesley, 1993
A. Taivalaari, 'On the Notion of Inheritance,' ACM Computing Surveys, Vol.28, No.3, Sep., 1996

상세보기
J. D. Ullman and J. Widom, A First Course in Database Systems, prentice-Hall, 1997
P. Wegner, 'Classification in Object-oriented Systems,' ACM SIGPLAN Notices, Vol.21, No.10, Oct., 1986

상세보기
김성기, '절차적 추상화의 분류와 다형성', 한국정보처리학회논문지A, Vol.10A, No.1, Mar., 2003

원문보기 상세보기
김성기, '프로그래밍 언어에서의 추상화', 한신대학교 정보과학연구소논문지, Vol.6, No.1, Dec., 2002

저자의 다른 논문 :

표제어: PCR

동의어: Packet Collision Rate

용어 설명 출처 목록 (6)

용어 설명: PCR은 세균 특이성이 있는 primer를 이용하여 적은 수의 세균이 있을지라도 쉽게 검출할 수 있는 유용한 방법이며, 이를 이용하여 구강 내 치면세균막이나 타액에서 직접 세균을 검출할 수 있게 되었다[8].

내보내기 구분	파일저장 인쇄 메일전송
구성항목	기본정보 상세정보 관리번호, 논문명, 저널/프로시딩명, 저자 , 발행년, 권, 호, 시작페이지, 끝페이지, 발행기관 관리번호, 논문명, 대등논문명, 저자 , 저널/프로시딩명, 발행기관, 발행년, 발행언어, 권, 호, 시작페이지, 끝페이지, ISBN, ISSN, 주제분야, 키워드, 초록(한글), 초록(영문), 저자(소속기관)
저장형식	Text(ASCII format) Excel format RefWorks Direct Export RIS format (for Reference Manager, ProCite, EndNote), Scholar's Aids, Mendeley
메일정보	받는사람 (필수) @ 보내는사람 (선택) @ 제목 내용 KISTI 검색결과 이메일 서비스
안내	총 건의 자료가 검색되었습니다. 다운받으실 자료의 인덱스를 입력하세요. (1-10,000) 검색결과의 순서대로 최대 10,000건 까지 다운로드가 가능합니다. 데이타가 많을 경우 속도가 느려질 수 있습니다.(최대 2~3분 소요) 다운로드 파일은 UTF-8 형태로 저장됩니다. 파일의 내용이 제대로 보이지 않을실 때는 웹브라우저 상단의 보기 -> 인코딩 -> 자동선택 여부를 확인하십시오. ~ Text(ASCII format) Excel format

연합인증