DocumentCode
3314647
Title
Automatic Elicitation of Network Service Specification
Author
Ohba, M. ; Egashira, K. ; Ohta, T.
Author_Institution
SOKA Univ., Soka
fYear
2008
fDate
26-31 Oct. 2008
Firstpage
25
Lastpage
30
Abstract
A lot of research has been done into automatically eliciting service specifications of a system, whose specification is unknown, by analyzing output signals corresponding to input signals. This paper proposes algorithms for automatically eliciting state transition diagrams based on an enhanced state transition model from a set of rules that represent condition of each state transition.
Keywords
formal specification; network operating systems; program diagnostics; network service specification automatic elicitation; state transition diagrams; Costs; Degradation; Reliability; Signal analysis; Software engineering; Software systems; Telecommunication services; automatic elicitation; rule-based language; service specification; state transition diagram;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Advances, 2008. ICSEA '08. The Third International Conference on
Conference_Location
Sliema
Print_ISBN
978-1-4244-3218-9
Electronic_ISBN
978-0-7695-3372-8
Type
conf
DOI
10.1109/ICSEA.2008.23
Filename
4668083
Link To Document