• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2001년도 International Conference CALS/EC KOREA
• /
• pp.671-679
• /
• 2001

사례연구를 통하여 UML Component Design Process의 일관성 및 정확성을 검증한다. Business Concept Model과 Use Case Model을 이용하여 Component Specification Process의 산출물인 Interface, Component Specification 및 Component Architecture 작성 UML Notation을 확장해서 Component 명세에 적용하는 것이 올바른 것인지 확인한다. <>,<>,<>,<>,<>, <>:로 Component Specification이 충분한지를 확인 OCL을 이용하여 Component Specification 중 Component Specification, Interface Specification, Operation Specification, Constraint, Pre/Post Condition의 정의에 유용한지 확인(중략)

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 춘계종합학술대회
• /
• pp.749-752
• /
• 2003

HLA(High Level Architecture)는 미 국방성에서 제안한 분산 시뮬레이션을 위한 실시간 분산 데이터 공유를 위한 객체, 시간, 인터페이스 규격을 말한다. 이 HLA는 (1) Rules, (2) Interface Specification, (3) Object Model Template 둥의 3가지 구성요소로 정의되며, 인터페이스 명세를 구현한 것이 RTI(Run-Time Infrastructure)이다. RTI는 분산 운영체계가 응용 프로그램에게 서비스를 제공하는 것과 유사한 방법으로 Federation을 구성하고 있는 Federate들에게 상호연동에 필요한 서비스를 제공한다. 모든 서비스들이 표준에 적합하게 구현되었는지 테스트하기 위한 방법은 DMSO에서 제안한 RTI를 검증하기 위한 2단계 과정을 통해 테스트된다. 본 논문에서는 1단계 테스트를 위한 테스트 절차와 그 방법에 대해 논한다 테스트 결과를 토대로 각 영역에서 DMSO에서 제안한 Level One Test Procedures에 따라 RTI가 Interface Specification에 적합하게 구현되었는지 확인하며, 각 단계마다 올바른 명령과 예상된 결과가 나오는지 테스트하기 위한 Test Suite를 개발한다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2001년도 e-Biz World Conference
• /
• pp.427-444
• /
• 2001

ㆍ ebXML Message Services Requirements Specification - Working Draft 26-May-2000, v0.96 · ebXML Message Services Specification - Working Draft 13-Sep-2000, v0.21 ㆍ ebXML Collaboration Protocol Profile and Agreement Specification - Working Draft 24-Jan-2001, v0.29 · ebXML Technical Architecture Security Specification - Working Draft 5-Feb-2001, vl.02(Under development) ㆍ ebXML Message Service Interface Specification - Under development.(omitted)

• 한국시뮬레이션학회논문지
• /
• 제12권4호
• /
• pp.41-50
• /
• 2003

HLA (High Level Architecture) is the object, time, and interface standard that proposed for distribution simulation in the US Department of Defense. The HLA is defined by three components: Rules, the HLA Interface Specification, and the Object Model Template (OMT). The RTI (Run-Time Infrastructure) software implements the interface specification. It provides services to simulation applications. To test whether a RTI software is suitable for the standard and all service was implemented is performed through two phases of processes proposed by DMSO. In this paper, we implement Level One Test Procedures of DMSO and apply to NetCust's RTI software. The experimental results are discussed.

• 산업공학
• /
• 제12권2호
• /
• pp.319-328
• /
• 1999

Today, offshore design field is concerned with system integration such as CIM(Computer Integrated Manufacturing), PDMS(Product Data Management System) and EDMS(Engineering Data Management System) in order to cope with the change of engineering specification as owner's requirements during construction stage of the project. This paper deals with the case study that describes about the efficient interface between material control system and 3D CAD system to support the design process in offshore industry using design rules involved the designer's knowledge. In this paper, we constructed an information system, called knowledge-based CAD interface systems, which is composed material code management system and 3D specification generator which automatically creates 3D catalogue anti specification by linking the material code, called short code, and the specification components of the 3D CAD system. As a result of the construction, it is possible to maintain consistency of the design process, and through reduction of the design processing time and improvement of the design process, competitiveness is improved.

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

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

• 한국정보처리학회논문지
• /
• 제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.

• 정보과학회 논문지
• /
• 제44권1호
• /
• pp.27-35
• /
• 2017

사용자 및 기기의 상황을 파악하고 이에 따라 실시간으로 사용자 인터페이스를 변경하는 '적응형 사용자 인터페이스 (Adaptive User Interface)' 연구가 진행되어 왔다. 기존 관련 연구들은 주로 설계 방법론에 초점을 맞추고 있으며, 요구공학 방법론에 대해서는 거의 다루어지지 않았다. 본 연구에서는 적응형 사용자 인터페이스를 요구공학 관점에서 조명하고, 자가 적응 시스템 분야에서 연구되어 온 개념들에 기초한 요구사항 도출 및 명세 방법을 제안한다. 잘 알려진 자가 적응 소프트웨어 개념들을 재정의 및 해석한 후, 적응형 사용자 인터페이스 요구사항을 도출 및 명세하는 방법을 단계적으로 보인다. 사례연구에서는 제안하는 방법에 따라 적응형 사용자 인터페이스 요구사항을 도출 및 명세하여 본 기법이 효과적임을 보인다.

• 전기의세계
• /
• 제26권6호
• /
• pp.41-47
• /
• 1977

The paper deals with the fundamental specification for the physical implementation of interface circuit, which will play an important role in information and signal trammission between computer and controlled system, and also we have proved that the digital contoller will be able to improve the data handling of interface circuit.

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

최근에 공간 데이타의 수집 방법이 발전하면서 다양한 산업과 연구 분야에서 공간 데이터가 생성되고 유통 및 활용되고 있다. 이러한 대용량의 공간 데이타를 효율적으로 처리하기 위하여 ESRI의 ArcSDE, Oracle의 Oracle Spatial과 같은 기존 DBMS를 확장하는 연구들이 활발히 진행되고 있다. 그러나 이러한 상용 DBMS의 확장을 사용 시에는 추가적인 비용이 발생하고, 사용되는 공간 데이터 타입과 공간 연산자들이 서로 상이함으로 인해 상호운용성의 문제를 초래하고 있다. 따라서 본 논문에서는 OGC(Open Geospatial Consortium)에서 제시한 "SQL을 위한 심플 피쳐 명세(Simple Features Specification for SQL)"의 표준 인터페이스를 지원하는 OpenGIS 공간 인터페이스를 Oracle 상에서 개발하였다. OpenGIS 공간 인터페이스는 "SQL을 위한 심플 피쳐 명세"에서 제시한 모든 데이타 타입과 공간 연산자를 지원하기 때문에 사용자는 추가적인 비용 없이 본 논문에서 개발한 OpenGIS 공간 인터페이스를 사용하여 Oracle의 대용량 공간 데이타를 효율적으로 처리할 수 있다. 또한, 성능 평가를 통해 OpenGIS 공간 인터페이스가 Oracle Spatial보다 응답 시간 측면에서 우수한 성능을 보임을 입증하였다.