Extending the Service Domain of Interactive Components


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.

Original languageGerman
Title of host publication5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)
Number of pages10
Publication date01.12.2007
Article number4296941
ISBN (Print)978-0-7695-2867-0, 0-7695-2867-8
Publication statusPublished - 01.12.2007
Event5th ACIS International Conference on Software Engineering Research, Management, and Applications - Busan, Korea, Republic of
Duration: 20.08.200722.08.2007
Conference number: 71278

Cite this