• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.3B
• /
• pp.95-104
• /
• 2005

The diagram has a intuition and simplicity So, it is widely used in various fields in current computing environment. But, because of the absence of a standard diagram specification method, we have difficulty in exchanging the diagram data between different diagram software and besides, we spend much money and time to code diagram component, rules and semantics to which diagram would be applied. So We propose a method for defining diagram component's shapes and actions, diagram's rules and semantics using XML. And We design and implement the diagram system which execute XML document specifying diagram. In the diagram system, We can define diagram component in WISWIG manner and generate DML document automatically. So We can develop diagram system more efficiently. And by defining diagram rules using DTD, we also achieve the consistency of DTD meaning. And We propose Semantic Definition XML for specifying diagram semantics. So, diagram sentence which drawn by users could be given semantics and executed in diagram system. In this thesis, many VPL(Visual Programming Language) concepts were adopted to implement diagram system environment.

• The KIPS Transactions:PartD
• /
• v.17D no.4
• /
• pp.283-296
• /
• 2010

Timing diagram is a useful tool for describing the specification of system, but there is no study for test case strategy of a timing diagram. To solve this problem, we followed the steps to generate test cases from timing diagram in this paper. 1) We defined a timing diagram formally. 2) We describe the method of transforming from a timing diagram model into a Stateflow model which has an equivalent relationship between a timing diagram model and a transformed Stateflow model. 3) We generated test cases from a transformed Stateflow model using SDV which is plugged in Simulink. To show that our approach is useful, we made an experiment with a surveillance model and arbitrary timing diagram models. In the experiment we transformed timing diagram models into Stateflow models, generated test cases from transformed Stateflow models using SDV, and analyzed the generation results. The conclusion that can be obtained from this study is that timing diagram is not only a specification tool but also a useful tool when users are trying to generate test cases based on model.

• Journal of architectural history
• /
• v.14 no.4 s.44
• /
• pp.157-175
• /
• 2005

Guarino Guarini(1624-1683) is one of great Baroque architects who developed new spatial concept in architecture. He refused to static space typically appeared in Renaissance architecture. Instead, to make it possible to generate complicate form and moving space, he made use of generative diagram. It provide him with an abstract machine to generate automatically architectural inferiority. His generative diagram consists of three types: single circle diagram, matrix diagram and longitudinal diagram. The first diagram uses single circle as primary generator and develop this by means of overlap and equiangular division. La Cappella della Santissima Sindone, Sanctuary of Chiesa di Oropa, Chiesa dei Padri Somaschi, San Gaetano are designed according to this diagram. The generator of the second diagram is nine circles in $3{\times}3$ matrix, which provide the base for the interpenetration of space in Guarini's architecture. He inspired this diagram from Kepler's $\ulcorner$Harmonices mundi$\lrcorner$. The Churches of San Lorenzo, Ste-Anne-la-Royale, San Filippo Neri, San Gaetano are generated by this diagram. The third diagram has several circles in Lantin-cross plan. Guarini adopted this diagram because he had chances to design several churches in Northern Europe. The churches of Santa Maria di Ettinga, Immacolata Concezione, San Maria della Divina Providenza, Church without Name, San Filippo Neri are representative examples for this diagram.

• Journal of Korean Society for Quality Management
• /
• v.43 no.4
• /
• pp.489-498
• /
• 2015

Purpose: This paper proposes S-NS diagram. S-NS diagram helps us find core factors which improve customer satisfaction. Methods: S-NS diagram draws a scatter diagram based on marks obtained from surveys consisting of several questions on satisfaction and non-satisfaction at the same time. S-NS diagram is divided into the 4 regions. We focused on region B which is High satisfaction and high non-satisfaction shown in S-NS diagram. Region B is the areas for needs to improve. Results: S-NS diagram can find few important factors which affect customer satisfaction. We improve Lecture Satisfaction using S-NS Diagram. Conclusion: S-NS diagram has been proven to be an effective method for improving customer satisfaction with a lecture satisfaction improvement example. We know S-NS diagram can use many fields including manufacture and service areas.

• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Journal of Korea Society of Industrial Information Systems
• /
• v.15 no.5
• /
• pp.149-158
• /
• 2010

A messenger program in this paper was designed and implemented using Use Case Diagram, Class Diagram, Activity Diagram, and Sequence Diagram. We selected total 7 major functionalities such as PC server, login, friends management, chatting, file transfer, account management, etc. The followings are various implementation results from this paper. First, developers could easily understand the desired product and programming flow from using UML Diagrams. Second, PDA users could communicate with developers for a long time without time constraints. Third, there was high usability of UML Diagram in the phase of objected-oriented analysis. Forth, it was easy to update and maintain a program.

• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• The KIPS Transactions:PartD
• /
• v.12D no.3 s.99
• /
• pp.447-454
• /
• 2005

Generally, Diagram Systems related XML document are designed for certain purpose. It is also difficult to create DML document, because there is no definition of diagram component. In this paper, we design and implement the diagram system to execute the XML document. This diagram system defines the diagram component with WYSIWIG concept ,md it is designed to generate DML document automatically. Therefore, it is possible to develop diagram efficiently and maintain consistency by definition of syntax about diagram with DTD. And this system uses the concept of VPL(Visual Programming Language) to check syntax and semantic about diagram sentence. Though this system, DML documents can be generated easily, and it can also check syntax and perform semantic.

• Journal of information and communication convergence engineering
• /
• v.9 no.3
• /
• pp.276-281
• /
• 2011

This paper presents a method of constructing the switching function using edge-valued decision diagrams. The proposed method is as following. The edge-valued decision diagram is a new data structure type of decision diagram which is recently used in constructing the digital logic systems based on the graph theory. Next, we apply edge-valued decision diagram to function minimization of digital logic systems. The proposed method has the visible, schematic and regular properties.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.5
• /
• pp.1272-1279
• /
• 1999

This paper suggests system development method with extended user participation. Context diagram, event diagram, information diagram, management diagram and interface STD are staple products. This method introduces interface STD, management diagram and context diagram with administrator as relator. We adapted to research business of professor and ATM(Automatic Teller machine), when it can be adaptable to business-oriented system.