loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)
Extending the Service Domain of Interactive Components
Haeundae Grand Hotel, Busan, South Korea
August 20-August 22
ISBN: 0-7695-2867-8
Walter Dosch, University of Lubeck, Germany
An interactive component consumes a stream of input messages and produces a stream of output messages. The input/output behaviour describes the service offered by the component without disclosing the implementation. In general, an interactive component provides the contracted service only for a subset of input histories, called its service domain. We investigate the input/output behaviour of interactive components for erroneous input streams outside the service domain. We specify a fault sensitive behaviour, a fault tolerant behaviour, a robust behaviour, and a fault correcting behaviour by enlarging the regular behaviour in a systematic way. We implement the different behaviours by state transition machines where we enlarge the regular state space by additional information. Altogether we provide schematic transformations both on the specification and on the implementation level how to extend the regular behaviour of an interactive component to input streams outside the service domain. The resulting formal method separates the aspects of service provision and error handling in an orthogonal way.
Index Terms:
Interactive component, input/output behaviour, stream function, state transition machine, service
Citation:
Walter Dosch, "Extending the Service Domain of Interactive Components," sera, pp.233-244, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.