Abstract. The software application domain of customer-oriented telephony is worth the attention of specialists in formal methods. Primarily this paper is a tutorial about customer-oriented telephony. It also includes observations about how this domain should be formalized, including critiques of some popular approaches. 1.
|
64
|
Feature interactions and formal specifications in telecommunications
– Zave
- 1993
|
|
49
|
Specification styles in distributed systems design and verification. Theoretical Computer Science
– Vissers, Scollo, et al.
- 1991
|
|
38
|
Intelligent Network overview
– Garrahan, Russo, et al.
- 1993
|
|
36
|
A feature interaction benchmark for
– Cameron, Griffeth, et al.
- 1994
|
|
33
|
Atlee, Towards automated detection of feature interactions
– Braithwaite, M
- 1994
|
|
31
|
Where do operations come from? a multiparadigm specification technique
– Zave, Jackson
- 1996
|
|
30
|
Formal specification of telephone systems in LOTOS: The constraint-oriented style approach
– Faci, Logrippo, et al.
- 1991
|
|
27
|
Automatic detection of feature interactions in temporal logic
– Blom, Bol, et al.
- 1995
|
|
24
|
International standards for intelligent networks
– Duran, Visser
- 1992
|
|
23
|
Formal methods and social context in software development
– Goguen, Luqi
- 1995
|
|
23
|
Issues of non-monotonicity in feature-interaction detection
– Velthuijsen
- 1995
|
|
21
|
Using temporal logic for modular specification of telephone services
– Blom, Jonsson, et al.
- 1994
|
|
14
|
Extending telecommunications systems: The feature-interaction problem
– Griffeth, Lin
- 1993
|
|
13
|
Minimizing feature interactions: An architecture and processing model approach
– Zibman, Woolf, et al.
- 1995
|
|
11
|
Classification, detection, and resolution of service interactions in telecommunication services
– Ohta, Harada
- 1994
|
|
11
|
LOTOS specification style for OSI
– Turner, Sinderen
- 1995
|
|
10
|
A General Transition Model for protocols and Communication services
– Bochmann
|
|
10
|
Secrets of call forwarding: A specification case study
– Zave
- 1996
|
|
10
|
Requirements for telecommunications services: An attack on complexity
– Zave, Jackson
- 1997
|
|
8
|
The feature interaction problem in networked multimedia services: past, present and future––4th deliverable (final report
– Magill, Tsang, et al.
- 1996
|
|
7
|
Formal specification and feature interaction detection in the Intelligent Network
– Kamoun
- 1996
|
|
7
|
A rely and guarantee method for Timed CSP: A specification and design of a telephone exchange
– Kay, Reed
- 1993
|
|
6
|
Formal methods are research, not development
– Zave
- 1996
|
|
5
|
An interaction-avoiding call processing model
– Cattrall, Howard, et al.
- 1995
|
|
5
|
Refinement of shared systems
– Jacob
- 1989
|
|
2
|
Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, and Tadashi Ohta. A dynamic resolution method for feature interactions and its evaluation
– Kakuda
- 1995
|
|
2
|
Relationship of the Signaling System No. 7 protocol architecture to the OSI Reference Model
– Mitra, Usiskin
- 1991
|
|
