자바 람다식에 대한 형식 의미론

한정란,Han Jung Lan 한국정보처리학회 2023 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.12 No.5

자바의 최신 기능인 함수 인터페이스와 람다식에 대한 의미구조를 명세하는 것은 향후 유사한 기능을 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 자바의 함수 인터페이스와 람다식에 대한 의미구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 함수 인터페이스와 람다식의 정적·동적 의미구조를 표현하는 작용식 3.0을 새롭게 제시한다. 작용식 3.0에 명세된 의미구조를 자바로 구현해 자바 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 3.0이 구현가능한 실제적인 의미구조 명세법인 것을 입증한다. 판독성(Readability) 측면, 모듈성(Modularity) 측면, 확장성(Extensibility) 측면, 융통성(Flexibility) 측면에서 대표적인 의미구조 표현법과 작용식 3.0을 비교하여 작용식 3.0의 우월성을 확인하고자 한다. Specifying the semantic structure for functional interfaces and lambda expressions, which are the latest features of Java, can be referenced when designing similar functions in the future, and is also required in the process of standardizing or implementing an optimized translator. In this study, action equation 3.0 is newly proposed to express the static and dynamic semantic structure of functional interfaces and lambda expressions by modifying and upgrading the existing expressions to express the semantic structures of java functional interfaces and lambda expressions. Measure the execution time of java programs by implementing the semantic structure specified in action equation 3.0 in java, and prove that action equation 3.0 is a real semantic structure that can be implemented through simulation. The superiority of this action equation 3.0 is to be confirmed by comparing the action equation 3.0 specified in the four areas of readability, modularity, extensibility and flexibility with the existing representative semantic expression methods.

멀티태스킹에 의한 병행 점진 평가 방법

한정란,Han, Jung-Lan 한국정보처리학회 2010 정보처리학회논문지 A Vol.17 No.2

하드웨어의 성능이 향상됨에 따라 멀티태스킹 방식으로 병행 처리하는 연구가 다양하게 진행되고 있다. 프로그램 개발 단계에서 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이 점진 평가인데, 여러 프로세서에서 병렬로 처리하는 대신 자바언어의 멀티쓰레딩 기능을 활용하여 점진 평가의 효율성을 증대시키는 연구가 필요하다. 본 논문에서는 의미 구조에 직접적으로 영향을 주는 변수의 값을 나타내는 속성을 중심으로 종속성을 표시하여 객체 지향언어인 자바 언어에서 병행 점진 평가를 동시에 효율적으로 수행할 수 있는 병행 점진 평가 알고리즘을 제시하고 그 알고리즘의 정확성을 증명한다. 실험을 통해 병행 점진 평가 방법의 효율성을 분석한다. As the power of hardware has improved, there have been numerous researches in processing concurrently using multitasking method. The incremental evaluation is the evaluation method of reevaluating only affected parts instead of reevaluating overall program when the program has been changed. It is necessary to do more studies that improve the efficiency of concurrent incremental evaluation to do multitasking using multi-threading of Java not to do in parallel using multiprocessor. In this paper, the dependency in the dependency chart is based on the attribute that describes the real value of the variable that directly affects the semantics, thereby doing efficient evaluation. So using the dependency, this paper presents the concurrent incremental evaluation algorithm for Java Languages and proves its correctness, analyzing the efficiency of concurrent incremental evaluation by the simulation.

예외 처리를 위한 형식 의미론

한정란,Han, Jung-Lan 한국정보처리학회 2010 정보처리학회논문지 A Vol.17 No.4

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics. 프로그래밍언어에 대한 형식 의미를 적절하게 표현하면 설계와 표준화, 최적화 및 번역 과정에 중요한 역할을 수행한다. 기존의 자바에 대한 형식 의미 연구는 번역을 위해 정확하고 실제적인 의미 구조를 표현하는데 미흡한 점이 있다. 자바 번역 과정의 효율성을 향상시키기 위해 정적이고 동적인 의미 구조를 정확하게 표현하는 의미 표현법에 관한 연구가 필요하다. 본 논문에서는 기존의 작용식(Action Equations)을 사용해 명세한 연구를 확장하여 자바 언어에 대한 형식 의미를 명세하는 개선된 작용식(Action Equations)을 제시한다. 객체를 다루는 기능은 물론 예외를 처리하는 형식 의미론을 보다 실제적이고 정확하게 명세하게 된다. 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식을 기존의 의미 표현법과 비교하여 본 작용식의 우수성을 확인하고자 한다.

작용식 2.0 기반 파이썬에 대한 형식 의미론

한정란 ( Jung Lan Han ) 한국정보처리학회 2021 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.10 No.6

프로그래밍 언어의 형식적인 의미를 적절하게 표현하면 언어를 표준화하고 최적화하여 번역하는 과정에서 중요한 역할을 수행한다. 파이썬은 주목받는 강력한 언어이고, 파이썬에 대한 형식적인 의미 구조를 정의하고 표현하는 것은 향후 유사한 언어를 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 파이썬에 대한 의미 구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 파이썬의 정적이고 동적인 의미 구조를 표현하는 작용식 2.0을 새롭게 제시한다. 작용식 2.0에 명세된 의미구조를 자바로 구현해 파이썬 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 2.0이 구현 가능한 실제적인 의미 구조임을 입증하고, 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식 2.0을 기존의 대표적인 의미 표현법과 비교하여 본 작용식 2.0의 우월성을 확인하고자 한다. To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs, we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.

녹색 성장을 위한 그린 IT 기술과 전망

한정란(Jung Lan Han) 한국정보과학회 2009 정보과학회지 Vol.27 No.11

객체 지향 언어를 위한 의미 명세

한정란 ( Jung Lan Han ) 한국인터넷정보학회 2007 인터넷정보학회논문지 Vol.8 No.5

의미 기반 표기법은 새로운 프로그래밍 언어를 명세하여 그 언어를 구현하기 위한 정적이고 동적인 의미를 명세하는 데 필요한 것이다. 프로그래밍 언어에 대한 의미를 보다 실제적으로 정의하면 그 의미에 따라 언어를 구현함으로써 번역기를 쉽게 만들 수 있다. 본 논문에서는 번역기를 쉽게 만들 수 있는 정적이고 동적인 의미를 명세하고자 한다. 객체 지향 언어를 위한 정적이고 동적인 의미를 적절하게 명세할 수 있도록 속성 문법을 확장하고 변형하여 실제적인 의미 기반의 작용식을 제시하였고 기존의 연구 방법과 비교하여 제시된 작용식의 의미 명세가 우월함을 알 수 있었다. Semantics-based notations need to be used for specification of static and dynamic semantics to specify and implement new programming language. If the semantics is practically defined, we easily gain a translator according to the implementation of the semantics. In this paper, we describe the static and dynamic semantics to get a translator easily. We present practical semantics-based Action Equations, an extension and transformation of Attribute Grammar(AGs) suitable for specifying the static and dynamic semantics of a object oriented programming language. Compare with the existing descriptions, Action Equations is superior, modernized, and accurate.

순환 속성 문법의 효율적 점진 평가 기법

이기호(Kiho Lee),한정란(Jung Lan Han) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.6

본 논문은 순환적으로 정의된 순환 속성 문법(Circular Attribute Grammars)을 효율적으로 평가하기 위한 점진 평가 기법을 제시한다. 기존의 방법에서는 종속 그래프를 구성하고 변경된 속성의 변화를 파급시키는 과정이 복잡하게 수행된다. 이러한 변화 추적 과정을 간단히 하기 위해 기존의 방법에서 사용하지 않은 새로운 종속 테이블을 구성하여 평가하는 기법을 제시한다. 이 종속 테이블을 참조하면 값이 변경된 속성(attribute)의 변화를 파급시키는 과정이 생략될 수 있어 효율적으로 수행된다. 기존의 방법에서는 값이 변경된 속성에 영향받는 모든 속성을 평가하지만 종속 테이블을 사용하면 조건 속성의 값에 따라 평가 여부를 결정하여 프로그램 수행 상 필요한 속성만을 평가하는 최적의 평가를 수행할 수 있다. 본 논문에서는 순환 속성 문법을 평가할 때 발생되는 문제점과 그 해결책을 제시한다. 예 명령문에 대해 종속 테이블과 종속 그래프를 구성하여 그 효율성을 비교하고 기존의 방법처럼 영향받는 모든 속성을 평가하는 것과 종속 테이블을 사용하여 조건 속성에 따라 필요한 속성만을 평가하는 방법을 모의 실험을 통해 효율성을 비교 분석한다. This paper presents the incremental evaluation method of circular attribute grammars. In traditional, the dependency graph is constructed and the progress of change propagation for changed attributes is complexity executed. To simplify this progress, our method evaluates attributes by construction of new dependency table that have not used in existing methods. We implement an efficient evaluation for reference the dependency table because of omitting the progress that propagate the change of changed variables. All attributes affected by the changed attributes are evaluated in existing method. On the other hand, if the dependency table is used, only attributes needed to execute the program are evaluated because the value of conditional attribute determines whether or not to evaluate an attribute, and optimal evaluation is performed. This paper presents issues which occur in the evaluation of circular attribute grammars and their solutions. Through execution of example program we construct the dependency table and dependency graph, and compare the first to the second in view of efficiency. Also, we compare the evaluation of all affected attributes as existing method to this presenting evaluation through simulation and analyze the efficiency.

BPM(Business Process Management) 기술도구 구성연구

최성(Sung Choi),한정란(Lan Han Jung) 한국산학기술학회 2005 한국산학기술학회 학술대회 Vol.- No.-

경영환경변화가 가속화되고 있는 이즈음, 빠르게 적응하기 위한 인프라, 업무처리 생산성 향상, 내부의 역량강화, 경쟁력 확보 등에 기업들은 관심을 집중시키고 있다. 대기업을 중심으로 기술과 경영혁신으로 RTE(Real Time Enterprise)시스템에 대하여 본격 시도되고 있다. 그래서 기업들은 생존을 위하여 연속적인 성과 개선이 필요하다. 기존 조직구조와 시스템으로부터 할 수 있는 기술도구로서 BPM을 연구하였다.

2B상의 WEB형 플라스틱 사출 금형 견적 산출 시스템 연구

최성(Choi Sung),김승찬(Kim Seoung Chan),유정근(Yu jeoung Geun),한정란(Han Jung Lan) 한국산학기술학회 2004 한국산학기술학회 학술대회 Vol.- No.-

본 연구는 플라스틱 사출 금형 견적 산출 전문가 시스템에 관한 내용이다. 일반적으로 경험에 의한 견적 산출은 프라스틱 사출 금형 제조 회사의 경험이 많은 엔지니어가 직접 작성하게 된다. 이렇게 되면, 시간은 많이 소요되지 않지만, 객관성과 과학성이 결여된 견적이 산출된다. 때때로, 고객과 제조회사 간의 분쟁이 발생하게 되는 원인이 되기도 한다. 이러한 문제를 극복하기 위해, 본 연구로 개발된 시스템이 대안이 될 것이다. 윈도우 환경의 Visual Basic과 SQL 데이터 베이스를 사용한다. 이 시스템에서 얻어진 결과는 제조 현장에서 설계들에게 효과적인 지침이 될 것이다.

3 Tier Architecture 시스템 구조연구

최성(Choi Sung ),김승찬(Kim Seoung Chan),유정근(Yu jeoung Geun),한정란(Han Jung Lan) 한국산학기술학회 2004 한국산학기술학회 학술대회 Vol.- No.-

정보기술 패러다임의 주요 흐름을 살펴보면 오랜 기간동안 주도했던 메인 프레임 위주의 시스템이 90년대 들어서 클라이언트/서버 시스템이 주도하는 환경으로 전환되었으며, 90년대 후반 들어서는 인터넷의 활용증대로 네트웍 컴퓨팅등에 대한 관심이 증대하고 있는 현실이다. 3-tier 구조는 이 시대서 요구하는 시스템 아키텍쳐에 적합하며 발전해 나가 서비스 확장성(scalability) 과 안정성, 그리고 효율면에서 유리하므로 대용량 서비스에 적합하다. 본 논문에서는 이제 앞으로 주도할 3-Tier 아키텍처를 제안하였다.