{"title":"面向对象数据库应用程序的安全快速原型","authors":"M. Missikoff, M. Toiati","doi":"10.1109/IWRSP.1994.315896","DOIUrl":null,"url":null,"abstract":"Presents Mosaico, an integrated environment conceived to support the design and specification of object-oriented database applications. Mosaico assists the designer in producing a formal and correct specification of the application domain in the form of a conceptual schema, a conceptual model of the application functions, and, finally, an executable prototype of the database application. The conceptual model of the database application is constructed by using the design language TQL++ (Type and Query Language++). The resultant TQL++ specification is semantically verified based on the theory underlying TQL++. Furthermore, through rapid prototyping, the TQL++ specification can be functionally verified. Semantic verification guarantees the correctness of the specification within the realm of the formal theory of the language. However, it does not guarantee the \"fidelity\" of the specification to the real world requirements (i.e. what the users really want). Rapid prototyping and functional verification are a means to bridge that gap.<<ETX>>","PeriodicalId":261113,"journal":{"name":"Proceedings of IEEE 5th International Workshop on Rapid System Prototyping","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Safe rapid prototyping of object-oriented database applications\",\"authors\":\"M. Missikoff, M. Toiati\",\"doi\":\"10.1109/IWRSP.1994.315896\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Presents Mosaico, an integrated environment conceived to support the design and specification of object-oriented database applications. Mosaico assists the designer in producing a formal and correct specification of the application domain in the form of a conceptual schema, a conceptual model of the application functions, and, finally, an executable prototype of the database application. The conceptual model of the database application is constructed by using the design language TQL++ (Type and Query Language++). The resultant TQL++ specification is semantically verified based on the theory underlying TQL++. Furthermore, through rapid prototyping, the TQL++ specification can be functionally verified. Semantic verification guarantees the correctness of the specification within the realm of the formal theory of the language. However, it does not guarantee the \\\"fidelity\\\" of the specification to the real world requirements (i.e. what the users really want). Rapid prototyping and functional verification are a means to bridge that gap.<<ETX>>\",\"PeriodicalId\":261113,\"journal\":{\"name\":\"Proceedings of IEEE 5th International Workshop on Rapid System Prototyping\",\"volume\":\"20 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-06-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of IEEE 5th International Workshop on Rapid System Prototyping\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWRSP.1994.315896\",\"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 IEEE 5th International Workshop on Rapid System Prototyping","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWRSP.1994.315896","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Safe rapid prototyping of object-oriented database applications
Presents Mosaico, an integrated environment conceived to support the design and specification of object-oriented database applications. Mosaico assists the designer in producing a formal and correct specification of the application domain in the form of a conceptual schema, a conceptual model of the application functions, and, finally, an executable prototype of the database application. The conceptual model of the database application is constructed by using the design language TQL++ (Type and Query Language++). The resultant TQL++ specification is semantically verified based on the theory underlying TQL++. Furthermore, through rapid prototyping, the TQL++ specification can be functionally verified. Semantic verification guarantees the correctness of the specification within the realm of the formal theory of the language. However, it does not guarantee the "fidelity" of the specification to the real world requirements (i.e. what the users really want). Rapid prototyping and functional verification are a means to bridge that gap.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
