文章免费访问 在上共享 面向对象的代数形式主义及其精化 作者: 马克·艾基尔 法国埃夫里·瓦尔德埃松大学Méthodes Informatiques实验室,CNRS UMR 8042。电子邮件:[电子邮件保护] 法国埃夫里·瓦尔德埃松大学Méthodes Informatiques实验室,CNRS UMR 8042。电子邮件:[电子邮件保护]查看个人资料 作者信息和声明 逻辑与计算杂志第14卷第2版2004年4月第145–178页https://doi.org/10.1093/log.com/14.2.145出版:2004年4月1日出版历史 逻辑与计算杂志第14卷第2期 上一个第条下一步第条 跳过抽象节摘要在本文中,我们研究了以面向对象风格描述的反应式系统的形式规范。我们定义了一种形式主义,称为埃托利1-规范,以处理并发(活动)对象系统,并建议通过分别考虑隐式状态和隐式转换,将代数方法扩展到动态和并发方面。厕所专用性强调由对象类型组成的系统。因此,厕所形式主义被分为两种亚形式主义。第一种方法使我们能够指定对象类型的行为。然后,通过添加新的需求,将其从对象类型扩展到系统,主要描述规范下系统的底层架构方面(即对象之间的关系)。实际系统的复杂性导致定义了管理其大小的正式方法。为了解决这个问题,我们建议在ÉTOILE规范的框架下,通过系统对对象类型规范进行细化,这使得人们能够以增量的方式构建自己的规范。 引用人查看全部 索引术语 面向对象的代数形式主义及其精化软件及其工程软件创建和管理设计软件需求分析计算理论语义和推理 索引项已通过自动分类分配给内容。 建议 在莫德规范中嵌入领域特定的建模语言 我们提出了一种定义和分析领域特定建模语言(dsml)的形式化方法。该方法使用标准模型驱动的工程工件来定义语言的语法(使用元模型)及其操作语义(。。。阅读更多信息用户界面的形式化描述:四种公理化方法的比较与评价离散数学年鉴,24 文献中很少有正式规范用户界面语义的例子。本文比较了我们应用于商业用户界面规范的四种公理化方法——用于……的行编辑器。。。阅读更多信息类型检查马戏团规格 Circus是一种形式化语言,它结合了Z、CSP和Morgan求精演算的其他构造函数。它旨在通过改进状态丰富的反应系统来进行开发。在这项工作中,我们定义了Circus类型系统并描述了。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此文章 问询处贡献者发布于 逻辑与计算杂志 第14卷第2期2004年4月211页国际标准编号:0955-792X号EISSN公司:1465-363倍期刊目录 赞助商合作中出版商牛津大学出版社。美国 出版历史 出版:2004年4月1日 作者标记面向对象的规范代数求精代数规范并发动态逻辑限定符文章会议资金来源 其他指标查看文章度量文献计量学引文1文章度量标准1引文总数查看引文0总下载次数下载次数(过去12个月)0下载次数(最近6周)0其他指标查看作者指标引用人查看全部数字版以数字版本查看这篇文章。查看数字版数字其他共享此出版物链接https://dl.acm.org/doi/10.1093/logcom/14.2.145复制链接在社交媒体上分享 在上共享 0工具书类