Sciweavers

ATAL
2000
Springer

Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application

14 years 3 months ago
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
Abstract. 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 systemdescribedbyGriffeth 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 elements with a formal semantics to facilitate the verification of properties of CASL specifications.
Steven Shapiro, Yves Lespérance
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where ATAL
Authors Steven Shapiro, Yves Lespérance
Comments (0)