In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider the languages Larch, OBJ3 and functional CafeOBJ, ACT ONE, ASF, and HEP-theories, as well as various sublanguages of Casl. All these languages are translated to an appropriate sublanguage of Casl. The translation main...

Continuous arterial spin labeling (CASL) measurements over a range of post-labeling delay (PLD) times can be interpreted to estimate cerebral blood flow (CBF) and arterial transit time (deltaa) with good spatial and temporal resolution. In this work, we present an in vivo demonstration of Hadamard-encoded continuous arterial spin labeling (H-CASL); an efficient method of imaging the inflow of s...

This paper deals with the implementation of an efficient Arbitrary Lagrangian Eulerian (ALE) formulation for the three dimensional finite element modeling of mode I self-similar dynamic fracture process. Contrary to the remeshing technique, the presented algorithm can continuously advance the crack with the one mesh topology. The uncoupled approach is employed to treat the equations. So, each t...

Casl, a specification formalism developed recently by the CoFI group, offers architectural specifications as a way to describe how simpler modules can be used to construct more complex ones. The semantics for Casl architectural specifications formulates static amalgamation conditions as a prerequisite for such constructions to be well-formed. These are non-trivial in the presence of subsorts du...

CSP–CASL integrates the process algebra CSP [T. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood cliffs, NJ, 1985; A.W. Roscoe, The Theory and Practice of Concurrency, Prentice-Hall, Englewood cliffs, NJ, 1998] with the algebraic specification language CASL [P.D. Mosses (Ed.), CASL Reference Manual, Lecture Notes in Computer Science, Vol. 2960, Springer, Berlin, 2004; E. Aste...

Permission is granted to anyone to make or distribute verbatim copies of this document, in any medium, provided that the copyright notice and permission notice are preserved, and that the distributor grants the recipient permission for further redistribution as permitted by this notice. Modified versions may not be made. Abstract This is the formal semantics of version 1.0.2 of Casl. Although i...

This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from Casl’s strong typing discipline and powerful structuring concepts. Vice versa, the automatic decision procedures available for OWL DL (or more precisely, the underlying description logic SHOIN (D)) become available for a sublan...

Casl is an expressive specification language that has been designed to supersede many existing algebraic specification languages and provide a standard. Casl consists of several layers, including basic (unstructured) specifications, structured specifications and architectural specifications (the latter are used to prescribe the structure of implementations). We describe an simplified version of...

This paper describes an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the multiagent system specification formalism CASL. This allows the requirements engineer to exploit the complementary features of the frameworks. i* can be used to model social dependencies between agents and how process design choices affect the agents’ goals...