Computer Program Schemata and the Processes They Generate

Author

Wesselkamper, T.C.

Author_Institution

Department of Computer Science, Hunter College, City University of New York

Issue

4

fYear

1982

fDate

7/1/1982 12:00:00 AM

Firstpage

412

Lastpage

419

Abstract

This paper develops definitions for a program schema, the execution of such a program schema, and a process generated by a program schema. Results due to Hartfiel are used to characterize the cone of stochastic eigenvectors of the class of homogeneous Markov processes generated by a program schema. The stochastic behavior vector of a process generated by the same schema is shown to lie in this cone. In the case of a cyclic structured program schema, all of the vertices of the base of the cone are exactly generated by the circuits of the schema. Some directions for future work are suggested.

Keywords

Cyclic structured program; homogeneous Markov process; process; program execution; program schema; state frequency vector; state transition matrix; stochastic eigenvector; strongly connected graph; Character generation; Circuits; Computer science; Frequency; Helium; Markov processes; Stochastic processes; Virtual manufacturing; Cyclic structured program; homogeneous Markov process; process; program execution; program schema; state frequency vector; state transition matrix; stochastic eigenvector; strongly connected graph;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/TSE.1982.235575

Filename

1702963