Miao Xia

Graduation Semester and Year

1993

Language

English

Document Type

Thesis

Degree Name

Master of Science in Computer Science

Department

Computer Science and Engineering

First Advisor

Stephen Hufnagel

Abstract

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.

Keywords

Scenario-based Engineering Process (SEP), Event digraphs, Scenario Event Order (SEO)

Disciplines

Computer Sciences | Physical Sciences and Mathematics

Comments

Degree granted by The University of Texas at Arlington

Download

Share

COinS