• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1103-1111
• /
• 1996

The design of distrbuted systems is difficult to achieve as the execution patterns of distrbuted systems are typically more complex than those of non- distributed systems. Thus, research toward the development of design methods for distributed systems is quitely needed. As object-oriented systems and distrbuted systems share similar properties, the combination of these two is somehow natural. In this work, a design of distributed systems is introduced. The goal of the method in this paper is to provide assistance to the process of specifying a formal object- oriented specification from graphical representation specification inputs such as data flow diagrams, state transition diagrams and Petri nets. It addresses the extraction of objects, operations and reationshipsfrom the problem domain with emphasis on the specification of the characteristics of distributed systems. This object identification method is supported by a knowledge base that provides for the automated analysis and reasoning about objects and their relationsships. The final object model is represented in a format which provides a formal mechanism for reprsenting the object information.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.46 no.2
• /
• pp.114-123
• /
• 2009

Context-aware systems are reactive computing systems, aware of external context. Considering various sensors and actuators connected, application programming on top of such systems is known to be much more complex than in contentional ones. This paper suggests a formal framework for context-aware systems, by extracting their common properties. That makes a useful birds-eye view for the behaviors of a whole complex system, as a base for a convenient developing environment and systematic analysis. In this framework, reactive-ness is handled by event-condition-action rules and global state-transitions, which are essential in a lot of context-aware applications. In addition, behaviors of each elementary device are modelled with its own state-transitions, and tightly bound to the entire task.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2479-2492
• /
• 1999

Network management system(NMS) provides not only effective monitoring and controlling of network which consists of heterogeneous network elements but prompt response to users' need for high-level communication services. Recommendations of ITU-T and ISO stipulate the managerial abstraction of static and dynamic characteristics of network elements, management functions as well as management communication protocol. But the current description method does not provide the formal mechanism for the behavior characteristics of managed objects in clear manner but in natural language form, the complete specification of managed objects is not fully described. In this paper, we describe determinants for the behaviour of managed objects applicable to every managed object, and present a language for specifying behavioral aspects of managed objects based on their temporal and active properties.

• Proceedings of the KOSOMBE Conference
• /
• v.1996 no.11
• /
• pp.74-79
• /
• 1996

This paper describes a methodology for the development of models of discrete event system(DES). The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can couple DES models within a framework. The structure employs the DEVS formalism for the DES models. The proposed formal structure has been applied to develop a DEVS model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through VisSim simulation in the CS of the electrical analog model. VisSim is the simulation tool of visual environment for developing continuous, discrete, and hybrid system models and performing dynamic simulation. For each phase, a CS of the electrical analog model for the cardiovascular system has been simulated by VisSim 2.0. To validate this model, first develop the DEVS model, then simulate the model in the DEVSIM++ environment. It has same simulation results for the data obtained from the CS simulation using VisSim. The comparison shows that the DEVS model represents dynamics of the human heart system at each phase of cardiac cycle.

• Safety and Health at Work
• /
• v.14 no.1
• /
• pp.93-99
• /
• 2023

Background: Effort-reward imbalance (ERI) and overcommitment at work have been associated poorer mental health. However, nonlinear and nonadditive effects have not been investigated previously. Methods: The association between effort, reward, and overcommitment with odds of poorer mental health was examined among a sample of 68 formal United States waste workers (87% male). Traditional, logistic regression and Bayesian Kernel machine regression (BKMR) modeling was conducted. Models controlled for age, education level, race, gender, union status, and physical health status. Results: The traditional, logistic regression found only overcommitment was significantly associated with poorer mental health (IQR increase: OR = 6.7; 95% CI: 1.7 to 25.5) when controlling for effort and reward (or ERI alone). Results from the BKMR showed that a simultaneous IQR increase in higher effort, lower reward, and higher overcommitment was associated with 6.6 (95% CI: 1.7 to 33.4) times significantly higher odds of poorer mental health. An IQR increase in overcommitment was associated with 5.6 (95% CI: 1.6 to 24.9) times significantly higher odds of poorer mental health when controlling for effort and reward. Higher effort and lower reward at work may not always be associated with poorer mental health but rather they may have an inverse, U-shaped relationship with mental health. No interaction between effort, reward, or overcommitment was observed. Conclusion: When taking into the consideration the relationship between effort, reward, and overcommitment, overcommitment may be most indicative of poorer mental health. Organizations should assess their workers' perceptions of overcommitment to target potential areas of improvement to enhance mental health outcomes.

• Proceedings of KOSOMES biannual meeting
• /
• 2003.05a
• /
• pp.59-67
• /
• 2003

The prevention of marine accidents has been a major topic in marine society for long time and various safety policies and Countermeasures have been developed and applied to prevent those accidents. In spite of these efforts, however significant marine accidents have taken place intermittently. Ship is being operated under a highly dynamic environments and many factors are related with ship's collision and those factors are interacting. So, the analysis on ship's collision causes are very important to prepare countermeasures which will ensure the safe navigation. This study analysed the ship's collision data over the past 10 years(1991-2000), which is compiled by Korea Marine Accidents Inquiry Agency. The analysis confirmed that ‘ship's collision’ is occurred most frequently and the cause is closely related with human factor. The main purpose of this study is to propose risk control countermeasures of ship's collision. For this, the structure of human factor is analysed by the questionnaire methodology. Marine experts were surveyed based on major elements that were extracted from the human factor affecting to ship's collision. FSM has been widely adopted in modeling a dynamic system which is composed of human factors. Then, the structure analysis on the causes of ship's collision using FSM are performed. This structure model could be used in understanding and verifying the procedure of real ship's collision. Furthermore it could be used as the model to prevent ship's collision and reduce marine accidents.

• Journal of the Korean Chemical Society
• /
• v.56 no.6
• /
• pp.739-750
• /
• 2012

The purpose of this study is to analyze the cognitive demands level of the description about 'pure substance and mixture compound', 'ionic compound', 'molecule' on the 'science2' textbooks by the 2007 revised curriculum. The three types of Curriculum Analysis Taxonomy have been used to analyze the cognitive demands level of those contents on the 6 kinds of 'science2' textbooks. The first, the cognitive demand level about 'pure substance and mixture compound' on many textbooks is a late concrete operational stage because of class inclusion and hierarchical classification. And the descriptions as 'pure substance is conserved even when mixed with other pure substance' is a early formal operational stage. The second, the cognitive demand level about 'ionic compound' and 'molecule' is a early formal operational stage, because of "Formal modeling is the indirect interpretation of reality by deductive comparison from a postulated system with its own rules" and "Atoms have a structure". The third, the terms as 'ionic bonding', 'ionic compound', 'chemical formula', 'covalent bonding', 'covalent compound', and 'molecular formula' have been used on many 'science2' textbooks. Those terms would be used later on 'chemistry I' and 'chemistry II' in senior high school but not even 'science3' and 'science'.

• The KIPS Transactions:PartD
• /
• v.10D no.3
• /
• pp.471-488
• /
• 2003

A web-based information system, that is a dominant type of information systems, suffers from the “web crisis” in development and maintenance of the system. To cope with the problem, a technology of reengineering to web-based business process, which is one of web engineering, is strongly needed. In this paper, we propose a BPN(Business Process Net) model and reengineering guides along with an application example, which are used for modeling web-based business processes and migrating to web-based information system. BPN model is a type of not only a Beta-distributed stochastics Petri net, but also an executable Activity diagram. BPN is modeled by using the Use Case analysis method and the Beta-distribution. The later is used for the purpose of modeling the uncertainty of execution time and cost of a business process. BPN model and reengineering heuristics might be used as a formal common model for business process specification languages, and analysis and design method for Web-based Information system, respectively.