.png){kind=icon}
返回
Template semantics for model-based notations
.png){kind=icon}
PRE
AI
DOI：10.1109/TSE.2003.1237169.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We propose a template-based approach to structuring the semantics of model-based specification, notations. The. basic computation, model is-a nonconcurrent, hierarchical state-transition machine (HTS), whose execution semantics are parameterized. Semantics that are common among notations (e.g., the concept of an enabled transition) are captured in the template, and a notation's distinct semantics (e.g., which states can enable transitions) are specified as parameters. The template semantics of composition operators define how multiple HTSs execute concurrently and how they communicate and synchronize with each other by exchanging events and data. The definitions of these operators use the template parameters; to preserve notation-specific behavior in composition. Our template is sufficient to capture the semantics of basic transition systems, CSP, CCS, basic LOTOS, a subset of SDL88, and a variety of statecharts notations. We believe that a description of a notation's semantics using our template can be used as input to a tool that automatically generates formal analysis tools.
Keyword:
model-based specification notations
semantics
composition
concurrency
automated generation of analysis tools
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.8K
被引数:
1.1W
机构
暂无机构信息
引用论文
.png){kind=icon}
Real-time observation of slipping and rolling events in DLC wear nanoparticles实时观察DLC磨损纳米颗粒中的滑动和滚动事件
PREAI
分享收藏分享收藏
查看更多内容