Statecharts 명세의 모듈 기반 검증

서선애(Sun Ae Seo),오승욱(Seung Uk Oh),조승모(Seung Mo Cho),이남희(Nam Hee Lee),차성덕(Sung Deok Cha),권용래(Yong Rae Kwon) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ

모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 갯수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts 명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고, 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈은 반드시 주어진 성질을 만족한다는 가정-보중 추론(Assume-Guarantee Reasoning)을 이용한다.

최적의 유통경로 선정을 위한 소비자 행태분석

서선애(Sun Aae Seo),오가영(Ka Young Oh) 한국물류학회 2013 물류학회지 Vol.23 No.1

본 연구는 한국과 중국의 유통경로 선택에 있어서 차이가 있는 지 알아보고 나아가 유통경로가 가지는 네 가지 요인(서비스ㆍ가격ㆍ접근성ㆍ편의성)의 차이가 양국가 간에 있는지 알아보고자 하였다. 또한 나아가 중국 소비자 특성별로 선호유통경로에서 유통경로의 특성의 인지 차이가 발생하는지 분석하여 향후 중국에 진출하고자 혹은 진출한 기업이 유통경로 선택 시 전략적 시사점을 제시하고자 하였다. 상기와 같은 연구 과제를 수행하기 위하여 t-test 및 two-way Anova analysis를 실시하였으며 그 결과 한국은 유통경로의 지속적 이용에 있어서 네가지 요인에 모두 유의한 차이를 보였으나 중국의 경우 접근성과 편의성에서만 유의한 차이를 보이는 것으로 나타났다. 나아가 중국소비자의 인구통계학적 특성별로 성별 및 선호유통경로에 따라서 서비스 요인에 영항을 받으며, 직업과 선호유통경로에 따라 가격의 영향력이 차이가 있는 것을 알 수 있었다. 또한 연령과 소득수준은 접근성에 영향을 주며 연령 및 소득수준과 선호유통경로의 상호효과가 접근성의 영항력이 차이가 있는 것을 알 수 있었다. 마지막으로 선호유통경로에 따라 유통경로의 편의성에 대한 영향력이 달라지며, 연령ㆍ성별ㆍ직업 및 소득수준과 선호유통경로의 상호효과에 따라 편의성의 인지 차이가 있다는 것을 알 수 있었다. The study examines whether there are differences between Korean and Chinese distribution channels and, furthermore, whether there are differences between the four factors(service, cost, accessibility, convenience) belonging to the distribution channels between the two countries. Also, the study aimed at providing a strategic implication for corporations attempting to or which have entered into China when choosing a distribution channel, by analyzing whether a recognition difference regarding distribution channel characteristics for preferred distribution channel exists according to each characteristic of Chinese consumers. In order to carry out the above research assignment, a t-test and two-way anova analysis was conducted, and the results revealed Korea showing significant differences in all four factors regarding the continuous usage of distribution channels, and China showing significant differences only for accessibility and convenience. Moreover, each demographic of chinese consumers were affected by the service factor according to gender and preferred distribution channel, and the study showed that the influence of cost differed according to occupation and preferred distribution channel. Also, age and income level influences accessibility, and the mutual effect between age, gender, occupation, and income level, with preferred distribution channel had a differing influence of accessibility. Lastly, the influence of distribution channel convenience differs according to the preferred distribution channel, and the study showed that there was a recognition difference of convenience according to the mutual effect between age, gender, occupation, and income level, with preferred distribution channel. Therefore, when a international corporation choose a distribution channel, a mix between the four influencing factors and the application of various distribution channels is important for Korea, while for China, the choice of a distribution channel based on accessibility and convenience should precede. Such a difference between the two countries may differ according to the intensity felt toward the consumer distribution channel and the level of industrial development, so a dynamic approach is necessary.

산업구조와 수출입 상품 특성이 항만물동량에 미치는 영향

서선애(Seo, Sun Ae),오가영(Oh, Ka Young) 한국물류학회 2012 물류학회지 Vol.22 No.3

수출입 물량이 증가하면 항만 물동량이 증가하는 것은 당연한 귀결이라 할 수 있다. 그러나 항만은 항공운송의 증가나 양국의 교역 특성 그리고 수ㆍ출입 화물의 특성에 따라 물동량이 변화될 수 있다. 또한 국가의 경제 발전 수준이나 산업구조에 따라 항만 물동량 변화요인은 달라 질 수 있다. 이에 국내 부산항에 영향을 주는 산업구조나 수ㆍ출입 제품의 특성의 변화는 물동량에 크게 기여하고 나아가 항만의 발전방향과 유연성에도 영향을 줄 수 있을 것이다. 이에 따라 1990년대부터 국내 산업구조 비중 변화를 서비스업, 경공업, 중화학공업, 첨단산업, It산업, 1,2,3차 산업 비중변화 순으로 정의하여 이들의 비중 변화가 수출ㆍ입에 어떠한 영향과 관계를 미치는지 살펴보았다. 또한 이러한 산업구조의 비중변화와 수출ㆍ입 구조변화가 항만 물동량에 어떠한 영향을 미치는지도 파악하였다. 분석을 위해 국내 산업구조 비중변화는 1991년부터 2011년까지의 년 도별산업별 비중변화를 시계열 자료를 통해 파악하였다. 수출입 자료는 수출입은행의 산업(성질)별 수출입 자료를 1990년부터 2012년까지 시계열 정리화 하여 적용하였다. 해당 상품으로는 1차 상품, 공산품, 경공업제품, 중화학 제품, IT제품, 기타 등으로 분류하여 조사하였다. 이러한 산업 구조 특성과 수출상품의 특성 구조와 항만물동량의 상관관계는 항만 물동량의 추이를 예측하고 항만의 탄력성에 영향을 미칠 수 있을 것이다. It is natural that port traffic becomes high when the number of importing and exporting products is increasing. However, port traffic is also affected by increase of air transport, characteristics of trading between countries and properties of importing or exporting goods. Futhermore, causes of change in port traffic range from economic development level to industrial structure of a certain country. Therefore, making a change in industrial structure and characteristics of importing and exporting goods which have effects on traffics in Pusan Port can significantly contribute to the volume of traffics and affect development and flexibility of the port. As a result, this study defines changes in composition of the domestic industrial structure including change of proportion of the service industry, light industry, heavy and chemical industry, high tech industry, IT industry and the first, second and third industry in order and investigates how change of the proportion of such industries affect the change in importing and exporting structure system. In addition, The study identifies the effect of change in proportion of the industrial structure and changes in the importing and exporting structure on the port traffic. For analysis, annual change in proportion of the industries in the domestic industrial structure from 1991 to 2011 has been indicated by using time series data. Importing and exporting data was obtained from the Korea Exim Bank and arranged them in time series from 1990 to 2012. Before investigation, products were classified into the primary commodity, industrial products, light products, heavy and chemical products, IT products and others. Correlation between characteristics of industrial structure and exporting products structure and port traffic can affect prediction of trend in port traffic and its elasticity. c

유통서비스 품질과 제품지각성이 구전의도에 미치는 영향

서선애(Seo, Sun Yea),조성우(Cho, Sung Woo) 국제e-비즈니스학회 2014 e-비즈니스 연구 Vol.15 No.4

도시전략 Framework을 활용한 지역통합형 전통시장에 관한 탐색적 연구

서선애 ( Seo Sun Yea ),전영옥 ( Chon Young Ok ) 한국자치행정학회 2019 한국자치행정학보 Vol.33 No.1

This study examines policies and proposals related to traditional markets based on past government policies and related researches related to traditional markets, and draws up their problems and suggests alternatives. In the meantime, I pointed out that the policies and researches related to traditional markets were limited to the hardware approach focused on facility modernization, and focused on solving only the problems of the traditional market, and suggested development strategies considering the characteristics of cities in the whole frame of urban development And presented practical alternatives. As a result of summarizing the policies and researches related to traditional markets, it has been found out that the upgrading of the facilities is detrimental to the characteristics of the traditional market. Second, consumers' approach is not enough to improve the problems of traditional markets, and the active approach of management is lacking. In addition, it pointed out that the same development method was applied to each traditional market and the application of specialization was lacking. As for the direction of the traditional market, it was suggested that regional characteristics should be activated in accordance with the characteristics and types of the market. In addition, it showed that the number of potential consumers should be increased by expanding the consumer incentive policy, and the contents of strengthening competitiveness by improving the constitution of the traditional market are summarized. We discussed the role of the city as a whole and the method of setting up regional integrated types for survival in competition with other distribution channels, rather than a simple understanding of the subject of the traditional market.

FTA 체결국 제품의 구매의도와 유통 경로의 의존성에 관한 연구

서선애(Seo Sun Yea),박호(Park Ho) 한국물류학회 2016 물류학회지 Vol.26 No.3

많은 노력 끝에 맺은 FTA 협정에도 불구하고, FTA 체결 초기를 제외하고는 기대만큼의 FTA 성과를 거두기 어려운 것이 사실이다. 지속적인 FTA체결로 인해 FTA 장점이 희석되고 있으며, 다른 국가와의 차별성을 갖기 어려운 상황에 처해있기 때문이다. 따라서 본 연구에서는 FTA 체결 후 성과에 영향을 줄 수 있는 요인들을 찾아 FTA 제품 구매의도와의 관계에 대해 조사하였다. 먼저 본 연구에서는 소비자들이 인지하는 FTA제품에 대한 지각 정도를 제품 품질 지각, 가격 지각, 신뢰 지각, 상징성 지각정도로 구분하고 FTA 제품 구매의도 간에 어떠한 관계를 보이는지 알아보았다. 이러한 지각 정도에 따라 제품 구매의도에 영향을 주어 이후 구매로 이어질 수 있기 때문이다. FTA의 가장 기본적인 목적은 관세인하를 통한 양국 간의 교역 증가 및 가격인하 효과에 있다. 그러나 FTA가 교역 증가와 가격인하라는 두 가지의 성과를 모두 거두기 위해서는 FTA 성과에 영향을 미치는 요인을 세분화하여 연구 및 적용할 필요가 있다. 몇몇 제품의 경우 FTA체결 전 보다 가격이 오히려 상승한 이유를 찾아보면 가장 큰 이유는 해당 상품을 수입하는 유통경로의 독점에 있다. 그러나 유통경로의 독 · 과점 구조와 FTA 성과간의 관계를 밝히는데 있어 제품별, 지역별, 시기별로 복잡성을 띄고 있어, 본 연구에서는 소비자의 FTA (제품품질, 가격, 신뢰, 상징성) 지각 정도와 구매의도 간에 유통경로의 의존성을 낮은 집단과 높은 집단으로 구분하여 영향정도를 연구하였다. 그 결과 유통경로 의존성이 높은 집단이 낮은 집단보다 FTA 지각 정도와 구매의도간의 관계가 높다는 결론을 얻을 수 있었다. Although huge efforts are made to conclude FTAs (free trade agreements), they can hardly produce satisfactory results except for the early stage, as continuous conclusions are making their merits and discriminating aspects weak. Thus, this study tried to find the factors that could influence the results after conclusions of FTAs, and grasp the relationships between the factors and purchase intention for products under FTA. First, this study examined the relationships between consumers' perception of products under FTA, price perception of products under FTA, trust perception of products under FTA, and symbolic perception of products under FTA and purchase intention for products under FTA, as the degrees of these perceptions could influence purchase intention for products under FTA, which could lead to purchasing in the future. The most fundamental goals of FTAs are trade increase between two countries and price decrease through tariff reduction. However, in order for FTAs to achieve the two goals at the same time, it is necessary to departmentalize and research the factors influencing FTA results. Some products often come to have increased prices after conclusions of FTAs, and here the biggest reason of this phenomenon resides in the monopoly on the distribution channels of importation. However, as determining the relationship between the monopoly or oligopoly structure and FTA results would be very complex considering the aspects of products, regions, and times, this study examined the relationships between consumers' perceptions of FTA (perception of products under FTA, price perception of products under FTA, trust perception of products under FTA, and symbolic perception of products under FTA) and purchase intention for products under FTA by dividing consumers into a group having a high level of dependence on distribution channels and the other having a low level. As a result of the analysis, it could be found that the group having a high level of dependence on distribution channels shows closer relationships between perceptions of FTA and purchase intention than the other.

기업특성에 따른 물류비 구성요소에 관한 연구

서선애(S.Y. Seo) 한국항만경제학회 2008 韓國港灣經濟學會誌 Vol.24 No.4

물류비에 관한 연구는 물류비를 구성하고 있는 요소들의 복잡성만큼 물류비를 산출하고, 특성을 분석하는 것에 많은 노력이 요구된다. 이러한 이유로 물류비 산출은 정부차원의 조사에서 많이 이루어지고 있다. 그러나 아직까지 물류비의 산출기준이 명확하지 않고 또한 물류비 항목별 비율을 조사하는데도 많은 시간과 비용이 소요되는 게 사실이다. SCM 주체의 확대에 따라 물류비를 결정하는 요인들 또한 다양해 졌으며, 기업환경의 변화로 인해 물류비 영향요인들의 변화가 있어왔다. 따라서 물류비에 대한 연구는 물류비를 구성하고 있는 요소들의 세분화와 이들의 특성을 구분하여 접근해야 한다. 물류비의 구성요소는 그 기업이 처해있는 상황이나 여건에 의해 이를 구성하는 요소들이 달라질 수 있거나 요소들의 특성이 구분되기 때문이다. 이러한 특성의 분석과 원인에 대한 분석 없이 무조건적으로 수송비나 보관비와 같은 요소절약 전략은 기업의 특성에 맞지 않는 대안이 될 수 있기 때문이다. 따라서 본 연구에서는 물류비 구성요소별 특성 분석을 바탕으로 하여 물류비 산정과 물류비 절감 노력에 기초적으로 가정하고 고려해야 하는 부분들에 대한 연구에 목적을 둔다. A research on logistics cost needs a great deal of effort to calculate logistics cost and analyze its characteristics due to the complexity of logistics cost components. For this reason, the logistics cost is generally calculated based on the government level analysis. However, the standards for calculating logistics cost have not been obvious so far. Furthermore, it is true that it takes a long time and a lot of money to evaluate the percentage of each logistics cost component. The expansion of SCM entities has diversified the factors determining the logistics cost and the change of business environment has had an effect on the components of logistics costs. Therefore, in order to research on logistics cost, it is needed to focused on not only the segmentation of logistics cost components but also on their characteristics, and to separate the former from the latter. That is because the logistics cost components or the characteristics of these components depend on the current situation and conditions of companies. In addition, a strategy to reduce the components of logistics costs such as the transport cost and the storage cost without analyzing the characteristics and causes of the logistics cost could be an alternative unsuitable for the current status of companies concerned. In conclusion, this study was aimed at investigating the factors which are required to fundamentally assume and consider in an effort to calculate and reduce logistics cost based on analyzing the characteristics of logistics cost components.

e-Business 환경하의 소비자 유통채널 인지 특성

서선애(Sun Yea Seo),조성우(Sung Woo Cho) 국제e-비즈니스학회 2015 e-비즈니스 연구 Vol.16 No.4

흐름 그래프 형태를 이용한 함수형 프로그램 유사성 비교

서선애(Sunae Seo),한태숙(Taisook Han) 한국정보과학회 2005 정보과학회논문지 : 소프트웨어 및 응용 Vol.32 No.4

컴퓨터와 소프트웨어의 사용이 증가하면서, 프로그램 소스의 도용(표절)이 사회적인 문제로 부각되고 있다. 이런 문제를 해결하고자 프로그램의 문법 구조를 비교하여 표절을 찾아내는 방법론이 제안되었지만, 간단한 프로그램 수정에도 표절을 찾아내지 못하는 한계를 가지고 있다. 이 연구에서는, 문법 구조적인 정보 뿐 아니라, 프로그램식 간의 수행시 의존 관계를 드러내는 그래프를 이용한 프로그램 표절 감지 시스템을 제안한다. 이 방법론은 문법 정보 뿐 아니라, 수행시 의존 관계까지 비교 대상에 올림으로써, 수행시 의존 관계를 변화시키지 못하는 프로그램 수정에 대해서도 프로그램 표절을 판별할 수 있다. 또한, 이 연구에서는 표절 프로그램이란 무엇인가를 엄밀하게 정의하고 이 표절 프로그램의 정의와 연구에서 제안된 표절 감별 그래프와의 관계를 보였다. 즉, 두 프로그램이 표절이라는 것은 표절 감별 그래프가 일치한다는 것과 필요 충분 관계가 있음을 증명하였다. 또한 제안된 표절 감별 방법론을 실제적인 프로그래밍 언어인 nML 에 대해서 구현하였다. 구현된 도구를 통해서 실제 표절된 프로그램들을 감별한 결과, 기존의 방법에서 찾기 어려운 프로그램 표절을 제안된 방법론이 다룰 수 있음을 확인하였다. Stealing the source code of a program is a serious problem not only in a moral sense but also in a legal sense. However, it is not clear whether the code of a program is copied from another or not. There was a program similarity checker detecting code-copy by comparing the abstract syntax trees of programs. However this method has a limitation that it cannot detect the code-copy attacks when the attacker modifies the syntax of the program on purpose. We propose a program similarity check by program control graph, which reveals not only syntax information but also control dependancy. Our method can detect the code-copy attacks that do not change control dependancy. Moreover, we define what code-copy means and establish the connection between code-copy and similarity of program control graph: we prove that two programs are related by copy congruence if and only if the program control graphs of these programs are equivalent. We implemented our method on a functional programming language, nML. The experimental results show us that the suggested method can detect code similarity that is not detected by the existing method.

온라인쇼핑이 지역 자본의 역외유출에 미치는 영향

서선애(Yea Sun Seo),김은지(Eun Ji Kim) 국제e-비즈니스학회 2020 e-비즈니스 연구 Vol.21 No.6