相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU)
Roberto Posenato et al.
INFORMATION SCIENCES (2022)
CSTNU Tool: A Java library for checking temporal networks
Roberto Posenato
SOFTWAREX (2022)
Runtime Verification of Business Cloud Workflow Temporal Conformance
Haoyu Luo et al.
IEEE TRANSACTIONS ON SERVICES COMPUTING (2022)
Language-independent look-ahead for checking multi-perspective declarative process models
Martin Kaeppel et al.
SOFTWARE AND SYSTEMS MODELING (2021)
Determining temporal agreements in cross-organizational business processes
Marco Franceschetti et al.
INFORMATION AND COMPUTATION (2021)
Managing time-awareness in modularized processes
Roberto Posenato et al.
SOFTWARE AND SYSTEMS MODELING (2019)
Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes
Yanhua Du et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2019)
A modular approach to the specification and management of time duration constraints in BPMN
Carlo Combi et al.
INFORMATION SYSTEMS (2019)
Dynamic controllability via Timed Game Automata
Alessandro Cimatti et al.
ACTA INFORMATICA (2016)
Process time patterns: A formal foundation
Andreas Lanz et al.
INFORMATION SYSTEMS (2016)
Controlling Time-Awareness in Modularized Processes
Andreas Lanz et al.
ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016 (2016)
Time patterns for process-aware information systems
Andreas Lanz et al.
REQUIREMENTS ENGINEERING (2014)
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)
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)
The refined process structure tree
Jussi Vanhatalo et al.
DATA & KNOWLEDGE ENGINEERING (2009)
PREHOSPITAL TRANSPORT TIME INTERVALS FOR ACUTE STROKE PATIENTS
Prasanthi Ramanujam et al.
JOURNAL OF EMERGENCY MEDICINE (2009)