Service logic program generation method using specification supplementing techniques

Hiroshi Sakai, Kazumasa Takami, Yoshihiro Niitsu

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Abstract

Specification supplementing techniques used to efficiently create service logic programs (SLPs) are discussed. Our techniques significantly reduce the volume of service specifications that need to be described by supplementing both the specifications that can be automatically determined from other specification information, and those that have default values or procedures. Our experimental results show that a variety of supplementing techniques achieve a stable supplementing ratio for any kind of SLP, and that the ratio improves as the target SLPs become more complicated.

Original languageEnglish
Publication statusPublished - 1997 Jan 1
EventProceedings of the 1997 IEEE Intelligent Network Workshop. Part 1 (of 4) - Colorado Springs, CO, USA
Duration: 1997 May 41997 May 7

Other

OtherProceedings of the 1997 IEEE Intelligent Network Workshop. Part 1 (of 4)
CityColorado Springs, CO, USA
Period97/5/497/5/7

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'Service logic program generation method using specification supplementing techniques'. Together they form a unique fingerprint.

  • Cite this

    Sakai, H., Takami, K., & Niitsu, Y. (1997). Service logic program generation method using specification supplementing techniques. Paper presented at Proceedings of the 1997 IEEE Intelligent Network Workshop. Part 1 (of 4), Colorado Springs, CO, USA, .