文摘
This thesis extends scenarios of a system into real-time event digraphs. A scenario is an event trace resulting from a particular thread of system execution. An event digraph is an event network. Multiple external stimuli result in a wave of execution in distributed and parallel architecture. A graph theoretic formal definition for event digraphs is developed with the finite sets of events and the scenario event order SEO). A scenario language is developed from the event digraph. In modeling an event digraph,we introduce the frontier expansion mechanism which let the users and the developers go around the question if this is the last occurrence,what will be the next? The behavior of event digraphs is specified with the input and output of nodes and the event dictionary. The occurrences of events in event graphs are specified with the token.