휘처 기반 클라우드 모델링 방법

송치양,조은숙 한국지식정보기술학회 2022 한국지식정보기술학회 논문지 Vol.17 No.1

The IT paradigm has evolved from web computing to cloud computing environment. Cloud service development has been mainly studied by object-oriented design method based on UML, but research by feature design method is weak. In order to improve the usability and reusability of feature-oriented cloud modeling, this paper proposes a meta-model-based feature cloud modeling method suitable for the characteristics of cloud computing services. To do this, the MDA-based hierarchical cloud-feature integration metamodel is established for how the elements of the cloud characteristics are expressed in the modeling elements of the feature. In terms of applying this integrated metamodel, we make a feature-oriented cloud modeling process from the requirements definition (CIM) phase to the analysis (PIM) and design (PSM) phase for cloud application development. The work activity in the development phase is defined to create a model by using the modeling elements and relationships of the formalized integrated meta-model. In terms of applying this process, case study is shown with the PDMCS system. This facilitates the design of a hierarchical cloud application using the feature cloud modeling method. In addition, by using a standardized feature-based meta-model and modeling process, it is possible to design a cloud service model that is easier and more clear. Moreover, the creation of a reusable cloud application model for each development stage by the MDA way can be further improved.

ECMA Transport Protocol 의 모델링 및 공정성에 관한 연구

송치양,송정길,김영찬 한국정보과학회 1986 한국정보과학회 학술발표논문집 Vol.13 No.2(2)

Networking 상에서 Transport Protocol 은 Protocol 계층 내의 위치뿐만 아니라 그것의 주요 기능들로 보아 중요한 protocol 이다. 본 논문에서는 Transport protocol의 형성 과정을 모델링하는 것이고 entity 사이에 공정성을 제공하는 것이다. 사용되는 tool은 Petri Net이고 이 Net 의 속성을 통해 본 모델을 분석하고 Pair Net 를 이용해 공정성을 부여해 주었다.

DSDC-MAC 모델의 구현 시스템 설계 및 정확성 검사

송치양,이순복 한국지식정보기술학회 2020 한국지식정보기술학회 논문지 Vol.15 No.6

In earlier study, the DSDC (Duties Separation & Data Coloring) -MAC model that applied the separation of duty (SoD) and data-coloring security techniques as a unified policy was provided. For practical use of this model, the implementation system must be designed and the model corrected. To do this, this paper proposes to design an architecture for an implementation system based on the DSDC-MAC model and check the accuracy of this model. First of all, the design for the implementation system identifies the necessary functional modules based on the DSDC-MAC model and structure them into design the architecture. Subsequently, the operating process of how the module-to-module access interactions are made during execution was designed. As a case study, the design of the actual implementation system is shown by applying the proposed architectural model for the MAC model of the HRMS (Human Resources Management System). Next, to verify the accuracy of the model, the model is formalized using the Z language and examined through the Z/EVES tool. This enables the system implementation of the data security access model using the DSDC-MAC model. Furthermore the accuracy of the DSDC-MAC model structure was checked to confirm that the model is correct.

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.

A Software Modeling Method for Integrating Functional and Security Design

송치양,김유환 한국지식정보기술학회 2017 한국지식정보기술학회 논문지 Vol.12 No.1

Security has become an essential part of the software development process. However, previous researches have not adequately integrated the security properties and policies into the development process systematically covering entirely from an early business model to a software model. This, in turn, makes it difficult to create the application models that combine the functional models and the security models. To support the development of the applications that reflects the security properties and policies, this study proposes a hierarchical modeling approach that integrates the metamodel, the framework, and the process based on the degree of abstraction of the development so as to meet the functional (business) and security requirements of the systems. This study aims to establish a framework and process for integrated modeling of the functional and security (non-functional) design aspects necessary to develop applications. The process of integrated modeling ranging from the business modeling to the software modeling is described following the development phases. With the proposed method, reliable systems can be developed by modeling the application systems more clearly based on the integrated method to meet the functional and security requirements.

서비스 지향 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.

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/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),조은숙(Eun-Sook Cho),김철진(Chul-Jin Kim) 한국멀티미디어학회 2008 멀티미디어학회논문지 Vol.11 No.4