• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.297-308
• /
• 2001

본 논문에서는 SDT를 이용하여, WAP 포럼에서 제안한 WTP 프로토콜을 설계, 검증 및 구현하였다. 이를 위하여 무선 트랜잭션 프로토콜을 형식 명세 언어인 SDL로 모델링하였으며, UDP 플랫폼상에서 동작하는 무선 트랜잭션 프로토콜 소프트웨어를 생성하기 위한 환경함수를 설계 및 구현하였다. 또한, 무선 트랜잭션 프로토콜 서비스를 사용하여 통신 응용 프로그램을 작성할 수 있도록 개발 환경을 제공하기 위해 응용프로그래밍 인터페이스를 설계하였다. 그리고 시험 도구인 ITEX를 이용하여 구현된 프로토콜이 규격에 일치하여 동작하는지 검사하는 적합성 시험을 수행하였다. 이를 위하여 시험 언어인 TTCN으로 추상적 시험 스위트를 작성하였고 시험 언어 컴파일러를 이용하여 실행 가능한 시험 스위트를 생성하였다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1453-1467
• /
• 1996

소프트웨어를 개발하는 과정은 일련의 다양한 모델을 구축하는 과정이라고 할 수 있다. 그러나 개발자들이 작성된 모델을 검증할 수 있는 적당한 방법이 없었다. 기존 의 검증 도구들은 주로 구현 단계에서 사용되고 있으나 본 논문에서는 이러한 검증 도구의 원리를 개발의 초기 단계인 분석 단계에 적용해 보았다. 본 논문에서는 기존 의 객체 모델링 방법론에서 제시하였던 지침들 뿐만 아니라 시스템의 개발자가 객체 모델에 대해서 규정하고자 하는 지침들까지도 제약으로서 표현할 수 있는 제약 언어 를 정의하였다. 정의된 제약 언어를 이용하여 객체 모델 작성기에 의해 생성된 객체 모델의 품질 및 일관성을 향상할 수 있는 검증시스템을 구축하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2019년도 제31회 한글 및 한국어 정보처리 학술대회
• /
• pp.280-283
• /
• 2019

공손함은 인간 언어의 가장 흥미로운 특징 중 하나이며, 자연어처리 시스템이 인간과 자연스럽게 대화하기 위해 필수적으로 모델링해야 할 요소이다. 본 연구에서는 인간의 발화가 주어졌을 때, 이의 공손함을 판단할 수 있는 시스템을 구현한다. 이를 위해 딥러닝 방법인 양방향 LSTM 모델과, 최근 자연어처리 분야에서 각광받고 있는 BERT 모델에 대해 성능 비교를 수행하였다. 이 두 기술은 모두 문맥 정보를 반영할 수 있는 모델로서, 같은 단어라도 문맥 정보에 따라 의미가 달라질 수 있는 공손함의 미묘한 차이를 반영할 수 있다. 실험 결과, 여러 설정에 거쳐 BERT 모델이 양방향 LSTM 모델보다 더 우수함을 확인하였다. 또한, 발화가 구어체보다 문어체에 가까울 수록 딥러닝 모델의 성능이 더 좋은 것으로 나타났다. 제안된 두 가지 방법의 성능을 인간의 판단 능력과 비교해본 결과, 위키피디아 도메인에서 BERT 모델이 91.71%의 성능을 보여 인간의 정확도인 86.72%를 상회함을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.454-456
• /
• 2004

데이터베이스에 대한 제약사항들은 소프트웨어의 개발 및 사용에 있어 개발자와 사용자가 모두 참고해야 하는 중요한 사항임에도 불구하고 데이터베이스 모델링괴 소프트웨어 모델링의 불일치 및 표현 방법의 차이로 인해, 일관성 있는 제약사항 명세 및 설계에 많은 어려움을 겪어왔다. OCL(Object Constraint Language)은 객체의 제약사항을 표현하는 언어로서 UML(Unified Modeling Language)의 일부분이다. 본 논문은 객체의 제악사항을 표현하는데 사용하던 OCL을 데이터베이스의 제악사항을 설계에 일관성 있게 표현, 반영하기 위하여 사용하는 기법을 제시하고, 이에 대한 검증을 수행하는 방법에 대한 연구이다. 본 논문에서는 요구사항에서 추출한 데이터베이스의 제악사항을 정의한 규칙에 따라 추출해내고, 이를 OCL의 표현법을 이용하여 정형적으로 표현한다. 그리고 그 OCL의 형식적 표현을 ODL(Object Description Language)로 정의하는 기법을 정의함으로서 이에 대한 일관성 검증을 수행하는 기법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.116-119
• /
• 2011

스마트폰은 기존의 휴대전화보다 더 향상된 컴퓨팅 능력을 제공하는 휴대전화로, 사용자가 자유롭게 애플리케이션을 설치하여 사용할 수 있다. 스마트폰 애플리케이션은 기존의 PC 애플리케이션과 달리 하드웨어 센서와 사용자 정보를 사용할 수 있으며, 기존과 다른 사용자 인터페이스 컴포넌트를 사용한다. 이와 같은 스마트폰 애플리케이션의 특성은 설계에 반드시 반영되어야 한다. UML은 소프트웨어 모델링 언어로, 다양한 도메인을 모델링할 수 있지만, 특정 도메인의 특성을 상세히 표현할 수 없다. 이러한 이유로 UML은 확장 메커니즘을 제공하고 있다. 본 논문은 확장 메커니즘을 이용하여 iOS 애플리케이션의 특성을 충분히 표현할 수 있도록 UML을 확장하였다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
• /
• pp.442-447
• /
• 2005

BPEL4WS와 같은 웹 서비스 프로세스 설계 언어의 사용은 기업으로 하여금 자동 실행되는 비즈니스 프로세스를 설계, 실행할 수 있게 하였으나, 종전의 워크플로우와 자동 실행 프로세스를 동시에 지원하지 못하는 한계를 가진다. 또한 B2B 협업에 있어서 각 기업에서 제공하는 웹 서비스들의 입력과 출력, 행동 단위가 다를 수밖에 없기 때문에 동일한 목적을 지닌 프로세스라 하더라도 파트너에 따라 상이하게 설계될 수밖에 없는 문제를 지니고 있다. 본 연구에서는 위와 같은 문제들을 해결하기 위해, 비즈니스 프로세스를 기업내 워크플로우 프로세스와 자동 실행가능한 프로세스, 기업간 협업 프로세스의 세 가지로 분류하고, 이들을 통합적으로 설계하는 비즈니스 프로세스 모델링 방법론을 제안한다. 본 연구를 통해 비즈니스 프로세스 설계자는 기업내 워크플로우와 자동 실행 가능한 프로세스를 통합적으로 설계할 수 있으며, 각 파트너에 대해 동일하게 사용되는 협업 프로세스를 설계할 수 있게 될것으로 기대된다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
• /
• pp.294-299
• /
• 2005

본 연구는 국내 대형 SI 업체의 UML(Unified Modeling Language)의 도입과 활용 사례를 소개한다. 1990년대에 소프트웨어의 개발패러다임이 객체지향 방법론(object-oriented paradigm)으로 옮겨갔고, UML은 객체지향 분석과 설계를 위한 모델링 언어로 전 세계적인 표준으로 받아들여지고 있다. 한 소프트웨어업체가 UML을 활용한다는 사실은 그 업체가 소프트웨어 모델링을 하고 있다는 것을 의미한다. 소프트웨어 모델의 기본 목적은 복잡한 소프트웨어를 추상적 수준에서 이해할 수 있게 표현하는 것이다. 소프트웨어 모델은 사용자 요구의 정확한 반영, 개발팀원간의 업무분담, 개발비의 추정, 유지보수에 유용하게 쓰일 수 있다. 본 연구는 인터뷰와 설문지를 병행하여 진행되었고, 연구의 결과는 국내 소프트웨어업계에서의 UML 활용수준의 벤치마크로 쓰일 수 있으며, 새로이 UML을 활용코자 하는 소프트웨어업체의 UML 도입전략 수립에 도움을 줄 것으로 기대한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (하)
• /
• pp.923-926
• /
• 2001

침입 탐지 기법에 있어서 finite automata 를 통해 정상 행위를 프로파일링 하는 연구들이 많이 진행되어 왔으나, 자동으로 간결한 형태의 오토마타를 생성하는 것이 매우 어려웠다. 이 논문에서는 많은 침입 탐지 기법의 데이터 소스로 사용되고 있는 시스템 콜을 이용하여 자동으로 finite automata 를 생성하고, 여기에 언어 압축 알고리즘을 이용하여 오토마타를 압축하고 일반화 시킴으로써 다양한 프로세스의 행위들을 프로파일링 하도록 하였다. 제안된 알고리즘을 통해 모델링한 후 정상 행위와 비정상 행위를 가지고 실험을 한 결과 이들 사이에는 많은 수치적인 차이가 있음을 발견하였고, 이 결과를 바탕으로 침입을 탐지하는 것도 충분히 가능함을 알 수 있었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2059-2062
• /
• 2002

본 논문에서는 사용자 주도형의 웹 기반 원서접수 어플리케이션을 객체 지향 언어인 UML을 이용하여 설계 및 구현하였다. 즉, 개발 단계별 모델링 패턴을 정의하여 소프트웨어의 재사용 및 유지보수의 효율성을 감안하여 설계하였으며, 기존의 원서접수 어플리케이션과는 전혀 다른 사용자가 전적으로 참여하여 등록하고 접수하는 방식의 소프트웨어 응용기법을 제안하고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.218-221
• /
• 2007

고객과 공급업체 그리고 비즈니스 파트너들 간의 협업과 정보 공유를 수행하는 일련의 비즈니스 프로세스(Business Process)는 전자상거래에서 흔히 찾아 볼 수 있으며, 이는 Wf-XML을 기반으로 하고 있다. Wf-XML(workflow-XML)은 비동기 웹서비스 프로토콜로 워크플로 엔진의 상호연동을 위해 제안된 XML기반 프로토콜을 정의한 언어이다. 본 논문에서는 서로 다른 워크플로 엔진의 상호연동을 위하여 Wf-XML에서 제공하는 리소스 모델을 UML 다이어그램으로 모델링하여 기업들간의 상호연동과 협업을 위한 업무 흐름 파악을 용이하게 하는 모델을 제안한다.