首页    期刊浏览 2024年11月06日 星期三
登录注册

文章基本信息

  • 标题:CASL for ASF+SDF Users
  • 本地全文:下载
  • 作者:Peter D. Mosses
  • 期刊名称:BRICS Report Series
  • 印刷版ISSN:0909-0878
  • 出版年度:1997
  • 卷号:4
  • 期号:49
  • 出版社:Aarhus University
  • 摘要:Casl is an expressive language for the algebraic specification of software requirements, design, and architecture. It has been developed by an open collaborative effort called CoFI (Common Framework Initiative for algebraic specification and development). Casl combines the best features of many previous algebraic specification languages, and it is hoped that it may provide a focus for future research and development in the use of algebraic techniques, as well being attractive for industrial use. This paper presents Casl for users of the Asf+Sdf framework. It shows how familiar constructs of Asf+Sdf may be written in Casl, and considers some problems that may arise when translating specifications from Asf+Sdf to Casl. It then explains and motivates various Casl constructs that cannot be expressed directly in Asf+Sdf. Finally, it discusses the role that the Asf+Sdf system might play in connection with tool support for Casl.
国家哲学社会科学文献中心版权所有