• 제목/요약/키워드: Systems Modeling Language

검색결과 285건 처리시간 0.025초

UML을 이용한 XML/EDI 시스템 설계 및 구현 (Design and Implementation of XML-based Electronic Data Interchange Using Unified Modeling Language)

  • 문태수;김호진
    • 한국전자거래학회지
    • /
    • 제7권3호
    • /
    • pp.139-158
    • /
    • 2002
  • Most of companies related to the area of B2B electronic commerce are making their efforts to innovate their existing business process into new designed process. XML-based electronic data interchange has potential to impact on reshaping the traditional EDI systems. This study intends to suggest a prototype of XML-based electronic data interchange using unified modeling language, with a case study applied in Korean automobile industry. In order to accomplish the research objectives, we employed UML as its standard modeling language, In this study, four diagramming techniques such as use case diagram, sequence diagram, class diagram, component diagram among eight modeling techniques are used for analyzing hierarchical business process. As a result of applying UML methodology, we design and develop XML/EDI applications efficiently. Our field test applied to Korean automobile industry shows that data modeling to design XML application using UML is better than existing methodologies in representing object schema of XML data and in extension and interoperability of systems.

  • PDF

$O^{2}LDM$ : 객체지향 논리 데이터모형을 위한 언어 ($O^{2}LDM$ : A Language for Object-Oriented Logic Data Modeling)

  • 정철용
    • Asia pacific journal of information systems
    • /
    • 제4권2호
    • /
    • pp.3-34
    • /
    • 1994
  • In this paper we describe a new data modeling language we call $O^{2}LDM$. $O^{2}LDM$ incorporates features from object-oriented and logic approaches. In $O^{2}LDM$ there is a rich collection of objects organized in a type hierarchy. It is possible to compose queries that involve field selection, function application and other constructs which transcend the usual, strictly syntactic, matching of PROLOG. We give the features of $O^{2}LDM$ and motivate its utility for conceptual modeling. We have a prototype implementation for the language, which we have written in ML. In this paper we describe an executable semantics of the deductive process used in the language. We work some examples to illustrate the expressive power of the language, and compare $O^{2}LDM$ to PROLOG.

  • PDF

하이브리드 시스템을 명세하기 위한 ETRI CPS 모델링 언어 (An ETRI CPS Modeling Language for Specifying Hybrid Systems)

  • 윤상현;전인걸;김원태;조재연;유준범
    • 정보과학회 논문지
    • /
    • 제42권7호
    • /
    • pp.823-833
    • /
    • 2015
  • 하이브리드 시스템은 연속 시스템과 이산 시스템으로 구성된 동적 시스템이다. 하이브리드 시스템은 자동차, 항공, 군사 방어 등 시스템을 명세 하는데 사용되고 있으며 이를 위해 다양한 모델링 언어와 지원 도구가 개발되고 사용되어 왔다. 제안되어 사용되고 있는 언어와 도구들은 목적에 따라 특정한 특징들을 갖고 있다. 한국전자 통신연구원에서 제안한 하이브리드 시스템 모델링 언어인 ECML (ETRI CPS Modeling Language)은 DEV&DESS (Differential Event and Differential Equation Specified System) 형식론을 CPS (Cyber-Physical System) 환경에 맞게 확장한 언어이며 모델링 및 시뮬레이션을 지원한다. 논문에서는 ECML을 소개하고 정형 정의를 제안한다. 또한 제안된 정의에 따라 간단한 차량 모델을 명세한 사례연구를 수행한다.

ebXML 비즈니스 프로세스 명세를 위한 의미 제약의 모델링과 검증 (Modeling and Validation of Semantic Constraints for ebXML Business Process Specifications)

  • 김종우;김형도
    • Asia pacific journal of information systems
    • /
    • 제14권1호
    • /
    • pp.79-100
    • /
    • 2004
  • As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

자연언어 대화 Interface를 이용한 정보검색 (WWW)에 있어서 사용자 모델 에이젼트 (User modeling agent using natural language interface for information retrieval in WWW)

  • 김도완;박재득;박동인
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 1996년도 제8회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.75-84
    • /
    • 1996
  • 인간의 가장 자연스러운 통신 수단은 자연언어이다. 본 논문에서는 자연언어 대화체를 사용한 인터네트 상에서의 정보 검색에 있어서 사용자 모델링 에이젼트 (User modeling Agent or User modeling system)의 모델 형성 기술 및 그의 역할을 서술하고 있다. 사용자 모델은 인간의 심성 모델 (Mental model)에 해당하며, 심성 모델이 사용자가 시스템에 대한 지식과 자신의 문제상황 또는 주변환경에 대하여 가지는 모델임에 반하여, 사용자 모델은 시스템이 사용자의 지식 및 문제 상황을 표상(Representation)하여 형성한 사용자에 대한 모델이다. 따라서 사용자 모델은 시스템의 지능적인 Human Computer Interaction (HCI)의 지원을 위하여 필수적이다. 본 논문에서는 사용자 모델 형성 기술 및 지능형 대화 모델의 지원을 위한 시스템 실례로써 사용자 모델 형성 시스템 $BGP-MS^2$ 와 사용자 모델의 형성을 위하여 구축된 지식베이스 구조를 설명하고 있다.

  • PDF

Software Analysis and Design of the Image Acquisition Subsystem Using the Unified Modeling Language

  • Yom, Jae-Hong
    • Korean Journal of Geomatics
    • /
    • 제1권1호
    • /
    • pp.85-93
    • /
    • 2001
  • Geospatial database, which is the basis for Geo-Spatial Information Systems, is produced by conventional mapping methods. Recently, with increased demand for digital forms of the geospatial database, studies are carried out to automate its production. The automated mapping system is composed of the image acquisition subsystem, positioning subsystem, point referencing subsystem and the visualization subsystem. The image acquisition subsystem is the most important part of the overall production line because it is the starting point and will affect all subsequent processes. This paper presents a software analysis and design of the image acquisition subsystem. The design was carried out using the Unified Modeling Language which is a modeling method used extensively in the software engineering field.

  • PDF

웹상에서의 의사결정모형의 객체지향적 표현과 관리를 위한 구조적 마크업 언어 (A Structured Markup Language for the Object-Oriented Representation and Management of Decision Models on the Web)

  • 김형도
    • Asia pacific journal of information systems
    • /
    • 제8권2호
    • /
    • pp.53-67
    • /
    • 1998
  • The explosive growth of the Web is providing end-users access to ever-increasing volumes of information. The resources of legacy systems and relational databases have also been made available to the Web browser, which has become an essential business tool. Recently, model management on the Internet/Web is also proposed with its conceptual design or prototypical system like DecisionNet and DSS Web. However, they are also suffering from the same symptoms as the Web, Although we can identify the elements of a page with HTML tags and (declare) the relationships among the various document elements, they are semantically opaque to computer systems and have no domain-specific meaning. However, HTML is not extensible, so developers are forced to invent convoluted, non-standard solutions for embedding and parsing data. Extensible Markup Language (XML) is a simplified subset of SGML that has many benefits for folks who want to improve structure, maintainability, searchability, presentation, and other aspects of their document management. This paper proposes a structured markup language for model representation and management on the Web as an XML application. The language is based on a conceptual modeling framework, Object-Oriented Structured Modeling (OOSM), which is an extension of the structured modeling.

  • PDF

MI-Trigger-Based Language Modelling

  • Zhou, Guodong;Lua, Kim-Teng
    • 한국언어정보학회:학술대회논문집
    • /
    • 한국언어정보학회 1998년도 Language, Information and Computation = Selected Papers from the 12th Pacific Asia Conference on Language, Information and Computation, Singapore
    • /
    • pp.195-205
    • /
    • 1998
  • PDF

UML/XML 기반의 비즈니스 프로세스 정의 도구 (An UML/XML-Based Business Process Definition Tool)

  • 한관희;황태일
    • 산업공학
    • /
    • 제16권2호
    • /
    • pp.156-166
    • /
    • 2003
  • Proposed in this paper is a standard-compliant business process modeling tool which is based on the UML(Unified Modeling Language) activity diagram and produces an XPDL(XML Process Definition Language) file as an output. The XPDL is a standard process definition exchange format by WfMC (Workflow Management Coalition). To develop an UML/XPDL-based modeling tool, the mapping of modeling elements between activity diagram and XPDL format is conducted after the detailed analysis of each modeling specification. As a result of this mapping, it is revealed that modeling elements of each activity diagram and XPDL must be expanded. So new modeling elements are identified and added to each specification. Based on this mapping, the prototype system is developed, and the usefulness of the developed system is shown through the case study.

3차원 대화형 시뮬레이션 모델기술언어로서의 VRML (VRML as a Modeling Language for 3D Visual Interactive Simulation)

  • 김형도
    • 한국시뮬레이션학회논문지
    • /
    • 제6권1호
    • /
    • pp.15-24
    • /
    • 1997
  • VRML (Virtual Reality Modeling Language) is an Web-based standard for modeling 3D spaces and provides applications with 3D interactive interfaces. With its recent upgrade, it supports events, routes, scripts, and other behavior modeling constructs. This paper approaches VRML as a simulation modeling language. This approach promotes the sharing and distribution of simulation results and demonstration among distributed users as well as efficient modeling of systems through the direct mapping of 3D objects and behaviors. This paper analyzes the behavior modeling constructs of VRML, presents effective modeling alternatives through the modeling of a simple material processing system, and discusses the upgrade direction of VRML as a foundation for distributed interactive simulation system.

  • PDF