Formal Specification of the Moebius Modeling Framework

In this thesis, we describe the Mobius framework and illustrate its usefulness by showing mappings from many formalisms into the framework. We also address some fundamental issues in the field of modeling of discrete-event systems, namely an efficient well-specified checker and a general, structured execution policy. Finally, we have developed a formalism to illustrate many of the features developed for Mobius but not found in any previously existing formalisms.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Electrical Engineering

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2015

Author dc:creator

• Deavours, Daniel Duane

Contributors dc:contributor

• Sanders, William H.

• Engineering, Electronics and Electrical

Language dc:language

eng

Identifier

(MiAaPQ)AAI3023042

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/80729