• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>8th International Workshop on Computer Aided Systems Theory, 8th, Feb 19-23, 2001, Las Palmas de Gran Canaria, Spain >Design for Reuse via Structuring Techniques for ASMs
【24h】

Design for Reuse via Structuring Techniques for ASMs

机译：通过ASM的结构化技术进行复用设计

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Gurevich's [26] Abstract State Machines (ASMs), characterized by the parallel execution of abstract atomic actions in a global state, have been equipped in [13] with a refinement by standard composition concepts for structuring large machines that allows reusing machine components. Among these concepts are parameterized (possibly recursive) sub-ASMs. Here we illustrate their power for incremental and modular system design by unfolding, via appropriate ASM components, the architecture of the Java Virtual Machine (JVM), resulting from the language layering in combination with the functional decomposition of the JVM into loader, verifier, and interpreter. We survey the ASM models for Java and the JVM that appear in [34], together with the mathematical and experimental analysis they support.
机译：Gurevich的[26]抽象状态机（ASM）以在全局状态下并行执行抽象原子动作为特征，在[13]中配备了标准构成概念的改进，用于构造允许重复使用机器组件的大型机器。这些概念中包括参数化（可能是递归的）子ASM。在这里，我们通过适当的ASM组件展开Java虚拟机（JVM）的体系结构，说明了它们在增量和模块化系统设计中的强大功能，这些结构是由语言分层以及将JVM的功能分解为加载程序，验证程序和口译员。我们调查了[34]中出现的Java和JVM的ASM模型，以及它们支持的数学和实验分析。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号