The Declarative Language STR (State Transition Rule)

  • T. Yoneda
  • T. Ohta
Conference paper


The declarative language STR (State Transition Rule) is proposed to describe service specifications and programs. Given that telecommunication service specifications can be represented in the form of a state transition diagram, STR describes conditions for state transitions in the form of a production rule. STR specifications, description examples, categories of feature interactions, examples of feature interactions, interaction detection method, and application to Active Networks are described.


State Transition Active Network Service Specification Feature Interaction Telecommunication Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Y. Hirakawa et al., “Telecommunication Service Description Using State Trnsition Rules”, Int. Workshop on Software Specification and Design, Oct. 1991.Google Scholar
  2. 2.
    T. Ohta and et al., “Classification, Detection and Resolution of Service Interactions in Telecommunication Services”, Proc. of FIW94, pp.60–72, May 1994.Google Scholar
  3. 3.
    Y. Kawarasaki and T. Ohta, “A New Proposal for Feature Interaction Detection and Elimination”, Proc. of FIW95, pp.127–140, Oct. 1995.Google Scholar
  4. 4.
    T. Ohta and C. Flaviu, “Formal Definitions of Feature Interactions in Telecommunications Software”, IEICE Trans. on Fundamentals, vol. E-81A, No. 4, pp.635–638, April 1998.Google Scholar
  5. 5.
    T. Yoneda and T. Ohta, “A Formal Approach for Definition and Detection Feature Interactions”, Proc. of FIW98, pp.202–216, Sep. 1998.Google Scholar
  6. 6.
    T. Yoneda and T. Ohta, “Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services”, IEICE Trans. on Information and Systems, vol. E-83D, No. 4, April 2000.Google Scholar
  7. 7.
    L. G. Bouma and H. Velthuijsen (eds.), “Feature Interactions In Telecommunication Networks II”, IOS Press, 1994.Google Scholar
  8. 8.
    K. E. Cheng and T. Ohta (eds.), “Feature Interactions In Telecommunication Networks III”, IOS Press, 1995.Google Scholar
  9. 9.
    P. Dini et al. (eds.), “Feature Interactions In Telecommunication Networks IV”, IOS Press, 1997.Google Scholar
  10. 10.
    K. Kimbler and L. G. Bouma (eds.), “Feature Interactions In Telecommunications And Software Systems V”, IOS Press, 1998.Google Scholar
  11. 11.
    M. Calder and E. Magill (eds.), “Feature Interactions in Telecommunications and Software Systems VI”, IOS Press, 2000.Google Scholar
  12. 12.
    K. L. Calvert, et aI., “Directions in Active Networks”, IEEE Com. Magazine, Vol.36 No. 10, pp.72–78, Oct. 1998.Google Scholar
  13. 13.
    “Active Networks”, Lecture Notes in Computer Science 1653, Springer, 1999.Google Scholar
  14. 14.
    ITU-T Rec. H.323, “Packet-based multimedia communications systems,” 1998.Google Scholar

Copyright information

© Springer-Verlag London Limited 2001

Authors and Affiliations

  • T. Yoneda
    • 1
  • T. Ohta
    • 1
  1. 1.Faculty of EngineeringSOKA UniversityTokyoJapan

Personalised recommendations