Using Projections for the Detection of Anomalous Behaviors

A projection is a simplified system description or viewpoint that emphasizes some of the system properties while hiding others. In this paper, we describe a projection transformation that, when applied to SDL components, produces semantic interface descriptions. Contrary to traditional object interfaces that restrict the declaration of operation signatures, semantic interfaces describe dialogues and constraints between components, and can be exploited to build a system that behaves correctly. Using projections simplifies the validation analysis, and enables the designer to comprehend single interfaces. When following this approach, ambiguous and conflicting behaviors can be identified at design time.