{"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}
引用次数: 4
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
