Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper

Abstract. Process and workflow technology have traditionally not al-lowed for the specication 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 specication of timing constraints, process designers cannot eectively reason about real-time constraints on process programs and the ecacy of their process pro-grams in satisfying those constraints. Furthermore, without executable semantics for those timing specications, such reasoning might not be applicable to the process as actually executed. We seek to support rea-soning about the real-time requirements of software processes. In this paper, we describe work in which we have added real-time specications to a process programming language, and in which we have added dead-line timers and task scheduling to enforce the real-time requirements of processes.