In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction resolution system described by Griffeth and Velthuijsen [7]. We discuss the main features of CASL that make it a useful language for specifying and verifying multiagent systems. CASL has a nice mix of declarative and procedural el...

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 main-stream algebraic specification languages, and it should provide a focus for future rese...

We present a new approach on how to provide institution-based semantics for UML state machines. Rather than capturing machines directly as an institution, we build up logical framework \(\mathcal {M}^{\downarrow }_{\mathcal {D}}\) into which can be embedded. A theoroidal comorphism maps the \(\textsc {Casl}\) institution. This allows symbolic reasoning By utilising heterogeneous toolset {HeTS}\...

CasL/HEF1 belongs to the p130(Cas) family. It is tyrosine-phosphorylated following beta(1) integrin and/or T cell receptor stimulation and is thus considered to be important for immunological reactions. CasL has several structural motifs such as an SH3 domain and a substrate domain and interacts with many molecules through these motifs. To obtain more insights on the CasL-mediated signal transd...

In this paper, a green transportation location problem is considered with uncertain demand parameter. Increasing robustness influences the number of trucks for sending goods and products, caused consequently, increase the air pollution. In this paper, two green approaches are introduced which demand is the main uncertain parameter in both. These approaches are addressed to provide a trade-off b...

We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with model-theoretic requirements. The main obstacle here is the lack of amalgamation for Casl models. To circumvent this problem, we extend the Casl logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model fu...

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...

This paper discusses the advantages of the Common Algebraic Specification Language (Casl) for the development of modular ontologies. Casl not only offers logics with a limited expressivity like description logic, but also e.g. first-order logic and modal logic. The central part of Casl is its powerful structuring mechanism, which is orthogonal to the logical formalisms. Hence the modularization...

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. The logic here is formalized as an institution with some extra components. Following the institution independent semantics of Casl in-the-large, we thus get an institution independent static a...

We introduce the Casl Consistency Checker (CCC), a tool that supports consistency proofs in the algebraic specification language Casl. CCC is a faithful implementation of a previously described consistency calculus. Its system architecture combines flexibility with correctness ensured by encapsulation in a type system. CCC offers tactics, tactical combinators, forward and backward proof, and a ...