• The Journal of Society for e-Business Studies
• /
• v.12 no.2
• /
• pp.17-30
• /
• 2007

In ebXML the choreography of a business process should be modeled by UMM and is finally realized in BPSS. The current UMM and BPSS are developed based on UML 1.4. Recently OMG introduces the UML 2.0, which strengthens the modeling power of activity diagrams and components. If we adopt UML 2.0, the modeling power of UMM is improved but BPSS cannot implement the modeling features. In this paper, we examine the new features of the activity diagram in UML 2.0. We also propose ways to improve the UMM and the BPSS using the new features.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.1
• /
• pp.11-23
• /
• 2010

A flexible and correct model of the activity flows is required for workflows in product development environments. In particular, the design activity flows are not known until run-time, and conventional approaches have limit to handle this situation because they cannot predefine all the potentially reachable paths. Thus, the structure of the workflow model must be flexible enough to describe variety in workflow design and accommodate dynamic changes during workflow execution. In this paper, we provide the general primitive axioms and change patterns based on event calculus for dynamic workflow specification and execution mechanisms in product development environments. Also, we describe how to execute the workflow dynamically based on the workflow specification and workflow change patterns using abductive planning technique.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.3 no.2
• /
• pp.156-165
• /
• 2000

This paper describes modeling and simulation of automotive forward collision warning and avoidance system using CASE(Computer-Aided Systems Engineering) tool. The system is composed or many sensors, a controller, warning devices, brakes and etc. The system was modeled by one activity chart, fourteen state charts and one module chart. Rear-end collision scenarios was generated by Simulink and used to support Stalemate model. The resulting model was used to evaluate the correctness of function and behavior of the system. A simulator for the system has been designed and used to validate the model under realistic operating conditions in the laboratory. To model and simulate the system's functionality and behavior brings clarity to system design early in the system development.

• Korean Chemical Engineering Research
• /
• v.44 no.2
• /
• pp.129-135
• /
• 2006

In this study, computer modeling and simulation works were performed to obtain nearly pure toluene product from toluene containing non-aromatic compounds using sulfolane as a solvent through an extractive distillation process. NRTL liquid activity coefficient model was adopted for phase equilibrium calculations and Aspen Plus release 12.1, a commercial process simulator, was used to simulate the extractive distillation process. In this study, it was concluded that the toluene product with a purity of 99.8 percent by weight and a recovery of 99.65 percent was obtained through an extractive distillation process.

• International conference on construction engineering and project management
• /
• 2011.02a
• /
• pp.395-398
• /
• 2011

This paper introduces stochastic cash-flow modeling integrated with simulation based scheduling. The system makes use of CPM schedule data exported from commercial scheduling software, computes the best fit probability distribution functions (PDFs) of historical activity durations, assigns the PDFs identified to respective activities, simulates the schedule network, computes the deterministic and stochastic project cash-flows, plots the corresponding cash flow diagrams, and estimates the best fit PDFs of overdraft and net profit of a project. It analyzes the effect of different distributions of activity durations on the distribution of overdrafts and net profits, and improves reliability compared to deterministic cash flow analysis.

• The Journal of Fisheries Business Administration
• /
• v.50 no.3
• /
• pp.43-57
• /
• 2019

Recreation specialization and consumptive orientation are two important constructs to understand anglers' attitudes and behaviors. Although theoretical explanations and previous studies in different countries addressed the relationships between the two constructs, limited support has been provided in a context of anglers in Korea. This study developed a conceptual model explaining the causal relationships between recreation specialization, anglers' preferences (activity-specific and activity-general) and consumptive orientation. An on-site survey was conducted to anglers in the city of Busan and Gyeongnam province in 2018. A total of 614 data were analyzed using Structural Equation Modeling The study results showed that recreation specialization positively and indirectly influenced consumptive orientation via anglers' activity-specific and activity-general preferences. Theoretical and practical implications are further discussed.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2018.05a
• /
• pp.379-380
• /
• 2018

• International Journal of Quality Innovation
• /
• v.6 no.2
• /
• pp.17-30
• /
• 2005

The Internet can provide benefits obtained from changing the structure of a business, such as emphasizing the importance of different types of personnel. In addition, the Internet alters the process for business activity, both within and outside the organization. Using structural equation modeling, I empirically test a number of hypothesized relationship based on a sample of 126 Internet Community users. The results are as follows: loyalty is significantly influenced by trust and relationship, repeat purchase is significantly influenced bye-loyalty. In addition, word of mouth is significantly influenced by e-loyalty.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.117-124
• /
• 2006

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Journal of Korean Public Health Nursing
• /
• v.29 no.3
• /
• pp.488-502
• /
• 2015

Purpose: This study was conducted to determine the neighborhood environmental factors associated with physical activity among adults living in rural communities. Methods: A cross-sectional descriptive survey was conducted with a convenience sample of 201 adults living in three Ri in Y-city, Gyeonggi-do. Data were collected from face-to-face interview by trained interviewers and were analyzed using a zero-inflated negative binominal regression model. Results: Participants reported engaged in moderate or vigorous physical activity was 76.1%; 10.5% of participants reported that they met moderate physical activity recommendations and 14.5% of participants reported that they met vigorous physical activity recommendations. Zero-inflated negative binominal regression analysis showed association of increasing days of physical activity with social cohesion (${\beta}=.130$, p=.005), social network (${\beta}=-.096$, p=.003), and safety for crime (${\beta}=-.151$, p=.036), and no days of physical activity was associated with no attainment of education and marginally associated with increasing BMI. Conclusion: Neighborhood environmental factors including social cohesion, social network, and crime for safety were significantly associated with physical activity of rural adults. Community health nurses should expand an approach for individual behavior change to incorporate rural adults' specific neighborhood environmental factors into physical activity interventions.