• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1216-1224
• /
• 1998

In the object oriented methods, most of the objects are independent from the another. However to get their job done from the system's point of view, they must have some kind of connection established among them. This means that the cooperation among the objects through the interaction is just as important as the static side of the objects. Usually, checking for correctness, compatibility and reasoning of the objects is limited due to the fact that the interactions between the objects are expressed in the form of a line or a box. The reuse experts often claim that the design reuse is more important than code reuse, mostly because it can be applied in more contexts and so is more common. The composition of the objects is also considered as a very important definition in the area of framework which is generally known as a technique to support reuse at both the coding and the designing level. Therefore on this thesis, the composition of such objects has been studied to provide a formal means of evaluating the component's compatibility and better possibility for further improvement in the area of framework, by formalizing the component compositions using the LOTOS.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1601-1604
• /
• 2003

XML(eXtensible Markup Language) 프로그램이나 XML을 이용한 B2B 시스템 구축과 같은 XML 프로젝트에서는 객체 지향적 설계언어인 UML을 이용해 개발하면 효율을 높일 수 있다. UHL(Unified Modeling Language)로 XML문서 구조를 표현하는 이유는 XML문서를 생성, 접근, 수정하는 XML프로그램을 체계적이고 효율적으로 설계할 수 있기 때문이다. DTD(Document Type Declaration)와 스키마(Schema)를 UML로 표현함으로써 프로그래밍을 통합적으로 추진 할 수 있다. 이러한 과정에서 XML의 문서 구조정보의 활용 증대와 UML의 확장이라는 이점을 취할 수 있다. 본 논문에서는 UIML 기반의 다이어그램에서 XML 문서서로의 변환기에 대한 모델을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.757-759
• /
• 2004

C＃ 언어로 작성된 프로그램을 정적으로 분할할 때 기존의 객체 지향 프로그램에 이용하던 방법을 일반적으로 적용할 수 있다. 그러나 기존의 두 경로 그래프 도달 가능성 분할 알고리즘을 적용하였을 때 프로시져들 간의 전지적인 종속 관계를 표현하는 요약 간선만을 이용하면 두 번째 경로에서 역추적 할 때 모호성이 발생한다. 이러한 모호성 C＃의 이벤트, 델리게이트(delegate)들과 메소드의 다형적 호출 관계에서 발생될 수 있다. 본 논문은 호출된 프로시져의 호출하는 문맥을 설명하기 위하여 호출 지점에서 요약간선 및 경로 간선을 이용하여 C＃에서 다형적 호출에 대한 시스템 종속성 그래프(system dependence graph)에 대한 새로운 표현을 제안한다. 이 방법은 다형적 호출에서 발생하는 모호성을 해결할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.925-928
• /
• 2004

C# 언어로 작성된 프로그램에서 기존의 객체 지향 프로그램에서 이용하던 정적 분할 방법을 적용한다. 기존의 두 경로 그래프 도달 가능성 분할 알고리즘을 적용하였을 때 프로시져들 간의 전이적인 종속 관계를 표현하는 요약 간선만을 이용하면 두 번째 경로에서 역 추적 할 때 모호성이 발생한다. 이러한 모호성은 C#의 이벤트, 델리게이트(delegate)들과 메소드의 다형적 호출 관계에서 발생될 수 있다. 본 논문은 호출된 프로시져의 호출하는 문맥을 설명하기 위하여 호출 지점에서 요약 간선 및 경로 간선을 이용하여 C#에서 다형적 호출에 대한 시스템 종속성 그래프(system dependence graph)에 대한 새로운 표현을 제안한다. 이 방법은 다형적 호출에서 발생하는 모호성을 해결할 수 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.9
• /
• pp.2836-2845
• /
• 2000

UML is used for standardized design, but it has a problem to reuse classified and standardize design information to reuse existing design information. In this paper, the plan to solve these problems design the HYREPnIYbrid REPository) using pattemize design information, and to express together specific property of standardized design information and non standardized design information. It save standardized design information in public area, and non design information in private area. And to express saved design information in repository, UML 1.3 of OMG is used and explained the relationship of the object. Therefore, we designed hybrid repository to express standardized design information and non standardized design information using inheritance concept to remove over adding of pattemized design information.

• Journal of Intelligence and Information Systems
• /
• v.7 no.2
• /
• pp.179-193
• /
• 2001

A good modeling technique for system analysis and design is an essential area for the implementation of information system. Structured and object-oriented techniques are regarded as two standard in system modeling. This paper reviewed and implemented two system analysis and design techniques based-on IDEF3 and UML. IDEF3 is the first method used to analyze business process, which has the advantage of simplicity and brevity. UML provides visual standard which can represent the idea of system analysis from the people who participate in the system development process. UML is accepted as an industry standard from the object management group with the advantage of graphical representation of developer\`s view. This paper proposes system design and modeling perspectives based-on IDEF3 and UML techniques about the semi-structured business process for the medium-sized trading company.

• Journal of Internet Computing and Services
• /
• v.5 no.1
• /
• pp.1-13
• /
• 2004

The effect of Application system with class units is not sufficient because of independency and reuse of Component elements due to component abstraction based on only source code. Therefore We need to apply design pattern approach to represent not only the problem abstraction but also information and relationship between system elements for generic solutions of specific domain, Also, it is essential to software reverse engineering acquiring the correct understandings of the system through examining the existing systems and utilizing the acquired knowledges as reusable resources. In this paper, the extraction algorithm with JAVA and the validity of applying reverse engineering with extracting design patterns from source codes of the existing object-oriented system; are devised. The architecture of automatic tool is designed and implemented for 1) automatic extraction of design patterns and 2) reuse tool for retrieving, editing and rebuilding of design patterns.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.12
• /
• pp.11-22
• /
• 2012

This paper proposes for practical engineers a lightweight modeling and simulation environment for continuous system models specified in ordinary differential equations, which are time-domain specification of such systems. We propose a block-oriented specification formalism that has two levels: one for atomic behavior and the other the structure of models. Also we provide with a simulation framework, called BlockSim++, which make models specified in the block-oriented formalism be easily translated in object-oriented program that runs with the proposed simulation framework. The proposed formalism and framework has advantage of reuse such that it can be easily integrated into application programs and heterogeneous simulators. We illustrates the usefulness of the proposed framework by a simple hybrid modeling simulation example.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.126-134
• /
• 2006

The object oriented co-modeling methodology, previously introduced, employs a layered approach in war game models development in which an upper layer models abstract behavior of an object and a lower one models details of the object. Within the methodology military domain experts and simulation experts models an object at the upper and the lower layers, respectively in concurrent manner. This paper proposes a method of constructing a war game simulator using parametric behavior modeling technique, which provides a means for military domain experts/users to change model's detailed behavior with no knowledge on modeling semantics. The proposed simulator would support new algorithms or strategies with minimal cost and could be modified even by the users who are ignorant about modeling technique. To demonstrate the effectiveness of the proposed framework, a naval war game simulator is exemplified.

• Korean Journal of Cognitive Science
• /
• v.16 no.4
• /
• pp.369-386
• /
• 2005

Although Intelligent Tutoring System(ITS) offers individualized learning environment that overcome limited function of existent CAI, and consider many learners' variable, there is little development to be using at the sites of schools because of inefficiency of investment and absence of pedagogical content knowledge representation techniques. To solve these problem, we should study a method, which represents knowledge for ITS, and which reuses knowledge base. On the pedagogical content knowledge, the knowledge in education differs from knowledge in a general sense. In this paper, we shall primarily address the multi-complex structure of knowledge and explanation of learning vein using multi-complex structure. Multi-Complex, which is organized into nodes, clusters and uses by knowledge base. In addition, it grows a adaptive knowledge base by self-learning. Therefore, in this paper, we propose the 'Extended Neural Logic Network(X-Neuronet)', which is based on Neural Logic Network with logical inference and topological inflexibility in cognition structure, and includes pedagogical content knowledge and object-oriented conception, verify validity. X-Neuronet defines that a knowledge is directive combination with inertia and weights, and offers basic conceptions for expression, logic operator for operation and processing, node value and connection weight, propagation rule, learning algorithm.