• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.181-183
• /
• 2006

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.12
• /
• pp.115-124
• /
• 2016

In this paper, a method to generate the extended model automatically on the critical elements in enterprise system based real time distributed architecture as well as the platform specific model(PSM) for Microsoft(MS) .NET platform is proposed. The key ideas of this method are real time distributed architecture should performed with satisfying strict constraints on life cycle of object and response time such as synchronization, transaction and so on, and .NET platform is able to implement functionalities including before mentioned by only specifying Attribute Code and maximizing advantages of MDA. In order to realize the ideas, functionalities which should be considered enterprise system development are specified and these are to be defined in Meta Model and extended UML profile. In addition, after definition of UML profile for .NET specification, by developing and applying these into plug-in of open source MDA tool, and extended models are generated automatically through this tool. Accordingly, by using proposed specification technology, the profile and tools easily and quickly reusable extended model can be generated even though low level of detailed information for functionalities which is considered in .NET platform and real time distributed architecture. In addition, because proposed profile is MOF which is basis of standard extended and applied, UML and MDA tools which observed MOF is reusable.

• Journal of KIISE:Software and Applications
• /
• v.34 no.7
• /
• pp.635-645
• /
• 2007

Component technology has been widely accepted as an effective way for building software systems with reusable components, and Microsoft (MS) .NET is one of the recent representative component technologies. Model Driven Architecture (MDA) is a new development paradigm which generates software by transforming design models automatically and incrementally. Transformation of structural models in MDA has been successfully applied. However, transformation of dynamic models and pervasive services, such as transaction service, security service, synchronization service and object pooling are largely remains as an area for further research. The recent enterprise system has multi tier distributed architecture, and the functionality of early mentioned pervasive services is essential for this architecture. .NET platform can implement Component Object Model+ (COM+) component for supporting pervasive services by specify Attribute code. In this paper, we specify the functionalities of the COM+ component offering pervasive services, and then those functionalities are defined by UML profile. By using the profile, the Platform Specific Model (PSM) for .NET/C# is specified, and .NET components are automatically generated through our tool. The development productivity, extensibility, portability, and maintenance of software can be dramatically improved by using of the proposed methods.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.161-171
• /
• 2005

SMIL(Synchronized Multimedia Integration Language) allows multimedia objects into a synchronized multimedia presentation. In this paper, I propose modeling rules, formal models, modeling function and an algorithm for SMIL documents using use case diagram and sequence diagram of UML(Unified Modeling Language)to Develop for SMIL Documents Editor. It will be used the use case diagram and collaboration diagram for object-oriented visualizing tool to describe the temporal behavior of the presentation. The main contribution of this paper is that developers of SMIL documents editor easily generate them using this rules and algorithm. And, the formal models and modeling functions provide an environment for processing object-oriented. documents.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.3
• /
• pp.215-223
• /
• 2000

The product data exchange between heterogeneous CAB and PDM systems is a crucial issue for the integration of product development systems. STEP offers an efficient mechanism of product data exchange between heterogeneous systems. This paper introduces a UML-based mapping methodology for the product data models. The suggested mapping method has been applied to exchange the product structure data between CAD and PDM systems. Based on the STEP methods, we developed an interface module between a CAD system and a PDM system.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.19 no.6
• /
• pp.197-202
• /
• 2019

XML has been established as a de facto standard for representing and exchanging documents, and has been widely used as a logical data model. Using XML as a logical database model, it requires a conceptual model for the semantics that XML has. However, the existing conceptual models, such as Entity Relationship models and UML, have been extended their concepts to express the specific characteristics of XML, but so far, there are no standard models. This paper compares the characteristics of the typical model of conceptual model of XML by Extended Entity Relationship model from the perspective of database field. For this, we propose the requirements that must be met for XML, and on the basis of these requirements, the approaches of each model are compared.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.229-232
• /
• 2007

데이터 통합은 사용자에게 상이한 소스의 데이터에 대한 단일 접근 점을 제공할 목적으로 데이터를 내부적으로 운영하기 위한 효과적인 방법이다. 1)데이터의 풍부한 시멘틱스는 이종의 데이터 소스들 사이의 충돌을 해결하기 위한 주요한 요인이다. UML 클래스 모델은 데이터의 스키마기반 시멘틱만을 표현하기 때문에 온톨로지와 같은 대체 방법은 추가적인 시멘틱을 표현하는데 유용한 방법이다. 본 논문에서는 각각의 데이터 소스의 시멘틱을 기술하기 위해 온톨로지를 사용하고, 데이터들의 유사성과 차이점을 결정하기 위해 온톨로지를 분석하고, 비교한다. 비교의 결과를 이용해 통합 정보에 대한 질의를 사용 가능하게 할 수 있는 통합 온톨로지를 구축한다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.10
• /
• pp.2670-2679
• /
• 1999

XML documents which are used for exchanging structured documents between heterogeneous distributed system are increasing recently. It needs an object-oriented visualization tool for XML documents. So, we propose rules and an algorithm to represent structure of XML documents using UML Class Diagram. It helps to generate XML documents which are included links by understanding easily constructs of them and reduce gap of schema for them between heterogeneous databases. We propose formal models and modeling functions of XML links which provide an efficient environment for processing object-oriented documents.

• Journal of Information Processing Systems
• /
• v.10 no.3
• /
• pp.365-383
• /
• 2014

Service-oriented computing offers efficient solutions for executing complex applications in an acceptable amount of time. These solutions provide important computing and storage resources, but they are too difficult for individual users to handle. In fact, Service-oriented architectures are usually sophisticated in terms of design, specifications, and deployment. On the other hand, workflow management systems provide frameworks that help users to manage cooperative and interdependent processes in a convivial manner. In this paper, we propose a workflow-based approach to fully take advantage of new service-oriented architectures that take the users' skills and the internal complexity of their applications into account. To get to this point, we defined a novel framework named JASMIN, which is responsible for managing service-oriented workflows on distributed systems. JASMIN has two main components: unified modeling language (UML) to specify workflow models and business process execution language (BPEL) to generate and compose Web services. In order to cover both workflow and service concepts, we describe in this paper a refinement of UML activity diagrams and present a set of rules for mapping UML activity diagrams into BPEL specifications.

• International Journal of Computer Science & Network Security
• /
• v.21 no.5
• /
• pp.139-150
• /
• 2021

Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and methods (actions). The modeled systems are not even necessarily software systems: They can be human and artificial systems of many different kinds (e.g., teaching and learning systems). The UML class diagram is described as a central component of model-driven software development. It is the most common diagram in object-oriented models and used to model the static design view of a system. Objects both carry data and execute actions. According to some authorities in modeling, a certain degree of difficulty exists in understanding the semantics of these notions in UML class diagrams. Some researchers claim class diagrams have limited use for conceptual analysis and that they are best used for logical design. Performing conceptual analysis should not concern the ways facts are grouped into structures. Whether a fact will end up in the design as an attribute is not a conceptual issue. UML leads to drilling down into physical design details (e.g., private/public attributes, encapsulated operations, and navigating direction of an association). This paper is a venture to further the understanding of object-orientated concepts as exemplified in UML with the aim of developing a broad comprehension of conceptual modeling fundamentals. Thinging machine (TM) modeling is a new modeling language employed in such an undertaking. TM modeling interlaces structure (components) and actionality where actions infiltrate the attributes as much as the classes. Although space limitations affect some aspects of the class diagram, the concluding assessment of this study reveals the class description is a kind of shorthand for a richer sematic TM construct.