• Title, Summary, Keyword: 추상화

Search Result 563, Processing Time 0.035 seconds

Taxonomy of Procedural Abstraction and Polymorphism (절차적 추상화의 분류와 다형성)

  • Kim, Sung-Ki
    • The KIPS Transactions:PartA
    • /
    • v.10A no.1
    • /
    • pp.75-81
    • /
    • 2003
  • Many abstraction techniques are introduced in programming languages in order to facilitate the development, maintenance and extension of softwares. But several concepts and terms related to abstraction have not been uniformly defined and have been explained differently. Expecially in object-oriented paradigm strongly based on abstraction common consensus was not derived. In this paper, we analyse procedural abstraction, propose the taxonomy of procedural abstraction and show that procedural abstraction contains the concept of abstraction on abstraction in addition to the transformation of procedures into abstraction. We also explain polymorphism in the view of abstraction. These analysis and consideration will make it possible to understand procedural abstraction more intensively.

Taxonomy of Abstraction (추상화의 분류)

  • Kim, Sung-Ki
    • The KIPS Transactions:PartA
    • /
    • v.11A no.1
    • /
    • pp.89-96
    • /
    • 2004
  • 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.

A Abstraction Method for State Minimization (상태 감소를 위한 추상화 기법)

  • 박지연;이정희;이문근
    • Proceedings of the Korean Information Science Society Conference
    • /
    • /
    • pp.430-432
    • /
    • 2002
  • 상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

  • PDF

The Development of Abstractable Competency Assessment Standards for the Measurement of Computational Thinking (컴퓨팅 사고력 측정을 위한 추상화 역량 평가 기준 개발)

  • Ju, Yeojin;Ma, Daisung
    • Journal of The Korean Association of Information Education
    • /
    • v.22 no.3
    • /
    • pp.375-383
    • /
    • 2018
  • Wing, J. M. emphasized the importance of computational thinking competency to live in the 21st century. In this study, the abstraction of computational thinking is classified into object abstraction, data abstraction, and procedural abstraction through related studies. In addition, abstraction achievement and assessment standards were developed for the abstractable competency assessment. As a result of applying to the school site, the students showed that the object abstraction and the data abstraction competency which are expressed in writing and drawing, they are excellent in solving the problem. However, students hard to write a computer program. The abstractable competency assessment developed in this study will help teach students to teach software education.

State Minimization for Analysis of Real-Time Systems Based on State Space Abstraction (상태 공간 추상화에 기반한 실시간 시스템의 분석을 위한 상태 감소)

  • 박지연;박주호;조기환;이문근
    • Proceedings of the Korean Information Science Society Conference
    • /
    • /
    • pp.571-573
    • /
    • 2001
  • 본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.

  • PDF

An Abstraction Method for State Minimization based on Syntactic and Semantic Patterns in the Execution Space of Real-Time Systems (실시간 시스템의 실행 공간상에서 구문 및 의미패턴에 기반한 상태 최소화를 위한 추상화 방법)

  • 박지연;조기환;이문근
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.1_2
    • /
    • pp.103-116
    • /
    • 2003
  • States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

Analysis of Abstraction Contents in Informatics Textbooks of Middle School According to 2015 Revised Curriculum (2015 개정교육과정에 따른 중학교 정보 교과서에 나타난 추상화 내용 분석)

  • Kim, Soohwan
    • The Journal of Korean Association of Computer Education
    • /
    • v.21 no.5
    • /
    • pp.1-10
    • /
    • 2018
  • The revised informatics is to be compulsory for middle school students from 2018 according to 2015 revised curriculum. The concept of abstraction in informatics curriculum has common features and differences compared with general abstraction, however there is a mix of concepts in the current informatics textbook. The abstraction of computational thinking needs to connect with automation, so it is difficult to teach correct concept of abstraction with these textbooks. Therefore, this research conducted to investigate several informatics textbooks that were developed by the revised curriculum and to analyze the concept and examples of abstraction. As a result, some textbooks have that there is a mix of concepts about general abstraction and no connection with automation. This research suggests clarified abstraction and educational examples for cultivating computational thinking to improve this situation. This result will be basic recourse for the reconstruction of abstraction lesson to improving computational thinking.

Predicate Abstraction of Java Program for Model Checking (모델 체킹을 위한 자바프로그램의 술어추상화)

  • Lee, Jung-Rim;Lee, Tae-Hoo;Kwon, Gi-Hwon
    • Proceedings of the Korean Information Science Society Conference
    • /
    • /
    • pp.325-327
    • /
    • 2005
  • 모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

  • PDF

Review of Concept of Abstraction in Computational Thinking (컴퓨팅 사고력에서 추상화의 고찰)

  • Kim, Dong Man;Lee, Tae Wuk
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • /
    • pp.309-312
    • /
    • 2019
  • 이 연구는 컴퓨팅사고력에서 추상화의 의미를 명확히 확인하고 그 구성요소를 정제하는데 목적이 있다. 그래서 기존 정보교육 분야에서 제시된 추상화 의미를 파악하여 그 의미를 명확히 하고, 관련 구성요소의 개념을 정제하여, 정보교육이 나아가야할 방향에 대한 시사점을 도출하였다. 이 연구의 결론은 1)컴퓨팅사고력에서 추상화를 위한 구성(composition) 과정이 필요함을 확인하였고, 2) 컴퓨팅 사고력에서 추상화는 가설연역적 사고과정으로 인지발달에 도움이 될 것으로 판단되었다.

  • PDF

A function-based abstraction method for visualizing the large scale of protein-protein interaction relationships (대용량 단백질 상호관계의 시각화를 위한 기능기반 추상화 방법)

  • 김대희;최재훈;정재영;박선희
    • Proceedings of the Korean Information Science Society Conference
    • /
    • /
    • pp.793-795
    • /
    • 2003
  • 이 논문은 대용량 단백질 상호작용의 관계를 효과적으로 시각화하기 위해 단백질이 가지고 있는 기능에 기반한 추상화 방법을 제안한다. 제안하는 방법은 FDP(force-directed placement) 알고리즘에 기반을 두고 있지만 다중 레벨 처리를 위해 기능에 기반한 추상화 방법과 확장을 사용한다는 점에서 차이점을 나타낸다. 제안하는 그래프 레이아웃 방법은 추상화, 위치화, 확장의 3부분으로 구성되어 있으며 특히 추상화 부분은 다중 레벨 처리를 포함한다.

  • PDF