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 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



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