{"title":"COSMOS DSL程序的验证","authors":"Mohammed El Amine Matougui, S. Leriche","doi":"10.1109/ICCES.2010.5674874","DOIUrl":null,"url":null,"abstract":"COSMOS DSL is a language dedicated to the domain of composition of context information. It allows, through its high-level constructions, to treat very large amounts of context data coming from distributed sources, whatsoever in ubiquitous systems or large-scale distributed systems. In this paper, we focus on the safety of programs developed in COSMOS DSL. We discuss the needs of reliability and validation of specific properties such as the lack of deadlocks and vivacity of context information. Then we propose an automatable modeling of COSMOS DSL using the Petri nets formalism to allow verification of behavioral properties in a software tool.","PeriodicalId":124411,"journal":{"name":"The 2010 International Conference on Computer Engineering & Systems","volume":"77 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Validation of COSMOS DSL programs\",\"authors\":\"Mohammed El Amine Matougui, S. Leriche\",\"doi\":\"10.1109/ICCES.2010.5674874\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"COSMOS DSL is a language dedicated to the domain of composition of context information. It allows, through its high-level constructions, to treat very large amounts of context data coming from distributed sources, whatsoever in ubiquitous systems or large-scale distributed systems. In this paper, we focus on the safety of programs developed in COSMOS DSL. We discuss the needs of reliability and validation of specific properties such as the lack of deadlocks and vivacity of context information. Then we propose an automatable modeling of COSMOS DSL using the Petri nets formalism to allow verification of behavioral properties in a software tool.\",\"PeriodicalId\":124411,\"journal\":{\"name\":\"The 2010 International Conference on Computer Engineering & Systems\",\"volume\":\"77 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The 2010 International Conference on Computer Engineering & Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCES.2010.5674874\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The 2010 International Conference on Computer Engineering & Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCES.2010.5674874","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
COSMOS DSL is a language dedicated to the domain of composition of context information. It allows, through its high-level constructions, to treat very large amounts of context data coming from distributed sources, whatsoever in ubiquitous systems or large-scale distributed systems. In this paper, we focus on the safety of programs developed in COSMOS DSL. We discuss the needs of reliability and validation of specific properties such as the lack of deadlocks and vivacity of context information. Then we propose an automatable modeling of COSMOS DSL using the Petri nets formalism to allow verification of behavioral properties in a software tool.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
