CASL for ASF+SDF Users
نویسنده
چکیده
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 rôle that the Asf+Sdf system might play in connection with tool support for Casl.
منابع مشابه
Development of Parsing Tools for CASL Using Generic Language Technology
An environment for the Common Algebraic Speci cation Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic speci cation formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user-de ned syntax which is non-trivial to process: ASF+SDF o ers a powerful parsing technology (Generalized LR). Its interactive development environment...
متن کاملSpecifying an Automated Induction
We describe the implementation of an automated theorem pro-ver for algebraic speciications, in an algebraic speciication setting using the ASF+SDF Meta-environment. The current implementation is based on the implicit induction approach implemented in SPIKE 1, 2]. We consider the implementation as a case study on the tool generation within ASF+SDF which also provides an experimental basis for th...
متن کاملAction Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with action semantics allows complete language descriptions with exceptionally good modularity. Moreover, by specifying the descriptions in ASF+SDF, the ASF+SDF Meta-Environment can be used to provide appropriate tool support.
متن کاملThe New ASF Compiler
We call a compiler bootstrapped when it is able to compile its own source. To achieve this situation, the compiler must be expressed in its own language, and an initial interpreter or compiler for this language must be available. We describe the tools and techniques used for the bootstrapping of the new ASF compiler, which is itself expressed in ASF+SDF. As initial compiler, the previous versio...
متن کاملedited by Professor C . J . van Rijsbergen M P A Sellink ( Ed ) 2 nd International Workshop on the Theory and Practice of Algebraic Specifications , Amsterdam 1997
The current implementation of the ASF+SDF Meta-Environment has been in existence for more than five years and is becoming obsolete for a variety of reasons, ranging from maintenance problems to problems of scale. A new and improved implementation is in an advanced stage of development. The design choices involved and the progress made to date are summarized. This is a progress report on ongoing...
متن کامل