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

• 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 Information Systems
• /
• v.14 no.3
• /
• pp.1-8
• /
• 2005

This paper formally defines a role-driven security and access control model of a business process in order eventually to provide a theoretical basis for realizing the secured business process management systems. That is, we propose a graphical representation and formal description of the mechanism that generates a set of role-driven security and access control models from a business process modeled by the information control net(ICN) modeling methodology that is a typical business process modeling approach for defining and specifying business processes. Based upon the mechanism, we are able to design and accomplish a secured business process management system that provides an unified resource access control mechanism of the business process management engine domain's and the application domain's. Finally, we strongly believe that the secured access control policies from the role-driven security and access control model can be easily transformed into the RBAC(Role-based Access Control) model that is a standardized security technology for computer and communications systems of commercial and civilian government organizations.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2298-2303
• /
• 2003

In this paper, very simple methods based on the exponential analysis are presented by which transfer function models for processes can easily be obtained. These methods employ step responses or impulse responses of the processes. These can also give a more precise transfer function model compared to the well-known graphical methods. Transfer functions are determined based on Prony method, which is one of the oldest and the most representative methods in the exponential analysis. Here, the method is reformed and applied to obtain the so-called low-order transfer function with pure time delay from the data of the step response. The effectiveness of the proposed method is examined through several numerical examples and experiments of the 2-tank level control process.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.6
• /
• pp.800-809
• /
• 2014

The gridded environmental data is usually provided by the numerical simulation coupled with a data assimilation technique and various inter- or extrapolation algorithms, both of which are based on the observation spanning from simple equipments to satellites. But it is difficult to represent the natural phenomenon such as sea mount, internal-wave, warm eddy in modeling or observation because of increase in the complexity of model. This paper introduces the algorithm artificially representing the natural phenomenon and the techniques applying it to the gridded volume data and smoothing for natural effects. Moreover, the inserted results are analyzed by use of graphical tool. The results can be used for the battle simulation or acoustic model.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.3
• /
• pp.354-362
• /
• 2008

This paper presents the new method of power system transient stability simulation, which combines the desirable features of both the time domain technique based on OOP(Object-oriented Programming) and the direct method of transient stability analysis using detailed generator model. OOP is an alternative to overcome the problems associated with the development, maintenance and update of large software by electrical utilities. Several papers have already evaluated this approach for power system applications in areas such as load flow, security assessment and graphical interface. This paper applied the object-oriented approach to the problem of power system dynamics simulation. The modeling method is that each block of dynamic system block diagram is implemented as an object and connected each other. In the transient energy method, the detailed synchronous generator model is so-called two-axis model. For the excitation model, IEEE type1 model is used. The developed mothed was successfully applied to New England Test System.

• The Journal of Fisheries Business Administration
• /
• v.27 no.1
• /
• pp.57-65
• /
• 1996

This paper is concerned with the development of ameliorating inventory models. The ameliorating inventory is the inventory of goods whose utility increases over the time by ameliorating activation. The term ameliorating inventory is used in this paper at least, since the terminology is not standard well known. This study is performed according to areas; one is an economic order quantity(EOQ) model for the items whose utility is ameliorating in accordance with Weibull distribution, and the other is a partial selling quantity(PSQ) model developed for selling the surplus inventory accumulated by ameliorating activation. The proposed models cannot be solved directly in a closed form, thus we used a computer program and a graphical solution method to obtain the optimal ordering and setting quantity in this paper. Numerical examples to illustrate the effect of ameliorating rate on inventory polices are shown at the end of this paper.

• Electronics and Telecommunications Trends
• /
• v.28 no.1
• /
• pp.42-51
• /
• 2013

The R language is an open source programming language and a software environment for statistical computing and data visualization. The R language is widely used among a lot of statisticians and data scientists to develop statistical software and data analysis. The R language provides a variety of statistical and graphical techniques, including basic descriptive statistics, linear or nonlinear modeling, conventional or advanced statistical tests, time series analysis, clustering, simulation, and others. In this paper, we first introduce the R language and investigate its features as a data analytics tool. As results, we may explore the application possibility of the R language in the field of data analytics.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.474-477
• /
• 2005

The Industrial development and the Increase in population have brought out a rapid increase of wastewater discharge. To deal with this matter, much estimate has been spend on construction and management of a large scale sewage treatment plant. Although every effort has been carried out, river water quality has no significantly improved. Especially. the aggravation of the water quality in dry season is brought out a serious social problem. The purpose of this study Is the development of an optimal water quality management technique considering the efficient control of the multiple pollutant load associated with the total pollutant load control. A GUI(Graphical User Interface) system named 'QL2-XP' model is developed by object-oriencted language for the user convenience and practical usage. Suggested GUI system consist of hydraulic analysis. water quality analysis, optimized model calibration processes, and postprocessing the simulation results.

• Journal of Mechanical Science and Technology
• /
• v.17 no.11
• /
• pp.1756-1766
• /
• 2003

Numerical modeling is carried out to investigate forced convective heat transfer to near-critical water in developing laminar flow through a circular tube. Due to large variations of thermo-physical properties such as density, specific heat, viscosity, and thermal conductivity near thermodynamic critical point, heat transfer characteristics show quite different behavior compared with pure forced convection. With flow acceleration along the tube unusual behavior of heat transfer coefficient and friction factor occurs when the fluid enthalpy passes through pseudocritical point of pressure in the tube. There is also a transition behavior from liquid-like phase to gas-like phase in the developing region. Numerical results with constant heat flux boundary conditions are obtained for reduced pressures from 1.09 to 1.99. Graphical results for velocity, temperature, and heat transfer coefficient with Stanton number are presented and analyzed.