Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: program synthesis; relational specification; Alloy. Includes bibliographical references (leaves 64-66).

Thesis (M.S. in Computer Science)--Naval Postgraduate School, March 2003. / Thesis advisor(s): Don Brutzman, Curtis L. Blais. Includes bibliographical references (p. 121-122). Also available online.

Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2003. / Thesis advisor(s): Don Brutzman, Curtis Blais. Includes bibliographical references (p. 103-104). Also available online.

This thesis discusses the ability to maintain a consistent design, simulation, and test verification environment by use of the Process Model Graph (PMG) throughout the development process. This ability extends the functionality of the PMG to include the visualization of simulation results and the verification of test paths within the simulation. These ideas have been implemented within a development tool called the Modeler's Assistant. The integration of the test generation environment into the tool is discussed. The design methodology used in creating the simulation environment is also discussed. Other enhancements to increase the abilities of the tool and improve its usefulness to behavioral test generation and verification are also discussed. Many examples of the new extentions to the tool are presented. / Master of Science

Ausgehend von dem Fokus der Ereignisrepräsentation auf die Patiens-Rolle (Personen und Objekte, die der im Ereignis stattfindenden Zustandsveränderung unterliegen) wird untersucht, ob die sich während des Ereignisses verändernden Merkmale des Patiens Bestandteil des Ereigniswissens sind und zur Repräsentation des chronologischen Verlaufs von Ereignissen beitragen. Dies wurde anhand der Bearbeitung von antonymen Adjektiven geprüft, die Anfangs- und Endmerkmale des Patiens eines zuvor dargebotenen Ereignisverbs benennen. Ausgewertet wurden behaviorale Daten und Blickbewegungen. Dabei wurden mit zeit-impliziten und zeit-expliziten Aufgaben folgende Ergebnisse erzielt: (1) Die Ereignisrepräsentation enthält sich verändernde Merkmale des Patiens. (2) Die Merkmale des Patiens werden abhängig von der angewandten Strategie (sprachliche vs. Simulationsstrategie) in einer chronologischen Abfolge mental simuliert. (3) Endmerkmale haben gegenüber Anfangsmerkmalen Priorität in der Ereignisrepräsentation. Sie sind im Ereignisverb impliziert und können so sprachlich bereitgestellt werden. (4) Die Zeiteffekte (Chronologie und Zielpräferenz) treten bereits unter automatischen Bedingungen (SOA 250 ms, zeit-implizite Aufgabe) auf. (5) Antwortstrategien wurden insbesondere durch Blickbewegungen indiziert. Antwortstrategien modifizieren die Zeiteffekte und geben Aufschluss über den Anteil der sprachlichen Verarbeitung und der Simulation. Insgesamt lässt sich aus den Untersuchungen schließen, dass die Veränderung des Patiens und damit Aspekte des zeitlichen Verlaufs von Ereignissen zur Ereignisrepräsentation gehören. Die Befundlage deutet auf ein dynamisches Zusammenspiel von sprachlichen und Simulationsprozessen bei der Repräsentation des zeitlichen Verlaufs hin. / This thesis comprises three investigations into the mental representation of events. Proceeding on the assumption that representations of events focus on the role of the patient (the person or object undergoing a change of state during the event), it is investigated whether the changing features of the patient form part of event knowledge and whether or not they contribute to the way in which the temporal progression of events is represented. The study involved time-implicit and time-explicit tasks that required participants to process antonymous adjectives denoting the source and resulting features of the patient involved in an event prime. Behavioural and eye movement data were analysed and the following results obtained: (1) The changing features of the patient form part of the representation of the event. (2) Depending on the strategy adopted (linguistic vs. simulation), patient features can be mentally simulated in chronological order. (3) Resulting features play a more prominent role in event representations than source features. Resulting features are implied by the event verb and can thus be accessed linguistically. (4) Temporal effects (preference for resulting features, effect of chronology) already occur in the automatic condition (SOA 250 ms, time-implicit tasks). (5) Response strategies are indicated by eye movements. Response strategies modify temporal effects and provide an indication of how much linguistic processing is taking place and how much simulation. All in all the investigations show that the change undergone by the patient, i.e. the aspect which expresses the temporal progression of an event, forms part of the representation of that event. The results point to a dynamic interplay of linguistic and simulation processing in the representation of temporal progression.