The CORAS Risk Modelling Language

This chapter gives a careful and more detailed presentation of the CORAS risk modeling language, including its syntax and its semantics. The CORAS language is tightly interwoven with the CORAS risk analysis method, and is furthermore firmly based on the central underlying concepts of risk analysis. We explain this by introducing and defining the core risk related concepts, and by demonstrating how these concepts are reflected in the language by specific language constructs. The chapter introduces the five basic kinds of CORAS diagrams and explains their use in the practical setting of risk analysis, both to support communication and to facilitate the various tasks of the risk analysis process.