Feature Interaction Analysis Using Z


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

Download

[img] Postscript fiz.ps - Other
Download (265kB)

Description/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.

Item Type: Monograph (Project Report)
Organisations: Electronic & Software Systems
ePrint ID: 250975
Date :
Date Event
1993Published
Date Deposited: 07 Oct 1999
Last Modified: 17 Apr 2017 23:46
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250975

Actions (login required)

View Item View Item