• Title, Summary, Keyword: event control process

Search Result 152, Processing Time 0.042 seconds

LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns

  • Peng, Han;Du, Chenglie;Rao, Lei;Liu, Zhouzhou
    • Journal of Information Processing Systems
    • /
    • v.15 no.3
    • /
    • pp.570-592
    • /
    • 2019
  • The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

Design and Specification of a Low-Level Control Software for an FMC Using Supervisory Control Theory

  • Kim, Sang-Kyun;Park, Jong-Hun;Park, Namkyu;Park, Jin-Woo
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.20 no.2
    • /
    • pp.159-178
    • /
    • 1995
  • Supervisory control is an approach based on formal language. it is used to model and control discrete event systems in which each discrete event process is represented as an automation. A supervisor is a generator that switches control patterns in such a way that a given discrete evenet process behaves in obedience to various constraints. A flexible manufacturing cell (FMC) is one of discrete evenet systems. Functions necessary for the operation of an FMC are characterized by operational components and informational compoments. The operational components can be modeled using the finite state machines and the informational components can be modeled using the abstract formalism which describes supporting operations of the cell controller. In this paper, we addressed function required for FMC control specification, software engineering aspects on FMC control based on supervisory control, a concept of event queue for resolving synchronization problem, and complexity reduction. Based on the mathematical model of an FMC. we synthesized the controller by integrating a supervisor for FMC with control specification that specifies event-driven operation of the cell controller. The proposed control scheme is stable mathematically so that the system always behaves on a controlled way even under the existence of uncontrollable events. Furthermore, using an event queue concept, we can solve a synchronization problem caused by the violation of instantaneity assumption of supervisory control theory in real life situation. And also, we can propotype a control software rapidly due to the modularity of the proposed control scheme.

  • PDF

Discovering Redo-Activities and Performers' Involvements from XES-Formatted Workflow Process Enactment Event Logs

  • Pham, Dinh-Lam;Ahn, Hyun;Kim, Kwanghoon Pio
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.13 no.8
    • /
    • pp.4108-4122
    • /
    • 2019
  • Workflow process mining is becoming a more and more valuable activity in workflow-supported enterprises, and through which it is possible to achieve the high levels of qualitative business goals in terms of improving the effectiveness and efficiency of the workflow-supported information systems, increasing their operational performances, reducing their completion times with minimizing redundancy times, and saving their managerial costs. One of the critical challenges in the workflow process mining activity is to devise a reasonable approach to discover and recognize the bottleneck points of workflow process models from their enactment event histories. We have intuitively realized the fact that the iterative process pattern of redo-activities ought to have the high possibility of becoming a bottleneck point of a workflow process model. Hence, we, in this paper, propose an algorithmic approach and its implementation to discover the redo-activities and their performers' involvements patterns from workflow process enactment event logs. Additionally, we carry out a series of experimental analyses by applying the implemented algorithm to four datasets of workflow process enactment event logs released from the BPI Challenges. Finally, those discovered redo-activities and their performers' involvements patterns are visualized in a graphical form of information control nets as well as a tabular form of the involvement percentages, respectively.

Tailoring Operations based on Relational Algebra for XES-based Workflow Event Logs

  • Yun, Jaeyoung;Ahn, Hyun;Kim, Kwanghoon Pio
    • Journal of Internet Computing and Services
    • /
    • v.20 no.6
    • /
    • pp.21-28
    • /
    • 2019
  • Process mining is state-of-the-art technology in the workflow field. Recently, process mining becomes more important because of the fact that it shows the status of the actual behavior of the workflow model. However, as the process mining get focused and developed, the material of the process mining - workflow event log - also grows fast. Thus, the process mining algorithms cannot operate with some data because it is too large. To solve this problem, there should be a lightweight process mining algorithm, or the event log must be divided and processed partly. In this paper, we suggest a set of operations that control and edit XES based event logs for process mining. They are designed based on relational algebra, which is used in database management systems. We designed three operations for tailoring XES event logs. Select operation is an operation that gets specific attributes and excludes others. Thus, the output file has the same structure and contents of the original file, but each element has only the attributes user selected. Union operation makes two input XES files into one XES file. Two input files must be from the same process. As a result, the contents of the two files are integrated into one file. The final operation is a slice. It divides anXES file into several files by the number of traces. We will show the design methods and details below.

Enhancement of Internal Control by expanding Security Information Event Management System

  • Im, DongSung;Kim, Yongmin
    • Journal of the Korea Society of Computer and Information
    • /
    • v.20 no.8
    • /
    • pp.35-43
    • /
    • 2015
  • Recently, internal information leaks is increasing rapidly by internal employees and authorized outsourcing personnel. In this paper, we propose a method to integrate internal control systems like system access control system and Digital Rights Managements and so on through expansion model of SIEM(Security Information Event Management system). this model performs a analysis step of security event link type and validation process. It develops unit scenarios to react illegal acts for personal information processing system and acts to bypass the internal security system through 5W1H view. It has a feature that derives systematic integration scenarios by integrating unit scenarios. we integrated internal control systems like access control system and Digital Rights Managements and so on through expansion model of Security Information Event Management system to defend leakage of internal information and customer information. We compared existing defense system with the case of the expansion model construction. It shows that expanding SIEM was more effectively.

Hybrid System Modeling and Control for Path Planning and Autonomous Navigation of Wheeled Mobile Robots (차륜형 이동로봇의 경로 계획과 자율 주행을 위한 하이브리드 시스템 모델과 제어)

  • Im, Mi-Seop;Im, Jun-Hong
    • The Transactions of the Korean Institute of Electrical Engineers D
    • /
    • v.49 no.1
    • /
    • pp.33-40
    • /
    • 2000
  • In this paper, an integrated method for the path planning and motion control of wheeled mobile robots using a hybrid system model and control is presented. The hybrid model including the continuous dynamics and discrete dynamics with the continuous and discrete state vector is derived for a two wheel driven mobile robot. The architecture of the hybrid control system for real time path planning and following is designed which has the 3-layered hierarchical structure : the discrete event system using the digital automata as the higher process, the continuous state system for the wheel velocity controls as the lower process, and the interface system as the interaction process between the continuous system as the low level and the discrete event system as the high level. The reference motion commands for autonomous navigation are generated by the abstracted motion in the discrete event system. The motion control tasks including the feasible path planning and autonomous motion control with various initial conditions are investigated as the applications by the simulation studies.

  • PDF

Mining Social Networks from business process log (비즈니스 프로세스 수행자들의 Social Network Mining에 대한 연구)

  • Song, Min-Seok;Aalst, W.M.P Van Der;Choe, In-Jun
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • /
    • pp.544-547
    • /
    • 2004
  • Current increasingly information systems log historic information in a systematic way. Not only workflow management systems, but also ERP, CRM, SCM, and B2B systems often provide a so-called 'event log'. Unfortunately, the information in these event logs is rarely used to analyze the underlying processes. Process mining aims at improving this problem by providing techniques and tools for discovering process, control, data, organizational, and social structures from event logs. This paper focuses on the mining social networks. This is possible because event logs typically record information about the users executing the activities recorded in the log. To do this we combine concepts from workflow management and social network analysis. This paper introduces the approach and presents a tool to mine social networks from event logs.

  • PDF

A study on the development of standard-time receiving device for process computer (공정용 컴퓨터를 위한 표준시각 수신장치 개발에 관한 연구)

  • 홍용표;손창호
    • 제어로봇시스템학회:학술대회논문집
    • /
    • /
    • pp.385-389
    • /
    • 1988
  • PCS(Process Computer System) is installed to monitor various kinds of process parameters in Power Plant and networked for synthetic monitor and event analysis in all site. But when an event is occured sequentially or simultaneously among the plants, it is difficult to analyze it because of different Stardard-Time in each plant. Standard-Time Receiving Device is developed to solve this problem and development procedure is described here.

  • PDF

A study on the development of standard-time receiving device for process computer (공정용 컴퓨터를 위한 표준시각 수신장치 개발에 관한 연구)

  • 홍용표;손창호
    • 제어로봇시스템학회:학술대회논문집
    • /
    • /
    • pp.592-596
    • /
    • 1988
  • PCS(Process Computer System) is installed to monitor various kinds of process parameters in Power Plant and networked for synthetic monitor and event analysis in all site. But when an event is occured sequentially or simultaneously among the plants, it is difficult to analyze it because of different Standard-Time in each Plant. Standard-Time Receiving Device is developed to solve this problem and development procedure is descried here.

  • PDF

Effects of Physical Parameterizations on the Simulation of a Snowfall Event over Korea Caused by Air-mass Transformation (기단변질형 한반도 강설 모의에 있어서 물리과정 모수화 과정의 효과)

  • Seol, Kyung-Hee;Hong, Song-You
    • Atmosphere
    • /
    • v.16 no.3
    • /
    • pp.203-213
    • /
    • 2006
  • The objective of this paper is to investigate the effects of physical parameterization on the simulation of a snowfall event over Korea caused by air-mass transformation by using the PSU/NCAR MM5. A heavy snowfall event over Korea during 3-5 January 2003 is selected. In addition to the control experiments employing simple-ice microphysics scheme, MRF PBL scheme, and original surface layer process, three consequent physics sensitivity experiments are performed. Each experiment exchanges microphysics (Reisner Graupel), boundary layer (YSU PBL) schemes, and revised surface layer process with a reduced thermal roughness length for the control run. The control run reproduces an overall pattern of snowfall over Korea, but with a high bias by a factor of about 2. As revealed in the previous studies, the cloud microphysics and PBL parameterizations do not show a significant sensitivity for the case of snowfall. A more sophisticated cloud processes does not reveal a discernible effect on the simulated snowfall. Further, high bias in snowfall is exaggerated when a more realistic PBL scheme is employed. On the other hand, it is found that the revised surface layer process plays a role in improving the prediction of snowfall by reducing it. Thus, it is found that a realistic design of surface layer physics in mesoscale models is an important factor to the reduction of systematic bias of the snowfall over Korea that is caused by air-mass transformation over the Yellow sea.