Comprehensive approach to service interaction handling

Computer Networks

Volumn 30, Issue 15, 1998, Pages 1363-1387

  Kimbler, Kristofer ^a   Capellmann, Carla ^b   Velthuijsen, Hugo ^c  

^a LUND UNIVERSITY   (Sweden)

^b DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^c KPN RESEARCH   (Netherlands)

Author keywords

Enterprise modelling; Formal description techniques; Interaction filtering; Service creation; Service interaction

Indexed keywords

EID: 0001195451     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(98)00149-4     Document Type: Article

References (5)

1. J. Rumbaugh et al., Object-Oriented Modelling and Design, Prentice-Hall, Englewood Cliffs, NJ, 1991.
2. I. Aggoun, P. Combes, Observers in service creation and service execution, in: Feature Interactions in Telecommunication Networks IV, IOS Press, Amsterdam, 1997.
3. R.B. Blumenthal, M.P. O'Reilly, P. Russo, Addressing feature interactions during service creation, in: Feature Interactions in Telecommunication Networks IV, IOS Press, Amsterdam, 1997.
4. C. Capellmann, R. Demant, R. Galvez-Estrada, U. Nitsche, P. Ochsenschläger, Case study: service interaction detection by formal verification under behaviour abstraction, in: Proc. Int. Workshop on Advanced Intelligent Networks (AIN'96), Passau, Germany, March 1996.
5. P. Combes, B. Renard, C. Capellmann, J. Pettersson, J. Ruiz, Consistent and comprehensive approach to off-line service interaction detection, in: Feature Interactions in Telecommunication Networks IV, IOS Press, Amsterdam, 1997.