Service logic program generation method using specification supplementing techniques

Hiroshi Sakai, Kazumasa Takami, Yoshihiro Niitsu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Title of host publicationIEEE Intelligent Network Workshop, Proceedings
Place of PublicationPiscataway, NJ, United States
PublisherIEEE
Volume3
Publication statusPublished - 1997
Externally publishedYes
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

Fingerprint

Specifications

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Cite this

Sakai, H., Takami, K., & Niitsu, Y. (1997). Service logic program generation method using specification supplementing techniques. In IEEE Intelligent Network Workshop, Proceedings (Vol. 3). Piscataway, NJ, United States: IEEE.

Service logic program generation method using specification supplementing techniques. / Sakai, Hiroshi; Takami, Kazumasa; Niitsu, Yoshihiro.

IEEE Intelligent Network Workshop, Proceedings. Vol. 3 Piscataway, NJ, United States : IEEE, 1997.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sakai, H, Takami, K & Niitsu, Y 1997, Service logic program generation method using specification supplementing techniques. in IEEE Intelligent Network Workshop, Proceedings. vol. 3, IEEE, Piscataway, NJ, United States, Proceedings of the 1997 IEEE Intelligent Network Workshop. Part 1 (of 4), Colorado Springs, CO, USA, 97/5/4.
Sakai H, Takami K, Niitsu Y. Service logic program generation method using specification supplementing techniques. In IEEE Intelligent Network Workshop, Proceedings. Vol. 3. Piscataway, NJ, United States: IEEE. 1997
Sakai, Hiroshi ; Takami, Kazumasa ; Niitsu, Yoshihiro. / Service logic program generation method using specification supplementing techniques. IEEE Intelligent Network Workshop, Proceedings. Vol. 3 Piscataway, NJ, United States : IEEE, 1997.
@inproceedings{117df3f0f5cb4a36a001b745d266600d,
title = "Service logic program generation method using specification supplementing techniques",
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.",
author = "Hiroshi Sakai and Kazumasa Takami and Yoshihiro Niitsu",
year = "1997",
language = "English",
volume = "3",
booktitle = "IEEE Intelligent Network Workshop, Proceedings",
publisher = "IEEE",

}

TY - GEN

T1 - Service logic program generation method using specification supplementing techniques

AU - Sakai, Hiroshi

AU - Takami, Kazumasa

AU - Niitsu, Yoshihiro

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030644213&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030644213&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0030644213

VL - 3

BT - IEEE Intelligent Network Workshop, Proceedings

PB - IEEE

CY - Piscataway, NJ, United States

ER -