Goal Model for Dynamic Systems (GMoDS)

The objective of this project is to define and formalize a Goal Model for Dynamic Systems (GMoDS). The initial requirements for GMoDS included:

The scope of this project is limited to the formal definition of the semantics of the analysis model, the translation of the specified model to the runtime model, the semantics of the runtime model, and a proof of concept implementation. The scope will not cover such things as how the system assigns goals, how to find an optimal set of assignments or the elicitation of requirements.

GMoDS Publications


This research is sponsored by the Air Force Office of Scientific Research (AFOSR) and the National Science Foundation (NSF).