메타모델 기반 사용자 인터페이스 계층적 모델링 프로세스

송치양(Chee-Yang Song),조은숙(Eun-Sook Cho),김철진(Chul-Jin Kim) 한국멀티미디어학회 2008 멀티미디어학회논문지 Vol.11 No.4

IP 기반 고정형 및 맞춤형 동영상 모자익 EPG 서비스 구축방법

송치양(Chee-Yang Song),최락권(Lark-Kwon Choi) 한국컴퓨터정보학회 2006 韓國컴퓨터情報學會論文誌 Vol.11 No.5

초고속 통신망의 기술진화와 방송망의 디지털 가속화에 따른 위성망/케이블망/지상파망을 통한 TV 채널 서비스는 성숙의 단계에 접어들었고, IP(Internet Protocol)망을 이용한 TV 채널 서비스도 가시화되고 있는 실정이다. 그러나, 현재 채널 가이드를 위한 모자익 EPG(Electronic Program Guide) 서비스의 경우, IP망을 이용한 구현이 미미하고, 특히, 개인 맞춤형 모자익 EPG는 전혀 제공되지 않고 있다. 본 논문은 IP망을 통해 IPTV 시청자들에게 고정형과 맞춤형의 모자익 EPG 서비스를 제공하기 위한 시스템의 구축방법을 제시한다. 고정형 A/V(Audio/Video) 모자익 EPG는 H/E(HeadEnd)단에서 정해진 다채널로 구성된 모자익 동영상을 생성하여 IP망의 멀티케스팅을 통해 전송된 후, STB (Set-Top-Box) 단이 수신하여 TV상에 서비스하는 시스템 모델과 구축을 보인다. 또한, 개인의 선호에 따라 모자익 EPG의 채널을 구성하여 볼수 있는 개인 맞춤형 A/V 모자익 EPG 서비스를 위한 모델을 제공한다. 기대효과로서, IP망을 통한 TV 채널 가이드 서비스는 IP 기술을 통한 다채널 수용의 확장성과 실용성을 통해 사용자의 채널 접근을 보다 쉽게 하였으며, 특히 개인 맞춤형 A/V 모자익 EPG 제공을 통해 개인별 선호 채널 모자익 화면을 구성하고, 동시에 성인물의 배제를 쉽도록 하였다. As accelerates the technical evolution of high-speed network and progresses the digitalization of broadcasting network, TV channel service through satellite/cable/terrestrial networks becomes more stable and mature. However, TV channel service using IP network such as IPTV is recently emerging. Especially, when it comes to current mosaic EPG(Electronic Program Guide) as a channel guide, the implementation of EPG via IP network is under developing. Furthermore, the personal target mosaic EPG is not provided at all in the IPTV. This paper proposes a construction method of mosaic system which can support fixed and personalized mosaic EPG using IP network for viewers. The fixed mosaic EPG is made several steps as follows; First, H/E generates several mosaic A/V streams. Then, which are transmitted to the STB in terms of multicasting via IP network. Finally, mosaic EPG is displayed on TV through STB. In addition, this paper describes a construction model of the personalized A/V mosaic EPG that represents each person’s favorite channels according to their tastes and interests. As for the contributions, The TV channel guide using IP network enable viewer to select channel more easily with practical adaptation of multi-channel expansibility and sufficient usability. In addition, through personal mosaic EPG, a number of viewers can compose their own mosaic EPG and enjoy a variety of channel easily in accordance with their preferences. Finally, the personal mosaic EPG can prohibit non-adult users from connecting adult-only contents more efficiently.

휘처 모델의 Z 정형 명세와 검사 기법

송치양(Chee-Yang Song),조은숙(Eun-Sook Cho),김철진(Chul-Jin Kim) 한국컴퓨터정보학회 2013 韓國컴퓨터情報學會論文誌 Vol.18 No.1

시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다. The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

서비스 지향 XL-BPMN 메탄모델과 비즈니스 모델링 프로세스

송치양 ( Chee Yang Song ),조은숙 ( Eun Sook Cho ) 한국정보처리학회 2013 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.2 No.4

소프트웨어 공학 : XL-BPMN 모델 기반 비즈니스 서비스 식별 기법

송치양 ( Chee Yang Song ),조은숙 ( Eun Sook Cho ) 한국정보처리학회 2016 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.5 No.3

서비스 지향 개발에서 서비스 식별은 워크플로우, 목표와 시나리오, 유스케이스, 컴포넌트, 휘처, 패턴 등에 기반해서 이루어져 왔다. 그러나, 비즈니스 가치 관점에서 의미적 접근에 의한 서비스의 식별은 아직 구체화되어 있지 않다. 본 논문은 비즈니스 서비스 식별의 정확성을 향상시키기 위하여, XL-BPMN 모델 대상의 구조적 및 의미적 분석에 의한 비즈니스 서비스를 식별하는 방법을 제시한다. 비즈니스 시나리오에 기반해서 비즈니스 프로세스들을 식별하고, 이 프로세스는 XL-BPMN 비즈니스 프로세스 모델로 디자인한다. 이 비즈니스 프로세스 모델에서, 액티비티들간 구조적 패턴과 속성 기반 의미적 유사성의 통합된 분석 결과에 의해 밀접한 액티비티를 바인딩해서 단위 비즈니스 서비스를 식별한다. 이를 통해, 상위 비즈니스 가치 관점의 XL-BPMN 모델을 통한 정확성과 모듈성이 높은 단위 비즈니스 서비스 식별을 할 수 있다. 식별된서비스의 재사용을 통해서 서비스 지향 개발을 더욱 가속화를 도모할 수 있을 것이다. The service identification in service-oriented developments has been conducted by based on workflow, goals, scenarios, usecases, components, features, and patterns. However, the identification of service by semantic approach at the business value view was not detailed yet. In order to enhance accuracy of identifying business service, this paper proposes a method for identifying business service by analyzing syntax and semantics in XL-BPMN model. The business processes based on business scenario are identified, and they are designed in a XL-BPMN business process model. In this business process model, an unit business service is identified through binding closely related activities by the integrated analysis result of syntax patterns and properties-based semantic similarities between activities. The method through XL-BPMN model at upper business levels can identify the reusable unit business service with high accuracy and modularity. It also can accelerate more service-oriented developments by reusing identified services.

구조 기반 BPMN 모델의 Feature 모델로 변환 기법

송치양(Song, Chee-Yang),김철진(Kim, Chul-Jin) 한국산학기술학회 2016 한국산학기술학회논문지 Vol.17 No.1

BPMN 모델로부터 휘처(Feature) 모델로 변환하는 기존 방법들이 도메인 분석가의 직관에 의존하여 자동화된 변환이 어려운바, 비즈니스 모델링 연계의 휘처 지향 개발의 활성화에 저해가 되고 있다. 본 고는 구조 기반의 BPMN 비지니스 모델 을 휘처 도메인 모델로 변환하는 방법을 제시한다. 상호 이질적인 BPMN(Business Process Modeling Notation)과 FM(Feature Model) 모델간의 변환을 위해서, 액티비티의 구조에 기반한 그룹핑 기법을 정의하고, 이들 모델의 공통 구조물인 요소(비지 니스 기능을 표현)와 구조(요소간 관계 및 프로세스)에 기반해서 모델간 변환 규칙과 방법을 정립한다. 온라인쇼핑몰 시스템 을 대상으로 적용 사례를 보인다. 이로서, BPMN 모델로부터 휘처 모델로의 기계적인 혹은 자동화된 구조 변환을 도모할 수 있다. The legacy methods for converting a business model to a feature model make it difficult to support an automatic transformation due to a dependence on a domain analyzers' intuitions, which hinders the feature oriented development for the integration of feature modeling in business modeling. This paper proposes a method for converting a BPMN business model into a feature model based on syntax. To allow the conversion between the heterogeneous models from BPMN to the FM(Feature Model), it defines the grouping mechanism based activities' syntax, and then makes translation rules and a method based on the element (represent business function) and structure (relationships and process among elements), which are common constructs of their models. This method was applied to an online shopping mall system as a case study. With this mechanism, it will help develop a mechanical or automated structure transformation from the BPMN model to the FM.

컴포넌트 유통환경을 위한 컴포넌트 메타데이타 레지스트리 구축 : C_MDR

송치양(Chee-Yang Song),임성빈(Sung-Bin Yim),백두권(Doo-Kwon Baik),김철홍(Chul-Hong Kim) 한국정보과학회 2001 정보과학회 컴퓨팅의 실제 논문지 Vol.7 No.6

21세기 지식기반 사회로의 정착화와 글로벌 인터넷화 추진으로 소프트웨어는 대형화 및 복잡화 되어가고 있으며, 그 수요는 폭주하는 실정이다. 이에, 표준화된 컴포넌트의 개발 및 유통을 통한 재사용의 활성화가 최근 산업계와 학계에서 중요한 이슈로 부각되는 실정이다. 현재, 컴포넌트의 재사용을 위하여 해외 컴포넌트 판매 마켓에서는 자사별 판매하는 제품의 특성에 따라 정보를 제공하고 있으나, 상이하게 정보를 정의하고 있으며, 그 정보의 수준이 미약하며, 표준화되지 않은 메타정보를 제공하고 있다. 즉, 국제표준 ISO 11179에 기반한 컴포넌트 데이타 레지스트리의 구축이 이루어지고 있지 않다. 국내에서는 2001년도에 공용 컴포넌트의 출시를 추진하고 있다. 따라서, 개발된 컴포넌트의 정보 공유와 유통을 위한 지원도구로서 표준화된 컴포넌트의 메타정보를 서비스 해주는 시스템이 필요하다. 본 논문은 컴포넌트 재사용 활성화의 일환으로 체계적인 정보공유와 정보유통을 위하여, 제품화된 공용 컴포넌트에 대한 표준화된 메타정보의 등록 및 관리를 제공해주는 ISO 11179 표준에 준거한 컴포넌트 유통환경의 도구로서, 컴포넌트 메타데이타 레지스트리(C_MDR) 시스템을 제시한다. 이를 위해, 컴포넌트에 대한 메타정보의 명세 플랫폼을 제시하고, 이 플랫폼에 따라 메타정보를 정의하고, 또한 타 시스템과의 정보의 호환성 증진을 위해 XML을 이용해 표현한다. 그리고 시스템 디자인을 위해 3계층 아키텍쳐 표현방식을 적용하여 단순하고 이해성있는 시각화 모델링을 제공한다. 시스템 구현은 웹 상의 인터넷을 통해 컴포넌트 메타정보를 서비스를 할 수 있도록 시스템을 구축하며, ASP 개발언어와 PC용 RDMS 오라클을 사용한다. 이로서, 제품화된 컴포넌트에 대한 유통 메타정보의 표준화를 기할 수 있고, 재사용을 위한 유통지원도구로서 지원이 가능할 것이다. As the information-intensive society in 21c based on the environment of global internet is promoted, the software is getting more large and complex, and the demand for the software is increasing briskly. So, it becomes an important issue in academic and industrial field to activate reuse by developing and exchanging the standardized component. Currently, the information services as a product type of each company are provided in foreign market place for reusing a commercial component, but the components which are serviced in each market place are different, insufficient and unstandardized. That is, construction for Component Data Registry based on ISO 11179, is not accomplished. Hence, the national government has stepped up the plan for sending out public component at 2001. Therefore, the systems as a tool for sharing and exchange of data, have to support the meta-information of standardized component. In this paper, we will propose the C_MDR system: a tool to register and manage the standardized meta-information, based upon ISO 11179, for the commercialized common component. The purpose of this system is to systemically share and exchange the data in chain of acceleration of reusing the component. So, we will show the platform of specification for the component meta-information, then define the meta-information according to this platform, also represent the meta-information using XML for enhancing the interoperability of information with other system. Moreover, we will show that three-layered expression make modeling to be simple and understandable. The implementation of this system is to construct a prototype system of the component meta-information through the internet on www, this system uses ASP as a development language and RDBMS Oracle for PC. Thus, we may expect the standardization of the exchanged component metadata, and be able to apply to the exchanged reuse tool.

Z/Object-Z 사용한 2+1 View 통합 메타모델의 정형 명세와 명확성 검사

송치양(Song, Chee-Yang) 한국산학기술학회 2014 한국산학기술학회논문지 Vol.15 No.1

시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델 의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것 이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘 틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메 타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다. The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

주파수 특성과 역전파 신경망 알고리즘을 이용한 문자 영역 분할 방법

송치양(Chee Yang Song),전병태(Byung Tae Chun) 한국컴퓨터정보학회 2006 韓國컴퓨터情報學會論文誌 Vol.11 No.4

문자 영역 추출을 위해서 FFT와 신경망을 이용한 방법을 본 논문에서 제안하고자 한다. 일반적으로 문자 영역은 고주파 영역에서 발견되므로 FFT를 이용하여 이 특징을 추출할 수 있다. 문자(고 주파) 영역과 비 문자(저 주파) 영역을 신경망에 학습을 시킨다. 신경망에 고주파 영역을 입력으로써 후보 영역을 추출한다. 그리고 최종 문자 영역은 후보 영역 검증을 통하여 추출된다. 실험 결과 후보 영역 추출은 학습된 경우 100% 추출율을 보여주고 있으며, 검증을 통한 후보 영역 추출율은 95%임을 알 수 있었다. 제안된 알고리즘의 장점은 알고리즘의 단순성과 실시간 처리에 있다. The proposed method uses FFT(Fast Fourier Transform) and neural networks in order to extract texts in real time. In general, text areas are found in the higher frequency domain, thus, can be characterized using FFT. The neural network are learned by character region(high frequency) and non character region(low frequency). The candidate text areas can be thus found by applying the higher frequency characteristics to neural network. Therefore, the final text area is extracted by verifying the candidate areas. Experimental results show a perfect candidate extraction rate and about 95% text extraction rate. The strength of the proposed algorithm is its simplicity, real-time processing by not processing the entire image.

2+1 View 통합 메타모델 기반 PIM/PSM 컴포넌트 모델링 기법

송치양,조은숙,Song, Chee-Yang,Cho, Eun-Sook 한국정보처리학회 2009 정보처리학회논문지D Vol.16 No.3

소프트웨어 모델링 과정에서 생성되는 산출물들에 대한 모델의 재사용성을 향상시키기 위한 기법으로, MDA 모델 기반의 개발방법이 적용되고 있다. 아직도, UML을 이용한 MDA 기반의 개발에 대한 계층적이고 체계적인 기법은 미약한 상태이다. 이로 인해, MDA 메타모델에 기반한 일관성 있고 재사용성이 높은 MDA 모델링이 제대로 실현되지 못하고 있다. 본 논문은 이를 해결하기 위해, 2+1 View 통합 메타모델을 통한 MDA(PIM/PSM) 컴포넌트 모델링 기법을 제시한다. 먼저, 개발 프로세스 view와 MVC View를 표현할 수 있는 meta-architecture view 모델을 정의한다. 정의된 meta-architecture view 계층의 메타 레벨에서, 개발 프로세스 view와 MVC view별로 MDA 기반의 계층적 통합 메타 모델이 제시된다. 이 메타모델은 UML 모델과 GUI 모델이 갖는 모델링 요소들을 PIM과 PSM에 의해 계층적으로 표현한다. 제시한 메타모델을 ISMS 시스템에 적용하여 MDA 기반의 컴포넌트 모델링 사례를 제시한다. 이를 통해, 개발단계별 및 MVC 방식에 의해 일관성 있고 계층적인 MDA 컴포넌트 모델을 구축할 수 있다. 따라서, 모델에 대한 독립성과 재사용성의 향상을 기대할 수 있다. As a technique to enhance reusability for the created artifacts in software modeling process, the model driven method such like MDA has been applied. Unfortunately, the hierarchical and systematic MDA based development technique using UML is poor yet. This causes the problem that the MDA modeling with high consistency and reusability based on MDA metamodel is not being realized. To solve this problem, this paper proposes a MDA (PIM/PSM) component modeling technique using 2+1 view integrated metamodel. At first, the meta-architecture view model which can represents development process view and MVC view is defined. Then, the hierarchical integrated metamodels per view are addressed separately for modeling process and MVC at metamodel level on the hierarchy of the defined meta-architecture view model. These metamodels are defined hierarchically by layering the modeling elements in PIM and PSM pattern for UML models and GUI models. Appling the proposed metamodel to an ISMS application system, it is shown as a component modeling case study based on MDA. Through this approach, we are able to perform a component model with consistency and hierarchy corresponding to development process and MVC way. Accordingly, this may improve more independence and reusability of model.