2002 · 19 citations · 0 references
Event-driven ArchitectureEngineeringSoftware EngineeringSimulationSoftware AnalysisFormal VerificationDiscrete ModelingComplex Event ProcessingSoftware EnvironmentSystems EngineeringModeling And SimulationClassic FormalismDiscrete-event ModellingDiscrete Event SimulationDesignComputer EngineeringSoftware SimulationComputer ScienceSimulation PackageSoftware DesignDiscrete Event SystemSoftware TestingEvent-driven ProgrammingFormal MethodsSimulation InfrastructureIndustrial InformaticsSystem SoftwareData Modeling
Discrete Event system Specication (DEVS) were rst introduced by Zeigler in 1976 as a rigorous basis for discrete-event modelling. In this work we rst present the classic formalism. An early prototype of a DEVS Modeling and Simulation Package is then introduced. The work then nishes with examples that illustrate the use of the package and shows some limitations of the classic formalism.