{"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}
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.
期刊介绍:
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.