Method for describing phase transitions in a partially specified telecommunications system protocol
Method for describing phase transitions in a partially specified telecommunications system protocol
This invention describes how to translate phase transition requirements defined with a graphical notation such as MSC-s or UML sequence diagrams into a form of abstract implementation which is useful for analysing feature combinations. This leads to a methodology for detecting feature conflicts in a partially specified system.
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
April 2004
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Mitchell, Bill
(2004)
Method for describing phase transitions in a partially specified telecommunications system protocol
Record type:
Monograph
(Project Report)
Abstract
This invention describes how to translate phase transition requirements defined with a graphical notation such as MSC-s or UML sequence diagrams into a form of abstract implementation which is useful for analysing feature combinations. This leads to a methodology for detecting feature conflicts in a partially specified system.
Text
phases_public.pdf
- Version of Record
Available under License Other.
More information
Published date: April 2004
Organisations:
Electronics & Computer Science, IT Innovation
Identifiers
Local EPrints ID: 267436
URI: http://eprints.soton.ac.uk/id/eprint/267436
PURE UUID: d14d05af-a563-4b15-88a2-a813e5962087
Catalogue record
Date deposited: 01 Jun 2009 09:51
Last modified: 14 Mar 2024 08:50
Export record
Contributors
Author:
Bill Mitchell
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