系统开发的面向对象原型方法

T. Arano, Carl K. Chang, P. Mongkolwat, Yong Liu, Xin Shu
{"title":"系统开发的面向对象原型方法","authors":"T. Arano, Carl K. Chang, P. Mongkolwat, Yong Liu, Xin Shu","doi":"10.1109/CMPSAC.1993.404215","DOIUrl":null,"url":null,"abstract":"This paper proposes a new prototyping approach to software development to produce better-quality software more productively than traditional prototyping methodologies by combining formal methods and object-oriented techniques with prototyping concepts. In the prototyping process, specifications are gradually replaced with implementations which may be retrieved from libraries and refined afterwards. The executable specification language provides not only behavior/performance analysis but also simulation capabilities which are essential to prototyping. Additionally, a special mechanism called hybrid simulation takes it possible to simulate a mixture of specification and implementation, and serves to validate the intended system. Software reuse by object-orientation is one basis of the methodology, and eliminates the risk of producing a quick-and-dirty product, which is a typical prototyping problem. The seamlessness of object-orientation is indispensable to the methodology.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"An object-oriented prototyping approach to system development\",\"authors\":\"T. Arano, Carl K. Chang, P. Mongkolwat, Yong Liu, Xin Shu\",\"doi\":\"10.1109/CMPSAC.1993.404215\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper proposes a new prototyping approach to software development to produce better-quality software more productively than traditional prototyping methodologies by combining formal methods and object-oriented techniques with prototyping concepts. In the prototyping process, specifications are gradually replaced with implementations which may be retrieved from libraries and refined afterwards. The executable specification language provides not only behavior/performance analysis but also simulation capabilities which are essential to prototyping. Additionally, a special mechanism called hybrid simulation takes it possible to simulate a mixture of specification and implementation, and serves to validate the intended system. Software reuse by object-orientation is one basis of the methodology, and eliminates the risk of producing a quick-and-dirty product, which is a typical prototyping problem. The seamlessness of object-orientation is indispensable to the methodology.<<ETX>>\",\"PeriodicalId\":375808,\"journal\":{\"name\":\"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93\",\"volume\":\"42 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1993.404215\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1993.404215","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5

摘要

本文提出了一种新的软件开发原型方法,通过将形式化方法和面向对象技术与原型概念相结合,可以比传统的原型方法更有效地生产出质量更好的软件。在原型过程中,规范逐渐被实现所取代,这些实现可以从库中检索并在之后进行细化。可执行规范语言不仅提供了行为/性能分析,还提供了对原型设计至关重要的模拟功能。此外,一种称为混合仿真的特殊机制使模拟规范和实现的混合成为可能,并用于验证预期的系统。面向对象的软件重用是该方法的一个基础,并且消除了产生快速而肮脏的产品的风险,这是一个典型的原型问题。面向对象的无缝性对方法论来说是不可或缺的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
An object-oriented prototyping approach to system development
This paper proposes a new prototyping approach to software development to produce better-quality software more productively than traditional prototyping methodologies by combining formal methods and object-oriented techniques with prototyping concepts. In the prototyping process, specifications are gradually replaced with implementations which may be retrieved from libraries and refined afterwards. The executable specification language provides not only behavior/performance analysis but also simulation capabilities which are essential to prototyping. Additionally, a special mechanism called hybrid simulation takes it possible to simulate a mixture of specification and implementation, and serves to validate the intended system. Software reuse by object-orientation is one basis of the methodology, and eliminates the risk of producing a quick-and-dirty product, which is a typical prototyping problem. The seamlessness of object-orientation is indispensable to the methodology.<>
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Use of a specification construction and animation tool to teach formal methods Experiences with a faceted classification scheme in a large reusable software library (RSL) DELTA-DEsign Language To Actor Integrating abstraction flexibility with diverse program perspectives Process dependence net of distributed programs and its applications in development of 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