Service logic program generation method using specification supplementing techniques

Hiroshi Sakai; Kazumasa Takami; Yoshihiro Niitsu

Service logic program generation method using specification supplementing techniques

Hiroshi Sakai, Kazumasa Takami, Yoshihiro Niitsu

Research output: Contribution to conference › Paper › peer-review

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 language	English
Publication status	Published - 1997 Jan 1
Externally published	Yes
Event	Proceedings of the 1997 IEEE Intelligent Network Workshop. Part 1 (of 4) - Colorado Springs, CO, USA Duration: 1997 May 4 → 1997 May 7

Other

Other	Proceedings of the 1997 IEEE Intelligent Network Workshop. Part 1 (of 4)
City	Colorado Springs, CO, USA
Period	97/5/4 → 97/5/7

ASJC Scopus subject areas

Computer Science(all)
Engineering(all)

Cite this

@conference{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",

month = jan,

day = "1",

language = "English",

note = "Proceedings of the 1997 IEEE Intelligent Network Workshop. Part 1 (of 4) ; Conference date: 04-05-1997 Through 07-05-1997",

}

TY - CONF

T1 - Service logic program generation method using specification supplementing techniques

AU - Sakai, Hiroshi

AU - Takami, Kazumasa

AU - Niitsu, Yoshihiro

PY - 1997/1/1

Y1 - 1997/1/1

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 - Paper

AN - SCOPUS:0030644213

T2 - Proceedings of the 1997 IEEE Intelligent Network Workshop. Part 1 (of 4)

Y2 - 4 May 1997 through 7 May 1997

ER -

Service logic program generation method using specification supplementing techniques

Abstract

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this