A User-View Of Services And Network: Formal Specification And Interaction Detection

24 August 2005

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 1_364-1_384
https://doi.org/10.1109/inw.1994.723295

Abstract

We first present some general considerations about the service/feature interaction problem, and why formal specifications wilI really increase the efficiency and reliability of the service creation process. We introduce a formal method for detecting some interaction problems, more precisely high level interactions. This method is based on construction of an abstract model of services and network, as seen by users. This method is also based on the notion of service properties (or policies). A property is a declarative specification of basic requirements of service feature. Then, we present an introduction to the existing formal specification tools to be used for such a method. We give some examples of service properties, debating a first approach for confidentiality, security, or taxation properties. For these examples, feature interactions and how they are detected will be presented.

Keywords

This publication has 0 references indexed in Scilit: