Filters








236 Hits in 2.8 sec

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.  ...  We consider how to test such units without reference to their context of use. This problem is most acute for generic units where the particular instantiation cannot be predicted.  ...  Acknowledgments: Thanks to Marie-Claude Gaudel for encouragement and to members of IFIP WG 1.3 for interesting questions. This research was partly funded by PROTEM-CC/CNPq.  ... 
doi:10.1007/3-540-45687-2_42 fatcat:dbwzxcdi5bhjjhzas6cgaw6ku4

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  ...  The status of the Common Framework Initiative (CoFI) and the Common Algebraic Specification Language (Casl) are briefly presented.  ...  Architectural specifications in Casl can make use of certain model building operators for defining units.  ... 
doi:10.1007/3-540-45719-4_1 fatcat:l2vqgif6b5ecxbbcq46ljvjwou

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  ...  The Common Framework Initiative ( CoFI ) is an open international collaboration which aims to provide a common framework for algebraic specification and development of software.  ...  An architectural specification consists of a list of unit declarations, indicating the component modules required with specifications for each of them, together with a unit term that describes the way  ... 
doi:10.1007/3-540-46562-6_1 fatcat:eigcvszbr5hutlkl454ao5q5yu

CoFI: The Common Framework Initiative for Algebraic Specification and Development

Peter D. Mosses
1997 BRICS Report Series  
The common framework will provide a family of specification<br />languages at different levels: a central, reasonably expressive language, called CASL, for specifying (requirements, design, and architecture  ...  It should also be possible<br />to embed many existing algebraic specification languages in members of the CASL family. A tentative design for CASL has already been proposed.  ...  In CASL, an architectural specification consists of a collection of component unit specifications, together with a description of how the implemented units are to be composed.  ... 
doi:10.7146/brics.v4i48.19269 fatcat:luwoj7jm6vcanpbfdfo2rxa6uu

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 is a complex language with a complete formal semantics. It is therefore a challenge to build good tools for CASL.  ...  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

Property Preserving Refinement for Csp-Casl [chapter]

Temesghen Kahsai, Markus Roggenbach
2009 Lecture Notes in Computer Science  
In the following test units we encode some test cases developed for BRCU.  ...  We also present the tool TEV-a testing framework for EP2. unit.  ...  CSP-CASL specifications from an implementation point of view. We also demonstrate how we run test cases on an implementation of the remote control.  ... 
doi:10.1007/978-3-642-03429-9_14 fatcat:fkkfl3b3ijam5f3fmp6qfyc2ya

CASL for CafeOBJ Users

Peter D. Mosses
2000 BRICS Report Series  
Casl is an expressive language for the algebraic specification<br />of software requirements, design, and architecture.  ...  Casl combines the best features of many previous main-stream algebraic specification languages, and it should provide a focus for future research and development in the use of algebraic techniques, as  ...  Special thanks to the participants of the various CoFI task groups for the collaborative effort which has resulted in the design of Casl.  ... 
doi:10.7146/brics.v7i51.20218 fatcat:yv534auibfdgdazq2osyl75cgm

CoFI: The common framework initiative for algebraic specification and development [chapter]

Peter D. Mosses
1997 Lecture Notes in Computer Science  
While specification-building operations are useful to structure the text of large specifications, architectural specifications are meant for imposing structure on models.  ...  Chapter 8 will discuss and illustrate the role of architectural specifications, and show how to express them in Casl.  ...  For instance, the following architectural specification corresponds to a different architectural choice for implementing our Req specification. arch spec System 1 = units N : Natural; CD : Cont Del [  ... 
doi:10.1007/bfb0030591 fatcat:u45iljxuk5hf5lqxa5yd4spz7a

Componentized hierarchical build and test infrastructure and processes for CASL VERA

Roscoe Bartlett
2020 figshare.com  
The CASL Virtual Environment for Reactor Applications (VERA) software integrates the development efforts of many different teams, code bases, and institutions into multi-physics executables.  ...  This was well demonstrated in the Consortium of the Advanced Simulation of Light-water reactors (CASL) project.  ...  TriBITS was initially developed as a package-based architecture build and test system for the Trilinos [6] project.  ... 
doi:10.6084/m9.figshare.12774515.v4 fatcat:wnmwhrtvwresbirrkzyjhl57ki

Development of Parsing Tools for CASL Using Generic Language Technology [chapter]

Mark G. J. van der Brand, Jeroen Scheerder
2000 Lecture Notes in Computer Science  
ACKNOWLEDGEMENTS We thank Jan Heering and Pieter Olivier for reading the draft versions of this paper.  ...  The CASL syntax proved to be an interesting test case for the development of both SGLR parser and the parser generator: the complexity of the CASL syntax continuously pushed the envelope, putting a heavy  ...  Overall Architecture of a CASL Parsing Environment The overall architecture of a full CASL parser, including user-defined syntax, based on ASF+SDF technology is depicted by Figure 1 .  ... 
doi:10.1007/978-3-540-44616-3_6 fatcat:ixkebqtgzvhglkjv6tbzo2psri

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
2002 Theoretical Computer Science  
The Common Algebraic Speciÿcation Language (CASL) is an expressive language for the formal speciÿcation of functional requirements and modular design of software.  ...  Summary for further details.  ...  Language constructs This section provides examples that illustrate the CASL language constructs for use in architectural speciÿcations: architectural speciÿcation deÿnitions, unit declarations, unit deÿnitions  ... 
doi:10.1016/s0304-3975(01)00368-1 fatcat:w6rcgk5xwjgf7nzlcyhqrcf2gu

Componentized hierarchical build and test infrastructure and processes for CASL VERA

Roscoe Bartlett
2020 figshare.com  
The CASL Virtual Environment for Reactor Applications (VERA) software integrates the development efforts of many different teams, code bases, and institutions into multi-physics executables.  ...  This was well demonstrated in the Consortium of the Advanced Simulation of Light-water reactors (CASL) project.  ...  TriBITS was initially developed as a package-based architecture build and test system for the Trilinos [?] project.  ... 
doi:10.6084/m9.figshare.12774515.v1 fatcat:rpxw5pphhja7dnfag4bt7q7sba

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans [article]

Phillip James, Markus Roggenbach
2014 arXiv   pre-print
This paper introduces a methodology for developing domain specific languages for modelling and verification to aid in the uptake of formal methods within industry.  ...  The presented methodology addresses issues surrounding faithful modelling, scalability of verification and accessibility to modelling and verification processes for practitioners within the domain.  ...  Catesbeiana (Jr) for signalling us in the correct direction. Encapsulating Formal Methods in DSLs  ... 
arXiv:1403.3034v2 fatcat:exwfak3nwzfkhgg7tg4gg3ucii

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans

Phillip James, Markus Roggenbach
2014 Mathematics in Computer Science  
This paper introduces a methodology for developing domain specific languages for modelling and verification to aid in the uptake of formal methods within industry.  ...  The presented methodology addresses issues surrounding faithful modelling, scalability of verification and accessibility to modelling and verification processes for practitioners within the domain.  ...  Acknowledgments The authors would like to thank Simon Chadwick and Dominic Taylor from Invensys Rail UK for their contributions and encouraging feedback.  ... 
doi:10.1007/s11786-014-0174-0 fatcat:oi6htdfup5hu5nyaty6ln4hura

The Virtual Environment for Reactor Applications (VERA): Design and architecture

John A. Turner, Kevin Clarno, Matt Sieger, Roscoe Bartlett, Benjamin Collins, Roger Pawlowski, Rodney Schmidt, Randall Summers
2016 Journal of Computational Physics  
CASL was established for the modeling and simulation of commercial nuclear reactors.  ...  VERA, the Virtual Environment for Reactor Applications, is the system of physics capabilities being developed and deployed by the Consortium for Advanced Simulation of Light Water Reactors (CASL).  ...  The primary repository for CASL development and testing of each repository exists at ORNL behind the laboratory firewall.  ... 
doi:10.1016/j.jcp.2016.09.003 fatcat:3jxsdtkybva2hgx3berhhe7lwa
« Previous Showing results 1 — 15 out of 236 results