• International Journal of Computer Science & Network Security
• /
• v.22 no.2
• /
• pp.115-122
• /
• 2022

Component adaptation is widely recognized as one of the main problems of the components, used in component based software engineering (CBSE). We developed methods to adjust the components classified by the keywords. Three main methods are discussed in this article those methods are combined with several domain component interfaces, high level simple notation for the adapter design patterns. The automated process for classifying high-level components are using adaptation is novel to software engineering domain. All Specifications and many technologies for re-using software, CBD and further developments have been emerged in recent years. The effects of these technologies on program quality or software costs must be analyzed. The risk concerns a single technology and must identify its combinations. In this paper, we are going to discuss the methods to adapt components of different technologies

• Information Systems Review
• /
• v.10 no.1
• /
• pp.193-211
• /
• 2008

Effective Training has been recognized as one of the most important success factors for enterprise resource planning (ERP) system operations. However, both ERP system vendors and user companies have failed to provide an effective training method for users because practical business process cases cannot be formalized. Also, incomplete testing by ERP system vendors results in insufficient and ineffective user training. This paper suggests a scenario framework for ERP testing and training (SF-ETT). SF-ETT is constructed by expanding the practice-based ERP testing scenario construction framework designed for unERPII. SF-ETT contains concrete business process entities that users understand actually and provides practice definition, notation, and architecture.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.339-342
• /
• 2006

BPMN(Business Process Modeling Notation)은 BPMI(Business Process Management Initiative)에서 발표한 것으로서 비즈니스 프로세스 모델링을 위한 표준 표기법이다. BPMN은 표준 모델링 표기법 이므로 다른 모델링 표기법을 익히는데 사용되는 시간을 줄이며 IT 및 비즈니스 사용자들 간의 의사소통을 증진시킬 수 있다. 이에 대응하여 WfMC(The Workflow Management Coalition)는 XPDL 매핑작업을 시도하여 BPMN을 XPDL로 표현할 수 있도록 하였고, 그 결과 BPMN에 매핑시킨 XPDL2.0을 발표하였다. 본 논문에서 설계한 모델링 시스템은 표준 표기법인 BPMN을 통하여 모델링을 하고 그 결과를 국제 표준화 워크풀로우 정의 언어인 XPDL2.0으로 제공하는 워크플로우 모델링시스템을 제안하여 다른 워크플로우 시스템들과의 상호 호환성을 제공하는 것이며, 역할 기반의 모델링 방식으로 복잡한 모델링 작업을 단순화 시킬 수 있다. 즉, 워크플로우 모델링 기능에 실시간 그룹웨어 특성들을 통합하여, 한 차원 높은 수준의 모델링 환경제공을 통하여 기존의 워크플로우 시스템들이 지원하지 못 했던 워크플로우 모델링 협동 작업을 실시간으로 지원 할 수 있을 문만 아니라, 요즘과 같이 대형화와 복잡화 그리고 다양화의 특징을 갖는 조직들의 워크플로우 들에 대한 효율적인 분석 및 모델링 환경을 제공하기 위한 워크플로우 모델링 시스템을 제안한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.7
• /
• pp.1465-1472
• /
• 2005

There have been active researches utilizing Biometric informations such as fingerprints, face, iris and so on. but they have tended to use their own data formal and interfaces in processing Biometric informations, which causes the difficulties including sharing of Biometric informations and interoperability. To overcome such problems, we have studied XML applications such as XCBF and SOAP to process Biometric informations in the client-server environment. A method suitable to process and transfer Biometric informations in XML notation is proposed as a result.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.575-578
• /
• 2000

소프트웨어 개발 초기 단계에서의 부정확에 기인한 에러들을 줄이기 위한 노력이나 기술이 절실하다. [1][2] 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z 나 VDM 과 같은 정형 표기법(formal notation)에 의해 쓰여지며, 정형성(formality)과 추상화(abstraction)의 제공 등 두 가지 사항에 대한 요구사항을 충족시켜 준다. [3][4] 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP (Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 논문은 이를 보완하기 위해 범용 목적의 명세 언어인 기존의 Z 를 확장하여 병행성을 명세 가능하도록 하고자 한다. 이를 위해서 병행 프로세스(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다. 아울러, 확장된 Z 로 작성된 명세서를 목적 언어로 자동 변환(translate)하기 위한 변환기(translator)를 Lex 와 Yacc을 이용하여 구현하고, 변환된 목적 언어 파일을 실행하여 확장된 Z 가 모호성을 포함하지 않는지 시뮬레이션을 통해 검증한다.

• Journal of Advanced Navigation Technology
• /
• v.27 no.5
• /
• pp.610-620
• /
• 2023

The interest in the aircraft interior market is gradually growing due to technological development based on the 4th industrial revolution and competition for airlines to attract customers, and as part of that, Cabin Display System (CDS) for FAA Part.25 civil aircraft is being developed in Korea. The CDS is a system that provides various multimedia services to passengers by utilizing Flexible and Transparent Organic Light Emitting Diodes (OLED) with Integrated Display Processing Module (IDPM). This paper presents a new method for efficient Data Load Process of large-sized files and deals with their implementation and performance. The results of this study are expected to be applied to Data Load Process development of avionics that require reliable large-capacity file transmission along with reducing the costs of development compared to existing ARINC-615A.

• Journal of KIISE
• /
• v.44 no.9
• /
• pp.893-907
• /
• 2017

In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are difficult to derived, and there may also be defects due to ambiguity and inaccuracy. To address these issues, we propose a requirement specification method using a standardized Boilerplate and a GSN Model. The Boilerplate is a semi-standard language that follows a predefined format. Due to its ability to provide a consistent representation of the requirements, boilerplate helps stakeholders avoid ambiguities about what they mean and to define the exact meaning of the requirement. Meanwhile, GSN is recognized notation to prepare a Safety Case to prove to authorities that a system is safe. It can be expressed as a functional goal, e.g., Safety Evidence, etc. The proposed study allows an analyst to easily identify a fault from the early stage of the software development lifecycle. The Boilerplate and GSN Model are designed to specify the requirements of safety critical systems and to prove safety conformity through a connection with Safety Evidence. In addition, the proposed approach is also useful to develop secure software by correcting deficiencies in the requirements found during this process.

• Journal of the Korean Institute of Traditional Landscape Architecture
• /
• v.40 no.3
• /
• pp.57-66
• /
• 2022

Since the discovery of the inscriptions engraved with the "Chinese characters of Empress Wu(則天文字)" at 251 and 256-1, Seonjin-ri, Sacheon-si, Gyeongsangnam-do in 2003, researchers from the Gyeongnam Institute of Cultural Properties, Kwak Seung-Hoon, and Kim Chang-Gyeom have attempted to read and interpret the inscriptions. However, there are still different theories as to the origin of the "Chinese characters of Empress Wu" appearing in the inscriptions and the use of Idu(吏讀)-type notation. This study aims to clarify, this inscription was erected by the king of Silla in the late 7th and mid-8th centuries to commemorate his participation in the Sacheon and Jinju patrols and Buddhist activities, and it is revealed that the main character of the inscription is likely to be King Seongdeok who has visited southern countries. In addition, in the case of "上了言", which has been interpreted as a human name, it should be understood as an Idu-type notation or a 變體漢文 because of the use of the proposition 了, and it should be interpreted as a character that means the end of a specific act. Although it is not a religious text like 『Mugujeonggwangdaedaranigyeong (The Great Dharani Sutra)』, the reason why the "Chinese characters of Empress Wu(則天文字)" was used is that in the process of accepting the Huayan school, the royal family of Silla came into contact with the Buddhist scriptures of the period of the Empress Wu, which is closely related to the rise of the Huayan school in the Middle Ages, and it appears to have learned and used in this process.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.16 no.6
• /
• pp.800-807
• /
• 2016

We propose a fast algorithm using Extreme Contour Point (ECP) to detect the angle of rotated images, is implemented by rotation feature of one covered frame image that can be applied to correct the rotated images like in image processing for real time applications, while CORDIC is inefficient to calculate various points like high definition image since it is only possible to detect rotated angle between one point and the other point. The two advantages of this algorithm, namely compatibility to images in preprocessing by using Sobel edge process for pattern recognition. While the other one is its simplicity for rotated angle detection with cyclic shift of two $1{\times}n$ matrix set without complexity in calculation compared with CORDIC algorithm. In ECP, the edge features of the sample image of gray scale were determined using the Sobel Edge Process. Then, it was subjected to binary code conversion of 0 or 1 with circular boundary to constitute the rotation in invariant conditions. The results were extracted to extreme points of the binary image. Its components expressed not just only the features of angle ${\theta}$ but also the square of radius $r^2$ from the origin of the image. The detected angle of this algorithm is limited only to an angle below 10 degrees but it is appropriate for real time application because it can process a 200 degree with an assumption 20 frames per second. ECP algorithm has an O ($n^2$) in Big O notation that improves the execution time about 7 times the performance if CORDIC algorithm is used.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.731-746
• /
• 1997

The usage of object models for the development of software has been frowung due to the prevalence of the ob-ject oriented paradigm.The object moedels produced as results of requirments analysis and design activities are vety veneficial to the implementation phase.It is even possible for source code to be genrated automatically if object models are concrete enough.Therefore system analyzers and desingners should make an dffort to refine theabstrace ogject model defined at.an early stage in order to achieve a more conrete object model.In general,re-fining an abstrace object model into a concrete model depends too much on the desigver's infromal experience.In this paper,we persent the refinement techniques required for concreting an abstract object model bassed on OMT(Object Modeling Technique)'s notation,We will discuss the definition of the abstraction level of an object model and the transformational rules of refinement.These transformational rules are currently applied to the design of a software tool,named Process Modeler,which is a major component of the software development process modeling system for ICS(Information Communication Service). Finally we can achieve a concrete object model which can easily be translated into C++ source code.