• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제13권3호
• /
• pp.179-192
• /
• 2007

온톨로지에 기반한 시맨틱 웹 서비스는 웹 서비스의 자동화된 탐색, 선택, 조합을 지원한다. 특히 시맨틱 웹 서비스 기술 표준인 OWL-S는 서비스의 의미적 기술을 제공하기 위해 만들어진 온톨로지 언어이다. 한편 OWL-S는 문법이 복잡하여 일반 사용자가 OWL-S 문서를 직접 생성하는 것은 어렵다. 본 논문에서는 현재 소프트웨어 설계 및 개발을 위해서 널리 사용 중인 UML 다이어그램으로부터 OWL-S 문서를 편리하게 생성할 수 있는 방법을 제안한다. 제안한 방법은 프로세스의 흐름을 기술한 순차 다이어그램 및 활동 다이어그램으로부터 OWL-S 온톨로지를 생성하기 위해서 UML 프로파일을 기반으로 하고 있다. UML 다이어그램은 XMI 파일로 추출되고 XSLT 스크립트를 통해 OWL-S 온톨로지로 변환된다. 제안한 방법은 복합 프로세스의 다양한 제어구조를 지원할 수 있는데, 이 논문에서는 다양한 종류의 UML 다이어그램을 대상으로 실험함으로써 이를 보였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권3호
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• 한국컴퓨터산업학회논문지
• /
• 제6권3호
• /
• pp.551-558
• /
• 2005

OMG가 UML 액티비티 다이어그램에 대한 텍츄얼한 시멘틱을 제공하지만 정확한 시멘틱의 부족으로 인하여 모호해지는 단점이 있다. OMG의 UML 액티비티 다이어그램이 제공하는 가이드로는 워크플로우 시스템의 정확한 시멘틱을 제공하지는 못한다. 이에 본 논문에서는 대안적인 방법으로 ASM을 사용하여 UML 액티비티 다이어그램의 정형화를 제시한다. 또한 워크플로우 시스템의 특성에 맞춰 ASM 시멘틱을 확장한다.

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

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.443-450
• /
• 2009

시스템 개발 초기 단계에 시스템의 기능적 요구사항이 제대로 반영되었는지를 검사하기 위해 시뮬레이션 기법을 이용한다. 일반적으로 시뮬레이션은 순차도에 나타난 추상적 시나리오를 바탕으로 상태머신을 직접 또는 랜덤으로 수행하는 행태로 진행된다. 시뮬레이션은 분석자가 직접 수행해야 하므로 많은 시간과 노력이 소요된다. 이 논문에서는 순차도 기반의 상태 머신의 시뮬레이션의 자동화 기법을 제공한다. 일반적으로 순차도와 상태머신의 추상화 레벨이 달라서 순차도에서 상세 시뮬레이션 트레이스를 추출하기가 쉽지 않다. 이 연구에서는 상태 머신을 LTS 모델로 변환하여 합성적 분석, 트랜지션 축약 등의 분석 방법을 적용하여 순차도와 동일한 추상화 레벨로 변환한 다음, 시나리오 포함여부를 검사한 후 해당 시나리오의 상세 시뮬레이션 트레이스를 생성한다. 이러한 시뮬레이션 트레이스는 순차도에 기술된 시나리오를 기반으로 시뮬레이션을 자동으로 수행할 뿐만 아니라, 특정 시스템 상태까지 자동 시뮬레이션할 수 있으므로 시뮬레이션을 효율적으로 진행할 수 있다.

• 산업공학
• /
• 제16권2호
• /
• pp.268-279
• /
• 2003

This paper presents critical steps in building client/server application with UML and Visual Basic, which are derived from the implementation case of a typical order processing system. To begin with, we briefly review the software architecture, the diagrams and the object-oriened building process in the UML. In the inception phase, it is critical to define the project charter, to draw use case diagrams, and to construct a preliminary architecture of the application. In the elaboration phase, it is critical to identify classes to be displayed in the class diagram, to develop user interface prototypes for each use case, to construct sequence diagram for each use case, and finally to design an implementation architecture. Steps to construct implementation architecture are given. In the construction phase, it is critical to design both the database and components. Steps to design these components are described in detail. Additionally the way to create the Internet interface is suggested.

• International Journal of Computer Science & Network Security
• /
• 제23권7호
• /
• pp.9-15
• /
• 2023

A common language for modeling software requirements and design in recent years is Unified Modeling Language (UML). Essential principles and rules are provided by UML to help visualize and comprehend complex software systems. It has therefore been incorporated into the curriculum for software engineering courses at several institutions all around the world. However, it is commonly recognized that UML is challenging for beginners to understand, mostly owing to its complexity and ill-defined nature. It is unavoidable that we need to comprehend their preferences and issues considerably better than we do presently to approach the problem of teaching UML to beginner students in an acceptable manner. This paper offers a hint-based approach that can be implemented along with an ordinary lab task. Some keywords are highlighted to indicate class diagram components and make students understand the textual descriptions. The experimental results indicate significant improvement in students' learning skills. Furthermore, the majority of students also positively responded to the survey conducted in the end experimental study.

• International Journal of Computer Science & Network Security
• /
• 제24권6호
• /
• pp.180-186
• /
• 2024

A common language for modelling software requirements and design in recent years is Unified Modeling Language (UML). Essential principles and rules are provided by UML to help visualize and comprehend complex software systems. It has therefore been incorporated into the curriculum for software engineering courses at several institutions all around the world. However, it is commonly recognized that UML is challenging for beginners to understand, mostly owing to its complexity and ill-defined nature. It is unavoidable that we need to comprehend their preferences and issues considerably better than we do presently in order to approach the problem of teaching UML to beginner students in an acceptable manner. This paper offers a hint based approach that can be implemented along with an ordinary lab task. Some keywords are heighted to indicate class diagram component and make students to understand the textual descriptions. The experimental results indicate significant improvement in students learning skills. Furthermore, majority of students also positively responded to the survey conducted in the end experimental study.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• pp.100-105
• /
• 2005

Development of complex discrete event simulators requires cooperation between domain experts and modeling experts who involve the development. With the cooperation the domain experts derive user requirement and modeling experts transform the requirement to a simulation model. This paper proposes a method for consistency verification of simulation model in DEVS formalism against the user requirement in UML diagrams. It also presents an automated tool, called VeriDEVS, which implements the proposed method. Inputs of VeriDEVS are three UML diagrams, namely use case, class and sequence diagrams, and DEVS Graph, all in Visio; outputs of a verification result is represented in PowerPoint files.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권3호
• /
• pp.268-276
• /
• 2002

본 논문에서는 UML 개발도를 이용하여 테스트 데이타를 자동 생성하는 방안을 제안하고, XML 기술을 이용하여 개발한 "테스트 데이타 자동화 도구인 AUTEG(Automatic UML-Based Test Data Generation)"를 "Insurance System"의 사례에 적용한 결과를 분석 기술한다. AUTEG는 전체 시스템을 구성하는 모듈 사이의 인터페이스(interface)영역에 존재하는 오류 추출이 가능한 테스트도(test diagram)와 기존의 화이트 박스 테스트(white-box test)기법을 테스트도에 적용하여 테스트 데이타를 자동 생성한다. 또한 AUTEG는 통합 테스트와 시스템 테스트에 적용할 수 있으며, 사용자가 통합 테스트의 단위 모듈을 자유롭게 그룹화 할 수 있다.