{"title":"一个用户友好的FDT规范环境及其在LOTOS中的应用","authors":"N. Shiratori, E. Lee","doi":"10.1109/PCCC.1992.200523","DOIUrl":null,"url":null,"abstract":"The authors propose a new specification methodology and environment named the model based programming (MBP) environment. The objective of MBP is to design a user-friendly specification environment for formal description techniques (FDTs) such as LOTOS and SDL. MBP consists of the following tools: (1) mechanism for requirement acquisition, (2) tutor, (3) formal specification description model and (4) translator to FDTs. (1) acquires user requirements based on user-friendly tools, (2) gives information to users about MBP and FDTs, (3) represents a user requirement as a model based on the FDT being used, and (4) translates the user requirement represented in (3) to a FDT specification. By using MBP, a nonexpert user who only has a basic knowledge about the design concepts and the outline of each FDT can easily describe the FDT specification. MBP-1 has been implemented as a pilot system.<<ETX>>","PeriodicalId":250212,"journal":{"name":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A user friendly specification environment for FDT and its application to LOTOS\",\"authors\":\"N. Shiratori, E. Lee\",\"doi\":\"10.1109/PCCC.1992.200523\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors propose a new specification methodology and environment named the model based programming (MBP) environment. The objective of MBP is to design a user-friendly specification environment for formal description techniques (FDTs) such as LOTOS and SDL. MBP consists of the following tools: (1) mechanism for requirement acquisition, (2) tutor, (3) formal specification description model and (4) translator to FDTs. (1) acquires user requirements based on user-friendly tools, (2) gives information to users about MBP and FDTs, (3) represents a user requirement as a model based on the FDT being used, and (4) translates the user requirement represented in (3) to a FDT specification. By using MBP, a nonexpert user who only has a basic knowledge about the design concepts and the outline of each FDT can easily describe the FDT specification. MBP-1 has been implemented as a pilot system.<<ETX>>\",\"PeriodicalId\":250212,\"journal\":{\"name\":\"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PCCC.1992.200523\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PCCC.1992.200523","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A user friendly specification environment for FDT and its application to LOTOS
The authors propose a new specification methodology and environment named the model based programming (MBP) environment. The objective of MBP is to design a user-friendly specification environment for formal description techniques (FDTs) such as LOTOS and SDL. MBP consists of the following tools: (1) mechanism for requirement acquisition, (2) tutor, (3) formal specification description model and (4) translator to FDTs. (1) acquires user requirements based on user-friendly tools, (2) gives information to users about MBP and FDTs, (3) represents a user requirement as a model based on the FDT being used, and (4) translates the user requirement represented in (3) to a FDT specification. By using MBP, a nonexpert user who only has a basic knowledge about the design concepts and the outline of each FDT can easily describe the FDT specification. MBP-1 has been implemented as a pilot system.<>
![Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
