{"title":"A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition","authors":"Celso Niskier, T. Maibaum, D. Schwabe","doi":"10.1145/75199.75219","DOIUrl":null,"url":null,"abstract":"A pluralistic attitude to software specification acquisition is proposed, where multiple viewpoints/formalisms are simultaneously used to describe more comprehensively the required system. Syntactic, semantic and pragmatic (heuristic) aspects of Entity Relationship Models, Data Flow Diagrams and Petri Nets are captured using Prolog as a metalanguage. More general heuristics indicating complementarity consistency between methods are also formal&d. The construction of PRISMA a pluralistic knowledge-based system is. described, and the approach is ilustrated via examples. Theoretical and practical issues related to specification processes and environments supporting a pluralistic paradigm are also discussed.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"26 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"34","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Software Specification and Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/75199.75219","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 34
Abstract
A pluralistic attitude to software specification acquisition is proposed, where multiple viewpoints/formalisms are simultaneously used to describe more comprehensively the required system. Syntactic, semantic and pragmatic (heuristic) aspects of Entity Relationship Models, Data Flow Diagrams and Petri Nets are captured using Prolog as a metalanguage. More general heuristics indicating complementarity consistency between methods are also formal&d. The construction of PRISMA a pluralistic knowledge-based system is. described, and the approach is ilustrated via examples. Theoretical and practical issues related to specification processes and environments supporting a pluralistic paradigm are also discussed.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
