• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.405-408
• /
• 2005

현재 컴포넌트 기반 소프트웨어 엔지니어링의 접근은 소프트웨어 컴포넌트 인터페이스 디자인과 실행에 중심을 둔 경향이다. 컴포넌트 기반 소프트웨어 개발을 하기 위하여, 전체 시스템을 분석하는 것은 복잡하고, 이해하기 어렵다. 이를 위하여 aspect 기반 컴포넌트 개발방법을 도입한다. Aspect 기반 개발에서는 필요로 하는 컴포넌트를 표현하기 위하여 provide 와 require 를 사용한다. 또한 Aspect 기반 컴포넌트 엔지니어링을 위하여 컴포넌트 사이의 provide/require 서비스에 대한 분류와 추론을 위하여 다른 컴포넌트와 함께 이용할 수 있는 방법을 제안한다. 이 방법은 개발자들은 전체 시스템 개발을 위해 필요로 하는 적합한 컴포넌트의 provide/require 을 사용하여 접근하기 때문에 컴포넌트 검색, 합성, 재사용에 도움을 줄 수 있다. 컴포넌트 aspect 정보의 확장을 위하여 XML 문서 포맷을 사용함으로써 서로 다른 환경에서도 사용할 수 있도록 명세 하였다.

• Journal of KIISE
• /
• v.43 no.2
• /
• pp.212-221
• /
• 2016

Android apps suffer from intent vulnerabilities in that they abnormally stop execution when Android components such as, activity, service, and broadcast receiver, take malformed intents. This paper proposes a method to prevent intent vulnerabilities by allowing programmers to write a specification on intents that a component expects to have, and by checking intents against the specification in runtime. By declaring intent specifications, we can solve the problem that one may miss writing conditional statements, which check the validity of intents, or one may mix those statements with another regular code, so making it difficult to maintain them. We perform an experiment by applying the proposed method to 7 Android apps, and confirm that many of abnormal termination of the apps because of malformed intents can be avoided by the intent specification based runtime assertion.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.1
• /
• pp.69-75
• /
• 2003

The Development of software Puts component of software made in advance to use to improve productivity Reuse of component can cut down on the development costs of software and reduce the development Period. By reusing component needed for software development, it can minimize risk factors from the software design to implementation We are going to Proposal the method which can promote efficiency of reuse by introducing with skill to implement the software and managing the specification using UML with version through the version management systems. The object of this study is that when the software is developed, we make software used effectively through the version management of component using UML.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1999.12a
• /
• pp.373-377
• /
• 1999

Role Based Access Control(RBAC) reduces the cost of administering access control policies as well as making the process less error-prone. The administration tool is most important component in the concept of RBAC. The administration tool for the RBAC security system is required the consistency of a relationships between user and role in the RBAC Database. In this paper, we propose formal specification in order to manage user-role and role-role relationships. The proposed formal specification leads to the consistency requirements for the RBAC database which are defined as a set of relationship. This paper can easily derive the implementation of the RBAC administration tool by formal specification of operations.

• Aerospace Engineering and Technology
• /
• v.3 no.2
• /
• pp.170-176
• /
• 2004

In this study, the relay driver circuit which controls the spacecraft configuration change are implemented and validated. First of all, the specification of the relay driver circuit is defined, and then its circuit meeting the specification defined is designed. In order to verify the design of the relay driver circuit, its circuit was simulated, and then it's confirmed that the relay pulse current and voltage level defined in the specification are obtained, and the results obtained through the functional test of the relay driver circuit are compared and well matched with the simulation results. Also the worst case analysis for confirming the stable operation of the relay driver circuit under the tolerance of each component is performed.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2008.05a
• /
• pp.222-224
• /
• 2008

BLUs(Backlight Units) are major component in LCD(Liquid Crystal Display) industry which occupies 90% or more of worldwide FPD(Flat Panel Display) market. And BLU market is expected to be expanded continuously according to the trend of miniaturization, slimness, low power consumption and low weight. The larger the BLU market scale, the more important standardization of performance evaluation techniques to clearly prescribe the product specification. This document is a generic specification of measurement methods of LED BLU for LCDs. It defines general procedures for quality assessment and gives general rules for measuring methods of LED BLU for LCDs.

• Journal of Information Technology Services
• /
• v.3 no.2
• /
• pp.85-98
• /
• 2004

As the e-Commerce based on the XML technology is getting bigger, user authentication, integrity, non-repudiation and confidentiality has become important for security. Since the XML technology is widely used for exchanging information among the Internet e-business systems, the security of XML documents is essentially required and XML digital signature should be supported. To support the digital signature of XML documents, W3C proposed the XML-Signature specification as an international standard that describes five transform algorithms. In this paper, we design and implement a XML/PKI based digital tax invoice system. Our system supports the five transforming algorithms defined in the XML-Signature specification and exchanges digital tax invoices among enterprises securely. We design and implement the flexible and efficient system consists of reusable components using CBD(Component Based Development).

• Journal of information and communication convergence engineering
• /
• v.2 no.1
• /
• pp.40-45
• /
• 2004

This paper describes a modeling of service composition manager based on TINA (Telecommunication Information Networking Architecture). The Service composition function is mainly motivated by the desire to easily generate new service using existing services from retailers or $3^{rd}$-party service providers. The TINA-C specification for the service composition does not include the detailed composition procedure and its object models. In this paper, we propose a model of components for the service composition, which adapts a static composition feature in a single provider domain. To validate the proposed modeling, we implemented prototype service composition function, which combines two multimedia services; a VOD service and a VCS service. As a result, we obtain the specification of the detailed composition architecture between a retailer domain and a $3^{rd}$-party service provider domain.

• Journal of Information Technology Services
• /
• v.1 no.1
• /
• pp.119-139
• /
• 2002

It is noteworthy that IMT -2000 communication network based on All-HP/AIN(Advanced Intelligent Network) should accomodate current and future wire/wireless AIN service easily through integration and gearing AIN construction elements. In this paper. Intelligent Farmer model(I-Farmer Model) and methodology are suggested in order to solve the several problems including standardization on implementation of Q3 interface in Telecommunication Management Network(TMN) agents which is caused by heterogeneous platform environment and future maintenance. Also this paper proposes ITI algorithm transforming the system which is designed by I-Farmer model to Interface Specification Model(ISM) applying the I-Farmer model. In addition to ITI algorithm. we suggest NTS(Node to SIB) algorithm converting entity node and ILB/OLB component in agent system designed by the I-Farmer model to SIB of AIN GFP(Global Functional Plane) and to ASIB for application program.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1105-1107
• /
• 2003

Remote sensing data processing and analysis system can be developed based on the Grid Coverage Specification and this kind of system is also can be easily interoperate with GIS systems conforming OpenGIS specification. This paper proposes a method to implement easily and quickly the new grid coverages that provide new operations, or services, by reusing the existing grid coverage components, which is based on the fact that the pipeline constructed by grid coverages can be represented in one grid coverage. This method complements easily the deficiency of the existing grid coverage components and enables quick implementation of the new grid coverage that provides complex processing operations.