Using projections for the detection of anomalous behaviors

Authors:
Jacqueline Floch;Rolv Bræk
Affiliations:
SINTEF Telecom and Informatics, Trondheim, Norway and Department of Telematics, Norwegian University of Science and Technology, Trondheim, Norway;Department of Telematics, Norwegian University of Science and Technology, Trondheim, Norway
Venue:
SDL'03 Proceedings of the 11th international conference on System design
Year:
2003

Citing 4
Cited 5

Communication and Concurrency

Communication and Concurrency
Towards a Plug and Play Architecture for Telecommunications

SMARTNET '99 Proceedings of the IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks
Three Concepts of System Architecture

Three Concepts of System Architecture
Using SDL for modeling behavior composition

SDL'03 Proceedings of the 11th international conference on System design

Automated generation of micro protocol descriptions from SDL design specifications

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
A comprehensive engineering framework for guaranteeing component compatibility

Journal of Systems and Software
A developer-friendly approach for the validation of dynamic compositions

SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
A compositional approach to service validation

SDL'05 Proceedings of the 12th international conference on Model Driven
Application of stuck-free conformance to service-role composition

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.