Monitoring Call activity and Service Task Invocations for BPMN

Author(s):  
Worranut Duangkeaw ◽  
Taratip Suwannasart
Keyword(s):  
2005 ◽  
Author(s):  
Barbara Barrett ◽  
James Kimsey ◽  
Arnold Punaro ◽  
Dov Zakheim ◽  
Henry Dreifus ◽  
...  

Author(s):  
KIAM TIAN SEOW ◽  
MICHEL PASQUIER

This paper proposes a new logical framework for vehicle route-sequence planning of passenger travel requests. Each request is a fetch-and-send service task associated with two request-locations, namely, a source and a destination. The proposed framework is developed using propositional linear time temporal logic of Manna and Pnueli. The novelty lies in the use of the formal language for both the specification and theorem-proving analysis of precedence constraints among the location visits that are inherent in route sequences. In the framework, legal route sequences—each of which visits every request location once and only once in the precedence order of fetch-and-send associated with every such request—is formalized and justified, forming a basis upon which the link between a basic precedence constraint and the corresponding canonical forbidden-state formula is formally established. Over a given base route plan, a simple procedure to generate a feasible subplan based on a specification of the forbidden-state canonical form is also given. An example demonstrates how temporal logic analysis and the proposed procedure can be applied to select a final (feasible) subplan based on additional precedence constraints.


1983 ◽  
pp. 125-141
Author(s):  
Miles L. Patterson
Keyword(s):  

Author(s):  
Péter Telek

Abstract In these days, the maintenance process, as a part of the operation of manufacturing systems, is also developing while following the changes in the production area. Maintenance, in many of the cases, is operating as an individual service task, which requires many changes from the related handling processes. To follow the changes and the development in the field of the maintenance, we need many new concepts, methods and ideas. Main objective of our research was to uncover the relations between the effectivity of the maintenance processes and the material handling parameters. In this paper, we summarise the development of the maintenance processes and give an overview about the topical handling tasks, which must be solved.


2018 ◽  
Vol 49 (2) ◽  
pp. 319-334 ◽  
Author(s):  
Hao Wu ◽  
Xiaojian Wu ◽  
Qing Ma ◽  
Guohui Tian

PEDIATRICS ◽  
1987 ◽  
Vol 79 (6) ◽  
pp. 1049-1050
Author(s):  
RALPH E. KAUFFMAN ◽  
ROBERT J. ROBERTS

The search for causes of Reye syndrome has resulted in colorful, if not controversial, incrimination of numerous factors including influenza, varicella, environmental toxins, aflotoxin, inherited metabolic defects, and various medications. Attempts to associate salicylates with Reye syndrome date from the 1960s1-3; most of these reports lacked sufficient design, conduct, or controls to implicate or exclude aspirin as a risk factor. Since 1980, several epidemiologic studies4-6 renewed concern and controversy regarding the role of aspirin in Reye syndrome. As a result, a Public Health Service Task Force was formed which culminated in the Centers for Disease Control/National Academy of Sciences pilot study7 which was designed to address the problems and shortcomings identified in the previous efforts to examine the role of aspirin as a causal factor in Reye syndrome.


Sign in / Sign up

Export Citation Format

Share Document