SCSC2003 Abstract S61152
From DEVS to Formal Methods
From DEVS to Formal Methods
Submitting Author: Dr. D. Stevenson
Abstract:
I present a framework for integrating the DEVS formalism to formal methods through category theory. A basis of DEVS is general system theory due to George Klir. A categorical basis for general systems was developed by Goguen in the 1970s and 1980s. By continuing this development, we can tie DEVS to theoretical computer science, mathematics, and logic.
Back to SCSC2003 Abstracts