The University of Southampton
University of Southampton Institutional Repository

Feature Interaction Analysis Using Z

Feature Interaction Analysis Using Z
Feature Interaction Analysis Using Z
Feature Interaction is a well-known problem in telecommunications service provision. Feature interactions arise at different phases in the service creation process. Interactions may appear in the specifications that describe services from the users viewpoint. Equally, specifications that appear to have no interactions from the user viewpoint may interact at the implementation level because they are designed in such a way that they share some network resources. We have examined the use of the formal notation Z in analysing interactions in user-viewpoint service specifications.
s.n.
Butler, M.J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Butler, M.J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0

Butler, M.J. (1993) Feature Interaction Analysis Using Z s.n. ,

Record type: Monograph (Project Report)

Abstract

Feature Interaction is a well-known problem in telecommunications service provision. Feature interactions arise at different phases in the service creation process. Interactions may appear in the specifications that describe services from the users viewpoint. Equally, specifications that appear to have no interactions from the user viewpoint may interact at the implementation level because they are designed in such a way that they share some network resources. We have examined the use of the formal notation Z in analysing interactions in user-viewpoint service specifications.

Postscript fiz.ps - Other
Download (265kB)

More information

Published date: 1993
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 250975
URI: https://eprints.soton.ac.uk/id/eprint/250975
PURE UUID: c6bfe33b-8d17-4247-a611-a07eb602eb16
ORCID for M.J. Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 07 Oct 1999
Last modified: 06 Jun 2018 13:04

Export record

Contributors

Author: M.J. Butler ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×