• 한국게임학회 논문지
• /
• 제6권4호
• /
• pp.47-53
• /
• 2006

일반 소프트웨어 개발과 달리, 게임개발은 기획, 프로그래밍, 그리고 그래픽디자인과 같은 다양한 분야의 전문가들이 한 팀을 이루어 진행된다. 그래서 게임개발은 개발참여자들 사이에 정확하고 효율적인 의사소통이 매우 어려운 특징이 있다. 성공적인 게임개발을 위해서, 게임디자인문서의 설계내용들을 모든 개발참여자들이 정확하게 이해하고 있어야 한다. 특히 게임디자인 설계요소인 게임메카닉스는 게임플레이 로직이 집중되어 있기 때문에, 오류 없는 내용과 오류 없는 표현, 그리고 모든 개발참여자들의 정확한 이해가 요구된다. 그러나 게임개발의 규모가 커지면서, 게임메카닉스의 내용도 복잡하고 방대하여, 개발 참여자들이 모든 내용을 정확하게 이해하는 것이 어렵게 되었다. 또한 게임메카닉스의 변경관리를 위한 형상관리가 복잡해져 그 효율성이 떨어지게 된다. 이러한 문제를 해결하기 위해 본 논문에서는 UML표기법을 활용한 게임메카닉스 표현방법을 제안한다. 제안하는 방법은 게임메카닉스의 설계내용을 UML표기법을 사용하여 표현하기 때문에, 비주얼적 표현과 논리적 표현을 동시에 만족한다. 또한 UML 모델기반 형상관리가 가능하기 때문에 효율적인 게임메카닉스의 형상관리가 가능하다. 제안하는 표현방법의 효과성을 제시하기 위해, $\ulcorner$듀드를 잡아라$\lrcorner$ 게임디자인문서의 내용을 제안하는 방법으로 변환하여 표현해서 비주얼적 표현능력, 논리적 표현능력, 그리고 효율적인 형상관리 가능성을 보여주었다.

• 한국멀티미디어학회논문지
• /
• 제3권3호
• /
• pp.290-297
• /
• 2000

객체지향 설계에 많이 사용되고 있는 UML의 일부 다이아그램들의 일관성과 완전성을 검증하기 위하여 UML다이아그램들을 분석하여 ER모델에 적용하고, 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 함수들의 의미에 따라 UML 다이아그램들의 일관성과 완전성을 보장하는 일련의 규칙들을 유도한다. 이러한 규칙들은 추후에 다이아그램을 생성하는 능력과 일관성과 완전성을 검사하는 능력을 함에 가진 CASE 도구에 포함될 수 있다.

• 한국콘텐츠학회논문지
• /
• 제15권8호
• /
• pp.1-8
• /
• 2015

아두이노는 오픈소스 기반 프로토타이핑 플랫폼으로, 미디어아트, 시뮬레이션, 인터랙션 장치 등 다양한 분야에서 활용되고 있다. 아두이노 어플리케이션은 C언어를 기반으로 개발되기 때문에 프로그램의 효과적인 설계명세 양식을 제공하지 못한다. 본 논문에서는 표준 객체지향 모델링 언어인 UML의 확장 매커니즘을 이용한 아두이노 어플리케이션 설계방법을 제안한다. 제안한 방법을 통해 아두이노 어플리케이션의 주 기능인 디지털 입출력, 아날로그 입출력 등을 UML 표기법을 이용하여 명세할 수 있다.

• 전기학회논문지
• /
• 제58권12호
• /
• pp.2492-2497
• /
• 2009

In this paper, a user application based on ZigBee is developed using UML. Conventional development procedure for an application using ZigBee stack requires a tremendous effort, since a developer has to study programming interfaces and analyze sample code to modify and add necessary code. In this study, a sample user application based on ZigBee is modeled using UML and embedded software code is generated using an automatic code generation tool. If the application development method using UML proposed in this paper is used, it is possible for a user to easily develop an application using powerful notations of UML diagrams without paying attention to the details of complex programming code.

• 한국항행학회논문지
• /
• 제15권6호
• /
• pp.1180-1186
• /
• 2011

객체지향 설계에 있어서 그래픽 표현의 대표라고 할 수 있는 UML 다이아그램의 일관성과 완전성을 검증하기 위하여, 먼저 UML 다이아그램들을 분석하고 분석된 다이아그램에 검증 규칙들을 적용한다. 본 논문에서는 다이아그램을 작성하는 능력과 다이아그램의 일관성과 완전성을 검사할 수 있는 능력을 모두 갖춘 효과적인 검증 시스템을 설계하였다. 검증 시스템은 내부적인 다이아그램 정보를 표현하기 위하여 일련의 프레임들을 사용하고 있다.

• 한국정보처리학회논문지
• /
• 제6권11호
• /
• pp.2965-2980
• /
• 1999

There are several models and the corresponding diagrams to express software system in many kinds of viewpoints, but these are supposed to be integrated and implemented into only one system. Therefore, the software modelers should have the models ensuring the consistency between information in software development life cycle. To support the robust models for modelers using OO modeling methods, i.e. UML, and CASE tools, the meta models of the software architecture and the consistency rules between the models are suggested in this thesis. Finally, the rules are implemented in the OO CASE tool, DEBUTO(Design By UML Tool). It supports UML1.1 notations and has visual modeling editors that enable users make their own software model.

• 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.

• 한국산학기술학회논문지
• /
• 제13권9호
• /
• pp.4234-4243
• /
• 2012

USN(Ubiquitous Sensor Network) 응용 S/W는 다양한 타겟 운영체제의 핵심모듈들을 기반으로, 다양한 종류의 센서 노드들을 유기적으로 제어하는 복잡한 특징을 가진다. 현재 USN 응용 분야에서도 효율적으로 S/W를 개발하기 위한 다양한 연구가 진행되고 있다. S/W의 개발생산성을 높이기 위해서는 프로덕트라인 기반 개발과 같이 도메인에 따라 어플리케이션들의 핵심 공통기능을 명세하고, 어플리케이션의 워크플로우에 따라 핵심 공통기능에 가변적인 기능만을 취사 선택하여 개발하는 방법이 효율적이다. 이러한 방법을 USN 도메인에 적용하기 위해서는 USN 응용 S/W의 특성과 프로덕트라인 기반 개발의 특성을 일관성 있는 하나의 뷰로 명세 가능하여야 한다. 그러나 일반적인 UML 표기법만으로는 이러한 특성을 효과적으로 명세하기 어렵다. 본 논문에서는 이러한 문제점을 해결하기 위하여 기존 UML의 확장 메카니즘인 프로파일을 이용하여 USN 어플리케이션의 특성과 프로덕트라인 기반 개발의 특성을 효과적으로 명세할 수 있는 기법을 제시한다. 제시하는 프로덕트라인 기반 USN 응용 개발을 위한 UML 프로파일은 어플리케이션 개발자에게 USN이나 프로덕트라인 기반 개발에 특화된 새로운 설계기법이나 도구 등의 추가적인 자원을 요구하지 않고, 기존의 UML과 지원도구를 활용하여 효과적으로 프로덕트라인 기반의 USN 응용 개발을 가능하게 한다.

• International Journal of Computer Science & Network Security
• /
• 제21권4호
• /
• pp.103-114
• /
• 2021

A conceptual model can be used to manage complexity in both the design and implementation phases of the system development life cycle. Such a model requires a firm grasp of the abstract principles on which a system is based, as well as an understanding of the high-level nature of the representation of entities and processes. In this context, models can have distinct architectural characteristics. This paper discusses model multiplicity (e.g., unified modeling language [UML]), model singularity (e.g., object-process methodology [OPM], thinging machine [TM]), and a heterogeneous model that involves multiplicity and singularity. The basic idea of model multiplicity is that it is not possible to present all views in a single representation, so a number of models are used, with each model representing a different view. The model singularity approach uses only a single unified model that assimilates its subsystems into one system. This paper is concerned with current approaches, especially in software engineering texts, where multimodal UML is introduced as the general-purpose modeling language (i.e., UML is modeling). In such a situation, we suggest raising the issue of multiplicity versus singularity in modeling. This would foster a basic appreciation of the UML advantages and difficulties that may be faced during modeling, especially in the educational setting. Furthermore, we advocate the claim that a multiplicity of views does not necessitate a multiplicity of models. The model singularity approach can represent multiple views (static, behavior) without resorting to a collection of multiple models with various notations. We present an example of such a model where the static representation is developed first. Then, the dynamic view and behavioral representations are built by incorporating a decomposition strategy interleaved with the notion of time.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.318-326
• /
• 2004

The ebXML (Electronic Business using eXtensible Markup Language) Specification Schema is to provide nominal set of specification elements necessary to specify a collaboration between business partners based on XML. As a part of ebXML Specification Schema, 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 BPSS 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 is insufficient to specify formal semantic constraints of modeling elements completely. In this study, we propose a classification schema for the BPSS semantic constraints and describe how to represent those semantic constraints formally using OCL (Object Constraint Language). As a way to verify a Business Process Specification (BPS) with the formal semantic constraint modeling, we suggest a rule-based approach to represent the formal constraints and to use the rule-based constraints specification to verify BPSs in a CLIPS prototype implementation.