Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams

  • Walter Dosch
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 27)


A sequential memory component stores data in addressable locations. The component serves an input stream in a regular way iff all read commands retrieve data from locations with a previous assignment. We study the component’s erroneous behaviour for input streams outside the service domain. We specify a fault sensitive memory component, a fault tolerant memory component, a robust memory component, and a fault correcting memory component in the setting of stream functions. We implement the different versions by state transition machines in a modular way. Beyond the case study, we express adequate notions for modeling the services of interactive components.


Input Stream Memory Component Output Stream Regular Behaviour Irregular Behaviour 



I gratefully acknowledge valuable improvements suggested by A. Stümpel.


  1. 1.
    Broy M (2004) Service-oriented systems engineering: specification and design of services and layered architectures—the JANUS approach. Working material, international summer school 2004, Marktoberdorf, GermanyGoogle Scholar
  2. 2.
    Wegner P (1997) Why interaction is more powerful than algorithms. Commun ACM 40(5):80–91CrossRefGoogle Scholar
  3. 3.
    Broy M, Stølen K (2001) Specification and development of interactive systems: focus on streams, interfaces, and refinement. Monographs in computer science. Springer, BerlinGoogle Scholar
  4. 4.
    Kahn G (1974) The semantics of a simple language for parallel programming. In: Rosenfeld J (ed) Inf Process, North–Holland, 74:471–475Google Scholar
  5. 5.
    Kahn G, MacQueen D B (1977) Coroutines and networks of parallel processes. In: Gilchrist B (ed). Inform Process North-Holland 77:993–998Google Scholar
  6. 6.
    Dosch W, Hu G (2007) On irregular behaviours of interactive stacks. In: Latifi S (ed) Proceedings of the 4th international conference on information technology: new generations (ITNG 2007). IEEE Computer Society Press, Washington, DC, pp 693–700Google Scholar
  7. 7.
    Stephens R (1997) A survey of stream processing. Acta Informatica 34(7):491–541CrossRefMATHMathSciNetGoogle Scholar
  8. 8.
    Stümpel A (2003) Stream-based design of distributed systems through refinement. Logos Verlag, BerlinGoogle Scholar
  9. 9.
    Dosch W, Stümpel A (2005) Transforming stream processing functions into state transition machines. In: Dosch W, Lee R, Wu C (eds) Software engineering research and applications (SERA 2004). Lect Notes Comput Sci 3647:1–18Google Scholar
  10. 10.
    Dosch W, Stümpel A (2007) Deriving state-based implementations of interactive components with history abstractions. In: Virbitskaite I, Voronkov A (eds) Perspectives of systems informatics (PSI 2006). Lect Notes Comput Sci 4378:180–194Google Scholar
  11. 11.
    Breitling M, Philipps J (2000) Step by step to histories. In: Rus T (ed) Algebraic methodology and software technology (AMAST’2000), Lect Notes Comput Sci 1816:11–25Google Scholar
  12. 12.
    de Roever WP, Langmaack H, Pnueli A (eds) (1998) Compositionality: the significant difference. Lect Notes Comput Sci 1536Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Walter Dosch
    • 1
  1. 1.Institute of Software Technology and Programming Languages, University of LübeckLübeckGermany

Personalised recommendations