• Title/Summary/Keyword: 시스템 모델링 언어

Search Result 312, Processing Time 0.026 seconds

Web GUI system for the Seomjin River Estuary based on MGIS (MGIS기반 섬진강 하구역 Web GUI 시스템 구축)

  • Park, Sang-Woo;Kim, Jong-Kyu;Kim, Jung-Hyun
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2007.06a
    • /
    • pp.231-234
    • /
    • 2007
  • This study proposes a Web GUI system using MGIS-based three-dimensional data models and hydrodynamic model. The study of Web GUI (Graphic User Information) system based on the MGIS (Marine Geographic Information System) is mainly performed on effective methodologies which transform real world data to computing world data. Finally, we design a Seomjin River Estuary Web GUI system integrating above data models. It must adds more ecological information and the various service item for approach more easily in order to user.

  • PDF

A Study About Verification Model for Cooperation of Software Components of AUML Base (AUML기반의 소프트웨어 컴포넌트들의 협력성을 위한 검증 모텔에 관한 연구)

  • Gawn, Han-Hyoun;Park, Jae-Bock
    • Journal of the Korea Computer Industry Society
    • /
    • v.6 no.3
    • /
    • pp.529-538
    • /
    • 2005
  • AUML (Agent Unified Modeling Language) is specification anger of agent software system, sight anger, language that do creation by purpose. Do so that may apply Together that is one of automation application program creation system to Agent's BDI in trend sophistication of software, large size Tuesday in this research and investigate this about operation between component system. Standard detailed statement (FIPA:Foundation for Inteligent Physical Agent) that use can consist by data exchange between component and cooperate each other even if type of component is different mutually to base ACL message, and protocole use and study about method and accuracy and consistency that minimize error when embody this using meta model base etc.. through object intention modelling.

  • PDF

Distance Error Compensation of Internet-based Robot System Using Position Prediction Simulator (위치 예측 시뮬레이터를 이용한 인터넷 로봇 시스템의 거리 오차 보상)

  • 이강희;이연백;김수현;곽윤근
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.20 no.5
    • /
    • pp.108-115
    • /
    • 2003
  • This paper is concerned with the development of Internet-based robot system controlled on the remote site via the Internet. In order to draw the public attention into this exciting system, we built the simple system by which a robot is moved in response to answer for the given OX quizzes. As the primary research fer Internet-based robot control, this study focuses on the development of user-friendly interface by which a beginner achieves information for a robot on the remote site from the 3D virtual simulator and the real camera image. for the compensation of Internet time delay, position prediction simulator is implemented in the user interface.

Design of Web-based Index Sequence Relation Information Model Using Pattern-In Repository (패턴정보저장소를 이용한 웹기반의 인덱스 순서관계정보모텔 설계)

  • Sun, Su-Kyun
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2003.05b
    • /
    • pp.955-958
    • /
    • 2003
  • 최근에는 웹 환경에 적합한 개방형과 컴포넌트들을 효율적으로 분류하고 추출하는 방법이 진행되고 있다. 본 논문에서는 인터넷환경 하에서 생성되는 산출물을 컴포넌트 객체 형태로 통합 관리하고, 데이터베이스와 연결하여 객체들을 효율적으로 관리해 주는 웹기반 인덱스순서관계정보모델을 설계한다. 이 제안의 장점은 "인덱스 순서관계정보"로 클래스(class)들 사이의 관련된 여러 관계정보를 UML 설계방법에 적응할 수 있는 구조로 변형함으로서 개발자가 관계정보를 쉽게 파악하여 모델링 선계언어인 UML 선계방법에 쉽게 적응할 수 있게 한다. 이 모델로 기존의 시스템을 재사용하고 급변하는 소프트웨어 산업에 능동적으로 대체와 소프트웨어 개발에 시간을 단축함으로써 현존하는 다양한 데이터베이스 군들을 최소한의 코드 수정을 통하여 구동할 수 있게 함으로써 소프트웨어 개발 경제성을 높이는 데 있다.

  • PDF

Distance Error Compensation of Direct Control Type Internet-based Robot System (직접 명령 방식 인터넷 로봇 시스템의 거리 오차 보상)

  • Lee, Kang-Hee;Kim, Soo-Hyun;Kwak, Yoon-Keun
    • Proceedings of the KSME Conference
    • /
    • 2003.04a
    • /
    • pp.810-815
    • /
    • 2003
  • This research is concerned with the development of an Internet-based robot system, which is insensitive to the unpredictable Internet time delay. For that purpose, a simple mobile robot system that moves in response to the user' direct control on the Internet has been built. The time delay in data transmission is a big problem for the construction of this kind of system. Therefore, the PPS (Position Prediction Simulator) is suggested and implemented to compensate for the time delay problem of the Internet. The simulation and experimental result show that the distance error can be reduced using the developed PPS.

  • PDF

An MDA-based Ontology Architecture to Support Integration of Ontologies (온톨로지 통합을 지원하기 위한 MDA 기반의 온톨로지 아키텍처에 관한 연구)

  • Lee Jeong-Su;Chae Hui-Gwon;Kim Gwang-Su;Kim Cheol-Han
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2006.05a
    • /
    • pp.1690-1697
    • /
    • 2006
  • 온톨로지는 사람들 간의 정확한 의사소통을 가능하게 하고 시스템 사이의 상호운용성을 달성하기 위한 도구로서 다양한 분야에서 많은 기대를 받고 있는 기술이다. 온톨로지의 구축은 기존 온톨로지들간의 통합을 통해 더욱 효율적으로 이루어질 수 있다. 그러나 기존 온톨로지들이 표현 언어, 대상 도메인, 온톨로지 구성요소 등의 측면에서 다양한 형태와 특성을 가지므로, 온톨로지 통합이 이루어지기 위해서는 온톨로지들 간의 상호운용성의 확보가 필수적이다. 본 논문에서는 온톨로지를 분류하는 체계적인 프레임워크의 제공을 통해 온톨로지들 간의 상호운용성 확보를 지원하는 온톨로지 아키텍처를 제안한다. 본 논문에서 제안하는 온톨로지 아키텍처는 온톨로지를 바라보는 3가지 관점에 따라 MDA에 기반한 온톨로지 표현 분류축, 시맨틱 도메인 분류축, 온톨로지 구성요소 분류축의 3개 분류축으로 이루어져 있으며, MDA의 4계층 메타모델링을 문법적인 기반으로 하고 있다. 온톨로지 아키텍처의 3개의 분류축은 온톨로지들 간의 문법적인 상호운용성과 의미적인 상호운용성을 향상시키기 위해 조화롭게 설계됨으로써 온톨로지 통합이 유연하게 이루어지도록 지원한다.

  • PDF

Detection of Functional Failure and Verification of Safety Requirements Using Meta-Models in the Model-Based Design of Safety-Critical Systems (안전중시 시스템의 모델기반 설계에서 메타모델을 활용한 기능 고장의 탐지 및 안전 요구사항 검증)

  • Kim, Young-Hyun;Lee, Jae-Chon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.17 no.9
    • /
    • pp.308-313
    • /
    • 2016
  • Modern systems have become more and more complex due to the ever-increasing user requirements and rapid advance of technology. As such, the frequency of accidents due to system design errors or failure has been increasing. When the damage incurred by accidents to human beings or property is serious, the underlying systems are referred to as safety-critical systems. The development of such systems requires special efforts to ensure the safety of the human beings operating them. To cope with such a requirement, in this paper an approach is employed in which we consider safety starting from the conceptual design phase of the systems. Specifically, a systems design method that can detect functional failure is proposed by utilizing meta-models and M&S methods. To accomplish this, the safety design data from international safety standards are first extracted and also a meta-model is generated using SysML (systems modeling language). Then, a SysML-based system design method is proposed based on the use of the developed meta-model. We also discuss how the safety requirements can be created and verified using a simulation method. Finally, through a case study in automotive design, it is demonstrated that the detection of a functional failure and the verification of a safety requirement can be accomplished using the SysML-based M&S method. This study indicates that the use of meta-models can be useful for collecting and managing safety data and that the meta-model based M&S method can make it possible to satisfy the system requirements by reducing the design errors.

Design of Enterprise Architectures Framework using Architecture Unit and Domain Specific Method (도메인 기반 모델링과 구조 유니트를 이용한 기업 구조 프레임워크의 설계방법)

  • Chae Heekwon;Kim Kwangsoo;Kim Cheolhan;Choi Younghwan
    • The Journal of Society for e-Business Studies
    • /
    • v.10 no.2
    • /
    • pp.21-41
    • /
    • 2005
  • An Enterprise Architecture (EA) Framework is a tool which supports implementation of the Enterprise architecture that is used to enhance the interoperability of the IT components. In this paper, we propose a framework named as ENAE (ENterprise Architecture Framework) which combines enterprise architecture unit (AU), reference model, and association relationship between domain model. Architecture Unit is defined as a minimum set of a business process and its associated components such as application system and technical components. An EA can be designed and implemented by the aggregating the related AUs including association relationship between Architecture Units. Because UML model has limitations to describe business domain semantics because it is designed for general purpose, we adapt the DSM (Domain Specific Modeling) concept. We describe association relationship between Architecture Units designed by Domain Specific Modeling through Topic Map. Session 2 describes related works about Enterprise Architecture frameworks, Domain Specific Modeling, and Topic Map, while Session 3 explains components of the ENAF. Finally Session 4 shows the case study for implementation of the new Framework called ENAF.

  • PDF

Design of ILS M&S for RAM Analysis in Guided Weapon System (유도무기체계 RAM분석을 위한 ILS M&S 설계)

  • Lee, Yong-Bin;Lee, Dong-Wook;Lee, Joo-Hyung;Um, Chun-Sup;Park, Jang-Won
    • Journal of the Korea Society for Simulation
    • /
    • v.24 no.2
    • /
    • pp.19-29
    • /
    • 2015
  • M&S techniques are utilized for various purposes on the national defense, and its importance is increasing than ever. For analyzing RAM (Reliability, Availability and Maintainability) of weapon system, using M&S techniques can be more effective and practical way than deterministic approach, because M&S approach can consider uncertain variables and various constraints in the ILS (Integrated Logistics support) field. For design of ILS M&S, we first set up a purpose of M&S, attributes of real system and other similar ILS M&S tool. Then, we convert real system into model which consists of mathematical formula and logical expression. In this thesis, we introduce modeling procedures of M&S that describes total life cycle of 'OO guided weapon system' and the contents proposed in this paper can provide references for developing other M&S tool.

Feature Model Specification Method in Product-Line Development (프로덕트 라인 개발에서 피쳐 모델의 명세화 기법)

  • 송재승;김민성;박수용
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.11
    • /
    • pp.1001-1014
    • /
    • 2003
  • In a feature modeling, problems such as ambiguities, interpretation errors, incompleteness, etc caused by informal specification occur in the modeling phase. Therefore, feature specification method and processes are suggested in this paper to resolve these problems. The structure and language of feature modeling is defined in this paper to specify various features. First, this feature model is abstracted in the meta-level to get predicates and attributes. Formal feature model specification method is proposed using multi-paradigm language. Second, Feature specification process is proposed to describe how to specify feature formally. And third, Feature interaction management is defined to solve the problems caused between specified features. Finally, the proposed feature specification method is applied to Distributed Meeting Scheduler System domain.