The semantics of Statecharts:
David Harel and Amnon Naamad.
The STATEMATE Semantics of Statecharts.
ACM Transactions on Software Engineering and Methodology. Vol. 5,
No. 4, October 1996, pp. 293-333.
Application in software process modelling:
Watts S. Humphrey and Marc I. Kellner.
Software Process Modeling: Principles of Entity Process Models.
Technical Report CMU/SEI-89-TR-002. 23 pp. February 1989.
Adding Time: Discrete Event World Views;
Gathering Statistics, Pseudo-Random Number Generators
October 29. October 31. Class presentation (pdf).
Notes (pdf).
Resources: C code
for Marse and Roberts' portable prime modulus multiplicative
linear congruential generator.
Process Interaction: GPSS
November 5. November 7. November 12.
Notes:
Geoffry Gordon. System Simulation. Prentice Hall. Second
Edition. 1996. Chapters 9-10.
The Modelling, Simulation, and Design lab's
meta-modelling tool
ATOM3
allows you to graphically build GPSS models and automatically
generate the corresponding textual representation.
Thomas J. Schriber. Simulation Using GPSS. Wiley, 1974.
The ultimate GPSS reference text.
G. Birtwistle and C. Tofts.
Operational Semantics of
Process-oriented Simulation Languages. Part 1:
pDemos. Transactions of the Society for Computer Simulation,
10(4). July 1994. pp. 299-333.
(gzip'd PostScript)
DEVS, the Discrete Event System Specification
November 14. November 19.
Class presentation (pdf).
Notes (pdf).