{"title":"Transnet方法的需求规范和原型","authors":"K. Sacha","doi":"10.1109/CMPEUR.1992.218506","DOIUrl":null,"url":null,"abstract":"A method for specification and early validation of embedded software is presented. The method is based on an extension to Petri nets, which provides a framework for building an executable model of a specification and describing control as well as data processing aspects of the software. A specification is developed by an object-oriented problem decomposition into a set of parallel processes. Each process is defined by a pair consisting of a Petri net and a data path. An algebraic model of the specification is defined, and basic problems for the model analysis are indicated. The generality of the model is shown by comparison with the functional specification language PAISLey.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":"89 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Transnet approach to requirements specification and prototyping\",\"authors\":\"K. Sacha\",\"doi\":\"10.1109/CMPEUR.1992.218506\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A method for specification and early validation of embedded software is presented. The method is based on an extension to Petri nets, which provides a framework for building an executable model of a specification and describing control as well as data processing aspects of the software. A specification is developed by an object-oriented problem decomposition into a set of parallel processes. Each process is defined by a pair consisting of a Petri net and a data path. An algebraic model of the specification is defined, and basic problems for the model analysis are indicated. The generality of the model is shown by comparison with the functional specification language PAISLey.<<ETX>>\",\"PeriodicalId\":390273,\"journal\":{\"name\":\"CompEuro 1992 Proceedings Computer Systems and Software Engineering\",\"volume\":\"89 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-05-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"CompEuro 1992 Proceedings Computer Systems and Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPEUR.1992.218506\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1992.218506","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Transnet approach to requirements specification and prototyping
A method for specification and early validation of embedded software is presented. The method is based on an extension to Petri nets, which provides a framework for building an executable model of a specification and describing control as well as data processing aspects of the software. A specification is developed by an object-oriented problem decomposition into a set of parallel processes. Each process is defined by a pair consisting of a Petri net and a data path. An algebraic model of the specification is defined, and basic problems for the model analysis are indicated. The generality of the model is shown by comparison with the functional specification language PAISLey.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
