In this example, the student wishes to generate an animation of how Jupiter appears from earth at different times. To do this, she/he creates a specification including the three solar system objects: the Sun, the Earth and Jupiter. Solar system objects have different positions at different times and a body is the combination of a solar system object and a time, i.e., it is the object and its position at the given time. Hence, each body it represented in the specification as three boxes with arrows connecting the boxes for each object and the boxes for each time to the boxes representing the associated bodies. After creating this much of the specification, it looks like.
It is important to note that the graphical specification editor assists the user at each step, explaining what kinds of objects may be placed in a specification at any given point and explaining what other objects must be included as a result of the inclusion of a particular object. This assistance greatly simplifies the process of constructing a specification.
Last modified: Aug. 22, 2008 by Allen Dutra.