{"title":"使用Alloy的建模语言规范的现实验证","authors":"Kei Kogai, Y. Ueda","doi":"10.1109/APCASE.2014.6924482","DOIUrl":null,"url":null,"abstract":"Authors suggest a resolution to validate metamodels using a formal description language and analyzer Alloy. A MDA meta-hierarchy divides a model into three layers. Therefore this approach is able to validate partial models using Alloy. Validating partial models reduce execution time. For an example of realistic validation, this paper shows application to the specification of an information control system modeling language and results of the validations for the specification.","PeriodicalId":118511,"journal":{"name":"2014 Asia-Pacific Conference on Computer Aided System Engineering (APCASE)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Realistic validation of specification for modeling language using Alloy\",\"authors\":\"Kei Kogai, Y. Ueda\",\"doi\":\"10.1109/APCASE.2014.6924482\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Authors suggest a resolution to validate metamodels using a formal description language and analyzer Alloy. A MDA meta-hierarchy divides a model into three layers. Therefore this approach is able to validate partial models using Alloy. Validating partial models reduce execution time. For an example of realistic validation, this paper shows application to the specification of an information control system modeling language and results of the validations for the specification.\",\"PeriodicalId\":118511,\"journal\":{\"name\":\"2014 Asia-Pacific Conference on Computer Aided System Engineering (APCASE)\",\"volume\":\"8 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-10-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 Asia-Pacific Conference on Computer Aided System Engineering (APCASE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/APCASE.2014.6924482\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 Asia-Pacific Conference on Computer Aided System Engineering (APCASE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APCASE.2014.6924482","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Realistic validation of specification for modeling language using Alloy
Authors suggest a resolution to validate metamodels using a formal description language and analyzer Alloy. A MDA meta-hierarchy divides a model into three layers. Therefore this approach is able to validate partial models using Alloy. Validating partial models reduce execution time. For an example of realistic validation, this paper shows application to the specification of an information control system modeling language and results of the validations for the specification.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
