Modeling and analysis of large-scale complex adaptive systems (CAS) is critical to understanding their key properties such as self-organization, emergence, and adaptability. These properties are difficult to analyze in real-world scenarios due to performance constraints, metric design, and limitations in existing modeling tools. In our previous work, we proposed the Complex Adaptive Systems Lan...

The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CAS...

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

This paper re-examines a basic test case used for spherical shallow-water numerical models, and underscores the need for accurate, high resolution models of atmospheric and ocean dynamics. The Rossby–Haurwitz test case, first proposed by Williamson et al. [D.L. Williamson, J.B. Drake, J.J. Hack, R. Jakob, P.N. Swarztrauber, A standard test set for numerical approximations to the shallow-water e...

BACKGROUND AND PURPOSE Continuous arterial spin-labeled perfusion MRI (CASL-PI) uses electromagnetically labeled arterial blood water as a diffusible tracer to noninvasively measure cerebral blood flow (CBF). We hypothesized that CASL-PI could detect perfusion deficits and perfusion/diffusion mismatches and predict outcome in acute ischemic stroke. METHODS We studied 15 patients with acute is...

An open collaborative effort has been initiated: to design a common framework for algebraic specification and development of software. The rationale behind this initiative is that the lack of such a common framework greatly hinders the dissemination and application of research results in algebraic specification. In particular, the proliferation of specification languages, some differing in only...

We translate OBJ3 to CASL. At the level of basic speciica-tions, we set up several institution representations between the underlying institutions. They correspond to diierent methodological views of OBJ3. The translations can be the basis for automated tools translating OBJ3 to CASL.

Ontologies are differentiated in foundational and domain ontologies. As both kinds of ontologies are developed under different considerations such as expressivity or efficiency, usually different formal languages are used. Foundational ontologies are typically specified in first-order logic or modal logic, since precise definitions are considered more important than efficiency. Since domain ont...