3,294 Hits in 10.4 sec

Security for Workflow Systems

Vijay Atluri
2001 Information Security Technical Report  
This is not feasible unless there exists a security system that authorizes an individual in synchronization with the progression of workflow.  ...  In this fashion, WAM synchronizes the authorization flow with the progression of the workflow.  ... 
doi:10.1016/s1363-4127(01)00207-2 fatcat:ivpa5blkgzcbvbo34pou5fmw4e

AgentWork: a workflow system supporting rule-based workflow adaptation

Robert Müller, Ulrike Greiner, Erhard Rahm
2004 Data & Knowledge Engineering  
We present the concepts and implementation of AGENT GENTWO RK OR K, a workflow management system supporting automated workflow adaptations in a comprehensive way.  ...  This helps to ensure that necessary adaptations are performed in time with minimal user interaction which is especially valuable in complex applications such as for medical treatments.  ...  In addition to value constraints on these objects we also support temporal constraints, in particular to specify the currentness of input data.  ... 
doi:10.1016/j.datak.2004.03.010 fatcat:4cmeyufa5rhpvnojyrjyrg53ea

Optimization of Multi-Agent Workflow for Human-Robot Collaboration in Assembly Manufacturing

Ronald Wilcox, Julie Shah
2012 Infotech@Aerospace 2012  
This formulation is then expanded to optimize the workflow of a team of robots according to a set of qualitative and quantitative spatial and temporal constraints and performance objectives.  ...  We describe the Adaptive Preferences Algorithm that computes the optimal flexible scheduling policy for task completion that meets hard temporal constraints.  ...  Figure 4 . 4 The effect on compilation time of temporal constraints for plans with 10 workpackages with 2 and 4 agents.  ... 
doi:10.2514/6.2012-2535 dblp:conf/itaero/WilcoxS12 fatcat:2vxxyfl7enc2ner2sctmyfmrgq

Rule-Based Dynamic Modification of Workflows in a Medical Domain [chapter]

R. Müller, E. Rahm
1999 Informatik aktuell  
However, this functionality is a major requirement for next-generation systems in order to provide sufficient flexibility to cope with unexpected situations and failures.  ...  A major limitation of current workflow systems is their lack of supporting dynamic workflow modifications.  ...  Currently, we use user-defined "temporal" objects to express heuristic temporal constraints, but a more explicit system-supported approach by using temporal databases in connection with temporal logic  ... 
doi:10.1007/978-3-642-60119-4_26 dblp:conf/btw/MullerR99 fatcat:4dk2vllfjva2vj435csj4ebun4

Dealing with Logical Failures for Collaborating Workflows [chapter]

R. Müller, E. Rahm
2000 Lecture Notes in Computer Science  
In particular, we estimate the temporal and qualitative implications a dynamic adaptation has for collaboration partners.  ...  We propose a rule-based approach for dynamic workflow adaptation to deal with logical failures.  ...  Relevant failures causing agreed-on temporal and qualitative constraints to be violated are immediately communicated to affected collaborating workflow systems.  ... 
doi:10.1007/10722620_21 fatcat:qzzal4z5gnh6vi7xarahzlkvz4

Conceptual Modeling of Temporal Clinical Workflows

Carlo Combi, Matteo Gozzi, Jose M. Juarez, Barbara Oliboni, Giuseppe Pozzi
2007 14th International Symposium on Temporal Representation and Reasoning (TIME'07)  
The diffusion of clinical guidelines to describe the proper way to deal with patients' situations is spreading out and opens new issues in the context of modeling and managing (temporal) information about  ...  In this paper, we propose a general conceptual workflow model, considering both activities and their temporal properties, and focus on the representation of clinical guidelines by the proposed model.  ...  constraint is consistent with each workflow path (or with most paths of the schema).  ... 
doi:10.1109/time.2007.45 dblp:conf/time/CombiGJOP07 fatcat:pt24hvnd6fc6hjc4wdbylwr2sy

Advanced workflow management technologies

Gregory Alan Bolcer, Richard N. Taylor
1998 Software Process: Improvement and Practice  
Process, workflow, and groupware projects both in the commercial and research worlds have each approached the problem of human communication and coordination with different sets of tools and technologies  ...  Activity dependencies and the philosophical assumptions about how work is performed are managed differently in each discipline.  ...  The authors would like to acknowledge the members of the UCI EDCS projects, particularly Roy Fielding, Jim Whitehead, Ken Anderson, Peyman Oreizy, and Rohit Khare in addition to the Endeavors project team  ... 
doi:10.1002/(sici)1099-1670(199809)4:3<125::aid-spip100>;2-j fatcat:qvpqnaalrncevepn4psozu7syy

Specification and validation of process constraints for flexible workflows

Shazia W. Sadiq, Maria E. Orlowska, Wasim Sadiq
2005 Information Systems  
In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control.  ...  Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for  ...  Acknowledgements The work reported in this paper has been funded in part by the Cooperative Research Centres Program through the Department of the Prime Minister and Cabinet of the Commonwealth Government  ... 
doi:10.1016/ fatcat:bp4yop6fnbah5a5ep76627ukbm

Conceptual modeling of flexible temporal workflows

Carlo Combi, Matteo Gozzi, Roberto Posenato, Giuseppe Pozzi
2012 ACM Transactions on Autonomous and Adaptive Systems  
Currently available Workflow Management Systems (WfMS) and research prototypes offer a very limited support for the definition, detection, and management of temporal constraints over business processes  ...  for workflow schemata at process design time: since a time constraint can be satisfied in different ways, we propose a classification of temporal workflows according to the way time constraints are satisfied  ...  or for transmission to the (human) agents involved with workflow execution.  ... 
doi:10.1145/2240166.2240169 fatcat:qe4fapvz3fg7ld5mymwbnwpnge

A Summary of the ER'97 Workshop on Behavioral Modeling [chapter]

Stephen W. Liddle, Stephen W. Clyde, Scott N. Woodfield
1999 Lecture Notes in Computer Science  
This paper summarizes the contributions of the Behavioral Modeling workshop and suggests directions for future research in behavioral modeling.  ...  Look at specific domains -try our theoretical ideas in practice. Work on different categories of transformations: specification to design, design to implementation, etc.  ...  We also discussed open research issues, and the following directions of investigation with respect to behavioral modeling were suggested: We need better tool support at various conceptual levels (e.g.,  ... 
doi:10.1007/3-540-48854-5_20 fatcat:ocot4tiuhvfgzbkbq2bm5hkfmi

An Agent-Based Coordination Model on Workflow Databases [chapter]

Takeo Kunishima, Kazumasa Yokota
1998 OOIS'97  
However, as workflow management systems have several heterogeneities like heterogeneity about agents, spatial heterogeneity, temporal heterogeneity, etc., collaboration model for workflow management should  ...  These modeling give semantics of agents in Workflow Base, previously proposed formal workflow database model based on object-oriented data model, as coordination entities.  ...  There have been some approaches: an arithmetic calculator in Prolog and a constraint logic programming language with a single constraint solver.  ... 
doi:10.1007/978-1-4471-1525-0_30 dblp:conf/oois/KunishimaY97 fatcat:fgtf5kts2fhj5jb5vd3phdcgci

Formal modeling and analysis of complex software

Faiza Belala, Ramdane Maamri
2020 Journal of King Saud University: Computer and Information Sciences  
The accepted papers offer for people, who are interested in the subjects of wireless mesh network and some communication protocols, test data or case generation, workflow systems, data extraction in Big  ...  Soumiya Ain El Hayat, Fouad Toufik and Mohamed Bahaj present in the contribution: UML/OCL based Design and the transition towards Temporal Object Relational Database with Bitemporal Data, a UML extension  ...  Nowadays, workflow systems are becoming very complex, involving time constraints, priorities on tasks as well as elaborated synchronization schemes.  ... 
doi:10.1016/j.jksuci.2020.04.021 fatcat:7q4nskaarzgire22f433elcceq

Process-oriented organisation modelling and analysis

Viara Popova, Alexei Sharpanskykh
2008 Enterprise Information Systems  
This paper describes automated formal techniques for establishing correctness of organisational specifications with respect to a set of diverse constraint types.  ...  sorted predicate logic language used for specification allows representing a wide range of process-related concepts (e.g. tasks, processes, resources), characteristics and relations, which are described in  ...  Workflow structural constraints With respect to the workflow we define a set of structural constraints: structural correctness, temporal correctness and condition correctness constraints.  ... 
doi:10.1080/17517570802072795 fatcat:mgfq2fponva5jbzssbiki3htnm

Timing constraint workflow nets for workflow analysis

JianQiang Li, YuShun Fan, MengChu Zhou
2003 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
To specify the timing constraints, WorkFlow net [1] is extended with time information, leading to Timing Constraint WorkFlow net (TCWF-net).  ...  This paper points out the relevant problems in the verification and analysis of a workflow model.  ...  it is feasible to execute a workflow with specified temporal constraints.  ... 
doi:10.1109/tsmca.2003.811771 fatcat:iex4jjjwabf7vilygave5jy3sa

Automated Situation-Aware Service Composition in Service-Oriented Computing

S.S. Yau, H. Davulcu, S. Mukhopadhyay, D. Huang, H. Gong, P. Singh, F. Gelgi
2007 International Journal of Web Services Research  
Agent 1 || Agent �� is satisfied in the system.  ...  Bars with the same color have the same number of constraints sMtWt in the interval (Yau, S.S., et al. (2006, September). Automated agent synthesis for situation awareness in service-based systems.  ...  representing situation-Aware Workflow Agents Using α-calculus To enable the automated synthesis of situationaware workflow agents, we use α-calculus as the programming model for agents to develop a deductive  ... 
doi:10.4018/jwsr.2007100103 fatcat:xdjafatqzzc43ahxhonjjxodsm
« Previous Showing results 1 — 15 out of 3,294 results