{"title":"面向对象分析和设计中对象识别和细化过程的框架","authors":"R. S. Wahono, B. Far","doi":"10.1109/COGINF.2002.1039317","DOIUrl":null,"url":null,"abstract":"There are many projects focusing on computer aided software engineering (CASE) tools for object-oriented analysis and design. However, there are certain limitations to such solutions, as they concentrate on object-oriented notation and forward/reverse engineering, and the methodology for object identification and refinement is not implemented well. This paper presents a methodology for object identification and refinement from software requirements, based on object-based formal specification (OBFS). This methodology provides a means for understanding the object-oriented paradigm easily, and supports object identification and refinement. As a case study for a comprehensive explanation of how to use this methodology, an example of a software project for an air traffic control system is given.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"A framework for object identification and refinement process in object-oriented analysis and design\",\"authors\":\"R. S. Wahono, B. Far\",\"doi\":\"10.1109/COGINF.2002.1039317\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"There are many projects focusing on computer aided software engineering (CASE) tools for object-oriented analysis and design. However, there are certain limitations to such solutions, as they concentrate on object-oriented notation and forward/reverse engineering, and the methodology for object identification and refinement is not implemented well. This paper presents a methodology for object identification and refinement from software requirements, based on object-based formal specification (OBFS). This methodology provides a means for understanding the object-oriented paradigm easily, and supports object identification and refinement. As a case study for a comprehensive explanation of how to use this methodology, an example of a software project for an air traffic control system is given.\",\"PeriodicalId\":250129,\"journal\":{\"name\":\"Proceedings First IEEE International Conference on Cognitive Informatics\",\"volume\":\"38 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-08-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings First IEEE International Conference on Cognitive Informatics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/COGINF.2002.1039317\",\"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 First IEEE International Conference on Cognitive Informatics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/COGINF.2002.1039317","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A framework for object identification and refinement process in object-oriented analysis and design
There are many projects focusing on computer aided software engineering (CASE) tools for object-oriented analysis and design. However, there are certain limitations to such solutions, as they concentrate on object-oriented notation and forward/reverse engineering, and the methodology for object identification and refinement is not implemented well. This paper presents a methodology for object identification and refinement from software requirements, based on object-based formal specification (OBFS). This methodology provides a means for understanding the object-oriented paradigm easily, and supports object identification and refinement. As a case study for a comprehensive explanation of how to use this methodology, an example of a software project for an air traffic control system is given.