• Journal of KIISE:Software and Applications
• /
• v.32 no.3
• /
• pp.153-162
• /
• 2005

Component Based Development (CBD) is appealing as a technology to improve the productivity of software development through component reuse. Model Driven Architecture (MDA) is a new development paradigm which automatically generates application by transforming design models incrementally. Since both reusability of CBD and model transformation of MDA increase software productivity. integration of two technologies is desirable. To enable this technology integration, we need to devise a UML profile for specifying component design as a PIM. In this paper, we first define a meta-model for components, and propose a UML profile which is used to specify elements of component design as PIM. Since the proposed profile is based on Meta Object Facility (MOF) from which is MDA is derived, it is consistent and compatible with existing MDA methods and tools.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.7-9
• /
• 2003

지리 정보 시스템의 사용 범위가 확대되면서 다른 지리 정보 시스템에서 사용하는 유용한 공간 데이터에 대한 공유의 필요성이 높아졌다. 그러나. 기존의 지리 정보 시스템들은 서로 다른 형태의 공간 데이터 모델과 인터페이스를 사용하기 때문에 데이터의 공유가 어려운 문제가 있다. 이러한 문제점을 해결하기 위해 표준 공간 데이터 모델과 인터페이스를 정의한 OpenGIS 표준 명세가 제안되어 널리 사용되고 있으며 앞으로도 그 활용이 확대될 것으로 예상된다. 본 논문에서는 오디세우스 객체관계형 DBMS를 기반으로 한 OpenGIS 시스템인 오디세우스/OpenGIS를 설계하고 구현한다. 오디세우스/OpenGIS는 다음과 같은 특징을 갖는다. 첫째, OpenGIS 표준 명세 중 SQL 표준 명세를 지원하여 SQL 환경의 지리 정보 시스템 응용 프로그램들이 오디세우스 객체 관계형 DBMS를 사용할 수 있도록 한다. 둘째, OpenGIS 표준 명세 중 OLE/COM 표준 명세를 지원하여 OLE/CON 환경의 지리 정보 시스템 응용 프로그램들이 오디세우스 객체 관계형 DBMS를 사용할 수 있도록 한다. 셋째, OpenGIS 표준 명세에서 정의한 지리 정보 시스템의 기능과 DBMS를 밀결합하여 시스템의 안정성을 높인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.200-203
• /
• 2011

다수의 모듈로 구성된 반응형 시스템을 개발하기 위해 외부의 입력 및 모듈간의 상호작용을 분석하는 것은 중요하고 어려운 문제이며, 반응형 시스템이 요구 사항을 올바르게 만족하는지를 확인하기 위해서는 많은 시간과 비용이 소모가 된다. 본 논문에서는 요구 사항을 LSC(Live Sequence Chart)를 이용해 시나리오 기반 명세 모델을 만들고 Synthesis를 통해 요구 사항을 모두 올바르게 만족하는 시스템 모델을 자동으로 생성한다. 궁극적으로 올바른 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 보이는 것으로 시나리오 기반 명세 모델로부터 반응형 시스템을 개발하는 방법을 제안한다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

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

최근의 소프트웨어 위기를 해결할 수 있는 최적의 대안으로서 컴포넌트 기술을 개발, 산업계에 확산하기 위하여 다양한 영역의 비즈니스 컴포넌트를 개발 보급하여야 한다. 비즈니스 컴포넌트를 개발하기 위하여는 컴포넌트의 조립 모델을 정의한 개념적 아키텍쳐를 우선적으로 설정하여야하며 이 모델에 기반한 체계화된 명세 방법을 정의하여 각 컴포넌트가 일관적 체계에 따라 명세화되어 개발할 수 있는 체계를 구축하여야 한다. 본 연구에서는 정통부 사업의 일환으로 수행된 공용 컴포넌트 뱅크 구축을 위한 영역 아키텍쳐 모델을 제시하고, 컴포넌트 뱅크에 구축할 컴포넌트 개발을 위한 명세 방법의 개념 모델과 명세 단계를 제시하고 이를 비즈니스 응용 영역에 적용하여 개발한 명세화 접근 방법 및 개발 결과에 대하여 논한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.353-356
• /
• 2004

일반적으로 컴포넌트 기반의 SW는 바이너리 파일로 구성되어 있다. 즉, 블랙박스 형식이다. 따라서 컴포넌트 테스팅 시에 코드기반의 화이트박스 테스트 기법을 적용하기가 어렵다. 그래서 컴포넌트 테스팅 시에는 소스코드기반이 아닌 명세기반의 테스트를 수행해야 한다. 그러나 컴포넌트 제공자는 고객에게 바이너리 파일과 일부분의 명세만을 제공한다 즉, 컴포넌트 제공자는 컴포넌트 안에서의 테스트 범주와 테스트 메트릭에 대한 정보를 제공하지 않는다. 이에 따라 고객은 컴포넌트의 테스트 적절성, 테스트 커버리지, 그리고 테스트 품질을 이해하는 것이 어렵다. 그리고 효과적인 테스팅을 위해서는 적절한 테스팅 모델이 있어야 한다. 따라서 본 논문에서는 컴포넌트 테스팅을 효율적으로 하기 위하여 컴포넌트 테스팅 모델을 제안하였고, 테스팅을 위한 명세 요소를 식별하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.7-11
• /
• 1999

Farmer 모델에 의하여 정의된 망관리 시스템 에이전트의 구성모델을 인터페이스 명세모델로의 매핑에 대하여 서술하였다. 인터페이스 명세모델은 컴포넌트 기반 개발 (Component Based Development)에서 구현과 설계를 구분하기위하여 제시하는 모델로서 본 논문에서는 TMN 에이전트 설계의 예로서 설명하였다. 특히 Farmer 모델에서의 측면의 개념을 반영하기 위하여 측면 인터페이스(Aspect Interface)의 개념을 도입하였다.

• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.99-106
• /
• 2012

It is an important and a difficult task to analyze external inputs and interactions between objects for designing and modeling a reactive system consisting of multiple object. Also the reactive system is required huge efforts on confirm it can satisfy requirements under all possible circumstances. In this paper, we build from requirements to a scenario-based specification model using LSC(Live Sequence Chart) extending MSC(Message Sequence Chart) with richer syntax and semantic. Then the reactive system model satisfying all requirements for each object in this system can be automatically created through LTL Synthesis. Finally, we propose a method of reactive system development by iterative process transforming a reactive system model to codes.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.115-117
• /
• 2002

본 논문에서는 Mobile IPv6에 사이클이 있음을 Alloy로 명세(specification)하고 Alloy 분석기로 검증(verification)한 것을 해석해 보겠다. Acyclicity를 만족하지 못함으로 해서 모바일호스트는 이동을 하지 못하고 계속 사이클을 돌게 된다. Alloy는 Rational의 UML과 같은 객체모델링 언어인데, 일차논리와 집합에 기반을 둔 Z에서부터 파생되었다. Alloy는 작은 모델들을 위한 명세 언어로, Alloy 모델은 그래픽과 텍스트를 모두 지원한다. Alloy로 명세 된 것을 쉽게 분석 할 수 있는 검증도구로 Alloy 분석기가 있는데, 이러만 도구를 이용함으로써 손쉽고 빠르게 검증을 할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.631-633
• /
• 2003

시스템의 안전성을 평가하기 위해 프롤로그 기반의 명세 언어인 SPSL을 사용하여 보안 모델을 정형적으로 설계하였다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 NTFS의 다중 사용 권한에 대한 보안 모델을 만들어서 3가지 컴포넌트를 명세하고 안전성 문제 해결 도구인 SPR［1］을 이용하여 검증하였다.