{"title":"RealSpec:用于并发系统原型设计的可执行规范语言","authors":"A. Khwaja, J. E. Urban","doi":"10.1109/RSP.2008.9","DOIUrl":null,"url":null,"abstract":"RealSpec is a declarative executable language for the prototyping of concurrent and real-time systems based on a dataflow functional model. RealSpec is developed on top of Lucid dataflow programming language by enhancing Lucid with features for real-time systems. This paper provides basic RealSpec language constructs for modeling concurrent processes, multithreading, and resource modeling. The producer consumer example is used to demonstrate the applicability of these language features.","PeriodicalId":436363,"journal":{"name":"2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"RealSpec: An Executable Specification Language for Prototyping Concurrent Systems\",\"authors\":\"A. Khwaja, J. E. Urban\",\"doi\":\"10.1109/RSP.2008.9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"RealSpec is a declarative executable language for the prototyping of concurrent and real-time systems based on a dataflow functional model. RealSpec is developed on top of Lucid dataflow programming language by enhancing Lucid with features for real-time systems. This paper provides basic RealSpec language constructs for modeling concurrent processes, multithreading, and resource modeling. The producer consumer example is used to demonstrate the applicability of these language features.\",\"PeriodicalId\":436363,\"journal\":{\"name\":\"2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping\",\"volume\":\"30 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-06-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RSP.2008.9\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RSP.2008.9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
RealSpec: An Executable Specification Language for Prototyping Concurrent Systems
RealSpec is a declarative executable language for the prototyping of concurrent and real-time systems based on a dataflow functional model. RealSpec is developed on top of Lucid dataflow programming language by enhancing Lucid with features for real-time systems. This paper provides basic RealSpec language constructs for modeling concurrent processes, multithreading, and resource modeling. The producer consumer example is used to demonstrate the applicability of these language features.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
