• International Journal of Computer Science & Network Security
• /
• v.21 no.1
• /
• pp.84-96
• /
• 2021

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies in this area can produce theoretical results that strengthen UML as the leading modeling language. Recently, a new modeling technique has been proposed called thinging machine (TM) modeling. This paper utilizes TM to further understand UML, with two objectives: (a) Fine issues in UML are studied, including theoretical notions such as events, objects, actions, activities, etc. Specifically, TM can be used to solve problems related to internal cross-diagram integration. (b) TM applies a different method of conceptualization, including building a model on one-category ontology in contrast to the object-oriented paradigm. The long-term objective of this study is to explore the possibility of TM complementing certain aspects in the UML methodology to develop and design software systems. Accordingly, we alternate between UML and TM modeling. A sample UML model is redesigned in TM, and then UML diagrams are extracted from TM. The results clarify many notions in both models. Particularly, the TM behavioral specification seems to be applicable in UML.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.8
• /
• pp.1970-1976
• /
• 2009

It is more emphasized on the software architecture recently, as the scale of a software becomes huge and the need of the software management becomes more dynamic. Software architecture is a representation of structures of software framework just like the blueprint of building architecture. In order to describe software components and their relationships accurately and entirely, software architecture is documented in some different views, by using of modeling tools. UML(Unified Modeling Language) is a software modeling tool recently used for documentation of software and as well as software architecture. Nevertheless, what we have to agree with is that UML is not easy to use and its standard changed continuously. And also the documentation with UML is found some burden because of its difficulties in learning and using. This inconvenience enforces us to purchase and use commercial tool for UML. The study introduces the architecture views refined from 4+1 Views for architecture design and shows how to represent architecture views for software architecture. Especially, we simplifies UML diagrams for the purpose of focusing on architecture views and facile manipulation. At the end, we add the evaluation on the refined architecture views as well as refined UML diagram.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.4
• /
• pp.393-402
• /
• 2000

The Unified Modeling Language(UML) became the standard object oriented modeling language approved by Object Management Group(OMG). However, C++ codes which are generated by some CASE tools supporting UML do not reflect the correct semantics of one-to-many relationship and aggregation relationship. Additionally, since the commercial CASE tools support too many programming languages on one UML class diagram, they do not support efficiently the characteristics of C++ language. Our C++ code generator supports one-to-many relationship, aggregation relationship, code patterns and design patterns. In this paper, we describe design and implementation of the efficient C++ code generator based on UML class diagram.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.348-353
• /
• 2006

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

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2006.06a
• /
• pp.265-269
• /
• 2006

차세대 웹의 중심기술인 시맨틱 웹을 구현하기 위해서는 컴퓨터가 지식을 추론하고 처리할 수 있게 하기 위한 지식표현방법인 온톨로지가 필수적으로 요구된다. 이러한 온톨로지 생성의 중요성이 점차 커져 가는 실정에 따라, 생성된 온톨로지들의 재사용을 위한 방법이 관련 연구들 사이에 중요한 과제로 떠오르기 시작되었다. 본 논문에서는 온톨로지의 재사용을 효율적으로 하기 위한 방법을 제안한다. 우리가 제안하는 방법은 온툴로지를 사용자가 이해하기 쉽고 편집이 용이한 그래프 형태로 표현하는 방법으로 온톨로지를 UML로 변환하여 UML을 통한 온툴로지 재사용 방안을 제안한다. 우리가 제안하는 방법은 다음과 같다. OMG의 MDA 개념을 기반으로 기존에 생성된 온톨로지를 XML 파서를 이용하는 방법을 통하여 XMI로 변환한다. XMI로 변환된 온툴로지는 UML 도구를 사용하여 재사용 할 수 있다. UML로 변환된 온톨로지는 위 과정을 역으로 다시 수행함으로써 온톨로지로 변환된다. 이렇게 UML로 변환된 온톨로지는 UML의 장점을 그대로 가지게 된다. 이미 널리 사용되고 가독성과 편집력 그리고 상호 운용성이 높은 UML을 이용하여 온톨로지의 재 사용성을 높이고자 하는데 있다. 즉 사용자가 직관적으로 온톨로지의 전체 구조와 의미를 파악하는데 도움을 주며 편집 또한 용이하다. 이러한 방법을 바탕으로 UML을 통해 온톨로지를 쉽게 사용자의 온톨로지에 대한 이해와 수정을 도와 온톨로지의 재 사용성을 높이고 사용자간의 공유를 용이하게 만들 수 있다.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.971-982
• /
• 2003

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

• The Journal of Society for e-Business Studies
• /
• v.12 no.2
• /
• pp.17-30
• /
• 2007

In ebXML the choreography of a business process should be modeled by UMM and is finally realized in BPSS. The current UMM and BPSS are developed based on UML 1.4. Recently OMG introduces the UML 2.0, which strengthens the modeling power of activity diagrams and components. If we adopt UML 2.0, the modeling power of UMM is improved but BPSS cannot implement the modeling features. In this paper, we examine the new features of the activity diagram in UML 2.0. We also propose ways to improve the UMM and the BPSS using the new features.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.747-752
• /
• 2001

UML is a standard language that models an analysis and design process in the development of an application system or components, CORBA, COM+, EJB and others are the techiniques that are realized reuse of components. After it is distinguished between reusable components and new components on the components development process and is developed, the developing cost of components or application system can be reduced and the components of superior in quality can be created. This paper defines the extended UML notation that needed in modeling of the products created from the development process of components. Also, this paper introduces a modeling of components and UML application method that needed in development of an auction system based on Web.

• International Journal of Computer Science & Network Security
• /
• v.21 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.313-315
• /
• 2004

UML은 범용의 목적으로 설계된 모델링 언어이지만 않은 도메인 영역에서 사용되고 있다. 그것은 UML을 각 도메인의 특성에 맞게 확장할 수 있는 프로파일이라는 메커니즘을 자체적으로 보유하고 있기 때문이다. UML 표준 명세에 기술되어 있는 확장 메커니즘과 프로파일은 그 자체로 매우 잘 설계된 모델이나 그대로 설계 도구에 도입하기에는 부적합한 면이 않다. 본 논문에서는 UML 기반의 설계 도구에서 프로파일을 수용할 수 있도록 확장 메커니즘 모델을 개선하고 프로파일을 정의할 수 있는 정형적인 방법들을 제시한다.