A comparative analysis of object-oriented and other methods for modeling computer based systems

S. White
{"title":"A comparative analysis of object-oriented and other methods for modeling computer based systems","authors":"S. White","doi":"10.1109/ECBS.2004.1316677","DOIUrl":null,"url":null,"abstract":"Methods for modeling computer based systems are evaluated against a common generic model. A formal entity-relationship (ER) model is used to compare the expressive power of methods. Expressive power is important as statements that cannot be expressed in a model is omitted from the analysis and resulting specification. Methods are also analyzed to determine whether they are based on a partial order temporal approach rather than a linear or branching approach. (Partial order is the most powerful of the temporal approaches.) In addition, methods are judged with respect to fifteen method characteristics such as comprehension and support for reuse.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECBS.2004.1316677","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Methods for modeling computer based systems are evaluated against a common generic model. A formal entity-relationship (ER) model is used to compare the expressive power of methods. Expressive power is important as statements that cannot be expressed in a model is omitted from the analysis and resulting specification. Methods are also analyzed to determine whether they are based on a partial order temporal approach rather than a linear or branching approach. (Partial order is the most powerful of the temporal approaches.) In addition, methods are judged with respect to fifteen method characteristics such as comprehension and support for reuse.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
面向对象和其他计算机系统建模方法的比较分析
对基于计算机的系统建模的方法进行了评估,基于通用模型。采用形式化的实体关系模型来比较不同方法的表达能力。表达能力很重要,因为不能在模型中表达的语句从分析和结果规范中省略。还分析了方法,以确定它们是否基于偏序时间方法,而不是线性或分支方法。(偏序是时态方法中最强大的。)此外,还根据诸如可理解性和对重用的支持等15个方法特征来判断方法。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
A concept of an integrated development environment for reactive systems Gradient method with topology discovery for load-balancing in active networks Modeling and simulation of stability and support operations (SASO) Personal autonomic computing self-healing tool A design framework for Internet-based embedded distributed systems
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1