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