加权模态转换系统.Archive ouverte HAL 内容指导书
第三条Dans Une Revue 系统设计中的形式化方法 Anneée:2013年

加权模态转换系统

Résumé

规范理论作为基于组件的软件系统的模型驱动开发过程中的一种工具，最近受到了相当大的关注。然而，当前的规范理论本质上是定性的，因此在某种意义上是脆弱的，即通过模型对系统进行不可避免的近似，再加上硬件平台的基本不可预测性，使得很难将基于模型的行为结论传递给实际系统。因此，可以说这种方法不适合现代软件系统。我们在此提出了第一种规范理论，该理论允许在细化和实现过程中捕获定量方面，从而利用定性设置的问题。我们提出的定量规范框架使用加权模态转换系统作为规范的形式化模型。这些被标记为过渡系统，具有附加功能，可以对系统可能实现或不实现的可选行为进行建模。通过引入加权模态转换系统之间的距离概念，满意度和精细化从众所周知的定性设置提升到了我们的定量设置。我们表明，平行合成的定量版本以及商（对偶到平行合成）继承了布尔设置的属性。

与葡萄园

信息[cs] Théorie et langage formel[法语]
菲奇尔校长
小品小品
fmsd.pdf（470.93千吨） 特勒充电器
起源：菲奇尔斯制片人par l’（les）auteur（s）

乌里·法伦伯格 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-01087925

Soumis le:jeudi 2014年11月27日-09:54:57

Dernière修改le:2023-10:56:04年11月13日lundi

长期档案：伦迪2号火星2015-09:18:13

Télé充电器倒可视化

日期和版本

hal-01087925， 版本1 (27-11-2014)

身份证明人

Citer公司

Sebastian S.Bauer、Uli Fahrenberg、Line Juhl、Kim Guldstrand Larsen、Axel Legay等人……加权模态转换系统。系统设计中的形式化方法2013年，第42（2）页，第193-220页。⟨10.1007/s10703-012-0178-9⟩.⟨哈尔-01087925⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

电信研究所 EC-PARIS公司 UNIV-RENNES1公司 中国科学院 印度 INSA-RENES公司 IRISA公司 伊朗-D4 INRIA2公司 UR1-数学STIC UR1-UFR-ISTIC UNIV-RENNES公司 UR1-数学编号
283 磋商
80 交易费用

海拔高度

合作伙伴

Gmail（Gmail） 脸谱网 X（X） LinkedIn链接 更多