Filters








505 Hits in 2.0 sec

Architectural Specifications in CASL [chapter]

Michel Bidoit, Donald Sannella, Andrzej Tarlecki
1998 Lecture Notes in Computer Science  
This is followed by details of the features provided in Casl for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process  ...  A discussion of refinement of Casl specifications provides the setting for a presentation of the rationale behind architectural specifications.  ...  Acknowledgements Our thanks to the whole of CoFI, and in particular to the Language Design Task Group, for many discussions and opportunities to present and improve our ideas on architectural specifications  ... 
doi:10.1007/3-540-49253-4_25 fatcat:mctrkxfp4vfhngtrz7k25yfuei

Architectural Specifications in CASL

Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2002 Formal Aspects of Computing  
This is followed by details of the features provided in Casl for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process  ...  A discussion of refinement of Casl specifications provides the setting for a presentation of the rationale behind architectural specifications.  ...  Acknowledgements Our thanks to the whole of CoFI, and in particular to the Language Design Task Group, for many discussions and opportunities to present and improve our ideas on architectural specifications  ... 
doi:10.1007/s001650200012 fatcat:bupsky3mrbdjrln32ur22gbkne

Semantics of Architectural Specifications in Casl [chapter]

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
2001 Lecture Notes in Computer Science  
We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with modeltheoretic requirements.  ...  The main obstacle here is the lack of amalgamation for Casl models.  ...  Moreover, we wish to thank Michel Bidoit and Donald Sannella for collaboration on architectural specifications and Maura Cerioli for pointing out the lack of amalgamation for Casl models.  ... 
doi:10.1007/3-540-45314-8_19 fatcat:mcstn2hi5jfwlns5brfjfqp3z4

Unit Testing for Casl Architectural Specifications [chapter]

Patricia D. L. Machado, Donald Sannella
2002 Lecture Notes in Computer Science  
We focus on systems where the decomposition into parts is specified by a Casl-style architectural specification and the parts (units) are developed separately, perhaps by an independent supplier.  ...  The problem of testing modular systems against algebraic specifications is discussed.  ...  Concluding remarks We have presented ideas relating to testing modular systems against Casl-style architectural specifications.  ... 
doi:10.1007/3-540-45687-2_42 fatcat:dbwzxcdi5bhjjhzas6cgaw6ku4

Institution Independent Static Analysis for Casl [chapter]

Till Mossakowski, Bartek Klin
2002 Lecture Notes in Computer Science  
We describe a way to make the static analysis for the inthe-large part of the Common Algebraic Specification Language (Casl) independent of the underlying logic that is used for specification in-thesmall  ...  One only has to provide a static analysis for specifications in-the-small for the given logic. This then can be plugged into the generic static analysis for Casl in-the-large.  ...  In section 5, we specify this as a Casl architectural specification. Section 6 contains the conclusions.  ... 
doi:10.1007/3-540-45645-7_11 fatcat:6nlzh3v6frg3jktvmxk6scsxdy

Modeling Modern Micro-architectures using CASL

Edward K. Walters, J. Eliot B. Moss, Trek Palmer, Timothy Richards, Charles C. Weems
2007 2007 IEEE International Parallel and Distributed Processing Symposium  
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool generation for computer  ...  We show how CASL can describe pipelines, dynamic information contexts, and contention using the DLX/MIPS architecture as an example.  ...  Our primary contribution here is a detailed description of the design and novel features of the new mixed ADL CASL, the CoGenT Architecture Specification Language.  ... 
doi:10.1109/ipdps.2007.370526 dblp:conf/ipps/WaltersMPRW07 fatcat:qfh5s7sd6fekjkte5n7lrn6fk4

The Common Framework Initiative for Algebraic Specification and Development of Software [chapter]

Donald Sannella
2000 Lecture Notes in Computer Science  
The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic  ...  specification languages.  ...  Acknowledgements Many thanks to all the participants of CoFI, and in particular to the coordinators of the various CoFI Task Groups: Bernd Krieg-Brückner (Language Design); Andrzej Tarlecki (Semantics)  ... 
doi:10.1007/3-540-46562-6_1 fatcat:eigcvszbr5hutlkl454ao5q5yu

From Specifications to Code in Casl [chapter]

David Aspinall, Donald Sannella
2002 Lecture Notes in Computer Science  
One important outstanding point concerns the relationship between Casl and programming languages; making a proper connection is obviously central to the use of Casl specifications for software specification  ...  Some of the issues involved in making this connection are discussed.  ...  HasCasl [SM02] use shallow embeddings, whereas the work on µJava [NOP00] and ASL+ FPC [Asp97] use deep embeddings; in the case of µJava the object of the formalization is to prove meta-properties about  ... 
doi:10.1007/3-540-45719-4_1 fatcat:l2vqgif6b5ecxbbcq46ljvjwou

CASL for ASF+SDF Users

Peter D. Mosses
1997 BRICS Report Series  
Casl is an expressive language for the algebraic specification<br />of software requirements, design, and architecture.  ...  <br />It shows how familiar constructs of Asf+Sdf may be<br />written in Casl, and considers some problems that may arise<br />when translating specifications from Asf+Sdf to Casl.  ...  In Casl, an architectural specification consists of a collection of component unit specifications, together with a description of how the im-plemented units are to be composed.  ... 
doi:10.7146/brics.v4i49.19270 fatcat:wrmczclf6jannnmqolhuibyedq

CASL: A Guided Tour of its Design

Peter D. Mosses
1998 BRICS Report Series  
It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural<br />specifications  ...  The major issues that had to be resolved in the design process are indicated, and all the main concepts and constructs of Casl are briefly explained and illustrated - the reader is referred to the Casl  ...  Language Constructs This section provides examples that illustrate the Casl language constructs for use in architectural specifications: architectural specification definitions, unit declarations, unit  ... 
doi:10.7146/brics.v5i43.19488 fatcat:c6uvara7efclfbhjix6vaf2e5q

CASL: From Semantics to Tools [chapter]

Till Mossakowski
2000 Lecture Notes in Computer Science  
In this work, we present and discuss the Bremen HOL-CASL system, which provides parsing, static checking, conversion to L A T E X and theorem proving for CASL specifications.  ...  CASL, the common algebraic specification language, has been developed as a language that subsumes many previous algebraic specification frameworks and also provides tool interoperability.  ...  Markus Roggenbach wrote the first larger specifications in CASL, which were extensively used and tested with the tools.  ... 
doi:10.1007/3-540-46419-0_8 fatcat:uiczbwllkrey7invt6hsz47vua

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress [chapter]

Donald Sannella
2002 Lecture Notes in Computer Science  
The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic  ...  specification languages.  ...  Special thanks to the coordinators of the various CoFI Task Groups, listed in the introduction.  ... 
doi:10.1007/3-540-45645-7_16 fatcat:oeuo7cjv6zb75pd3xz5u2ecf2y

A Simple Refinement Language for Casl [chapter]

Till Mossakowski, Donald Sannella, Andrzej Tarlecki
2005 Lecture Notes in Computer Science  
The essence of the extension is to allow refinements of unit specifications in CASL architectural specifications.  ...  We extend CASL architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees.  ...  Programs in CASL One problem with the approach described so far is that the constructors provided by specification morphisms and architectural specifications in CASL do not suffice for implementing specifications  ... 
doi:10.1007/978-3-540-31959-7_10 fatcat:mnhiop5k6jb3nmme4k4ufaqfdu

On the whereabouts of CSP-CASL – A survey

Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
2013 Electronic Communications of the EASST  
of the process algebra CSP with the algebraic specification language CASL, to the design of the concrete syntax, and also to tool support for CSP-CASL, where the theorem prover Isabelle should provide  ...  In all this, BKB provided inspiration and guidance, funding, and also a helping hand when needed.  ...  The architecture of Csp-Casl-Prover is shown in Figure 4 . Csp-Casl-Prover takes a Csp-Casl process refinement statement as its input.  ... 
doi:10.14279/tuj.eceasst.62.873 dblp:journals/eceasst/GimblettKOR13 fatcat:awfis5comjevbmrwzb5n6w5cyq

Toward Component-Oriented Formal Software Development: An Algebraic Approach [chapter]

Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2004 Lecture Notes in Computer Science  
Our study is carried out in the context of Casl architectural specifications.  ...  In particular we take into account an observational interpretation of requirements specifications and study its impact on the definition of the semantics of specifications of (parametrized) components.  ...  Our study is carried out in the context of Casl architectural specifications.  ... 
doi:10.1007/978-3-540-24626-8_5 fatcat:qstj66wjgbhnfmbxy7aepayglq
« Previous Showing results 1 — 15 out of 505 results