• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1008-1021
• /
• 2006

Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.325-327
• /
• 2004

제품계열공학(Product Line Engineering, PLE)은 효과적인 재사용 기법으로, 핵심자산(Core Asset) 개발 프로세스와 어플리케이션 공학 프로세스로 구성된다. 핵심자산 개발 프로세스는 제품계열의 여러 어플리케이션들의 공통 휘쳐(Feature)들을 모델링 한 핵심자산 개발에 사용된다. 어플리케이션 공학 프로세스에서 핵심자산을 인스턴스화(instantiation)하고, 핵심자산이 제공하지 않는 어플리케이션 종속적인 기능을 모델링 한 후, 이 두 모델을 통합하여 목표 어플리케이션을 생성 개발한다. 현재의 제품계열공학 연구는 핵심자산 개발과 인스턴스화 과정에 집중되어 있고, 어플리케이션 공학 프로세스의 연구는 개념적 수준에 머물고 있다. 특히, 인스턴스화된 핵심자산 모델과 어플리케이션 종속 모델의 통합의 실용적 기법이 미흡하다. 본 논문에서는 어플리케이션 공학 프로세스의 주요 활동들에 대한 작업 순서와 실용적 지침을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.53-55
• /
• 2000

VRML은 상호 작용을 하는 3D 객체와 세계를 기술하는 파일 형식이다. OO-VRML은 VRML을 객체 지향 언어로 확장하여 정보 은닉, 상속 그리고 동적 바인딩 등을 가능하게 한 언어이다. OO-VRML의 이런 특징들은 더 동적인 가상 세계를 섬세하게 조정할 수 있도록 해준다. 이 논문에서는 OO-VRML의 표현 능력을 잘 활용하기 위해 OO-VRML 언어를 사용하는 전용 브라우저를 설계하고 구현한다. 부라우저는 파싱 및 인스턴스화 모듈, 실행 모듈, 브라우저 모듈의 세 부분으로 나누어진다. 파싱 및 인스턴스화 모듈은 OO-VRML 형식의 가상 세계를 읽어들여서 객체로 바꾸어주고 그객체들을 인스턴스화하여 OO-VRML장면 그래프로 바꾸어준다. 장면 그래프는 실행 모듈은 발생한 이벤트들을 처리하여 인스턴스의 필드 값을 바꾸어준다. 브라우저 모듈은 가상 세계를 화면에 나타내 주고 사용자 입력과 네비게이션을 처리한다.

• Journal of KIISE:Databases
• /
• v.30 no.6
• /
• pp.585-592
• /
• 2003

In the spatial database systems, it is necessary to manage spatial objects that have two or more aspatial information with different security levels on the same layer. If we adapt the polyinstantiation concept of relational database system for these spatial objects, it is difficult to process the representation problem of spatial objects and to solve the security problem that is service denial and information flow by access of subject that has a different security level. To address these problems, we propose a polyinstantiation method for security management of spatial objects in this paper. The proposed method manages secure spatial database system efficiently by creating spatial objects according to user's security level through security-level-conversion-step and polyinstantiation-generation-step with multi-level security policy. Also, in case of user who has a different security level requires secure operations, we create polyinstance for spatial object to solve problems of service denial and information flow.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.8 no.3
• /
• pp.49-62
• /
• 1998

본 논문은 객체 모델링 기법을 이용하여 다단계 보안 데이터베이스 응용에 대한 구조적 특징을 표현하기 위한 모델을 제시한다. 즉, 응용 영역에 대한 데이터와 보안 의미르 통합한다. 이는 응용 영역의 데이터에 대한 불법적 유출이나 수정을 방지하는 도구가 된다 . 개발한 도구를 기초로 한 구현 모델에서는 다단계 데이터베이스를 단일 보안등급 데이터베이스들로 분해한다. 인스턴스뿐만 아니라 스키마도 보호하며 속성값 다중 인스턴스화 기법을 이용하여 커버 스토리를 표현한다. 그리고 그 모델에서의 생성, 검색, 삭제, 그리고 갱신과 같은 연산 의미를 설명한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.1
• /
• pp.43-54
• /
• 2001

In this paper we study the use of polyinstantiation for spatial data, for the purpose of solving cover in topology channel in multilevel secure spatial database systems. Spatial database system with topological structure has a number of spatial analysis function using spatial data and neighbored one\`s each other. But. it has problems that information flow is occurred by topological relationship in spatial database systems. Geographic Information System(CIS) must be needed mandatory access control because there ,are many information flow through positioning information And topological relationship between spatial objects. Moreover, most GIS applications also graphe user interface(GUI). In addressing these problems, we design the MLS/SRDM(Multi Level Security/Spatial Relational Data Model) and propose polyinstantiation for spatial data for solving information flow that occurred by toplogical relationship of spatial data.

• Journal of KIISE:Software and Applications
• /
• v.32 no.8
• /
• pp.717-729
• /
• 2005

Product Line Engineering (PLE) consists of two phases; Core Assets Development and Application Engineering. The core asset development is to model common features of members in a domain and to develop them. The application engineering is to effectively generate an application by instantiating the core asset. Today, PLE research mainly focuses on developing core assets, whereas activities and instructions for application engineering are weakly defined. Moreover, instructions of application engineering are not enough to be practically applied. To widely apply PLE to industry, researches on systematic and practical methods such as instantiation processes, instructions, and artifacts are needed. In this paper, we propose a practical PLE process, instructions, and artifacts about each activity. And then, we also present a case study to show applicability and practicality of the process proposed in this paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.148-150
• /
• 2003

본 논문은 재공학 환경에서 기존의 디자인 패턴을 적용성 향상을 위해 UML로 표현하였으며, 대상으로는 디자인 패턴 중에서 Strategy Pattern과 Visitor Pattern을 이용해 보았다. Strategy Pattern에서는｛variation｝과 ｛incomplete｝를 이용하였다.｛variation｝은 메소드 구현시 패턴을 캡슐화하여 다양하게 변경될 수 있도록 하였다. 또한,｛incomplete｝는 주어진 관계를 만족하는 새로운 클래스가 패턴 인스턴스화 동안에 추가될 수 있도록 하였다. Visitor pattern에서의｛extensible｝은 클래스 인터페이스가 패턴을 캡슐화하고 있는 개념으로 다양하게 변경될 수 있도록 하였다. 즉, 클래스 인터페이스는 패턴 인스턴스화에 의존적이며 새로운 메소드와 속성을 클래스가 기능적으로 확장할 수 있는 기능을 갖는다.

• Journal of the Society of Naval Architects of Korea
• /
• v.34 no.4
• /
• pp.119-126
• /
• 1997

In this parer, a protocol system is developed, which automates the sequential procedure that transforms the information of compartment generated by SIKOB, the calculation program of ship design, to the STEP format which is used as the input data of next level of ship design. The schemata representing hull form and compartment are constructed. The STEP physical files are made by instancing these schemata using the results of SIKOB. They are transmitted to the CAD system and then worked on the CAD system. It means that they could be used as the data of next level of ship design.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.418-420
• /
• 2005

소프트웨어 프로덕트 라인 공학은 두 가지 측면에서 재사용 활동을 정의한다. 첫째는 자산들의 공통성과 가변성을 분석하고 이를 명시적으로 표현하고자 하는 재사용 계획 프로세스 즉, 도메인 공학 프로세스이다 둘째는, 존재하는 핵심자산들을 이용하여 실제 프로덕트를 개발하는데 초점을 두고 있는 재사용 적용 프로세스 즉, 애플리케이션 공학 프로세스이다. 지금까지 프로덕트 라인 공학에서 많은 연구들은 재사용 계획 프로세스에 초점을 두고 있었으며, 재사용 적용 프로세스는 핵심자산의 단순한 커스터마이즈 또는 인스턴스화하는 수준으로 언급하고 있었다. 그로인해, 핵심자산들은 각기 다른 개발 프로세스에서 사용 표준 없이 적용되거나 핵심자산에 의존하여 개발 프로세스가 변경되어야 하는 문제를 발생시켰다. 본 논문에서는 프로덕트라인 핵심자산이 각기 다른 프로덕트 개발 프로세스에서 효율적으로 재사용 될 수 있도록 가이드해 주는 적용지침서 개발 방법을 제시한다.