A fault-tolerant scheduling problem
IEEE Transactions on Software Engineering
Algorithms for Scheduling Imprecise Computations
Computer - Special issue on real-time systems
WIDE workflow development methodology
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
Using Little-JIL to Coordinate Agents in Software Engineering
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Little-JIL 1.0 Language Report TITLE2:
Little-JIL 1.0 Language Report TITLE2:
Exploiting Hierarchy for Planning and Scheduling TITLE2:
Exploiting Hierarchy for Planning and Scheduling TITLE2:
Logically Central, Physically Distributed Control in a Process Runtime Environment
Logically Central, Physically Distributed Control in a Process Runtime Environment
| Hi-index | 0.00 |
Process and workflow technology have traditionally not allowed for the specification of, nor run-time enforcement of, real-time requirements, despite the fact that time-to-market and other real-time constraints are more stringent than ever. Without specification of timing constraints, process designers cannot effectively reason about real-time constraints on process programs and the efficacy of their process programs in satisfying those constraints. Furthermore, without executable semantics for those timing specifications, such reasoning might not be applicable to the process as actually executed. We seek to support reasoning about the real-time requirements of software processes. In this paper, we describe work in which we have added real-time specifications to a process programming language, and in which we have added deadline timers and task scheduling to enforce the real-time requirements of processes.