• 한국통신학회논문지
• /
• 제27권11C호
• /
• pp.1064-1073
• /
• 2002

본 논문에서는 프로토콜 개발 도구를 이용하여 Wireless Application Protocol (WAP) 포럼에서 제안하는 무선 트랜잭션 프로토콜(Wireless Transaction Protocol: WTP)을 구현하였다. 또한, 서버모델, coroutine 모델 및 activity-thread 모델에 따라 개발도구의 지원없이 직접 개발된 WTP 구현물들과 그 성능을 비교 분석하였다. 우선 Unified Modeling Language (UML)을 사용하여 프로토콜의 요구사항을 분석함과 동시에 프로토콜 엔진의 구조를 정의하였으며, 이를 기반으로 Specification and Description Language (SDL)을 사용하여 프로토콜 엔진을 상세 설계한 후, 코드 자동 생성기를 이용하여 WTP 구현물을 생성하였다. 구현물의 성능을 분석한 결과, 3,000개 이하의 클라이언트가 동시에 접속할 경우에는 트랜잭션 처리율(throughput)과 트랜잭션 처리 지연시간(system response time) 측면에서 기존의 세 가지 모델을 이용하여 직접 개발한 프로토콜 엔진과 그 성능이 대등함을 알 수 있었다. 그러나, 5,000개 이상의 클라이언트가 동시에 접속할 경우 트랜잭션 성공률은 약 10%까지 급격히 감소하고 트랜잭션 처리 지연시간은 1,500㎳까지 증가하였는데, 이는 프로토콜 개발도구를 사용한 경우에 구현물의 크기가 약 62% 증가하면서 프로토콜 처리시간 증가로 인한 것이다. 그러나, 이러한 실험 결과는 실험에 사용된 PC 서버의 사양을 고려할 때 호스트의 과부하로 인한 것이며, 부하분산 기능이 제공되는 실제 환경에서는 프로토콜 개발 도구를 사용하지 않고 직접 개발한 프로토콜 엔진과 거의 대등한 성능을 보였다.

• 산업공학
• /
• 제18권3호
• /
• pp.221-233
• /
• 2005

e-Manufacturing can be referred to as a system methodology enabling the integration of manufacturing operations and IT technologies to achieve objectives of an enterprise. It is recently regarded as a powerful solution to survive in a chaotic marketplace. While conducting an e-Manufacturing project, we first needed to capture collaborative processes conducted by multiple participants in order to define functions of a system supporting them. However, pervasive process modeling techniques including IDEF3, Petri nets, and UML are not sufficient for modeling collaborative processes. Therefore, we first briefly investigate several process modeling methods including aforementioned modeling methods and ARIS focusing on the collaboration point of view. Then, we propose a new modeling method referred to as Collaborative Process Modeling (CPM) to clearly describe collaborative processes. Also, we develop and illustrate a rule for transforming collaborative process models into Marked Graph models to use the analysis power of the Petri nets. Using CPM empowers us to develop collaborative process models with simple notations, understand and facilitate the realization of the collaboration, and verify models before rushing into the development.

• 디지털산업정보학회논문지
• /
• 제8권4호
• /
• pp.167-175
• /
• 2012

Service-oriented Architecture(SOA) is one of the most recent trends in IT solutions. SOA is a paradigm for organizing and utilizing distributed capabilities that may be under the control of different ownership domains and implemented using various technology stacks. From a technical perspective SOA, can be considered a method for designing and developing IT systems where applications are constructed from loosely coupled and autonomous building blocks. And SOA is a very effective response to the problems faced by companies in terms of reusability, interoperability and reduce coupling between systems that implement their information systems. To exploit these advantages many organizations have decided to evolve their legacy systems towards this architecture. This paper proposes a modeling for SOA based business process generation and testing, and introduces its implementation in the BPEL. And we analyze business process between enterprises, modeling the service-oriented business process with BPEL to realization level. Also, we suggests that UML is used from high-level business problems to the process of low-level problem for Visual and effectively.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권6호
• /
• pp.569-581
• /
• 2001

XML의 등장으로 인터넷의 제2의 혁명을 가져올 것이라는 기대는 XML 스키마 정의 언어가 표준화됨으로써 현실적으로 실현 가능하게 되었다. XML 스키마를 설계하는 것은 DTD를 설계하는 것보다 더 복잡하며 더 많은 정보가 제공되게 된다. 이에 XML 스키마를 모델링하는 도구들이 등장하고 있으며, 이 도구는 일반적인 모델링 도구와는 다른 기능이 요구된다. 본 논문에서는 \"설계 후 즉시 개발\"이라는 XML 응용 프로그램 개발 방법론을 제안하고, 이를 XSD4j에서 구현하였다. XSD4j를 사용하면 개발자는 쉽고 개념적인 수준의 스키마를 모델링할 수 있다. 또한, XML 문서를 위한 XML 저장매체 스키마의 생성 및 XML 문서와 응용 프로그램간의 표준적인 인터페이스인 DOM API를 얻을 수 있어 XML 응용 프로그램의 작성을 쉽게 할 수 있다.쉽게 할 수 있다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2002년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.191-196
• /
• 2002

From this year, KIGAM, one of Korean government-supported research institutes, has started new national program for digital geologic/natural resources infrastructure building. The goal of this program is to prepare digitally oriented infrastructure for practical digital database building, management, and public services of numerous types of paper maps related to geo-scientific resources or geologic thematic map sets: hydro-geologic map, applied geologic map, geo-chemical map, airborne radiometric/magnetic map, coal geologic map and off-shelf bathymetry map and so forth. As for digital infrastructure, several research issues in this topic are composed of: ISP (Information Strategy Planning), geo-framework modeling of each map set, pilot database building, cyber geo-mineral directory service system, and web based geologic information retrieval system upgrade which services Korean digital geologic maps scaled 1:50K. In this study, UML (Unified Modeling Language)-based data modeling of geo-data sets by and in KIGAM, among them, is mainly discussed, and its results are also presented in the viewpoint of digital geo-modeling ISP. It is expected this model is further progressed with the purpose of being a guidance or framework modeling for geologic thematic mapping and practical database building, as well as other types of national thematic map database building.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2003년도 종합학술대회 논문집
• /
• pp.115-120
• /
• 2003

비즈니스 시스템에서 비즈니스 협업을 수행하기 위해서는 비즈니스 시나리오의 절차를 정의하는 비즈니스 프로세스 스펙이 필요한데, 이 스펙은 비즈니스 프로세스 모델로부터 생성된다. XML 기반의 B2B 표준 프레임워크인 ebXML에서는 비즈니스 프로세스 모델링을 위해 UN/CEFACT 모델링 방법론 제공한다. 이 방법론에 따라 모델링을 수행하면 UML 다이어그램과 워크시트가 산출물로 얻어지고, 이 산출물들은 ebXML 비즈니스 프로세스 스펙과 다른 비즈니스 모델로 변환될 수 있다. 산출물들과 변환의 결과물들은 ebXML 시스템에서 공유되고 다른 모델링 툴에서 재사용되기 위해서 비즈니스 라이브러리에 등록된다 본 논문에서는 ebXML에서 제안된 시스템 구조를 따르며 필요한 모델링 기능을 고려하고 레지스터리 클라이언트를 내장한 ebXML 비즈니스 프로세스 모델러를 구현하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

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

The recent push for healthcare reform has caused healthcare organizations to focus on ways to streamlined processes in order to secure high quality care as well as reducing costs. Healthcare enterprises involve complex processes that span diverse groups and organizations. These processes involve clinical and administrative tasks, large quantities of data, and large number of patients and personnel. We propose the mobile-based workflow system of passable communication as an important factor in the B2B healthcare. Based on the above proposal the workflow system of business process was designed and implemented on the basis of Java, UML and XPDL.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.379-380
• /
• 2007

스테이트 차트에서 (Unified Modeling Language: UML) 상태 기반의 이벤트를 처리하는 실행 상태를 기술하고, 구현과 임베디드 시스템에 적용하는 방안에 대하여 논의하며 퀀텀 플랫폼(quantum platform)을 이용하는데 구성요소인 퀀텀프레임워크 컴포넌트에 대한 부분을 Windows Host 환경에 적용하는 방법에 대해 연구하고 성능평가를 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.444-446
• /
• 1999

컴포넌트 기반의 개발과 컴포넌트 개발에 대한 관심이 높아지면서 이를 위한 개발 방법론과 개발 도구들의 도입이 확산되고 있다. 또한 컴포넌트의 재사용 범위를 확장시키기 위해 컴포넌트 개발 시 나타나는 Hot Spot 처리를 위한 분석, 설계기법에 대한 관심이 높아지고 있다. 따라서 본 논문에서는 Hot Spot 처리시에 나타나는 의존적인 Hot Spot을 디자인하는 방법을 제시하고 그 방법을 적용하여 의존적인 Hot Spot을 디자인 할 때 발생되는 Hot Spot 간의 결합도 줄이고 디자인 모델의 가독성을 높인다. 본 논문에서는 디자인 모델링을 위한 표기법으로서 객체지향 모델링 기법인 (UML(Unified Modeling Language)를 이용하여 모델링한다.