☆ 4.5 Article

Flexible temporal constraint management in modularized processes

INFORMATION SYSTEMS (2023)

相关参考文献

注意：仅列出部分参考文献，下载原文获取全部文献信息。

Article Computer Science, Information Systems

Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU)

Roberto Posenato et al.

Summary: FTNU is a flexible simple temporal network that represents temporal constraints between time-points, with some points being contingent. To ensure controllability of all time-points under system control, a new constraint-propagation algorithm is proposed to determine the right guarded ranges, allowing the system to exploit the potential flexibility of the network.

INFORMATION SCIENCES (2022)

添加到收藏夹

Article Computer Science, Software Engineering

CSTNU Tool: A Java library for checking temporal networks

Roberto Posenato

Summary: This paper presents CSTNU Tool, a Java library for representing and checking temporal constraint networks. The tool offers optimized implementation of constraint-propagation algorithms for checking dynamic consistency/controllability of different types of temporal networks.

SOFTWAREX (2022)

添加到收藏夹

Article Computer Science, Information Systems

Runtime Verification of Business Cloud Workflow Temporal Conformance

Haoyu Luo et al.

Summary: This article proposes a new approach to automatically verify the temporal conformance of parallel workflow instances in a cloud environment. Instead of using response time, workflow throughput is employed as the performance measurement to efficiently monitor a large number of parallel workflow instances. The proposed strategy takes into account the effect of time delay propagation in cloud workflow systems to accurately verify workflow runtime temporal conformance.

IEEE TRANSACTIONS ON SERVICES COMPUTING (2022)

添加到收藏夹

Article Computer Science, Software Engineering

Language-independent look-ahead for checking multi-perspective declarative process models

Martin Kaeppel et al.

Summary: Declarative process modelling languages are suitable for knowledge-intensive processes but can be hard to understand, impacting modeling and maintenance. Prediction techniques help understand the consequences of decisions and provide recommendations to process participants. The simulation-based approach transforms the problem into a SAT problem to generate process trajectories that either satisfy or violate the specification.

SOFTWARE AND SYSTEMS MODELING (2021)

添加到收藏夹

Article Computer Science, Theory & Methods

Determining temporal agreements in cross-organizational business processes

Marco Franceschetti et al.

Summary: This paper presents a comprehensive methodology for modeling and checking the temporal aspects of cross-organizational business processes, and supporting the reaching and checking of temporal agreements.

INFORMATION AND COMPUTATION (2021)

添加到收藏夹

Article Computer Science, Software Engineering

Managing time-awareness in modularized processes

Roberto Posenato et al.

SOFTWARE AND SYSTEMS MODELING (2019)

添加到收藏夹

Article Automation & Control Systems

Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes

Yanhua Du et al.

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2019)

添加到收藏夹

Article Computer Science, Information Systems

A modular approach to the specification and management of time duration constraints in BPMN

Carlo Combi et al.

INFORMATION SYSTEMS (2019)

添加到收藏夹

Article Computer Science, Information Systems

Dynamic controllability via Timed Game Automata

Alessandro Cimatti et al.

ACTA INFORMATICA (2016)

添加到收藏夹

Article Computer Science, Information Systems

Process time patterns: A formal foundation

Andreas Lanz et al.

INFORMATION SYSTEMS (2016)

添加到收藏夹

Proceedings Paper Computer Science, Information Systems

Controlling Time-Awareness in Modularized Processes

Andreas Lanz et al.

ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016 (2016)

添加到收藏夹

Article Computer Science, Information Systems

Time patterns for process-aware information systems

Andreas Lanz et al.

REQUIREMENTS ENGINEERING (2014)

添加到收藏夹

Article Automation & Control Systems

Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways

Carlo Combi et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2014)

添加到收藏夹

Article Business

Reflections on the modularity of business process models The case for introducing the aspect-oriented paradigm

Claudia Cappelli et al.

BUSINESS PROCESS MANAGEMENT JOURNAL (2010)

添加到收藏夹

Article Computer Science, Artificial Intelligence

The refined process structure tree

Jussi Vanhatalo et al.

DATA & KNOWLEDGE ENGINEERING (2009)

添加到收藏夹

Article Emergency Medicine

PREHOSPITAL TRANSPORT TIME INTERVALS FOR ACUTE STROKE PATIENTS

Prasanthi Ramanujam et al.

JOURNAL OF EMERGENCY MEDICINE (2009)

添加到收藏夹

© Peeref 2019-2024. All rights reserved.