• Annual Conference of KIPS
• /
• 2000.10a
• /
• pp.571-574
• /
• 2000

지금까지의 수정영향 분석에 대한 연구는 주로 원시코드 기반으로 진행되어 왔다. 그러나 원시코드를 기반으로 한 소프트웨어의 수정영향 분석은 세부적이고 복잡하여, 소프트웨어의 수정영향 범위를 효과적으로 분석하고 클래스간의 제어의존성을 파악하기에 부적합하다. 따라서, 본 논문에서는 UML의 설계단계 산출물인 순차도(sequence diagram)를 기반으로 하여, 클래스간의 수정영향범위 분석을 위한 제어의존성 관계그래프와 알고리즘을 제안한다. 본 논문에서 제안한 제어의존성 관계그래프와 알고리즘은, 소프트웨어에 수정이 일어났을 경우에 수정의 영향범위를 결정하고 제어구조에 따라서 테스트의 순서를 명확히 정의함으로 유지보수 단계에서 시스템을 효율적으로 관리하고 유지하는데 드는 비용과 노력을 절약한다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.4
• /
• pp.508-520
• /
• 1999

이 기종 시스템들간의 교환을 목적으로 사용되는 SGML(Standard Generalized Markup Language)문서는 논리적인 구조를 나타내는 구조를 나타내는 DTD(Document Type Definition )가 필요하다. 이러한 SGML DTD을 모델링하기 위해 기존에 여러 가지 방법이 제안되어 왔는데, 본 연구에서는 SGML DTD를 UML (Unified Modeling Language)클래스 다이어그램이 객체 모델로 사상시키는 알고리즘과 데이터 베이스 스키마 형태로 나타내기 위한 형식 모델을 제안한다. 본 연구에서 제안한 사상 규칙들과 알고리즘을 이용하면 SGML DTD을 보다 자연스럽게 객체지향 모델링하므로 데이터베이스 스키마로 변환이 용이하며, 형식모델을 데이터베이스 스키마 형태를 정의하므로 객체지향적인 문서 처리와 검색을 위한 효율적인 환경을 제공하게 된다.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.50-59
• /
• 2009

There are two main problems in the current PLC ladder programming practices: First, currently there are no widely adopted systematic design methods to deal with PLC based control systems in the shop floor. So, the control logic design phase is usually omitted in current PLC programming development life cycle. Second, PLC ladder logic provides only microscopic view of system processes. As a result, it is difficult for FA engineers to have overall perspectives about the interaction of system components intuitively during the verification step of logic errors. To solve these problems, this paper proposed object-oriented design and automatic generation method of PLC ladder logic. Based on the proposed method, the computer software to assist the automatic ladder logic generation is also developed.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.104-107
• /
• 2007

Web2.0 의 비동기식 웹 페이지 전환기술이 주목을 받으면서 기존의 웹사이트들이 동적인 웹 사이트로 바뀌어 가고 있다. 그러나 웹 애플리케이션 개발에 적용 가능한 설계모델인 UML2.0은 정적인 웹 페이지 설계 모델로 국한되어 있다. 따라서 본 논문에서는 UWE의 항해모델에서 뷰 관점 항해모델과, 데이터 전송 항해 모델을 State Machine, Communication Diagram을 이용하여 비동기식 웹 페이지 항해 모델 개선과 기존의 동기식 웹 페이지 모델과의 호환성 방안을 제안한다.

• Annual Conference of KIPS
• /
• 2008.11a
• /
• pp.484-487
• /
• 2008

기업환경은 지속적으로 변화하고 있으며, 그 변화의 주기도 짧아지고 있다. 그리고 시스템은 어떠한 비즈니스 요구사항에도 유연하고 민첩하게 지원할 수 있어야 한다. 따라서 변화에 대한 신속한 대응을 위해 UML 방법론을 참조한 CASE 도구의 기능적 요구사항을 제시함으로 화면 설계 표준과 테스트 기능을 지원함으로써 짧아지는 시스템 개발 주기와 고객의 요구사항을 신속하게 대응할 수 있는 표준화된 User Interface Diagram 으로 활용한다.

• Asia pacific journal of information systems
• /
• v.11 no.1
• /
• pp.117-137
• /
• 2001

B2B(business-to-business) commerce has become the prime driver of contemporary electronic commerce. Under B2B commerce, corporations often must operate across organizational boundaries to share their business processes. Workflow management was proposed by Aalst(4, 5) to support several business partners that are involved in shared workflow processes in B2B commerce. We designed a messaging system for B2B workflow, where heterogeneous workflow management systems on each organization for trade were integrated. Based on Aalst's example in(4, 5), we analyzed B2B workflow by using class diagram, use case diagram, activity diagram, and statechart diagram of UML, and designed the messaging system, We also demonstrated a prototype system which was implemented by using Java API and XML. To compare with a holistic system such as EDI systems, the messaging system allows the business partners in B2B commerce to communicate with each other by dedicated messages and integrate each B2B interoperable workflow without any restrictions.

• Journal of Korea Multimedia Society
• /
• v.22 no.6
• /
• pp.706-715
• /
• 2019

This research implemented grammatical rules for relationship extraction from class diagram candidate. The problem statement is generated by our algorithm to yield class diagram and candidate relationship candidates. The relationships of class diagrams are extracted automatically from the problem statement by using Natural Language Processing (NLP). The extraction used the grammatical rules that obtained from various sources and translated into our algorithm. The performance evaluation of the extraction algorithm used ATM problem statements. The application captures the problem statement and draws automatically the relations of class diagrams using Forced-Directionality Graph algorithm. The performance evaluations show refining methods for class diagram and relationships extraction improve recall score.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.88-98
• /
• 2001

in this paper, we imlemented design pattern retrieval system for efficient managemant and reusability of design patterns. Pattern is conssisted of property information and meta information id used for similarity measurement on classification and retrieval of patterns.Meta information od used for UML modeling of patterns. We classified design patterns with the empirical scope in addition to Gamma's basic classification. also we used E-SARM for retrieval represented UML diagram with pattern meta information, and simulated the environment so as to obtain best result on applying to retrieval of design pattern. This system is able ro resister new patterns through pattern viewer and manages these patterns with property informaiton and meta information. Thus this system supports efficient management of patterns, UML modeling, priority pattern retrieval, higher reusability and reduces pattern selection cost.

• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1410-1422
• /
• 2015

In order to design a system, software developers use an object model such as the UML class diagram. Object-Relational Transformation Methodology (ORTM) is a methodology to transform the relationships that are expressed in the object model into relational database tables, and it is applied for the implementation of the designed system. Previous ORTM studies have suggested a number of transformation methods to represent one relationship. However, there is an implementation problem that is difficult to apply because the usage criteria for each transformation method do not exist. Therefore, this paper proposes a binary decision diagram-based modeling rule for each relationship. Hence, we define the conditions for distinguishing the transformation methods. By measuring the query execution time, we also evaluate the modeling rules that are required for the verification. After evaluation, we re-define the final modeling rules which are represented by propositional logic, and show that our proposed modeling rules are useful for the implementation of the designed system through a case study.