OCL을 이용한 리팩토링의 선행조건 정의

장필재(Pil-Jae Jang),김경민(Kyung-Min Kim),김태웅(Tae-Woong Kim),김태공(Tae-Gong Kim) 한국멀티미디어학회 2008 한국멀티미디어학회 학술발표논문집 Vol.2008 No.1

리팩토링이란 소프트웨어의 큰 변경 없이 내부적인 구조를 쉽게 이해하고, 수정할 수 있도록 만들어주는 작업이다. 이런 리팩토링을 적용하기 위해서는 충족시켜야 할 최소한의 제약사항이 있으며 이것을 리팩토링의 선행조건이라 한다. 본 연구에서는 리팩토링 수행 시 필요한 선행조건을 정형화된 제약사항 언어인 OCL로 정의 한다. 이를 위해 리팩토링의 선행조건을 분석하여 일반적인 선행조건의 조각들을 추출한 뒤, OCL을 이용하여 선행조건의 조각들을 정의한다. 이것을 간단한 프로그램에 적용해 봄으로써 그 활용성을 검증해 본다.

동적 조립을 위한 OCL 기반의 리팩토링 명세

장필재 ( Pil-jae Jang ),김경민 ( Kyung-min Kim ),김은지 ( Tae-woong Kim ),김태공 ( Un-ji Kim ) 한국정보처리학회 2009 한국정보처리학회 학술대회논문집 Vol.16 No.2

최근의 소프트웨어 개발에서는 리팩토링이 일반적인 요소로서 활발하게 이용되고 있다. 리팩토링에 대한 관심이 높아지면서 리팩토링의 자동화와 리팩토링 재사용을 위한 조립에 대한 연구가 많이 진행되고 있다. 기존의 연구들에서는 리팩토링과 리팩토링 조립에 대해 선/후행조건을 각각 명세하고 있다. 하지만 리팩토링 조립의 경우에 대한 선/후행조건은 개별적인 리팩토링들의 선/후행조건들과 중복된 기능들이 대부분이며, 사용 가능한 리팩토링의 조립이 정적으로 고정되어 있음을 의미한다. 이에 본 연구에서는 리팩토링 조립의 경우가 고정되어 있지 않고 조립의 경우에 따른 선/후행조건의 추가적인 정의 없이 동적으로 다양하게 조립여부를 확인할 수 있도록 하고자 한다. 이를 위해 리팩토링의 동적 조립을 위한 전체 프레임워크를 제안하며 OCL 기반으로 리팩토링을 명세한다.

선행조건이 명세되어 있지 않은 복합 리팩토링에 대한 조립성 검사

김경민,장필재,김태공,Kim, Kyung-Min,Jang, Pil-Jae,Kim, Tae-Gong 한국정보처리학회 2011 정보처리학회논문지D Vol.18 No.1

최근의 소프트웨어 개발에서는 리팩토링이 활발하게 이용되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 더 큰 종류의 복합 리팩토링을 처리하려는 연구들이 많이 진행되고 있다. 복합 리팩토링은 조합된 요소 리팩토링의 순서대로 처리되기 때문에 프로그램에 실제 적용하기에 앞서 적용 가능성을 판단하는 것이 중요하다. 기존 연구들에서는 요소 리팩토링들의 선 후행조건들로부터 복합 리팩토링에 대한 선행조건을 계산하여 적용 가능성을 판단하고 있다. 이것은 선행조건이 정의되어 있는 복합 리팩토링만 판별할 수 있으며 선행조건이 정의되어 있지 않은 복합 리팩토링에 대해서는 적용 가능성을 판단할 수 없는 문제점이 있다. 본 연구에서는 복합 리팩토링의 명세를 추가로 정의 하지 않고 요소 리팩토링만으로 조립 가능 여부를 판단하고자 한다. 이를 위해 요소 리 팩토링을 명세하는 방법과 조립성 검사 방법을 제안한다. 이를 기반으로 프로토타입 도구를 개발해 보고, 적용사례를 통해 선행조건이 명세되어 있지 않은 복합 리팩토링들의 조립성 검사를 확인해봄으로써 본 연구의 효용성을 검토해본다. Refactoring has been actively used in recent software developments. Many studies on the processing of more large scaled composite refactorings have been conducted through the composition of elementary refactorings. It is important to verify the possibility of composition before the refactoring is performed, because the composite refactorings are processed to the sequence of composed elementary refactorings. In conventional studies, they verify the possibility of composition using the precondition of composite refactorings which are computed from the precondition and postcondition of elementary refactorings. They can not verify the possibility of composition in case which composite refactorings do not have a specification of precondition. Thus, we plan to verify the possibility of composition by using the elementary refactorings only without any additional definitions of the preconditions of composite refactorings. To achieve this goal, we proposes a specification method of elementary refactorings and a method for the composition check of refactorings. Then, we develop a prototype tool based on these methods. In addition, we verify the efficiency of our methods through case studies.

디지털콘텐츠의 이용과 미성년자 보호에 관한 연구

남기연 ( Ki Yeon Nam ),장필재 ( Pil Jae Jang ) 홍익대학교 법학연구소 2014 홍익법학 Vol.15 No.4

The purpose of this paper is to study the protection of minors for using digital contents. As diverse digital contents transaction type, there are many problems occurring with respect to minors. Problems related to minors ‘consent of the legal representative’, ‘restriction of right of cancellation’ and ‘recognize the possibility of minors’ is. Related to Mobile game, damage caused by a minor settlement without the consent of the legal representative is the most serious problem. So, Duty of the operator should be made in more detail about why a minor need the consent of the legal representative and range of the legal representative consent. Second problems arise with respect to restriction of right of cancellation of a minor. Generally minor required the consent of the legal representative in order to use the Digital Contents. Legally revocation of Digital Contents is possible only within 7 days after purchase. However, if minor use the trick without the consent of the legal representative, minor don`t have right of cancellation by the Civil Code Article 17. The third problem is lack of recognize the possibility of minors. A minors is limited recognition compared to adults. But operators presenting the important information on the terms is set to a separate link or may be difficult to find. Therefore, a minor does not understand the difficult contents of the terms and can be damaged in the transaction. In the alternative to those problems should use the easy term in Terms to improve the recognition probability of the minor. It should also be available in simple to understand, such as in cartoon form. And minors are aware about their rights and obligations are needed as the parties to a transaction. This means that a minor will be sure to double-check the contents of the Terms was agreed (Offer optional answers). Finally, the operator if the child is receiving the consent of the legal representative should present a concrete platform for the confirmation and operators must do their duties. On the basis of the results of this research, it can be concluded that the protection of minors in the digital content transactions, will require a lot of effort.

다도해해상국립공원 금오도지구 대륙사슴의 계통 분류학적 고찰

문주영 ( Moon Ju-yeong ),장경희 ( Jang Kyung-hee ),강희진 ( Kang Hee-jin ),노형수 ( No Hyung-soo ),강병선 ( Kahng Byung-seon ),김승희 ( Kim Seoung-hee ),장필재 ( Jang Pil-jae ) 한국환경생태학회 2016 한국환경생태학회 학술대회지 Vol.2016 No.2

대륙사슴(Cervus nippon)은 우리나라 멸종위기야생생물 Ⅰ급으로 지정되어 있는 멸종위기종이다. 그러나 현재 우리나라 고유종(C.n.hortulorum)은 멸종한 것으로 추정되며 일부 지역에서 사육종 및 종교적 목적으로 방생한 개체군만이 발견된다. 현재 다도해해상국립공원 지역인 남면 금오도지구에는 2004년 여수시에서 야생조수 방목지 조성을 통한 관광 활성화를 목적으로 방사한 대륙사슴이 서식하고 있다. 최초 방사된 대륙사슴은 만주종과 일본종의 혼혈인 것으로 추정되나 명확한 생물종 관리를 위해서 금오도에 서식하는 대륙사슴의 정확한 분류학적 위치의 파악이 필요하였다. 본 연구는 금오도에 서식하는 대륙사슴의 정확한 계통분류학적 위치를 파악하고, 국립공원 외래종 관리방안 마련의 자료 제공을 목적으로 수행되었다. 금오도 외래종 구제 시수집된 대륙사슴 4개체의 혀(tongue) 시료로부터 DNA를 추출하여 Cytochrome b 분석을 진행하였고, 도출된 염기서 열 정보는 Genbank 데이터와 기 구축된 국립공원 대륙사슴의 유전적 정보와 함께 분석하였다. 그 결과 다도해해상국립공원 구역 내 서식하는 대륙사슴은 일본 본토인 혼슈 북부에 서식하는 아종 C.n.centralis로서 이는 우리나라 고유종이 아닌 일본아종으로 확인되었다

IUCN Category Ia 다도해해상국립공원 백도 식물상 모니터링

이호 ( Lee Ho ),강병선 ( Kahng Byung-seon ),강희진 ( Kang Hee-jin ),김승희 ( Kim Seoung-hee ),장필재 ( Jang Pil-jae ) 한국환경생태학회 2016 한국환경생태학회 학술대회지 Vol.2016 No.2

IUCN(세계자연보전연맹)은 보호지역의 지정 및 관리 목표에 기반하여 보호지역을 7개 카테고리 유형으로 구분하고 있다 특히 2004년 말레이시아 쿠알라룸프르에서 열린UNEP CBD(유엔환경계획 생물다양성협약) 제7차 당사국총회에서는 IUCN의 보호지역 카테고리 시스템을 국제적기준으로 공식 채택하였다. 보호지역의 6개 유형중 카테고리 Ia는 학술적 엄정 보호구역(Strict Nature Reserve)로 과학적 연구 및 환경교육 등을 위한 자연환경을 확보하기 위해 엄격하게 자연생태계를 보호하고 있는 곳이다. 2016년1월 백도는 IUCN 카테고리 Ia로 인증을 받았으며 이에 따라 교란을 최소화 하는 등 적극적인 관리방안이 요구되는 곳이다. 또한 백도는 국가지정문화재인 명승7호로 지정되어 있으며, 국립공원 특별보호구역으로 지정 관리되고 있는 곳이다. 국립공원 특별보호구역은 국립공원 내 보호할 가치가 높거나 인위적·자연적 훼손으로부터 보호 필요성이 있는 야생동물서식지, 야생식물군락지, 습지, 계곡 등 주요 자원의 보호를 위해 일정기간 사람의 출입을 통제하는 곳으로서 2007년 1월부터 시행되고 있다. 현재 국립공원 특별보호구역 대상지역은 19개 공원 98개소로 이중 다도해해상국립공원 백도를 국립공원 특별보호구역으로 지정하여 모니터링을 실시하고 있다. 백도는 멀리서 하얗게 보인다고 하여 백도(白島)라고 불렀다는 설과 물 속에 떠 있는 섬이 대략 백 개라고 하여일백(百)자를 따서 백도라고 불렀으나 하나가 모자란 99개라 하여 □획을 없애 백도(白島)라고 부르게 되었다는 명칭유래가 전하는 곳으로 수십개의 무인군도로 형성되어 있다. 이곳은 기암괴석의 절경 뿐만 아니라 아열대 희귀 동식물의 서식밀도가 높은 곳으로 뿔쇠오리를 비롯하여 가마우지, 휘파람새, 바다직박구리, 흑비둘기 등 30여종의 조류와 풍란, 쇠뜨기, 땅채송화 등 수많은 식물이 서식하고 있다고 기록되어 있다. 그간 거문도와 백도의 식물상에 대한 연구 조사기록을 살펴보면 정태현과 이우철(1966)은 거문도 식물조사연구에서 107과 290종 69변종 3품종으로 총 363종을 보고하였으며, 김종홍(1980)은 114과 356속 449종 57종을 조사하였다. 김태성(1980)은 거문도 식물상의 분류 및 생태학적 연구를 하였으며, 정영호와 김기준(1984)은 거문도일원의 녹지자연도와 식물상을 조사하였다. 이정석과 김승원(1984)은 거문도 인근도서 관속식물상을 이호준 등(1986)은 거문도와 대삼부도에 있어서 관속식물의 분포와 생태에 관한 연구를 하였다. 김종홍(1990)은 133과 452속 692종 2아종110변종 15품종으로 총 822종을 기록하였다. 김하송(1995)은 거문도의 환경변화에 따른 식물상변화와 암벽식생에 관한 연구를 하였고, 여수시(2002)는 백도자원학술조사를 시행하였다. 이중 백도의 식물상 조사에 따른 제언을 살펴보면 하백도 해안 부근에 한국 미기록종인 거문도닥나무(Wikstroemia Gampi)와 정상 부근에서 덩굴옻나무(Rhus ambigua), 눈향나무(Juniperus chinensis var. sagentii)가 자생하고 있다고 하였으며 이에 대한 보존가치를 제언하였다.그간 백도 및 거문도를 대상으로 지속적인 식물상 조사가 이루어져왔으며 특히 올해 IUCN 카테고리 Ia 지정에 걸맞는 관리와 국립공원 특별보호구역으로서 현지조사 실시에 따른 시행효과 분석 및 장기적인 생태계 변화관찰이 필요하다. 이를 통해 시행지역의 자원정보를 체계적으로 통합 보전 및 관리하는데 유용한 공간적 정보로의 활용과 생태계의 복원 및 체계적인 보전방안을 마련하여 공원관리를 위한 기초자료로 활용하고자 모니터링을 시행하였다. 식물상 조사는 2016년 3월 15일과 16일 그리고 6월 30일과 7월 1일 2회 현지에 방문하여 실체를 확인하면서 조사하였다. 그 결과 39과 70속 64종 14변종 등 총 78종을 확인하였다. 이중 희귀종은 낚시돌풀(Hedyotis biflora var. parvifolia Hook. & Arn.) 및 거문도닥나무(Wikstroemia ganpi (Siebold & Zucc.) Maxim.) 등 2종을 확인하였으며, 특산식물은 자주꿩의다리(Thalictrum uchiyamai Nakai) 1종을 조사하였다. 식물구계학적 특정식물은 V등급은 확인하지 못하였으며, IV등급은 제주피막이(Hydrocotyle yabei Makino), 섬딸기(Rubus ribisoideus Matsum.) 등 2종을 확인하였다. III등급은 털머위(Farfugium japonicum (L.) Kitam.), 낚시돌풀(Hedyotis biflora var. parvifolia Hook. & Arn.), 까마귀쪽나무(Litsea japonica (Thunb.) Juss.), 생달나무(Cinnamomum japonicum Siebold ex Nees), 산쪽풀(Mercurialis leiocarpa Siebold & Zucc.), 홍도원추리(Hemerocallis hongdoensis M.G.Chung & S.S.Kang), 다정큼나무(Rhaphiolepis indica var. umbellata (Thunb.)Ohashi), 우묵사스레피(Eurya emarginata (Thunb.) Makino)등 8종을 조사하였다. I등급은 갯씀바위(Ixeris repens (L.)A.Gray), 해국(Aster sphathulifolius Maxim.), 사철나무 (Euonymus japonicus Thunb.), 참식나무(Neolitsea sericea(Blume) Koidz.), 후박나무(Machilus thunbergii Siebold & Zucc.), 예덕나무(Mallotus japonicus (Thunb.) Muell. Arg.), 돈나무(Pittosporum tobira (Thunb.) W.T.Aiton), 송악(Hedera rhombea (Miq.) Bean), 산외(Schizopepon bryoniaefolius Maxim.), 맥문아재비(Ophiopogon jaburan (Kunth) Lodd.), 보리밥나무(Elaeagnus macrophylla Thunb.), 천선과나무(Ficus erecta Thunb.), 갯기름나물(Peucedanum japonicum Thunb.), 갯장구채(Silene aprica var. oldhamiana (Miq.) C.Y.Wu), 갯까치수염(Lysimachia mauritiana Lam.), 동백나무(Camellia japonica L.), 큰천남성(Arisaema ringens (Thunb.) Schott)등 17종을 확인하였다. 귀화식물은 방가지똥(Sonchus oleraceus L.) 1종이 조사되 었다.