• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.823-826
• /
• 2008

This paper will show how to design home network management system in the wired/wireless environment using graphical language LabVIEW, J2ME and to apply the design to monitoring and remote controling for the information devices at home. This paper also provides with efficiency of device control and current status check according to the circumstances of administrators by constructing the wire/wirelessly integrated administration system. It means the administrators can access to central administration server and acquire the control right through web being able to operate the system with flexibility and can access to the server without computer whenever, wherever they need to control and administrate it through this wired/wireless unit easily.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.48 no.3
• /
• pp.76-81
• /
• 2011

Intrusion prevention systems (IPS) are important solution about solved problems for inside system security or outsider attacks. When introduce this system, first consideration item is secured rather than multiple function. Colored Petri Nets (CPNs) used that in order to secured verification for user authentication function of intrusion prevention system security model. CPNs is a graphical modeling language suitable for modeling distributed, concurrent, deterministic or non-deterministic systems with synchronous. Like these CPNs was expressed every possible state and occurrence graph. Secured of IPS security model was verified because expression every state using CPN tool and as a result of analyzing the occurrence graph was without a loop or interruption.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.1
• /
• pp.157-163
• /
• 2015

XML has become one of the most influential standard language for representing and exchanging data on internet. However, XML itself has a ability to represent a logical structure for storing and managing data, it is inadequate to use as a conceptual modeling tool because of its complexity for representing the document structures. In this paper, we propose the graphical form of conceptual modeling techniques for representing the structure of the XML schema documents using an extended entity relationship diagram. For this, extended entity relationship model is presented for representing the XML schema structure, transformation rules are presented for transforming extended entity relationship model into XML schema document to show the completeness of the proposed model.

• 한국정보교육학회:학술대회논문집
• /
• 2010.08a
• /
• pp.211-219
• /
• 2010

In this paper we used Scratch, educational programming language, to teach algorithm to elementary school students. Scratch provides a graphical programming interface, so elementary school students can learn easily and immediately check the results of programming that can hold students' interest. Therefore, development of training material from Scratch using the algorithm can look forward to the Bloom's Mastery Learning. Also worksheets by level will give us excellence in education, growth of the ability to solve problems and creativity will be a great asset for student's future learning.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.14 no.6
• /
• pp.1181-1186
• /
• 2019

Recently, we have been able to quickly order and pay with kiosks even at fast food restaurants, small private restaurants and cafes. However, people with disabilities who are uncomfortable with their arms and who are sitting in wheelchairs are difficult to use by pressing graphical buttons to use kiosks. Older people also feel uncomfortable to use kiosks because of their cognitive abilities to accept new information as they get older. In this paper, to solve this problem, we design and implement a order-payment system to add the voice command element of the AI speaker to the visual command element when the user interacts with the kiosk.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.2
• /
• pp.160-168
• /
• 2000

In this paper, we present a performance monitor to trace and evaluate the performance of programs running on networked computers. The performance monitor of the JaNeC is online/batch as well as event/time driven. Since it is implemented with the Java programming language, it provides us with high portability among heterogeneous computer systems, and friendly graphical user interface. This performance monitor consists of various views such as 'Task/Event Filter' and 'TimeLine', 'Task View', 'Task Hoistory', 'Message Passing View', 'Host Cpu View', which allow the user to easily analyze event and time during the program execution.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.5
• /
• pp.834-840
• /
• 2007

A generator plays an important role in transferring an electric power to power system networks. The generator protection systems in Korea have been imported and operated through a tum-key from overseas entirely. Therefore, a study of the generator protection field has in urgent need for a stable operation of the imported goods, and for preparation of next generation protection system. The paper describes the fault detection algorithm using WT(Wave!et Transform) of currents for a generator protection. The fault current signals after executing a terminal fault modeling collect using a MA TLAB package, and calculate the wavelet coefficients through the process of a multi -level decomposition (MLD). The proposed algorithm for a fault detection using the Daubechies WT (wavelet transform) was executed with a C language for the command line function and for the real time realization after analyzing MATLAB's graphical interface. The advanced technique had complemented the defects of a DFT by applying a Daubechies WT. and had improved faster a speed and more accurate of fault discriminant than a conventional DFR.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2013.11a
• /
• pp.98-101
• /
• 2013

스마트폰과 스마트TV와 같은 다양한 콘텐츠 소비 단말들이 급속히 보급되는 최근의 IT환경에서는 콘텐츠 제작, 유통, 소비에 있어서 예전과는 다른 패러다임을 요구하게 되었다. 예를 들어 각기 다른 해상도, 연산량, 사용자환경 등의 다양한 조건들에 대한 고려가 중요한 문제로 부각되고 있다. 이를 해결하고자 단일 서비스 콘텐츠 패키지로 여러 단말들에게 적응적인 서비스를 제공하는 Scalable Application Description Language(SADL)에 기반한 스케일러블 어플리케이션 프레임워크가 제안되었다. 본 논문에서는 이러한 스케일러블 어플리케이션 프레임워크에서 적응형 서비스 콘텐츠를 쉽게 생산하고 패키징 할 수 있도록 이클립스 공개소스 플랫폼 기반의 저작도구를 제안 및 개발하였다. 개발한 저작도구는 유지 보수 및 확장성을 고려하여 모델-뷰-컨트롤러에 기반한 Graphical Editing Framework(GEF)를 이용했다. 제안하는 저작도구는 다양한 운영체제에서 작동하며, 유지보수 및 확장성이 우수하다. 또한 서비스 콘텐츠 개발을 위해 이클립스 플랫폼이 지원하는 다양한 플러그인 도구들을 그대로 활용 가능하다는 장점을 갖는다. 뿐만 아니라 본 저작도구는 기능의 추가적인 확장을 통해 홈 내 가상화 장치들을 위한 응용 프로그램 제작에도 활용할 수 있다.

• The Journal of the Korea Contents Association
• /
• v.9 no.1
• /
• pp.81-88
• /
• 2009

In the previous work, we presented HDTS for locating logical errors in Java programs. The HDTS locates an erroneous method at an execution tree using an algorithmic program debugging technique and locates a statement with errors in the erroneous method using a step-wise program debugging. The technique can remove the unnecessary statements and nodes in debugging using a program slicing technique at the execution tree. So HDTS reduces the number of program debugging. In this paper, we design HDTS system for debugging java programs. We define small subset of Java language and design the translator that translates java source codes and the virtual machine that runs java programs. We design GUI(Graphical User Interface) for debugging.