• 한국공간정보시스템학회 논문지
• /
• 제2권1호
• /
• pp.5-16
• /
• 2000

OGC(Open GIS Consortium)의 'OpenGIS Simple Feature Specification for CORBA'는 CORBA 분산 컴퓨팅 환경하에서 분산되고 상호 이질적인 GIS 자원의 공유와 상호운용을 위한 표준 인터페이스를 정의하는 OpenGIS CORBA 구현사양이다. 이를 지원하는 OpenGIS 서버는 구현사양에 정의된 모즌 표준 인터페이스들에 대한 정확한 구현이 필요하고, 기반을 두고 있는 GIS와의 효율적인 연동이 필요하다. 본 논문에서는 UniSQL을 기초로 한 DBMS 엔진 레벨에서 공간 데이터 타입과 공간 연산자를 기본적으로 제공하는 객체 관리형 GIS인 GEUS를 기반으로 OpenGIS 서버를 개발하였다. CORBA 분산 컴퓨팅 환경하에서 클라이언트는 OpenGIS 표준 인터페이스를 통하여 OpenGIS 서버가 기초하고 있는 GIS에 저장되어 있는 지리정보를 접근할 수 있고, GIS가 제공하는 지형공간 연산기능을 이용할 수 있고, 또한 다른 GIS와 상호 운용할 수 있다.

• 한국정보처리학회논문지
• /
• 제7권3호
• /
• pp.808-817
• /
• 2000

Component specification languages in consideration of reuse are essential factor in classification, verification and retrieval of components. A number of legacy specification languages have already been used, however, they are complex and include many necessary elements in the specification for implementation. In this paper, we present XML-based component specification and software architecture specification language to solve these problems of legacy specification languages. The presented specification languages consist of component specification, which is composed of signature specification, interface specification and message specification, and software architecture specification providing graphical notations and textural notations. Component specification supports component retrieval with behavioral match and black-box reuse of component. In addition to this, it improves the efficiency of retrieval and document management with XML-based component specification. Software architecture specification supports the structural reuse of architecture, which is white-box reuse, through mesage-based architecture specification.

• 정보교육학회논문지
• /
• 제8권4호
• /
• pp.555-562
• /
• 2004

소프트웨어 명세는 비정형, 반 정형, 정형 기법이 존재한다. 이 중 정형 기법은 수학적인 이론을 바탕으로 명세의 모호성, 애매성, 불완전성을 제거하는데 효율적으로 사용되어 왔다. 본 논문에서는 Z 정형명세로부터 EJB의 자바 소스코드 까지의 구현 단계를 제안하였다. 또한, 사례 연구로 Stack을 명세하고 EJB 컴포넌트를 구현하는 단계를 제시하였다. 결론적으로 Z의 명세는 스키마의 분류, 인터페이스의 정의, Post-condition과 Pre-condition의 정의 단계를 거치고 정제를 통해서 EBJ의 인터페이스, 예외 클래스, 메소드 구현에 사용할 수 있음을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.475-477
• /
• 2001

흠 네트워킹에 대한 관심이 높아지며 이를 실현하는데 필요한 Residential Home Gateway를 구현하기 위해 2000년 5월 OSGi에서 Open Service Gateway Specification을 발표했다. 본 논문에서는 이에 따른 Home Automation Controller를 구현하기 위한 방법을 논하고 있다. 먼저 Home Automation Controller의 개념에 대해서 알아보고 OSGi의 배경과 Open Service Gateway Specification의 내용을 살펴본다. 그리고 specification에 따른 Home Automation Controller용 개방형 서비스 게이트웨이를 구현하는 방법에 대해 고찰해 본다.

• 한국정보처리학회논문지
• /
• 제7권5호
• /
• pp.1426-1433
• /
• 2000

As distributed computing systems become popular, many modeling techniques and methods have been developed in specify the specification formally and verify the distributed/concurrent sytems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern indistributed object-oriented systems is more serious than the required message passing method in the design phase. specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enable to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권9호
• /
• pp.773-784
• /
• 2007

관점지향 프로그래밍은 기존의 소프트웨어 개발 방법론으로 해결하기 어려운 횡단관심사를 모듈화 하는데 목적을 두고 있다. 초기 관점지향 프로그래밍은 프로그램 개발 단계에 초점을 맞추어 발전하다가 최근에는 요구사항 분석 및 설계부터 코드 구현 단계까지 전체 프로세스에 관점지향 프로그래밍 방법론을 적용하고자 많은 연구가 이루어지고 있다. 하지만, 관점지향 프로그래밍에서 필요한 교차점, 결합점, 충고 정의를 위한 표준화된 지침 및 명세가 없어 프로그램 개발 및 유지보수를 어렵게 하고 있다. 본 논문에서는 이와 같은 문제점을 해결하기 위하여 관점지향 프로그래밍 개발 및 유지보수를 지원하는 횡단관심사 명세 기법을 제시한다. 관심사 명시, 관심사 설계, 그리고 코드 구현 세 단계로 이루어지는 명세 단계는 요구사항 분석 단계에서 얻어지는 횡단관심사 정보를 코드로 개발할 수 있도록 단계별 지침을 제공한다. 명세 과정의 각 단계에서는 전체 횡단 관심사 목록, 횡단관심사 명세서, 애스펙트 클래스 참조 테이블, 핵심 클래스 참조 테이블을 구축하여 코드 개발 및 유지보수시 프로세스간의 추적 자료로 사용된다. 본 논문의 명세 기법은 관점지향 프로그래밍에서 해결하기 어려운 구현의 문제점, 프로그램 이해의 어려움, 재사용의 문제점을 해결함으로써 시스템 개발을 지원한다.

• 정보보호학회논문지
• /
• 제20권1호
• /
• pp.113-121
• /
• 2010

시스템 명세 기법은 시스템의 구조와 행위특성을 형식적인 표현을 통해 제시하기위해 사용되는 시스템 이론 기반의 정형화된 표현 기법이다. 시스템 명세 기법을 시스템의 설계 단계에서 활용할 경우, 계층적이고 모듈화된 시스템에 대한 정의와 유지보수의 용이성 확보가 가능하여 합리적인 개발이 가능하게 된다. 본 연구에서는 개인정보 사용의 위험 상황을 모바일 장치를 이용하여 정보의 소유자에게 알려주고, 이에 대한 응답을 관리하는 기술을 제시하고 있다. 특히, 모바일 장치가 갖는 제약사항을 해결하기 위한 메시지의 형식을 정의하여 제시하였다. 본 기술이 적용된 알람 시스템은 계층적이고 모듈화된 형태로 모델링하기 위해 시스템명세를 기반으로 하였다. 또한, 시스템 명세화 기법 기반의 설계를 통해 알람시스템을 개발하고 본 시스템의 효율성을 검증 하였다. 본 논문의 기여도는 시스템명세기법을 사용한 개인정보 유출상황의 유연성 있는 표현과 관리를 가능하게 한 시스템의 설계 및 구현에 있다.

• International Journal of Quality Innovation
• /
• 제7권1호
• /
• pp.35-47
• /
• 2006

Client-supplier collaboration has been an imperative approach to new product development (NPD), in which a good product specification management system and practice is crucial to the assurance of product quality. This study investigates product specification management in client-supplier collaborative NPD. Based on the interviews and survey study, 12 problems and 13 good practices of product specification management are identified. It also compares the importance and degree of the implementation of the product specification practices in Hong Kong electronics industry. The results suggest that more intensive practices should be implemented for better product specification management.

• Journal of electromagnetic engineering and science
• /
• 제3권2호
• /
• pp.91-98
• /
• 2003

Software Communication Architecture(SCA) has been made to reduce the development period of new waveform applications by reusing design modules. Software Defined Radio(SDR) forum adopted SCA specification and follows its design concept. However, SCA specification does not describe interfaces and deployments of resources in details, which are software components, and how to implement them as well as how to communicate each other are another missing points in specification. In this paper, we propose a resource design methodology and details of adapter implementation for Core Framework(CF) that is a core set of open interface and services providing an abstraction of the underlying software and hardware layer. We also present SDR prototype system which communicates with resources implemented in different programming languages and processors in legacy environment through our design methodology.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.251-254
• /
• 2011

This paper describes the design and implementation of the DMI display based on ERTMS specification for the Integrated Onboard Signaling System (IOSS). IOSS is consists of ATS, ATC, and ATP based on ERTMS/ETCS Level 1. We propose an improved DMI display design which has single layout concept for the IOSS. When a train is in the ATS, ATC, or ATP railway section, it is protected by the ATS, ATC, or ATP equipment, respectively. Therefore, DMI should display the different information according to the each signaling system. We design DMI display implemented as single layout for ATP, ATS and ATC information. This single layout display has a well integrated look and feel using the ERTMS specification and layout. This is for the driver to perceive the information easily and not to experience inconvenience resulting from the sense of difference when the train crossed into the different signaling section. Finally, we show the implementation result following this concept.