• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Principles of modeling >Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience
【24h】

Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience

机译：力量被高估了，请友善！建模中的表现力，真实性和可用性：演员体验

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

摘要

Expressive power of a language is generally defined as the breadth of ideas that can be represented and communicated in a language. For formal languages, the expressive power has been evaluated by checking its Turing completeness. In a modeling process, apart from the modeling language, we have two other counterparts: the system being modeled and the modeler. I argue that faithfulness to the system being modeled and usability for the modeler are at least as important as the expressive power of the modeling language, specially because most of the modeling languages used today are highly expressive. I call faithfulness and usability together "friendliness". I show how we used the actor-based language Rebeca in modeling different applications, where it is friendly, and where it is not. I discuss how the friendliness of Rebeca may help in the analysis of models and allows for system synthesis on the basis of models.
机译：语言的表达能力通常定义为可以用一种语言表示和传达的思想的广度。对于形式语言，已通过检查其图灵完整性来评估其表达能力。在建模过程中，除了建模语言外，我们还有另外两个对应的对象：正在建模的系统和建模器。我认为对建模系统的忠诚度和对建模者的可用性至少与建模语言的表达能力同样重要，特别是因为当今使用的大多数建模语言都是高度表达的。我将忠诚度和可用性称为“友善”。我将展示我们如何在基于行为者的语言Rebeca建模不同的应用程序时，在友好的地方和不友好的地方进行建模。我将讨论Rebeca的友好性如何有助于模型的分析，以及如何基于模型进行系统综合。

著录项

  • 来源
    《Principles of modeling》|2017年|423-448|共26页
  • 会议地点 Berkeley(US)
  • 作者

    Marjan Sirjani;

  • 作者单位

    School of Innovation, Design and Engineering, Maelardalen University, Vaesteras, Sweden,School of Computer Science, Reykjavik University, Reykjavik, Iceland;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号