摘要
We review Discrete-Event system Specification(DEVS)in the context of Model-based Systems Engineering(MBSE)and discuss an application of DEVS methodology to MBSE.We outline support for an envisioned MBSE development cycle of DEVS top-to-bottom MBSE capability and offer an example of mapping UML activity diagrams into executable activity-based DEVS models.We close with conclusions and future research directions.
