• 중소기업융합학회논문지
• /
• 제1권1호
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML)는 산업계에서 소프트웨어 설계 표준 언어로서 인정되고 있으며 특히 UML State Machine Diagram은 클래스의 동적인 행위(behavior)를 묘사하는데 많이 사용되고 있다. 이 논문은 UML State Machine Diagram을를 이용하여 시스템의 데드락 (deadlock)을 찾는 방법에 대해서 논한다. 보통 State Machine Diagram는 개별의 클래스의 행위를 나타내는 데 사용되므로 시스템 범위의 행위를 알고 싶으면 시스템에 있는 클래스들 중 관심 있는 클래스들의 State Machine Diagram을 합하여 시스템의 행위를 나타낼 수 있는 State Machine Diagram이 필요하여진다. 일반적으로 이러한 시스템 수준의 State Machine Diagram은 매우 복잡하고 실제로는 타당하지 않은 State나 Transition들을 포함하게 된다. 실제 시스템의 행위를 나타내기 위해서 synchronization과 externalization을 적용하여 State Machine Diagram을 유효한 수준으로 줄이는 것이 필요하다. 이렇게 만들어진 State Machine Diagram은 시스템의 행위를 나타내는데 사용될 수 있으며 통상의 모델 체킹 방법이 적용될 수 있다. 이 논문은 데드락 탐지를 하는 방법을 간단한 예제를 통해서 보여준다. 모든 과정은 툴에서 자동으로 지원되며 필요한 알고리즘도 같이 설명된다.

• 한국산업정보학회논문지
• /
• 제15권5호
• /
• pp.149-158
• /
• 2010

본 논문에서는 Use Case Diagram, Class Diagram, Activity Diagram, Sequence Diagram을 이용하여 PDA용 메신저 프로그램을 설계 및 구현하였다. PDA용 메신저 프로그램 대상으로는 PC 서버기능, 로그인기능, 친구 관리기능, 쪽지기능, 대화가능, 파일전송가능, 회원메뉴기능 등 총 7가지 기능을 선정하였다. 본 논문의 구현 결과 다음과 같은 효과를 가져왔다. 첫째, UML Diagram을 이용함으로서 개발자가 개발할 문제와 프로그래밍의 흐름을 쉽게 이해 할 수 있었다. 둘째, PDA를 자주 이용하는 사용자들은 시간의 제약을 받지 않고, 오랜 시간 동안 개발자와 커뮤니케이션을 할 수 있었다. 셋째, 객체지향 분석 단계에서는 UML Diagram의 유용성이 높았다. 넷째, 프로그램의 Update와 Maintenance가 용이하였다.

• 한국정보통신학회논문지
• /
• 제16권6호
• /
• pp.1291-1299
• /
• 2012

UML은 풍부한 문법이 제공되어 다양한 표현이 가능하지만, 사용자가 작성한 다이어그램의 일관성을 보장하지는 못한다. 따라서, 본 논문에서는 UML다이어그램 사이의 일관성을 개선할 수 있는 상호점검규칙을 제안하며, 특히 UML 동적 다이어그램과 정적다이어그램의 일관성에 중점을 둔다. UML 다이어그램의 구성요소와 상호관계를 보다 명확하게 상호점검규칙에 반영하기 위하여 메타모델을 이용하고, 규칙의 정확한 표현을 위하여 UML 표준 제약언어인 OCL을 사용한다. 상호점검규칙은 UML 명세의 well- formedness -rule과 비교하여 일관성에 중점을 두어 유도하였으며, 정적 다이어그램과 동적 다이어그램의 메타모델을 유도하고 다이어그램 사이의 관계성분석 과정을 거친다. 마지막으로 사례 다이어그램에 제안된 점검규칙을 적용하여 그 유용성을 검증한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 추계학술대회
• /
• pp.651-654
• /
• 2010

본 논문에서는 UML 클래스 도해의 저작도구를 위한 메타데이터의 정보 구축을 제시하고자 한다. UML의 클래스 다이어그램에서 클래스를 모델링 할 때, 표현되는 클래스(Class)와 관계(Relationship)를 정의 하였다. 클래스는 어떠한 사물의 개념적인 것을 나타내며, name, attribute, operation 세 가지로 정의하였다. 관계는 클래스와 클래스 사이의 관계를 뜻하며, 관계의 이름, From클래스, To클래스, 관계의 유형을 정의한다. 그리고 UML 클래스 도해의 처리도구를 위한 메타데이터의 정보를 가공하고 처리하는 방법을 제안하였다.

• 한국정보처리학회논문지
• /
• 제7권12호
• /
• pp.3829-3839
• /
• 2000

UML(Unified Modeling Language)의 구조 중에 UML 클래스 다이어그램은 객체모델링에 매우 적합하여, 최근에는 UXF(UML eXchange Format)까지 등장하여 UML 클래스 다이어그램을 여러 이기종 문서와의 교환이 가능하게 되었다. 따라서 본 논문은 UML 클래스 다이어그램을 인터넷 문서의 표준으로 자리잡은 XML 문서의 DTD 형태로 변환하는 시스템을 설계하였다. 이를 통하여 우리는 모델링 언어의 표준인 UML 클래스 다이어그램을 재사용 성이 뛰어난 XML 문서 형태로 쉽게 변형 및 저장할 수 있을 것이다. 또한 DTD로 변환하기 때문에 문서의 논리구조를 다양한 형식으로 표현할 수 있는 유연성을 제공할 수 있을 것이다.

• International Journal of Computer Science & Network Security
• /
• 제21권6호
• /
• pp.127-136
• /
• 2021

In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML uses a model multiplicity formulation approach, wherein a number of models are used to represent alternative views. By contrast, a model singularity approach uses only a single integrated model. Each of these styles of modeling has its strengths and weaknesses. This paper introduces a partial solution to the issue of multiplicity vs. singularity in modeling by adopting UML use cases and class models into the conceptual thinging machine (TM) model. To apply use cases, we adopt the observation that a use-case diagram is a description that shows the internal structure of the part of the system represented by the use case in addition to being useful to people outside of the system. Additionally, the UML class diagram is recast in TM representation. Accordingly, we develop a TMUML model that embraces the TM specification of the UML class diagram and the internal structure extracted from the UML use case. TMUML modeling introduces some of the advantages that have made UML a popular modeling language to TM modeling. At the same time, this approach supplies UML with partial model singularity. The paper details experimentation with TMUML using examples from the literature. Our results indicate that mixing UML with other models could be a viable approach.

• 한국인공지능학회지
• /
• 제1권1호
• /
• pp.1-3
• /
• 2013

This study suggested ways to control UML diagram and to make design of database and to retrieve diagram information by giving questions. The study classified elements of the diagram. For instance, class diagram was made of classes, and class was done of class name and attribute operator. The elements were transformed to be database table having basic key and foreign key information. The ways suggested had advantages of users' sharing of model information and reuse of the model. This study investigated cost saving, time saving and UML model construction by database. We had designed integrated and relation database that could save and manage UML diagram, and suggested retrieval. For instance, we classified class diagram into elements to make tables and kept relation of each element by using not only basic key of relation database but also foreign key information. We made database of modeling depending upon methods to give users convenience.

• 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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2013년도 춘계학술대회 논문집
• /
• pp.69-70
• /
• 2013

• 한국컴퓨터정보학회논문지
• /
• 제7권4호
• /
• pp.157-162
• /
• 2002

본 연구는 UML을 이용해 유스케이스에 의한 순차 다이어그램을 도출하여 클래스 다이어그램을 만든후 그 클래스 다이어그램에 의해서 XML 모델링과 데이터 모델링을 구현하고자 한다. XML 모델링을 위해 UML 클래스를 XML 문서로 변환시키는 가이드라인을 제시하고, 제시한 방법에 파라 UML 클래스를 XML DTD로 도출하는 예를 보일 것이며, 한편 데이터 모델링은 UML클래스를 관계형 데이터베이스 스키마와 객체-관계 데이터베이스 스키마 그리고 객체지향 데이터베이스 스키마로 변환시키기 위한 통합 설계 변환 방법을 제시하며, 제시한 변환 방법에 따라 각각의 데이터베이스 스키마를 구현했다.