Temporal Reasoning in Workflow Systems

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Distributed and parallel databases

• Publication date

  2002-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1023/A:1014048800604
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Time Granularities in Databases, Data Mining, and Temporal Reasoning

  2000cited by this paper
• Time Constraints in Workflow Systems

  1999influential reference
• Symbolic representation of user-defined time granularities

  1999influential reference
• Conceptual Workflow Model

  1999cited by this paper
• A general framework for time granularity and its application to temporal reasoning

  1998cited by this paper
• Satisfiability of Quantitative Temporal Constraints with Multiple Granularities

  1997influential reference
• A Glossary of Time Granularity Concepts

  1997influential reference
• Introduction to algorithms

  1996cited by this paper
• Experiences with workflow management: issues for the next generation

  1994cited by this paper
• The workflow Reference Model

  1994influential reference
• Temporal Reasoning for Automated Workflow in Health Care Enterprises

  1994influential reference
• A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints

  1993influential reference
• Dynamic scheduling—a survey of research

  1993influential reference
• Using temporal hierarchies to efficiently maintain large temporal databases

  1989influential reference
• Temporal Constraint Networks

  1989influential reference
• The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems

  1985influential reference

• Resolving Conflicts in Process Models with Temporal Constraints

  2022cites this paper
• Determining temporal agreements in cross-organizational business processes

  2021cites this paper
• Semi-contingent Task Durations: Characterization and Controllability

  2021cites this paper
• Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk)

  2021cites this paper
• Extensible ontology-based views for business process models

  2021cites this paper
• Conditional Schedules for Processes with Temporal Constraints

  2020cites this paper
• Advanced Information Systems Engineering: CAiSE Forum 2020, Grenoble, France, June 8–12, 2020, Proceedings

  2020influential citation
• Towards modelling and analyzing timed workflow systems with complex synchronizations

  2020cites this paper
• Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8–9, 2020, Proceedings

  2020cites this paper
• A discrete event model for analysis and verification of time‐constrained business processes

  2020cites this paper
• On Specifying and Analysing Domain Ontologies for Workflows in "Binary Model of Knowledge"

  2020cites this paper
• Designing Decentralized Business Processes with Temporal Constraints

  2020cites this paper
• Negotiating Temporal Commitments in Cross-Organizational Business Processes

  2020cites this paper
• Scheduling Processes Without Sudden Termination

  2020cites this paper
• Conditional Simple Temporal Networks with Uncertainty and Resources

  2019cites this paper
• Computing History-Dependent Schedules for Processes with Temporal Constraints

  2019cites this paper
• Towards Checking Dynamic Controllability of Processes with Temporal Loops

  2019cites this paper
• Temporal and Resource Controllability of Workflows Under Uncertainty

  2019cites this paper
• Computing Ranges for Temporal Parameters of Composed Web Services

  2019cites this paper
• Controllability of business processes with temporal variables

  2019cites this paper
• Expressiveness of Temporal Constraints for Process Models

  2018cites this paper
• Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning

  2018cites this paper
• Managing time-awareness in modularized processes

  2018influential citation
• The time model for event processing in internet of things

  2018cites this paper
• GSM+T: A Timed Artifact-Centric Process Model

  2018cites this paper
• C C ] 1 5 A pr 2 01 7 Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games Hardness and ( pseudo ) Singly-Exponential Time Algorithm

  2018cites this paper
• Controllability of Orchestrations with Temporal SLA: Encoding Temporal XOR in CSTNUD

  2018cites this paper
• Advances in Conceptual Modeling: ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings

  2018influential citation
• Dynamic temporal constraints in business processes

  2017influential citation
• Controlled violation of temporal process constraints - Models, algorithms and results

  2017cites this paper
• Adaptive time- and process-aware information systems

  2017influential citation
• European Conference on Information Systems ( ECIS ) Summer 10-6-2011 WORKFLOW SUPPORT FOR SCHEDULING IN SURGICAL CARE PROCESSES

  2017cites this paper
• Complexity in Infinite Games on Graphs and Temporal Constraint Networks. (Complexité dans les Jeux Infinis sur les Graphes et les Réseaux de Contraintes Temporelles)

  2017cites this paper
• PN modeling of discrete event systems with temporal constraints

  2017cites this paper
• Incorporating Decision Nodes into Conditional Simple Temporal Networks

  2017cites this paper
• Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

  2016cites this paper
• Process time patterns: A formal foundation

  2016influential citation
• Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm)

  2016cites this paper
• Managing Controlled Violation of Temporal Process Constraints

  2015cites this paper
• Hyper temporal networks

  2015influential citation
• Navigating in complex process model collections

  2015cites this paper
• Category I : Durations and Time Lags TP 1 Time Lags between two Activities TP 2 Durations

  2014influential citation
• Evaluation of trade-offs between workflow escalation strategies

  2014cites this paper
• On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes

  2014cites this paper
• Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models

  2014cites this paper
• The temporal perspective in business process modeling: a survey and research challenges

  2014cites this paper
• Time patterns for process-aware information systems

  2014influential citation
• Analyzing the Impact of Process Change Operations on Time-Aware Processes

  2014influential citation
• Dealing with Changes of Time-Aware Processes

  2014influential citation
• A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games

  2014cites this paper
• Enabling Time-Aware Process Support with the ATAPIS Toolset

  2014cites this paper
• Expanding and refining workflow time patterns

  2013cites this paper
• Workflow Time Management Revisited

  2013cites this paper
• Using motivation and choreography to model distributed workflow

  2013cites this paper
• Enabling Personalized Process Schedules with Time-Aware Process Views

  2013cites this paper
• A formal semantics of time patterns for process-aware information systems

  2013influential citation
• A Survey on Time-aware Business Process Modeling

  2013cites this paper
• Enterprise, Business-Process and Information Systems Modeling

  2013cites this paper
• Incremental service level agreements violation handling with time impact analysis

  2013cites this paper
• Controllability of Time-Aware Processes at Run Time

  2013influential citation
• A knowledge-based formalization of UBL processes using hybrid programs

  2012cites this paper
• Modelling temporal, data-centric medical processes

  2012cites this paper
• The Dynamic Controllability of Conditional STNs with Uncertainty

  2012influential citation
• Temporal-aware service level agreement management for service-based systems

  2012cites this paper
• A proposal for a global task planning architecture using the RoboEarth cloud based framework

  2012cites this paper
• PlanEx 2012

  2012cites this paper
• From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation

  2012cites this paper
• On the complexity of temporal controllabilities for workflow schemata

  2012cites this paper
• A Survey on Approaches for Timed Services

  2012cites this paper
• Conceptual modeling of flexible temporal workflows

  2012cites this paper
• Motivation and Guaranteed Completion in Workflow

  2012cites this paper
• Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets

  2011cites this paper
• Workflow support for the healthcare domain

  2011cites this paper
• Timed Web Services Analysis after Removing Complex Implicit Transitions

  2011cites this paper
• Compliance of Web services over a high level specification. (Conformité de services Web par rapport à des spécifications de haut niveau)

  2011cites this paper
• Time Patterns in Workflow Management Systems

  2011influential citation
• BPEL-TIME - WS-BPEL Time Management Extension

  2011cites this paper
• On optimising resource planning for business processes

  2011cites this paper
• Controlling Development Processes

  2011cites this paper
• Workflow Time Patterns for Process-Aware Information Systems

  2010cites this paper
• Towards Temporal Controllabilities for Workflow Schemata

  2010influential citation
• Schedule-Aware Workflow Management Systems

  2010cites this paper
• Analysis and applications of timed service protocols

  2010influential citation
• Ontology modeling of UBL process diagrams using OWL

  2010cites this paper
• Knowledge Management in Economic Intelligence with Reasoning on Temporal Attributes

  2009cites this paper
• An integrated time management model for distributed workflow management systems in Grid environments

  2009cites this paper
• Controllability in Temporal Conceptual Workflow Schemata

  2009influential citation
• Constraints-Aware Scheduling for Transactional Services Composition

  2009cites this paper
• A QoS-based service retrieval methodology for digital ecosystems

  2009cites this paper
• Adaptive workflow processing and execution in Pegasus

  2009cites this paper
• Simulation-Based Evaluation of Workflow Escalation Strategies

  2009cites this paper
• Process-Aware Information System Development for the Healthcare Domain - Consistency, Reliability, and Effectiveness

  2009cites this paper
• Time Patterns for Process-aware Information Systems: A Pattern-based Analysis - Revised version

  2009influential citation
• Model based analysis of Time-aware Web service interactions

  2008cites this paper
• WdCM: a workday calendar model for workflows in service grid environments

  2008cites this paper
• QoS-Aware Scheduling of Web Services

  2008cites this paper
• Efficient access control for service-oriented IT infrastructures: enabling secure distributed service compositions

  2008cites this paper
• Process-oriented organisation modelling and analysis

  2008cites this paper
• Utilisation Organisational Concepts and Temporal Constraints for Workflow Optimisation

  2008cites this paper
• On Computer-Aided Methods for Modeling and Analysis of Organizations

  2008cites this paper