从非正式需求构建正式规范

软件 Pub Date : 1997-07-14 DOI:10.1109/STEP.1997.615465
R. Clark, A. Moreira
{"title":"从非正式需求构建正式规范","authors":"R. Clark, A. Moreira","doi":"10.1109/STEP.1997.615465","DOIUrl":null,"url":null,"abstract":"The rigorous object-oriented analysis (ROOA) method provides a systematic development process which, starting from a set of informal requirements, produces an executable object-oriented analysis model. The model is expressed in LOTOS and provides a precise and unambiguous formal requirements specification of the static, dynamic and functional aspects of a problem. There is, however, a wide gap between informal requirements and a formal specification. To help bridge this gap, the authors propose that a formal and executable model which specifies behaviour in terms of what the environment expects from the system should be constructed initially. This user-centred model will give very early feedback to the requirements capture process and can be used as a step in the construction of the ROOA model. Both models are expressed in the same executable formal language and so they can be composed to verify that the ROOA model is compatible with the user-centred model and the composition executed to validate it with respect to the requirements.","PeriodicalId":68622,"journal":{"name":"软件","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1997-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"21","resultStr":"{\"title\":\"Constructing formal specifications from informal requirements\",\"authors\":\"R. Clark, A. Moreira\",\"doi\":\"10.1109/STEP.1997.615465\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The rigorous object-oriented analysis (ROOA) method provides a systematic development process which, starting from a set of informal requirements, produces an executable object-oriented analysis model. The model is expressed in LOTOS and provides a precise and unambiguous formal requirements specification of the static, dynamic and functional aspects of a problem. There is, however, a wide gap between informal requirements and a formal specification. To help bridge this gap, the authors propose that a formal and executable model which specifies behaviour in terms of what the environment expects from the system should be constructed initially. This user-centred model will give very early feedback to the requirements capture process and can be used as a step in the construction of the ROOA model. Both models are expressed in the same executable formal language and so they can be composed to verify that the ROOA model is compatible with the user-centred model and the composition executed to validate it with respect to the requirements.\",\"PeriodicalId\":68622,\"journal\":{\"name\":\"软件\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-07-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"21\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"软件\",\"FirstCategoryId\":\"1093\",\"ListUrlMain\":\"https://doi.org/10.1109/STEP.1997.615465\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"软件","FirstCategoryId":"1093","ListUrlMain":"https://doi.org/10.1109/STEP.1997.615465","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 21

摘要

严格的面向对象分析(ROOA)方法提供了一个系统的开发过程,该过程从一组非正式的需求开始,产生一个可执行的面向对象分析模型。该模型用LOTOS表示,并提供了问题的静态、动态和功能方面的精确和明确的正式需求规范。然而,在非正式需求和正式规范之间存在很大的差距。为了帮助弥合这一差距,作者建议首先构建一个正式的、可执行的模型,该模型根据环境对系统的期望来指定行为。这个以用户为中心的模型将为需求捕获过程提供非常早期的反馈,并且可以用作构建ROOA模型的一个步骤。这两个模型都用相同的可执行形式化语言表示,因此可以组合它们以验证ROOA模型与以用户为中心的模型兼容,并且执行组合以根据需求验证它。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Constructing formal specifications from informal requirements
The rigorous object-oriented analysis (ROOA) method provides a systematic development process which, starting from a set of informal requirements, produces an executable object-oriented analysis model. The model is expressed in LOTOS and provides a precise and unambiguous formal requirements specification of the static, dynamic and functional aspects of a problem. There is, however, a wide gap between informal requirements and a formal specification. To help bridge this gap, the authors propose that a formal and executable model which specifies behaviour in terms of what the environment expects from the system should be constructed initially. This user-centred model will give very early feedback to the requirements capture process and can be used as a step in the construction of the ROOA model. Both models are expressed in the same executable formal language and so they can be composed to verify that the ROOA model is compatible with the user-centred model and the composition executed to validate it with respect to the requirements.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
11857
期刊介绍: Computer engineering & Software, founded in 1979, is an academic journal of information technology sponsored by China Association for Science and Technology and China Institute of Electronics and Tianjin Institute of Electronics. Computer engineering & Software has columns such as expert Forum, Fund project papers, software and database technology research, application technology and research, network and communication, image processing and application, multimedia technology application Artificial intelligence and recognition. Computer engineering & Software is the source Journal of China Academic Periodical Comprehensive Evaluation Database, the Journal of China Core Periodical (Selection) Database, the source journal of Peking University's Chinese Core Periodical Overview (the first edition in 1992), the Journal of Wanfang data-Digital Periodical Group full-text Collection, the Journal of Chinese Science and Technology Periodical Database (full-text edition), and Wave Journals included in the "Copernicus Index" have been included in the United States "Cambridge Scientific Abstracts", the United States "Uhlig International Journal Guide", the JST Japan Science and Technology Promotion Agency database (2018) and other Chinese and foreign databases.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信