• 정보처리학회논문지D
• /
• 제15D권4호
• /
• pp.505-512
• /
• 2008

임베디드 시스템에 대한 RBT(Requirement-Based Testing)를 수행하기 위하여 정확한 요구사항 명세서가 존재해야 한다. 그러나 고객이 자연어로 작성하는 요구사항은 모호성, 부정확성, 불일치성을 가지고 있다. 이를 해결하기 위해서 UML, Simulink등의 모델링 언어를 이용하여 요구사항을 다시 모델링 하지만, 이 과정에서 요구사항을 use-case단위로 조합하고 재해석하는 단점이 생겨나게 되었다. 본 논문에서는 임베디드 시스템에 대한 고객의 요구사항을 use-case단위의 조합이나 재해석이 필요 없이 곧바로 모델로 표현할 수 있는 그래픽 언어를 이용한 1:1 요구사항 모델링 기법을 소개한다. 제안한 방법은 1) 임베디드 시스템의 요구사항을 자연어가 아닌 의미가 분명한 그래픽 언어를 이용하여 표현하고, 2) 하나의 요구사항을 하나의 그래픽 모델로 표현한다. 또한 제안한 방법은 시스템의 입출력을 기반으로 "what-to-do"만을 기술하기 때문에 상위레벨의 요구사항이나 하위레벨의 요구사항 모두에 적용할 수 있는 기법이다. 이 기법이 적용된 REED라는 도구를 통하여 실제 프로젝트에 적용한 예를 살펴본다.

• International Journal of Computer Science & Network Security
• /
• 제21권6호
• /
• pp.127-136
• /
• 2021

In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML uses a model multiplicity formulation approach, wherein a number of models are used to represent alternative views. By contrast, a model singularity approach uses only a single integrated model. Each of these styles of modeling has its strengths and weaknesses. This paper introduces a partial solution to the issue of multiplicity vs. singularity in modeling by adopting UML use cases and class models into the conceptual thinging machine (TM) model. To apply use cases, we adopt the observation that a use-case diagram is a description that shows the internal structure of the part of the system represented by the use case in addition to being useful to people outside of the system. Additionally, the UML class diagram is recast in TM representation. Accordingly, we develop a TMUML model that embraces the TM specification of the UML class diagram and the internal structure extracted from the UML use case. TMUML modeling introduces some of the advantages that have made UML a popular modeling language to TM modeling. At the same time, this approach supplies UML with partial model singularity. The paper details experimentation with TMUML using examples from the literature. Our results indicate that mixing UML with other models could be a viable approach.

• 한국전자거래학회지
• /
• 제12권2호
• /
• pp.249-267
• /
• 2007

BPM(Business Process Management)에 대한 관심이 커지면서 BPM 시스템의 상호운용성을 확보하기 위해 프로세스 모형화, 실행과 운영, 모니터링과 통제 측면에서 여러 표준들이 등장하고 있다. 본 연구의 목표는 BPM 표준의 도입전략을 제시하고, BPM 표준 도입기업이 활용할 수 있는 세부적인 BPM 표준 적용 가이드라인을 개발하는 것이다. 프로세스 모형화 측면의 BPMN(Business Process Modeling Notation), 프로세스 실행과 운영 측면에서의 BPEL(Business Process Execution Language), 모니터링과 통제에 초점이 맞춰진 BPQL(Business Process Query Language) 등의 BPM 표준 도입 전략을 제시하고 각 표준들의 활용 가이드라인을 개발하였다. 본 연구에서 제시한 표준 도입 전략과 활용 가이드라인을 활용하여 기업들은 BPM 표준을 자사의 솔루션에 적용하는 과정에서의 시행착오를 줄임으로써 보다 효율적인 개발이 가능할 것으로 기대된다.

• 한국전자거래학회지
• /
• 제13권4호
• /
• pp.93-110
• /
• 2008

'협업 네트워크'는 가상기업, 동태적 공급망, 전문가 가상 커뮤니티 등을 포함하는 새로운연구 분야로서 협업 네트워크 조직(CNO)의 생성과 운영에 초점을 둔 모델링 언어가 필요한상황이다. 본 논문은 모델 자체의 표현력과 정보시스템의 구현 용이성을 모두 높인, CNO 대 상의 아키텍처 모델링 언어(CAML)를 제안하기 위한 것이다. CAML은 모델 기반 아키텍처 (MDA)에 입각해서 메타 모델과 도메인 모델을 통합하고 자크만 프레임워크에 입각해서 데이터, 프로세스, 링크, 참여자, 사건, 목적 등의 여러 초점을 통합할 수 있게 한 것이다. 공급망 문제의 모델링과 모델 변경 영향 분석을 통해 CAML의 유효성을 검토하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1997년도 춘계 학술대회 발표집
• /
• pp.23-28
• /
• 1997

We discuss development of a simulator for automated manufacturing systems (AMSs) which have sophisticated automated material handling equipments and complicated work flows. The simulator is designed to satisfy the following requirements. A user should be able to easily configure or specify an AMS through a graphical user interface (GUI) and minimal data input. The user should be able to model diverse and complied control logic for automated material handling systems like automated guided vehicle (AGV) systems, robot workcell systems and conveyor systems as well as complicated job flow program. Real time animation is desired. Finally, the simulator should be easily maintained and extended. To satisfy the requirements, we use an object-oriented paradigm for modeling, designing, and programming of the simulator. We use an object-oriented modeling framework to design the modeling elements library, and take the process interaction approach for scheduling processes and events. To model a user-defined diverse control logic, we also develop a script language and its interpreter. We explain design and implementation strategies. We implement the simulator using Visual C++ 4.2 and Open GL on Windows NT and the Windows95. Some modeling examples will be demonstrated.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.210-213
• /
• 2011

프로덕트 라인 공학에서 프로덕트 라인 아키텍처는 가장 중요한 산출물 중에 하나이다. 지금까지 여러 프로덕트 라인 방법론들에서는 프로덕트 라인 아키텍처를 모델링 하기 위한 아키텍처 기술 언어를 제안하여 왔다. 하지만, 이들 아키텍처 기술 언어는 유사한 개념을 상이한 표기법으로 정의함으로써, 서로 다른 아키텍처 기술 언어로 표기된 모델 간에 호환성이 떨어지는 문제가 발생한다. 본 논문에서는 사실상 표준으로 자리잡고 있는 UML (Unified Modeling Language)를 이용하여 프로덕트 라인 아키텍처를 모델링하는 방법을 제안한다.

• Journal of information and communication convergence engineering
• /
• 제17권2호
• /
• pp.117-127
• /
• 2019

In software engineering, to ensure reliability between systems, describing both system architecture and assurance arguments between system elements is considered necessary. There are proposals for system architecture assurance, but use of these traditional methods often requires development of different diagrams using different editors. Because the visual sense of the traditional methods is inadequate, errors readily occur when manipulating different diagrams. Therefore, it is essential that the assurance of dependability between components and systems is visualized and easy to understand. In this paper, an integrated approach to describe the relationship between system actors and system architecture is proposed, and this approach is clarified using an enterprise architecture modeling language. A case study is carried out and comparison to the traditional approach $d^*$ framework is explained. The comparison results show that the proposed approach is more suitable for ensuring dependability in system architecture.

• 한국산업정보학회논문지
• /
• 제6권4호
• /
• pp.39-47
• /
• 2001

소프트웨어 구조는 시스템 컴포넌트들과 그들의 상호관계를 이해하기 위한 프레임워크로서 제공된다. 또한 소프트웨어 구조는 낮은 비용, 높은 생산성 및 일관된 품질을 이루기 위해 재사용 될 수 있다. 본 논문에서는 우리가 개발한 소프트웨어 구조 설계 환경인 HanyWork의 구조와 기능을 설명한다. HappyWork는 두 가지의 주요한 기능을 가진다. 첫째로 HappyWork는 소프트웨어 구조 다이어그램의 모델링을 위한 그래픽 에디터를 제공하고, 둘째로 HWL(HappyWork language)라는 소프트웨어 구조 기술 언어를 제공한다.

• 한국컴퓨터산업학회논문지
• /
• 제3권12호
• /
• pp.1697-1712
• /
• 2002

UML(Unified Modeling Language)은 소프트웨어 시스템의 명세화, 시각화, 생성, 그리고 문서화를 목적으로 하는 언어이다. 또한 UML은 소프트웨어 생성을 위한 청사진을 만들어줌으로써 소프트웨어 설계의 복잡한 과정을 단순화시킨다. 본 연구에서는 Rational Rose, BizWiz와 같은 자동화된 응용프로그램 생성 도구들을 실제의 사이버 쇼핑몰에 적용하여 UML 관점에서 비교 및 분석한다. 그리고 위의 결과를 바탕으로 고객관리 업무에 UML을 적용하여 체계적인 시스템 분석, 설계 및 구현방안을 제시한다.

• 시스템엔지니어링학술지
• /
• 제4권2호
• /
• pp.1-13
• /
• 2008

The development of hull curved plate forming automation system in ship production field begins from the need of stakeholders such as enterprise organization, who need the reduction of cost and time and improvement of productivity, and end users who work for this production process. Even though hull curved plate forming automation system has small scale, it is reasonable to consider the system as an interdisciplinary system, because the system includes all of hardware, software, human and information and has a specified objective to be performed. In this paper, introduction of 4 leading Model-Based Systems Engineering (MBSE)methodologies is described and SysML(Systems Modeling Language), which is designed to analyze, specify, design, and verify complex systems, is introduced in order to support those methodologies. Especially, SysML is applied to system modeling of hull curved plate forming automation system and focused on. The structure diagrams and behavior diagrams based on operational context of the automation system are used to make system architecture. The performed application of SysML to the hull curved plate forming automation system shows an example of applying SysML to the development of other autonomous systems in ship production domain.