• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권6호
• /
• pp.486-501
• /
• 2005

XPDL(XML Process Definition Language)은 프로세스 정의 교환을 위하여 WfMC에서 제안한 XML 기반 언어이다. 본 논문에서는 워크플로우 프로세스의 정의와 교환을 위하여 XPDL 문서의 구조(Schema)를 UML 다이어그램으로 모델링하여 기업들 간의 상호연동과 협업을 위한 업무흐름 파악을 용이하게 하는 모델을 제안한다. 이를 위해 XPDL 문서를 UML의 클래스 다이어그램과 액티비티 다이어그램으로 변환하는 사상 규칙을 정의하여, XPDL 프로세스 메타모델(Meta-Model)를 구성하는 각 엘리먼트는 클래스 다이어그램으로 모델링하고, 프로세스 액티비티(Process Activity)는 액티비티 다이어그램으로 모델링하는 기법을 제안한다. 또한 제안된 기법을 "신용 카드 상태 체크 시스템"의 워크플로우에 대한 XPDL 문서을 적용하여 제안된 기법의 유효성을 검증한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1158-1171
• /
• 2003

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

• 한국산업정보학회논문지
• /
• 제16권5호
• /
• pp.83-92
• /
• 2011

IDEF는 전통적인 구조적 소프트웨어 개발에 많이 사용된 방법론이다. 객체지향 소프트웨어가 널리 사용됨으로 이에 맞는 모델을 IDEF 개발 기관에서 제시한 것이 IDEF4다. UML은 객체지향 소프트웨어의 산업표준으로서 널리 이용되는 도구이다. IDEF는 CALS/EC 등에서 많이 사용하고 UML은 일반적인 객체지향 소프트웨어 개발할 때 많이 사용하기 때문에 소프트웨어 개발자들은 IDEF4모델의 표현법 보다는 UML의 표현법에 익숙하다. 또한 UML을 사용한 CASE 도구가 많이 개발되어 있어 IDEF4 모델을 UML 모델로 표현하면 이런 도구를 사용하여 소프트웨어 개발을 좀 더 효율적으로 할 수 있다. 본 논문은 IDEF4 모델을 UML 모델로의 변환하는 방법에 관하여 기술하였다. 변환 규칙을 제시하고 이를 사례에 적용하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.348-353
• /
• 2006

데이터의 흐름과 그 데이터의 처리가 중요한 시스템이 있다. 이러한 시스템을 구현하는 데이터 흐름 언어들은 데이터 흐름도로 모델링하는 것이 가장 이해하기 쉽고 정보의 손실이 적은 방법이다. 이러한 시스템은 분산 환경의 중요성이 높아짐에 따라 다른 이종적인 시스템과 같이 개발 될 가능성이 높아지고 있다. 따라서 이종적인 시스템에 대한 일관성 있고 통합적인 설계와 문서화가 필요하게 되었다. UML로 객체 지향 언어로 구현되는 시스템의 모델링과 문서화에 있어서는 사실상의 표준이지만 데이터 흐름의 구성 요소들이 객체 지향적이지 않기 때문에 UML로 데이터 흐름을 나타내는 것은 어렵다. 따라서 우리는 이러한 문제를 해결하기 위한 UML 확장 메커니즘을 제안한다. 데이터 흐름 언어가 객체와 클래스로 사상될 수 있는 특성들을 가지고 있다면 그 특성들을 UML 다이어그램으로 확장할 수 있다. 그러기위해 새로운 스테레오타입들을 정의하여 기존의 UML 다이어그램 구성물과의 차이를 둔다. 이러한 과정을 통해 UML 사용자들은 데이터 흐름 언어의 구성 요소들을 캡슐화 할 수 있다. 데이터 흐름 언어로 구현되는 일반적인 시스템에 적용하기 위해 우리는 UML 메타모델 개요를 제안하는 것으로 스테레오타입들을 정의한다. 그리고 이렇게 확장된 UML 메커니즘을 가지고 데이터 흐름 언어로 구현된 두 개의 시스템을 설계하고 설계에 따라 구현 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.39-42
• /
• 2002

XML을 가장 효율적으로 활용할 수 있는 B2B 시스템 구축 시 가장 중요한 부분은 모델링을 어떻게 하느냐 일 것이다. 기존의 관계형 데이터베이스에 저장된 정보를 XML 문서로 변환하는 것뿐만 아니라 신규로 정의하여 사용하는 정보에 대하여서도 확장성 있고 만족할 만한 성능을 보장하도록 구조화시킬 것인지가 관건이다. XML 문서는 그 자체로 하나의 객체이며 객체지향 모델링의 표준인 UML을 사용하여 문서정보 뿐만 아니라 시스템 전체를 모델링하는 것이 가장 바람직한 접근 방법이다. 따라서 본 논문은 계층구조를 갖는 XML 데이터를 관계형 데이터베이스로 저장이 가능하도록 하는 모델링 방법론을 제안하였다. 이를 위하여 우선적으로 객체지향 설계언어인 UML를 이용해서 클래스 다이어그램을 도출한 후, 클래스 다이어그램에 의해서 XML DTD 설계를 위한 XML 모델링을 소개하고 이들의 모델링으로 교환되는 XML 데이터를 효율적으로 저장하기 위하여 관계형 데이터베이스 스키마 설계를 위한 데이터 모델링 방법을 제안하였다. 아울러 변환 방법에 의해 관계형 데이터베이스 스키마 스크립트를 구현했다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.356-360
• /
• 2002

인터넷의 급속한 확대로 인해 컴퓨터 시스템 또는 네트워크 상에서 보안 문제는 점차 중요한 이슈로 다루어지고 있다. 시스템 또는 네트워크에서 보안 문제를 어떻게 다루느냐는 어떠한 보안정책을 구현하고 있느냐와 밀접하게 연결된다. 이 논문에서는 시스템 또는 네트워크에서 다루어지고 있는 기존 보안정책들을 표현할 수 있는, 그래픽 기반의 새로운 보안정책 언어를 제시한다. 이 언어는 객체 지향 기법에 기반을 두고 있는 그래픽 보안정책 기술 언어이다. 보안정책은 객체 내부 상황 및 객체들 사이 연관성을 표현하여 보안정책이 적용되는 상황을 기술하고 보안정책에서 만족되어야 하는 조건 및 행위 또한 객체 내부와 객체간의 연관성으로 표현된다. 객체지향 보안정책 언어는 그래픽 언어이기 때문에 명확하고 이해하기 용이하다는 장점이 있으며 UML의 클래스 다이어그램과 상태도로 대상 시스템을 표현할 수 있으므로 명시된 보안정책들에 대한 분석을 수행할 수 있다는 장점이 있다.

• 한국컴퓨터산업학회논문지
• /
• 제7권3호
• /
• pp.179-184
• /
• 2006

많은 기업들은 정보기술의 발전과 더불어 이익을 증대시키고 비용을 절감하기 위하여 정보화 시스템을 도입하고 있다. 본 논문에서는 객체지향 방법론 설계 도구인 UML을 사용하여 AS-IS를 구축하고 닷넷 환경의 유스케이스 다이어그램, 시퀀스 다이어그램, 컴포넌트 다이어그램 등을 통하여 TO-BE 프로세스 모델을 설계한다. 그리고 소규모 회사 조직 시스템에 적용시키기 위하여 닷넷 기반으로 구축하면 컴포넌트 재사용 및 소프트웨어 생산성을 증진시킬 수 있다.

• 한국정보통신학회논문지
• /
• 제24권2호
• /
• pp.244-251
• /
• 2020

본 논문에서는 UML 다이어그램의 정보를 구문적으로 분석하여 클래스들의 정보를 구조적으로 구축하는 정보 저장소인 '메타 클래스 레포지토리 (MCR)'의 구현 방법을 제시한다. 구문적으로 분석된 클래스의 정보를 구조적으로 구축하기 위하여 수퍼 클래스인 '메타 클래스 (meta-class)'를 정의하고, 이들 메타 클래스들의 컬렉션으로 구성된 레포지토리를 구축하여 정보를 관리한다. 또한, MCR이 보유하고 있는 메타 클래스 정보에 기반하여 클래스에 상응하는 코드를 생성하기 위하여 '코드 생성 엔진 (CGE)'을 설계하여 제시한다. 코드 생성 엔진의 로직을 구성함에 있어서는 클래스에 대한 정보와 프로그래밍 언어의 구문 규칙이 합법적으로 조합되어 코드가 생성되어야 한다. 따라서, 이러한 클래스 다이어그램으로부터 코드를 생성하는 데에 MCR과 CGE가 통합적으로 협력하여 수행될 수 있도록 구현하는 방법을 제시한다. CGR의 동작 메커니즘에 대한 알고리즘을 유한 상태 머신 형태로 제시함으로써 CGE의 로직을 형식화하여 표현함과 동시에 구현 상의 용이함을 취할 수 있게 하였다.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.129-146
• /
• 2010

최근 다양한 분야에서 폭넓게 활용되고 있는 XML 문서는 유연하고도 개방적인 특성으로 인해 정보교환이나 전송을 위한 수단으로 널리 이용되고 있다. 한편 XML 문서를 위한 시각적, 직관적 질의 언어인 XML-GL은 질의에 대한 의미와 결과 문서의 구조를 시각적으로 표현할 수 있기 때문에 XML 문서에 대한 구조 검색과 정보의 공유가 용이하다. 그리고 UML은 정해진 표기법과 다양한 다이어그램을 이용하여 객체지향 분석과 설계를 위한 도구로 사용되고 있다. 따라서 본 논문은 XML-GL의 데이터 모델인 XML-GDM을 기반으로 표현된 XML 문서를 UML 클래스 다이어그램으로 사상하기 위한 새로운 객체 모델링 방안을 제안한다. 이를 통해서 XML 문서를 직관적인 방법으로 객체지향데이터로 변환하고 저장/관리할 수 있다. 또한 객체지향 검색방법을 적용하면 보다 효율적으로 XML 문서를 검색할 수가 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.202-211
• /
• 2003

객체지향 방법론에서 정적 및 동적 모델에 관한 구문(Syntax)과 의미론(Semantics)의 형식적 정의는 잘 이루어 졌으나 객체 상호작용의 행위에 대한 형식론은 아직까지 제시되지 않았다. 본 논문에서는 객체 상호작용을 묘사하는 UML의 순서(Sequence) 다이어그램을 토대로 프로세스 대수를 사용하여 객체 상호작용을 정의하고 객체 상호작용의 특성을 정규화 시킨다. 이러한 결과는 M. Snoeck과 G. Dedene[9]가 제시한 종속존재 관계의 개념을 상호작용 관계의 개념으로 대체하여 형식론을 전개할 수 있음을 보여준다.