用XML信息扩展DEVS形式化
Extending the DEVS Formalism with Initialization Information
摘要：
DEVS是一种流行的形式主义，使用离散事件抽象来建模系统行为。DEVS的主要优点是它的严格和精确的规范，以及它的支持模块化，层次结构的模型。DEVS经常充当模拟“汇编语言”，其他形式主义中的模型被翻译成该语言，要么赋予新的（特定于领域的）语言意义，要么再现现有语言的语义。尽管它的语法和语义有严格的定义，但在经典和并行DEVS形式主义定义中，DEVS模型的初始化都没有指定。在本文中，我们扩展了DEVS形式主义，包括一个初始的总状态。扩展语法以及指称（耦合下的闭包）和操作语义（抽象模拟器）。该扩展适用于DEVS形式主义的两个主要变体。我们的扩展是这样的，它增加了，但不改变原来的规范。所有的变化都通过一个交通灯的例子来说明。
英文摘要：
DEVS is a popular formalism to model system behaviour using a discrete-event abstraction. The main advantages of DEVS are its rigourous and precise specification, as well as its support for modular, hierarchical construction of models. DEVS frequently serves as a simulation "assembly language" to which models in other formalisms are translated, either giving meaning to new (domain-specific) languages, or reproducing semantics of existing languages. Despite this rigourous definition of its syntax and semantics, initialization of DEVS models is left unspecified in both the Classic and Parallel DEVS formalism definition. In this paper, we extend the DEVS formalism by including an initial total state. Extensions to syntax as well as denotational (closure under coupling) and operational semantics (abstract simulator) are presented. The extension is applicable to both main variants of the DEVS formalism. Our extension is such that it adds to, but does not alter the original specification. All changes are illustrated by means of a traffic light example.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
