• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.454-456
• /
• 2004

데이터베이스에 대한 제약사항들은 소프트웨어의 개발 및 사용에 있어 개발자와 사용자가 모두 참고해야 하는 중요한 사항임에도 불구하고 데이터베이스 모델링괴 소프트웨어 모델링의 불일치 및 표현 방법의 차이로 인해, 일관성 있는 제약사항 명세 및 설계에 많은 어려움을 겪어왔다. OCL(Object Constraint Language)은 객체의 제약사항을 표현하는 언어로서 UML(Unified Modeling Language)의 일부분이다. 본 논문은 객체의 제악사항을 표현하는데 사용하던 OCL을 데이터베이스의 제악사항을 설계에 일관성 있게 표현, 반영하기 위하여 사용하는 기법을 제시하고, 이에 대한 검증을 수행하는 방법에 대한 연구이다. 본 논문에서는 요구사항에서 추출한 데이터베이스의 제악사항을 정의한 규칙에 따라 추출해내고, 이를 OCL의 표현법을 이용하여 정형적으로 표현한다. 그리고 그 OCL의 형식적 표현을 ODL(Object Description Language)로 정의하는 기법을 정의함으로서 이에 대한 일관성 검증을 수행하는 기법을 제안한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권7호
• /
• pp.478-492
• /
• 2001

본 논문은 다양한 종류의 분산 인공지능 문제들을 에이전트라는 추상적 단위와 에이전트간의 상호작용을 토대로 해결하는 다중 에이전트 시스템을 개발하는 체계적 접근방법으로서 개발 방법론의 핵심인 아키텍쳐의 개발방법을 제안한다. 목표를 기반으로 문제영역을 이해하고, 여기에서 추출된 에이전트들을 이용하여 시스템을 개발함에 있어 지침이 되는 아키텍쳐 개발공정을 다중 에이전트 시스템의 특성인 조정과 자율성을 고려하여 제안한다. 각 관점마다 적용될 수 있는 아키텍쳐 스타일과 패턴들을 정의하고, 제안한 아키텍쳐를 UML(Unified Modeling Language)을 이용하여 표현하며, 아키텍쳐를 설명하는 ADL(Architecture Description Language)을 이용하여 정형화시킨다. 또한, 이를 지능형 교통시스템의 출발전 교통정보 안내 서브시스템에 적용, 구현함으로써, 제안하는 아키텍쳐를 검증해 보고, 이를 기반으로 소프트웨어를 개발하는 기초를 마련한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.262-264
• /
• 2012

유비쿼터스 지능형 공간에서 사용자의 개입 없이도 자율 실행하는 서비스 플러그 앤 플레이 시스템(Service Plug and Play System)은 기능적인 모델로서 총체적인 시스템의 협력 프로토콜 부재로 그 동시성 및 병렬성을 반영한 실행관리를 하기 어렵다. 이는 시스템을 구성하는 모듈로, 컨텍스트 수집기, 서비스 실행기, 공간관리기, 모바일 제어기 등이 UML의 시퀀스 다이어그램으로 모델링하여 각 기기의 기능과 실행흐름을 독립적으로 표현할 뿐, 기기간의 상호작용, 특히 병렬 및 동시 실행 알고리즘을 설계하고 검증하는 절차의 부재 때문이다. 본 논문에서, 각 기기의 실행 흐름 및 상호작용을 Petri Net을 이용하여 모델링함으로써, 시스템을 구성하는 각 디바이스의 상호작용 및 실행 흐름을 정의 하고 검증한다.

• 한국정밀공학회지
• /
• 제23권11호
• /
• pp.68-77
• /
• 2006

Nowadays, the increasing global competition forces automobile manufacturer to increase quality and to reduce the cost and time for manufacturing planning. To solve these problems, automobile manufacturers try to apply digital manufacturing technologies. In this paper, a concept of method for planning the digital assembly system is proposed. Based on the requirements of assembly tasks obtained through product analysis, the function and sequence modeling for assembly process is executed using the IDEF0 and UML model. For implementation of digital assembly system, the selected components are modeled by using 3D CAD tools. According to the system configuration strategy, lots of the alternative solutions for the assembly system are generated. Finally, the optimal assembly system is chosen by the evaluation of the alternative solutions with TOPSIS(Technique for Order Preference by Similarity to Ideal Solution) method. According to proposed procedure, digital laser welding system is implemented in DELMIA.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 Ⅲ
• /
• pp.1585-1588
• /
• 2003

일반 가정에 인터넷 서비스를 제공하는 가입자 망은 다양한 종류의 접속방식과 이기종의 장비를 이용하여 일반 가정 가입자에게 단일 형태의 서비스를 제공하고 있다. 그리고 가입자 망의 접속방식에는 망의 종류에 따라서 ADSL, VDSL, DOCSIS 등 다양한 형태가 있다. 이러한 여러 가지 형태를 가지며 분산되어 있는 가입자 망을 효율적이며 집중화된 형태로 관리하기 위해서는 다양한 형태의 접속방식을 지원하는 이기종 장비 및 단말들의 상위 개념으로서 추상적이며 논리적인 객체 관리모델이 필요하다. 본 논문은 통합된 가입자망관리를 가능하게 하는 인터넷 가입자 망에 대한 계층적 모델링 구조를 제시하였다. 그리고 UML 에 근거한 객체지향 방법론을 이용하여 가입자망의 예로서 DOCSIS 의 케이블데이터 가입자망과 VDSL 가입자망에 대하여 관리모델을 적용하였다.

• 한국공작기계학회논문집
• /
• 제16권2호
• /
• pp.78-83
• /
• 2007

In this paper, the digital model of the micro-factory has been established, inspected and evaluated by progress of assembly, manipulation and examination. The new paradigm of the system analysis is realized by digital simulation of the factory. The digital manufacturing system of the micro-factory was simulated through UML(Unified Modeling Language) with the object-oriented logical model analysis method and then the micro lens module assembly system was simulated with MST(Micro System Technology) Application Module.

• 산업공학
• /
• 제20권3호
• /
• pp.257-266
• /
• 2007

To survive in rapidly changing business environment, the enterprises of all over the world are trying to integrate their IT infra structure and are trying to automate their business process. Service Oriented Architecture (SOA) is being accepted as an IT standard to support efficient system integration and flexible business process automation between enterprises or departments. The material control system is required this software architecture between manufacturing company and materials supply vendors. This paper introduces concept of SOA, relevant technology about SOA such as Web Services and Business Process Execution Language (BPEL) and Enterprise Service Bus (ESB) and describes how to automate materials control process by designing the material control system based on SOA. The analysis of requirements is proceeded by Unified Modeling Language (UML) and SOA delivery strategy is selected the top-down strategy. And this paper describes how to derive services and operations and how to arrange services in three service layers and how to design business process.

• 시스템엔지니어링학술지
• /
• 제7권1호
• /
• pp.23-30
• /
• 2011

본 논문은 대형복합 시스템인 국방 유도무기체계를 MBSE(Model Based Systems Engineering) 방법론에 적용한 사례 연구에 대하여 다룬다. MBSE 방법론 적용을 위해 시스템 엔지니어링 설계 프로세스를 적용한다. 이를 통해 MBSE 방법론 적용의 유용성을 공유하고, MBSE 적용 지침으로 활용될 수 있도록 한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.354-358
• /
• 2001

Cosim (Hardware and Software Co-Simulator) is a JavaBeans-based simulation tool fur validating systems architecture and estimating performance of web applications. Cosim has four components: Modeler, Translator, Engine and Scenario. Users start from Modeler to describe systems architecture in UML(Unified Modeling Language) deployment diagram, and then specify hardware & software performance parameters such as execution delay, network topology, and frame size. All information specified on Modeler are sent to Translator, and then automatically converted to Java programs. Scenario is responsible to run the Java program and produce results in text reports and graphs. Developers can reduce development time and cost by validating systems architecture of web applications before the actual deployment.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1999년도 봄 학술발표회 논문집
• /
• pp.61-68
• /
• 1999

This paper is the study of methodology for development of preliminary structural design modules for an intergated system for reinforced concrete structures. To develop the modules. it is used that the iteratived and incremental development process of object-orientied methodology and affects. The aspect is a tool to capture characteristics of the objects. The aspects consists of .user, structure, and system. By using aspects, we can find that objects and relationships between the objects consisting of the modules in the phases of process. In this paper, UML(Unified Modeling Language) is used to the notation. It serves as the language for communicating decisions that are not obvious and provides semantics to capture all important stategic and tactical decisions. Therefore such a series of mothods is valuable to development of preliminary structural design modules. Then preliminary structural design modules were programed by using Visusl C++, a windows environmental development tool.