MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Reachability Analysis of Feature Interactions in Service-Oriented Software Systems (1995) [2 citations — 1 self]

Download:
pdf | ps
by Keith Patrick Pomakis
http://www.pobox.com/~pomakis/thesis.ps
Add To MetaCart

Abstract:

I hereby declare that I am the sole author of this thesis. I authorize the University of Waterloo to lend this thesis to other institutions or individuals for the purpose of scholarly research. I further authorize the University of Waterloo to reproduce this thesis by photocopying or by other means, in total or in part, at the request of other institutions or individuals for the purpose of scholarly research. ii The University of Waterloo requires the signatures of all persons using or photocopying this thesis. Please sign below, and give address and date. iii A feature in the context of a service-oriented software system is a program module that is added to a basic service in order to add functionality. An example of this type of system is the telephone system, where customers can subscribe to add-on telephony features such as Call Waiting, Three-Way Calling, and Call Number Display. An inherent problem

Citations

2142 A robust layered control system for a mobile robot – Brooks - 1986
714 Design and Validation of Computer Protocols – Holzmann - 1991
64 Feature interactions and formal specifications in telecommunications – Zave - 1993
36 A Building Block Approach to Detecting and Resolving Feature Interactions – Lin, Lin - 1994
33 Atlee, Towards automated detection of feature interactions – Braithwaite, M - 1994
24 Formalisation of a user view of network and services for feature interaction detection – Combes, Pickin - 1994
22 The feature interaction problem in telecommunications systems – Bowen, Dworack, et al. - 1989
15 Specifying telephone systems in LOTOS – Boumezbeur, Logrippo - 1993
13 Twilight zones and cornerstones: A gnat robot double feature – Flynn, Brooks, et al. - 1989
11 Classification, detection, and resolution of service interactions in telecommunication services – Ohta, Harada - 1994
6 Feature Interactions among Pan-European Services – Kimbler, Kuisch, et al. - 1994
3 Feature Processing Environment – Utas - 1992
1 Finding Reachable States of Finite-State Concurrent Systems – Titus, Stavely - 1989