• 한국통신학회논문지
• /
• 제30권3B호
• /
• pp.95-104
• /
• 2005

다이어그램은 직관성과 간결성을 갖는 장점이 있어 현재의 컴퓨팅 환경에서 많은 분야에 널리 사용되고 있다. 하지만 다이어그램 작성에 대한 표준화된 방법의 부재(不在)로 소프트웨어 상호간의 자료공유가 어렵고 다이어그램 컴포넌트와 규칙을 직접 프로그래밍 해야 하기 때문에 많은 시간과 노력을 필요로 한다. 이러한 문제점을 해결하고자 본 논문에서는 표준화된 문서규약인 XML을 이용해 다이어그램 컴포넌트의 형태와 행위를 정의하는 방법, 다이어그램의 규칙과 의미를 기술하는 방법에 대해 제안하고 제안한 XML 문서가 실행될 수 있는 다이어그램 시스템의 설계 및 구현에 관하여 논의한다. 본 다이어그램 시스템에서는 DML 그래픽 편집기를 제공하여 WYSWYG 방식으로 다이어그램 컴포넌트를 정의하고 자동으로 DML 문서를 생성할 수 있도록 함으로써 더욱 효율적으로 새로운 다이어그램을 개발할 수 있도록 하였다. 뿐만 아니라 DTD를 이용해 다이어그램에 대한 문법을 정의함으로써 문서의 구조를 정의하는 DTD에 대한 의미적 일관성을 유지하였으며 Semantic Definition XML을 이용하여 의미를 기술할 수 있도록 하였다. 또한 다이어그램 시스템에서 다이어그램 문장에 대한 문법검사와 의미실행의 방법은 VPL(Visual Programming Language)의 여러 개념들을 이용하였다.

• 정보처리학회논문지D
• /
• 제17D권4호
• /
• pp.283-296
• /
• 2010

Timing diagram은 시스템의 사양을 작성하는 도구로 많이 사용되고 있으나, Timing diagram을 이용하여 테스트 케이스를 생성하는 연구는 존재하지 않는다. 이와 같은 문제를 해결하기 위해 본 연구에서는 Timing diagram 으로부터 테스트 케이스를 생성하기 위해 다음과 같은 과정을 거쳤다. 1) Timing diagram을 형식적으로 기술하였다. 2) 정의된 Timing diagram의 의미로부터 이와 동치 관계에 있는 Stateflow 모델로 변환하는 방법을 기술하였다. 3) 변환된 Stateflow 모델에 대해 Simulink의 플러그 인 되어 있는 도구인 SDV를 사용하여 테스트 케이스를 생성했다. 이 접근 방법이 유용함을 보이기 위해서 도난 경보 모델과 임의의 Timing diagram모델들을 대상으로 실험을 수행하였다. 실험에서 Timing diagram 모델들로부터 Stateflow모델들로 변환하고 이를 SDV를 사용하여 테스트 케이스를 생성하였으며 그 결과에 대해 분석하였다. 이 연구를 통해 얻을 수 있는 결론은 Timing diagram이 더 이상 사양서를 작성하는 도구로만 사용되는 것이 아니라 모델 기반의 테스트 케이스를 생성하고자 하는 경우에도 유용한 도구가 된다는 점이다.

• 건축역사연구
• /
• 제14권4호
• /
• 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.

• 품질경영학회지
• /
• 제43권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.

• 중소기업융합학회논문지
• /
• 제1권1호
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML)는 산업계에서 소프트웨어 설계 표준 언어로서 인정되고 있으며 특히 UML State Machine Diagram은 클래스의 동적인 행위(behavior)를 묘사하는데 많이 사용되고 있다. 이 논문은 UML State Machine Diagram을를 이용하여 시스템의 데드락 (deadlock)을 찾는 방법에 대해서 논한다. 보통 State Machine Diagram는 개별의 클래스의 행위를 나타내는 데 사용되므로 시스템 범위의 행위를 알고 싶으면 시스템에 있는 클래스들 중 관심 있는 클래스들의 State Machine Diagram을 합하여 시스템의 행위를 나타낼 수 있는 State Machine Diagram이 필요하여진다. 일반적으로 이러한 시스템 수준의 State Machine Diagram은 매우 복잡하고 실제로는 타당하지 않은 State나 Transition들을 포함하게 된다. 실제 시스템의 행위를 나타내기 위해서 synchronization과 externalization을 적용하여 State Machine Diagram을 유효한 수준으로 줄이는 것이 필요하다. 이렇게 만들어진 State Machine Diagram은 시스템의 행위를 나타내는데 사용될 수 있으며 통상의 모델 체킹 방법이 적용될 수 있다. 이 논문은 데드락 탐지를 하는 방법을 간단한 예제를 통해서 보여준다. 모든 과정은 툴에서 자동으로 지원되며 필요한 알고리즘도 같이 설명된다.

• 한국산업정보학회논문지
• /
• 제15권5호
• /
• pp.149-158
• /
• 2010

본 논문에서는 Use Case Diagram, Class Diagram, Activity Diagram, Sequence Diagram을 이용하여 PDA용 메신저 프로그램을 설계 및 구현하였다. PDA용 메신저 프로그램 대상으로는 PC 서버기능, 로그인기능, 친구 관리기능, 쪽지기능, 대화가능, 파일전송가능, 회원메뉴기능 등 총 7가지 기능을 선정하였다. 본 논문의 구현 결과 다음과 같은 효과를 가져왔다. 첫째, UML Diagram을 이용함으로서 개발자가 개발할 문제와 프로그래밍의 흐름을 쉽게 이해 할 수 있었다. 둘째, PDA를 자주 이용하는 사용자들은 시간의 제약을 받지 않고, 오랜 시간 동안 개발자와 커뮤니케이션을 할 수 있었다. 셋째, 객체지향 분석 단계에서는 UML Diagram의 유용성이 높았다. 넷째, 프로그램의 Update와 Maintenance가 용이하였다.

• 정보처리학회논문지D
• /
• 제17D권5호
• /
• pp.337-346
• /
• 2010

Timing diagram은 시간에 따른 시스템의 행동을 표현하기 용이하고 표현된 행동을 쉽게 인식할 수 있는다는 장점 때문에 널리 사용되고 있다. Timing diagram으로 기술된 시스템을 테스트 하기 위해서는 여러 기술이 필요하다. 그 중의 하나는 테스트 케이스 목표들이 존재할 때, 시스템 모델이 원하는 상태에 도달하도록 하기 위해 입력 값들의 시퀀스를 생성하는 기술이다. 본 논문은 Timing diagram모델에 대한 테스트 케이스 목표로부터 테스트 입력 시퀀스를 자동으로 생성하는 방법을 제안한다. Timing diagram에서 테스트 입력 시퀀스를 자동으로 생성하기 위해서는 입력 waveform과 시간 제약으로 이루어진 시점의 전이 조건을 만족시키는 적절한 입력 집합을 필요로 한다. 이와 같은 문제를 해결하기 위해, 본 논문에서는 선형 계획법을 이용한 접근 방식을 택하였는데, 해결과정은 다음과 같다. 1) Timing diagram 모델을 입력으로 받아 이를 선형 계획 문제로 변형한다. 2)변형된 선형 계획 문제를 선형 문제 해결 도구를 사용하여 해결한다. 3) 선형 계획 문제의 해답으로부터 Timing diagram모델의 테스트 입력 시퀀스를 생성한다. 본 논문에서는 임의의 Timing diagram 모델에 대해 이를 선형 계획법으로 모델링 하는 방법을 형식적으로 기술하였고, 증명을 통해 본 논문의 접근 방법의 타당성을 보였으며, 또한 도구를 구현하여 Timing diagram 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다.

• 정보처리학회논문지D
• /
• 제12D권3호
• /
• pp.447-454
• /
• 2005

XML 문서와 관련된 기존의 다이어그램 시스템은 대부분 특정한 목적으로 이용할 수 있도록 작성되어 있다. 또한 다이어그램 컴포넌트가 정의되어 있지 않기 때문에 자동적으로 DML 문서를 생성하기가 어렵다. 본 논문에서는 XML 문서가 실행될 수 있는 다이어그램 시스템을 설계하고 구현한다. 다이어그램 시스템은 위지웍(WYSIWYG) 개념을 이용하여 다이어그램 컴포넌트를 정의하며, 자동적으로 DML 문서를 생성할 수 있도록 설계되었다. 따라서 더욱 효율적으로 새로운 다이어그램을 개발할 수 있으며, DTD를 이용해 다이어그램에 대한 문법을 정의함으로써 XML DTD에 대한 의미적 일관성을 유지하였다. 또한 본 시스템은 다이어그램 문장에 대한 문법검사와 의미실행을 위하여 VPL(Visual programming Language) 개념을 이용하였다. 본 시스템을 활용하면, DML 문서를 쉽게 생성할 수 있고, XML DTD 기반의 문법검사와 의미실행을 할 수 있다.

• Journal of information and communication convergence engineering
• /
• 제9권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.

• 한국정보처리학회논문지
• /
• 제6권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.