• 시스템엔지니어링워크숍
• /
• s.6
• /
• pp.102-106
• /
• 2005

The MBSE design method using UML has not been well exhibited throughout the overall system design processes. There has been many different modeling usages of UML for system requirements proposed by many till now. The extension of UML to system modeling must demonstrate consistent representation rule throughout the overall processes. This study proposes the method of using UML with overal consistency to implement system design processes. to validate and verify the proposed UML approaches, a case study of ATACMS Block IA missile system design was implemented and the resulting products were shown. phases of the systems engineering design process, logical solution development, and physical solution development, were demonstrated

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.1085-1092
• /
• 2003

Proposed in this paper is a standard-compliant business process modeling tool which is based on the UML(Unified Modeling Language) activity diagram and produces an XPDL(XML Process Definition Language) file as an output. The XPDL is a standard process definition exchange format by WfMC(Workflow Management Coalition). To develop an UML/XPDL-based modeling tool, the mapping of modeling elements between activity diagram and XPDL format is conducted after the detailed analysis of each modeling specification. As a result of this mapping, it is revealed that modeling elements of each activity diagram and XPDL must be expanded. So new modeling elements are identified and added to each specification. Based on this mapping, the prototype system is developed, and the usefulness of the developed system is shown through the case study.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.

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

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

• The KIPS Transactions:PartD
• /
• v.19D no.1
• /
• pp.81-94
• /
• 2012

FORM(Feature-Oriented Reuse Method) is one of representative product line engineering methods. The essence of FORM is the FORM architecture models, which can be reused in the development of multiple products of a software product line. The FORM architecture models, however, have the following problems when applied in practice. First, they are not standardized models like UML(Unified Modeling Language) and therefore they can be constructed only through a specific modeling tool. Second, they do not represent architectural variability explicitly. Instead their variability is only managed through a mapping from a feature model. To address these two problems, we developed at first a method for representing the FORM architecture models using UML, which enables the FORM architecture models to be constructed through various available UML modeling tools. Also, we developed an effective method for representing as well as managing the variability of the FORM architecture models through a mapping from a feature model.

• The Journal of Society for e-Business Studies
• /
• v.7 no.1
• /
• pp.153-166
• /
• 2002

Nowadays an information exchange on Bn such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to store XML data in object-relational database that support hierarchical structure. Accordingly the modeling methodology for storing XML data in object-relational database is needed. In order to build good quality application systems, modeling is an important first step. In 1997, the OMG adopted the UML as its standard modeling language. Since industry has warmly embraced UML its popularity should become more important in the future. So a design methodology based on UML is need to develop efficiently XML applications. In this paper, we propose a unified design methodology for In applications based on object-relational database using In. To this goal, first we introduce a XML modeling methodology to design W3C XML schema using UML and second we propose data modeling methodology for object-relational database schema to store efficiently XML data in object-relational databases.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.109-116
• /
• 2022

Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.07a
• /
• pp.25-26
• /
• 2016

본 논문에서는 효율적인 전투체계 소프트웨어 개발방안으로 UML(Unified Modeling Language)을 이용한 모델기반개발방법을 제시한다. UML은 소프트웨어 시스템을 모델링하기 위한 언어로 OMG(Object Management Group)에서 관리되고 있는 통합모델링언어이다. 본 논문에서 제시한 UML(Unified Modeling Language)을 이용하여 소프트웨어를 개발 할 경우, 표준화된 모델 언어를 사용하기 때문에 개발자들의 원활한 의사소통이 가능하여 시스템의 심각한 오류를 줄일 수 있다. 또한, 가독성이 높은 객체 모델들을 사용하기 때문에 추후 요구사항에 대한 소프트웨어 유지/보수에 용이하다는 장점을 가진다.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.12
• /
• pp.1697-1712
• /
• 2002

Unified Modeling Language (UML) is a standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems. It simplifies the complex process of software design, making a blueprint for construction. In this paper, we apply automated application generation tools such as Rational Rose and BizWiz to a realistic cyber shopping mall and then compare and analyze them in the view of UML. We also propose some methods for the systematic system analysis, design, and implementation by applying UML to a customer management system based on above results.