Earticle

미국·영국·한국 등의 국가에서 공공정보의 활용 활성화를 위해 인구·범죄·건강 등 다양한 분야의 공공정보들을 공개하고 있다. 공공정보를 활용하는 애플리케이션은 공공정보의 활용 활성화를 위한 한가지 방안이다. 하지만 공공정보를 활용하는 애플리케이션을 개발하기에는 문제점이 있다. 표준화된 인터페이스가 존재하지 않아 개별적인 접근 기술이 필요하고, 공개된 공공정보 중 대부분이 웹 페이지에 의존적이어서 웹 페이지가 변경되면 해당 공공정보를 활용하는 모든 응용이 변경되어야 한다. 본 논문은 이러한 문제점들을 해결하고 공공정보를 활용하는 응용의 개발을 증대시켜 공공정보의 활용 활성화에 기여하고자 REST 아키텍처와 JDBC 아키텍처의 장점을 혼합하여 RESTful JPIC(Java Public Information Connectivity) SDK를 설계·개발 하였다. 본 연구의 검증을 위해 5개의 JPIC 드라이버들과 드라이버들은 테스트 할 수 있는 JPIC SDK Tester, 공연·전시 JPIC 드라이버를 활용하는 안드로이드 애플리케이션을 개발하였다.

Countries such as US, UK Korea have been disclosing public information on population, crime and health in various ways to revitalizing its use. The application using public information is one of the methods which revitalizing the use of public information. However, the development of the application using public information has several difficulties. Each development has to use its development-dependent access method to the information because there is no standard interface for accessing it. Also, developers have to change the entire applications which use the public information in web pages whenever the web pages change because most of the inclosed public information is dependent on them. In this paper, in order to solve such difficulties and to activate the public use of the public information from increasing the developments of the applications using it, a RESTful JPIC(Java Public Information Connectivity) SDK is proposed and developed by combining the REST architecture and the JDBC architecture together. To verify this research, we developed five JPIC drivers, JPIC SDK Tester which can test those drivers and an android application using the performances & shows JPIC driver.

Recently many different programming languages have emerged for the development of bioinformatics applications. In addition to the traditional languages, languages from open source projects such as BioPerl, BioPython, and BioJava have become popular because they provide special tools for biological data processing and are easy to use. However, it is not well-studied which of these programming languages will be most suitable for a given bioinformatics task and which factors should be considered in choosing a language for a project. Like many other application projects, bioinformatics projects also require various types of tasks. Accordingly, it will be a challenge to characterize all the aspects of a project in order to choose a language. However, most projects require some common and primitive tasks such as file I/O, text processing, and basic computation for counting, translation, statistics, etc. This paper presents the benchmarking results of six popular languages, Perl, BioPerl, Python, BioPython, Java, and BioJava, for several common and simple bioinformatics tasks. The experimental results of each language are compared through quantitative evaluation metrics such as execution time, memory usage, and size of the source code. Other qualitative factors, including writeability, readability, portability, scalability, and maintainability, that affect the success of a project are also discussed. The results of this research can be useful for developers in choosing an appropriate language for the development of bioinformatics applications.

In order to get the security protocol implementations written in programming language from formal languages in secure way, firstly, the model of implementation generation from security protocol implementations written in formal language is presented; Apart from that, an automatic generator PV2JAVA is developed, which can transform security protocol implementations written in the Applied PI calculus proved in the symbolic model into security protocol implementations written in Java language ; Finally, the method of software testing is used to provide a strong confidence in the correctness of the automatic generator PV2JAVA through five typical security protocols.

This Paper Presents an Internet-based Java self-learning educational system which consists of a management system named Java Web Player (JWP) and creative multimedia contents fer Java language. The JWP Is a Java application program free from security problems by the Java Web Start technologies that supports an Integrated learning environment including three Important learning Procedures: Java concept learning Process, Programming practice process and assessment process. This JWP enables the learners to achieve efficient and Interesting self-learning since the learning process is designed to enhance the multimedia capabilities on the basis of various educational technologies. On-line voice presentation and its related texts together with moving images are synchronized for efficiently conveying creative contents to learners. Furthermore, a simple and useful compiler is included in the JWP fur providing user-friendly language practice environment enabling such as coding, editing, executing and debugging Java source files on the Web. The assessment process with various items helps the learners not only to increase their academic capability but also to appreciate their current degree of understanding. Finally, simple multiple choices are given suddenly to the learners while they are studying through the JWP and the test results are displayed on the message box. The proposed system can be used for an efficient tool for learning system on the Web.

Bad smells are usually related to program source code, arising from bad design and programming practices. Refactoring activities are often motivated by the detection of bad smells. With the increasing adoption of Design-by-Contract (DBC) methodologies in formal software development, evidence of bad design practices can similarly be found in programs that combine actual production code with interface contracts. These contracts can be written in languages, such as the Java Modeling Language (JML), an extension to the Java syntax. This paper presents a catalog of bad smells that appear during DBC practice, considering JML as the language for specifying contracts. These smells are described over JML constructs, although several can appear in other DBC languages. The catalog contains 6 DBC smells. We evaluate the recurrence of DBC smells in two ways: first by describing a small study with graduate student projects, and second by counting occurrences of smells in contracts from the JML models application programming interface (API). This API contains classes with more than 1,600 lines in contracts. Along with the documented smells, suggestions are provided for minimizing the impact or even removing a bad smell. It is believed that initiatives towards the cataloging of bad smells are useful for establishing good design practices in DBC.

This paper presents the java bytecode-to-.NET MSIL intermediate language translator which enables the execution of the java program in .NET environments without JVM(java Virtual Machine), translating bytecodes produced by compiling java programs into MSIL codes. Java, one of the most widely used programming languages recently, is the language invented by James Gosling at Sun Microsystems, which is the next generation language independent of operating systems and hardware platforms. Java source code is compiled into bytecode as intermediate code independent of each platform by compiler, and also executed by JVM. .NET language such as C# and .NET platform in Microsoft Corp. has been developed to meet the needs of programmers, and cope with Java and JVM platform of Sun Microsystems. After compiling, a program written in .NET language is converted to MSIL code, and also executed by .NET platform but not in JVM platform. For this reason, we designed and implemented the java bytecode-to-.NET MSIL translator system for programs written in java language to be executed in the. NET platform without JVM. This work improves the execution speed of programs, enhances the productivity, and provides a environment for programmers to develop application programs without limitations of programming languages.

본 논문에서는 자바 웹 플레이어라는 관리시스템과 자바언어 강의를 위한 창의적인 멀티미디어 컨텐츠로 구성된 웹기반 자바가상교육시스템을 구현하였다. 자바 웹 플레이어는 통합된 가상교육환경을 지원하는 자바 응용프로그램이며 자바 웹 스타트 기술을 이용하여 보안문제를 해결하였다. 통합가상교육환경은 자바개념학습단계, 프로그래밍 실습단계 그리고 평가단계의 세 가지 주요단계로 구성되어 있다. 학습자들에게 창의적인 컨텐츠를 효율적으로 전달하기 위해 온라인 음성지원 및 관련 텍스트를 동화상과 동기화시켰다. 더욱이 웹상에서 자바소스 파일에 대한 코딩, 편집, 실행 및 디버깅등을 할 수 있게 해주는, 사용자에게 친근한 실습환경을 제공하기 위해 자바 웹 플레이어에 컴파일러를 포함시켰다. 마지막으로 자바 웹 플레이어를 이용하여 학습이 진행되고 있는 동안 몇 가지 돌발퀴즈가 학습자들에게 제공되며 돌발퀴즈 평가 결과가 메시지 박스에 디스플레이 되도록 하였다. 제안된 웹기반 자바가상교육시스템의 유효성을 입증하기 위해 한 학기 동안 실습에 대한 학습자들의 성취도를 5개의 설문을 통해 분석하였다.

This paper presents a web-based virtual educational system for Java language, which consists of a management system named Java Web Player (JWP) and creative multimedia contents for the lectures of Java language. The JWP is a Java application program free from security problems by the Java Web Start technologies that supports an integrated learning environment including three important learning procedures: Java concept learning process, programming practice process and assessment process. On-line voice presentation and its related texts together with moving images are synchronized for efficiently conveying creative contents to learners. Furthermore, a simple and useful compiler is included in the JWP for providing user-friendly language practice environment enabling such as coding, editing, executing, and debugging Java source files on the Web. Finally, simple multiple choices are given suddenly to the learners while they are studying through the JWP and the test results are displayed on the message box. In order to show the validity of the proposed virtual educational system we analysed and assessed the learners' academic performance on the five quizzes for one semester.

본 논문은 일본어비주얼프로그래밍이라는 IT융합교과를 일본어학부 자체적으로 10여 년간 운영한 사례와 효과에 관해 기술한 것이다. 일본어비주얼프로그래밍은 JAVA언어의 중급과정을 교육하는 강좌이다. 본 연구에서는 JAVA언어의 교육을 기반으로 학부생들을 위한 IT융합 교육을 시행함으로써 학생들의 사회진출 가능성을 증대하고, IT융합교육의 시행으로 산학협력을 강화함으로써 지속적으로 학부의 경쟁력을 강화하는 과정을 제시하였다. 또한 본 연구에서는 지난 2012년부터 2021년까지 운영한 일본어비주얼프로그래밍 교과의 시행 과정을 상세하게 살펴본다. 그 과정에서 일본어학부 자체적으로 IT융합교육을 효과적으로 시행하기 위해 필요했던 교과편성의 변화를 살펴보며 JAVA언어의 중요성과 교육의 효과를 살펴본다. JAVA언어는 일본IT분야로 진출하기 위해 필수적인 컴퓨터언어이며 웹 분야와 모바일 분야에 활용되는 언어로서 그 활용도가 상당히 높은 언어인 것으로 본 학부와 산학협력중인 업체들과의 교류를 통해 알려져 있다. 따라서 JAVA언어를 기반으로 한 일본어비주얼프로그래밍 교과의 운영은 결과적으로 학부생들의 사회진출에 상당한 도움이 되었으며 실제로 본 학부의 해외취업률의 지속적 향상에도 큰 영향을 미치고 있다. 더불어 학부 내에서의 IT융합교육이 졸업 후 학부생들에게 미치는 영향 또한 4차 혁명 시대를 살아가기 위한 학생들의 좋은 경험이 될 수 있었음을 추가적으로 본문에 명시하였다. 마지막으로 본 논문의 연구가 입학자원 급감과 4차 혁명시대의 교육환경의 변화에 대비하기 위한 IT융합교육의 참고자료가 되기를 희망한다.

This paper describes the case of a Japanese language department operating its own IT convergence course named Visual Programming in Japanese for about 10 years and its results. In Visual Programming in Japanese, students are taught an intermediate level of JAVA language. This study shows that based on the JAVA language education, IT convergence education for undergraduate students improves the students’ chances of landing a job, with IT convergence education strengthening university-industry collaboration and consequently enhancing the competitiveness of the undergraduate program. This paper examines how the curriculum changed in order to offer better IT convergence training and how important the Java language and its education. The JAVA language is an essential computer language to enter the Japanese IT industry, and it is a language used in the web and mobile sectors. Therefore, the Japanese Visual Programming course using the JAVA language has helped undergraduate students to start a professional career, and has continued to have a great influence on the overseas employment rate of the college graduates of the major. Also stated in the study is that how IT convergence education in the undergraduate course can be a meaningful experience for the students living the age of the 4th industrial revolution. It is hoped that this study will serve as a reference material for IT convergence education that can help brace for a sharp decline in school age population and drastic change in the educational environment in the era of the 4th industrial revolution.

In this paper a computer program has been developed using IT technologies for load flow analysis. The program is written in the Java language for the platform and operating system independence. The software technique, such as Standard Widget Toolkit (SWT), Graphical Editing Framework (GEF), and Java web start, are used for the program. The program also has Graphical User Interface (GUI) to enable users to construct power system displays through simple mouse clicks and map directly into visual power system elements on the screen. The input data of the elements of power system can be entered on the screen. The results of the program cail be checked on the screen.

본 논문은 자바 프로그램에서 논리적인 오류를 발견하기 위해 알고리즈믹 디버깅 기술의 이용을 제안한다. 알고리즈믹 디버깅 기술은 원시 프로그램으로부터 실행 트리를 생성하고, 실행 트리로부터 프로그램 내에 포함된 논리적인 오류를 하향식 방법으로 발견하는 반자동화 디버깅 기술이다. 따라서 알고리즈믹 디버깅 기술은 다양한 프로그래밍 언어에 알맞은 실행 트리를 생성하는 것이 중요하다. 본 논문에서는 자바 프로그램으로부터 실행 트리를 생성하는 방법을 제안하고 예제를 통해서 자바 프로그램을 위한 알고리즈믹 디버깅 기술을 확인한다. 이 접근은 전통적인 순차적 디버깅 기술보다 사용자와 디버깅 시스템 사이에서 상호작용의 수를 줄일 수 있다.

This paper proposes to use an algorithmic debugging technique for locating logical errors in Java programs. The algorithmic debugging is a semi-automated debugging technique that builds an execution tree from a source program and locates logical errors, if any, included in the program from the execution tree with top-down method. So, it is very important to build a suitable execution tree from the various programming languages. In this paper we propose the method for building an execution tree from Java programs and walk through an example. This approach could reduce the number of interactions between a user and a debugging system than the traditional step-wise debugging technique.

객체지향 언어인 JAVA를 이용하여 Web-기반의 운동 해석 프로그램을 개발하였다. 지금까지 운동해석에 관한 대부분의 프로그램은 Fortran, C, C++ 와 같은 언어로 이루어져 있으며 이 경우 계산 속도는 빠르지만 각 언어의 Compiler 와 Builder를 필요로 한다. 따라서 사용된 각각의 언어에 대한 Compiler 및 Builder가 사용자의 개인용 컴퓨터 상에서만 설치 및 구동될 수 있으며 그로 인해 사용자는 계산된 Data형 결과물만을 얻을 수 있었다. 본 연구에서는 이를 개선하고자 객체지향형 언어인 JAVA를 이용하여 운동해석 프로그램을 구성할 수 있는 기반을 구축하였으며 Web과 연동하여 시간적 공간적 제약을 극복하고 사용자의 의견 개입을 가능하게 하였다. 일반적으로 JAVA 언어는 연산속도가 느려서 수치해석용으로는 부적합 하다는 평이 지배적 이였으나 컴퓨터의 성능 발달로 이는 개선이 될 수 있으며, 이는 사용자가 시간적 공간적 제약을 받지 않고 사용 가능하다는 점에서 극복되어 질 수 있다.

본 논문에서는 자바 언어를 학습하는데 있어 효율성을 증가시키기 위해 인터넷 기반 자율학습시스템이 제안되었다. 제안된 자율학습시스템은 JWP(Java Web Player)라고 불리며 Java Web Start 기술을 활용하여 웹상에서 실행이 가능한 자바 애플리케이션 프로그램이다. 또한 본 논문에서는 컴퓨터 언어를 학습하는데 있어 3가지 중요한 일련의 과정인 개념학습과정, 프로그래밍 실습과정, 그리고 학습 성취도 평가과정을 Java Web Start 기술을 이용하여 JWP에 통합하였다. 제안된 시스템은 학습과정을 교육공학적인 측면에서 멀티미디어 요소를 강화하였기 때문에 학습자가 흥미를 가지고 자발적으로 학습을 할 수 있도록 설계되었다. 더욱이 JWP 에는 효율적인 자바 언어 학습을 위해 학습내용에 대한 설명이 음성으로 출력되며, 이때 이와 관련된 이미지와 텍스트들이 동기화되어 동시에 화면에 표시된다. 더욱이 소스파일의 코딩, 에디팅, 실행 그리고 디버깅 등을 쉽게 할 수 있는 컴파일러가 삽입되어 있어 편리한 자바 언어 실습환경을 제공한다. 마지막으로 각 단원별 돌발퀴즈와 마무리 테스트를 통하여 학습자가 자신의 학습상황을 체크하여 반복학습을 할 수 있도록 유도하였다.

This paper presents an internet-based self-learning educational system which can be enhancing efficiency in the learning process of Java language. The proposed self-learning educational system is called Java Web Player(JWP), which is a Java application program and is executable through Java Web Start technologies. Also, three important sequential learning processes : concept learning process, programming practice process and assessment process are integrated in the proposed JWP using Java Web Start technologies. This JWP enables the learners to achieve efficient and interesting self-learning since the learning process is designed to enhance the multimedia capabilities on the basis of various educational technologies. Furthermore, internet-based on-line voice presentation and its related texts together with moving images are synchronized for efficient language learning process. Also, a simple and useful Java compiler is included in the JWP for providing language practice environment such as coding, editing, executing and debugging Java source files. Finally, repeated practice can make the learners to understand easily the key concepts of Java language. Simple multiple choices are given suddenly to the learners while they are studying through the JWP and the test results are displayed on the message box. This assessment process is very essential to increase the learner's academic capability.

This paper proposed a web-based open architecture monitoring system using the Java language. The proposed system can be implemented in any platform and the status of the process can be monitored in a remote station. The proposed scheme have been applied to a steam generator level controller for a nuclear power plant. The result shows the feasibility of the proposed system.

This paper presents an internet-based self-learning educational system which can be enhancing efficiency in the learning process of Java language. The proposed self-learning educational system is called Java Web Player(JWP), which is a Java application program and is executable through Java Web Start technologies. In this paper, three important sequential learning processes : concept learning process, programming practice process and assessment process are integrated in the proposed JWP using Java Web Start technologies. This JWP enables the learners to achieve efficient and interesting self-learning since the learning process is designed to enhance the multimedia capabilities on the basis of educational technologies. Also, online voice presentation and its related texts together with moving images are synchronized for efficient language learning process. Furthermore, a simple/useful compiler is included in the JWP for providing language practice environment such as coding, editing, executing and debugging Java source files. Finally repeated practice can make the learners to understand easily the key concepts of Java language. Simple multiple choices are given suddenly to the learners while they are studying through the JWP and the test results are displayed on the message box.

순차 Java 프로그램을 병렬 머쉰에서 실행할 경우 루프는 전체 수행 시간 중 많은 부분을 차지하므로 병렬성 검출의 기본이 된다. 본 논문은 기존에 작성된 단일 루프 구조를 갖는 Java 프로그래밍 언어에서 종속성 분석을 수행하여 묵시적 병렬성을 검출하는 방법을 제안한다. 또한 재구성 컴파일러에 의하여 병렬 코드를 생성하는 방법과 Java 원시 프로그램을 Java 프로그래밍 언어 자체에서 지원하는 다중스레드 기법으로 변환하는 방법을 제안한다. 스레드 문장으로 변환된 프로그램에 대해 루프의 반복계수와 쓰레드 수를 매개변수로 하여 성능 분석을 하였다. 재구성 컴파일러에 의한 장점은 사용자의 병렬성 검출에 대한 오버헤드를 줄이고, 순차 Java 프로그램에 대한 효과적인 병렬성 검출을 가능하게 한다.

The loop is a fundamental for the parallelism exploiting as it has a large portion of execution time for sequential Java program on the parallel machine. This paper proposes the method of exploiting the implicit parallelism through the analysis of data dependence in the existing Java programming language having a single loop structure. The parallel code generation method through the restructuring compiler and the translation method of Java source program into multithread statement, which is supported in the level of the Java programming language, are also proposed here. The performance test of the program translated into the thread statement is conducted using the trip count of loop and the thread count as parameters. The restructuring compiler makes it possible for users to reduce overhead and exploit parallelism efficiently in the Java programming.

본 논문에서는 지연계산기반 함수형 언어 프로그램을 받아 Java 프로그램을 목적 코드로 생성하는 컴파일러를 설계하고 구현한다. 이 컴파일러는 제한된 형태의 함수형 언어 Shared Term Graph(STG)를 입력언어로 하는 추상기계 Spineless Tagiess G-Machine (STGM)을 수행 모델로 한다. 본 논문에서는 명령형 언어 L-code를 제안하고 이를 입력언어로 하는 새로운 형태의 STGM인 L-Machine을 제안한다. STG 언어를 L-code로 변환하는 컴파일러와 L-code를 Java로 변환하는 컴파일러를 설계하고 구현함으로써 원하는 컴파일러를 구성한다. 그리고 Glasgow Haskell 컴파일러를 전단부로 하여 지연계산 기반 함수형 언어 Haskell로 작성된 프로그램들을 컴파일하여 STG 프로그램으로 변환한 다음 본 논문에서 구현한 컴파일러로 이를 Java 프로그램으로 변환한다. 변환된 Java 프로그램을 Sun JIT 컴파일러로 컴파일하여 수행한 성능 평가 결과를 제시한다.

휴대용 무선기기의 성능 향상과 동적인 응용프로그램 실행의 필요성에 따라 모바일 응용프로그램은 기존의 네이티브 애플리케이션 제작 방법에서 가상기계(Virtual Machine)를 탑재하여 실행하는 가상기계애플리케이션 제작 방법으로 변환하였다. 가상기계를 이용한 애플리케이션의 실행은 플랫폼 독립적인 실행이 가능하며 또한 효과적인 다운로드 솔루션을 통한 동적인 응용프로그램의 실행이 가능하다. 이러한 배경으로 KVM과 CVM(General Virtual Machine)등의 가상기계가 출현하였다. 그러나 각 플랫폼에서 맞는 애플리케이션은 서로 호환되지 않으므로 가상기계 언어간의 번역을 통해 목적 가상기계에서의 실행이 요구되며 자바 바이트코드를 순수 국내 기술로 개발된 GVM 코드로 번역하는 것이 바람직하다. 본 논문에서는 KVM에서 실행가능한 자바 바이트코드를 CVM에서 실행하기 위해 바이트코드를 GVM코드인 SAL(Sinji Assembly Language)로 번역하는 번역기를 설계하고 구현한다. 이를 위해 자바의 언어 독립적 특성 외에 언어 의존적인 특성을 처리하기 위한 방법을 제안하며 언어 의존적인 특성을 배열과 문자열, 클래스와 객체, 예외, 스레드로 분류하여 처리한다.

능동 네트워크 (active network) 는 각 네트워크 요소들이 단순한 데이터 전달 뿐 아니라 데이터를 다루는 프로그램을 탑재/수행함으로써 네트워크 상에서 부가적인 작업을 가능하게 한다 본 논문에서는 자료 흐름 모델에 기반 한 능동 네트워크 언어를 제안하고 Java 환경에서 수행을 가능하게 하는 변환기와 보조 API를 제안하였다.

최근 들어 각종 보안 사고가 발생하면서 이전과는 다르게 보안에 대한 인식이 매우 중요해 졌다. 국내에는 국가차원에서 암호모듈의 안전성을 검증하는 제도인 KCMVP를 시행하고 있으며, 다양한 언어로 개발된 암호모듈들이 KCMVP 검증을 받고 있다. 암호모듈 검증시 해당 모듈뿐만 아니라 동작하는 환경까지 평가하기 때문에 다른 환경에서의 동작은 제도적으로 허용하지 않는다. 하지만 동일한 환경에서는 C언어로 개발된 검증필 암호모듈을 자바로 동작시키는 것이 가능하며, 본 논문은 이러한 암호모듈의 활용 방안을 제안한다. 이를 통해 암호모듈 개발에 들어가는 막대한 시간과 비용을 절약할 수 있으며, 이론적으로는 자바로 개발된 다른 검증필 암호모듈보다도 더 나은 성능을 기대할 수 있을 것이다.

Due to recent arise of cybercrime, importance of cyber security is highlighted more than ever. Korean government has been running Korea Cryptographic Module Validation Program, namely KCMVP, to validate security level of cryptographic modules for public organizations: indeed, many are achieving the validation. According to the program, operating environments for any specific cryptographic module are fixed. In other words, running validated module in other software environment is strictly prohibited. However, this paper asserts that it is possible for a C language based module to operate in Java based environment as long as the module is running on a validated environment. We expect this paper to help saving great amount of money and time for developing another cryptographic modules for the same operating environment. Also, this method will provide an idea for developing faster modules.

Single Sign-On(SSO)은 사용자가 단 한번의 인증으로 분산된 시스템에서 제공하는 다른 서비스에 로그인하는 것을 가능하게 하는 보안 특징이다. SAML은 서로 다른 entity들 사이에서 인증, 권한 그리고 profile 정보의 교환을 가능하게 하는 XML기반의 SSO표준이다. 이러한 표준은 분산 환경에서 서로 다른 보안 서비스들 사이에 상호운용성을 제공한다. 본 논문에서는 SAML APIs로 구성된 자바 기반의 SSO library를 설계 및 구현하고 SAML APIs를 검증하기 위해 분산 application의 prototype을 구성하였다. 개발된 library에서 무결성, 부인방지, 그리고 기밀성 같은 보안고려사항들을 XML기반의 서명과 암호화를 적용하여 보장한다.