• Journal of the Korea Society for Simulation
• /
• v.21 no.2
• /
• pp.19-30
• /
• 2012

In recent decades, it has been known that the Discrete Event System Specification, or DEVS, formalism provides sound semantics to design a modular and hierarchical model of a discrete event system. In spite of this benefit, practitioners have difficulties in applying the semantics to real-world systems modeling because DEVS needs to specify a large size of sets of events and/or states in an unstructured form. To resolve the difficulties, this paper proposes an extension of the DEVS formalism, called the Structured DEVS formalism, with an associated graphical representation, called the DEVS diagram, by means of structural representation of such sets based on closure property of set theory. The proposed formalism is proved to be equivalent to the original DEVS formalism in their model specification, yet the new formalism specifies sets in a structured form with a concept of phases, variables and ports. A simplified example of the structured DEVS with the DEVS diagram shows the effectiveness of the proposed formalism which can be easily implemented in an objected-oriented simulation environment.

• The KIPS Transactions:PartC
• /
• v.11C no.7 s.96
• /
• pp.937-950
• /
• 2004

In this paper, we present the design and implementation of new execution environment named Customizable Architecture for Flexible Execution Environment(CAFEs) that supports the mechanism of protocol customization and service referencing. We introduce a new concept as micro protocols and active services to enhance software reusability. Micro protocol represents a specific algorithm or functionality of existing network protocol and the active service is in charge of binding legacy application and releasing the active network oriented services. The pro-posed active network execution environment is made up of three parts, virtual network system, protocol and service manager, event engine. First, the virtual network system is used to connect each active nodes using virtual network channels which are based on multiple existing protocol layers. Second, the protocol and service manager is responsible for composing micro protocols and active services to develop new network proto-col and service easily. Finally, the event engine is used to detect the automatic transition of system components using event delegation model. To verify the CAFTs, we have an experiment about the delivery of web contents which are suitable for the user's terminals in the wireless Internet environment. As a result. we are able to obtain the availability of developed execution environment.

• The Journal of Information Systems
• /
• v.26 no.2
• /
• pp.1-23
• /
• 2017

Purpose Facebook is a social network service that has the highest number of Monthly Active Users around the world. Hence, marketers have selected Facebook as the most important platform to get customer engagement. With respect to the customer engagement enhancement, the most popular and engaging post type in the Facebook brand fan pages related to what was usually classified as 'sweepstakes'. Sweepstakes refer to a form of gambling where the entire prize may be awarded to the winner. Which makes customers more engaged with the brand. This study aims to explore sweepstakes-oriented social media marketing approaches based on the application of big data analytics. Design/methodology/approach we collect sweepstakes data from each company based on the data crawling from the Facebook brand fan pages. The output of this study explains how companies in each category of FCB grid can design and apply sweepstakes for their social media marketing. Findings The results show that they have one thing in common across the four quadrants of FCB grid. Regardless of the quadrants, most frequently observed type is 'Simple/Quiz or Comments/Quatrains [event type of sweepstakes] + Gifticon [type of reward prize] + Image [type of message display] + No URL [Link toother website] +Single-Gift-Offer [type of reward prize payment]'. So, if the position of the brand is hard to be defined by the FCB grid model, then this general rule can be applied to all types of brands. Also some differences between the quadrants of the FCB grid were observed. This study offers several research implications by analyzing Sweepstakes-oriented social media marketing approaches in Facebook brand fan pages. By using the FCB grid model, this study provides guidance on how companies can design their sweepstakes-oriented social media marketing approaches in the context of Facebook brand fan pages by considering their context.

• Journal of the Society of Disaster Information
• /
• v.18 no.2
• /
• pp.405-417
• /
• 2022

Purpose: As an administrative organization that directly affects the safety and livelihood of the people, local governments are important to ensure the continuity of key functions in the event of a disaster. The purpose of this study is to review effective methods for establishing and implementing a continuity of operations plan to protect and maintain the key functions of local governments. Method: In order to improve the inefficiency of the ISO22301-based continuity of operation plan, applying the organizational-oriented functional continuity method and set up the planning method, key functions, required resources, and basic education and training forms, and apply to local governments and review their feasibility. Result: The proposed organization-oriented continuity of operation plan preparation method reflects the characteristics of bureaucratic local governments and makes it easy to prepare and apply in practice. Conclusion: Compared to the private sector, in the public sector, where work is organization-oriented, it can be a more efficient way to fully reflect the organizational point of view in establishing a continuity of Opertaions plan.

• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

• Journal of the military operations research society of Korea
• /
• v.23 no.2
• /
• pp.1-14
• /
• 1997

TPNSim++ is the object-oriented framework for the discrete event simulation of military systems, developed by authors. The simulation world view of TPNSim++ is on the basis of activity scanning. TPNSim++ is implemented as C++ class library under Windows 95/NT. It uses the extended timed Petri nets which are called TPNSim nets for simulation modeling tool. The aim of this study is to conduct a comparative study of TPNSim++ and SLAM II in the simulation of military maintenance systems for the validation and the applicability of TPNSim++. From this study, TPNSim++ and SLAMII have given the same results under the equivalent assumption. Thus we can get the validation of TPNSim++ and its applicability to the simulation of maintenance systems.

• Water for future
• /
• v.25 no.3
• /
• pp.97-104
• /
• 1992

The distributed hydrologic models are widely applied to estimate the storm-runoff with spatial variability in watershed characteristics and rainfall pattern. This study was aimed to introduce the event-oriented storm runoff model using finite element method, and to try it's applicability on small watershed. Yeonwha watershed was selected and 14 storm events in 1991 were used for the finite element model, and the simulation results were compared with hydrologic quantities.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.7B
• /
• pp.1279-1288
• /
• 1999

DEVSim++ is a C++ based, object-oriented modeling/simulation environment which realizes the hierarchical, modular DEVS formalism for discrete event systems specification. The paper describes a methodology for performance modeling and analysis of an ATM-based network system within the DEVSim++ environment. The methodology develops performance models for the system using the DEVS framework and implement the models in C++. Performance indices measured are the length of queues located at connection of the system and cell waiting times with respect to QoS grades for a network bandwidth of 155 Mbps.

• Proceedings of the KIEE Conference
• /
• 2008.11a
• /
• pp.339-341
• /
• 2008

본 논문은 변전소자동화(Substation Automation : SA)의 국제표준화 동향에 맞추어, IEC61850이라는 국제표준 Protocol을 탑재한 여러 Device의 통신 환경을 구축하기 위해서 개발된 MMS Server Simulator 개발에 관한 소개이다. 본 연구를 통해 개발된 MMS Server Simulator는 MMS(Manufacturing Message Specification) Server의 기능과 함께 Report Control Block, GOOSE (Generic Object Oriented Substation Event) Publisher 등의 기능을 가지고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.457-459
• /
• 1998

본 논문에서는 하드웨어-소프트웨어 시스템에서의 시스템 레벨 모델링 및 통합 모의 실험(co-simulation)에 관한 새로운 방법을 다루고 있다. 복잡한 시스템의 하드웨어와 소프트웨어를 하나의 객체 지향 방법론으로 모델링 및 모의 실험하여 빠르고 쉽고 정확하게 시스템의 성능을 예측하고 분석하여, 시스템 설계가 최적화 되도록 도움을 주는 설계 도구를 제안한다. ASIC, 보조 디바이스, 벗, 디스크 및 소프트웨어 등을 객체 지향 모델링 방법인 UML(Unified Modeling Language) 형식론으로 시스템의 구조를 GUI을 사용하여 모델링하고, 이것으로부터 자동적으로 DEVS(Discrete EVent System) 모의 실험 모델을 생성해내어 통합 모의 실험을 수행함으로써 시스템의 성능을 쉽고 빠르게 측정하고 예측하는 방법론을 제시한다. UML과 DEVS는 형식론으로서, UML은 추상화 수준의 시스템 모델링과 그래픽 사용자 인터페이스를 제공하며, 모의 시험은 DEVS의 시뮬레이터인 DEVS++을 사용하였다. DEVS++는 C++ 라이브러리 형태이므로 쉽게 UML에서 DEVS 형식론으로 모의 실험 모델을 추가하여 간단한 모델링할 수 있을 뿐만 아니라 정확한 모의 실험 결과를 얻을 수 있다.