Skip to main content
SpringerLink
Log in

Durchgängige Entwicklung großer verteilter Systeme — Die SILICON-Fallstudie

  • Conference paper
Kommunikation in Verteilten Systemen (KiVS)

Part of the book series: Informatik aktuell ((INFORMAT))

  • 156 Accesses

Zusammenfassung

Dieser Beitrag befasst sich mit der durchgängigen Entwicklung großer verteilter Systeme, insbesondere mit der Verfolgbarkeit zwischen Produkten aufeinanderfolgender Entwicklungsphasen. In den einzelnen Phasen kommen wiederverwen-dungsorientierte Ansätze zur Anwendung, die erstmals in einer umfassenden Fallstudie syntaktisch und semantisch integriert werden. Aufgrund des sehr umfangreichen Materials ist die Darstellung in diesem Beitrag auf die Systemarchitektur der einzelnen Phasen beschränkt.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 91.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Avenhaus, J., Gotzhein, R., Härder, T., Litz, L., Madiener, K., Nehmer, J., Richter, M., Ritter, N., Rombach, D., Schürmann, B., Zimmermann, G.: Entwicklung großer Systeme mit generischen Methoden—Eine Übersicht über den Sonderforschungsbereich 501, Informatik, Forschung und Entwicklung, 13(4):227–234, Dezember 1998

    Article  Google Scholar 

  2. Back, R. J. R.: A Calculus of Refinements for Program Derivations, Acta Informatica, 25:593–624, 1988

    Article  MathSciNet  MATH  Google Scholar 

  3. Booch, G., Rumbaugh, J. and Jacobson, I.: The Unified Modelling Language User Guide, Addison Wesley, Reading, Massachusetts, 1999

    Google Scholar 

  4. Börger, E., Gotzhein, R. (Guest Editors): Requirements Engineering: The Light Control Case Study, Special Issue of the Journal of Universal Computer Science, Springer, July 2000

    Google Scholar 

  5. Braek, R., Haugen, O.: Engineering Real Time Systems, Prentice Hall, 1993

    Google Scholar 

  6. Coleman, D. et al.: Object-Oriented Development—The Fusion Method, Prentice Hall, 1994

    Google Scholar 

  7. Geppert, B.: The SDL-Pattern Approach—A Reuse-Driven SDL Methodology for Designing Communication Software Systems, Ph.D. Thesis, University of Kaiserslautern, 2000

    Google Scholar 

  8. Gotzhein, R., Khendek, F., Schaible, P.: Micro Protocol Design: The SNMP Case Study, SDL and MSC Workshop (SAM’2002), Aberystwyth, UK, June 24–26, 2002

    Google Scholar 

  9. Gotzhein, R.: Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study, Information and Software Technology, Elsevier Sciences (in print)

    Google Scholar 

  10. Haumer, P., Pohl, K., Weidenhaupt, K., Jarke, M.: Improving Reviews by Extending Traceability, Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS), 1999

    Google Scholar 

  11. ITU-T Recommendation Z.100 (11/99): Specification and Description Language (SDL), International Telecommunication Union (ITU), 1999

    Google Scholar 

  12. Kronenburg, M., Peper, C: Application of the FOREST Approach to the Light Control Case Study, Journal of Universal Computer Science (J.UCS), Special Issue on „Requirements Engineering: The Light Control Case Study“, Springer, 2000

    Google Scholar 

  13. Lewerentz, C., Lindner, T.: Formal Development of Reactive Systems:Case Study Production Cell, LNCS 891, Springer-Verlag, January 1995

    Google Scholar 

  14. Peper, C: Transformations in Pattern-based System Specifications, 9th GI/ITG-Fachgespräch „Formale Beschreibungstechniken für verteilte Systeme“ (FBT’99), München, 1999, Herbert-Utz-Verlag, ISBN 3-89675-918-3, pp. 165–173

    Google Scholar 

  15. R. Reed: Methodology for Real Time Systems, Computer Networks and ISDN Systems, Special Issue on SDL and MSC, 28 (1996), pp. 1685–1701

    Google Scholar 

  16. Rößler, F., Geppert, B., Schaible, P.: Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns, Proceedings of the 5th International Conference on Software Reuse (ICSR5), Victoria, British Columbia, Canada, 1998

    Google Scholar 

  17. Telelogic: Tau 3.4 SDT Methodology Guidelines—Part 1: The SOMT Method, 1998

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Arbeitsgruppe Rechnernetze Fachbereich Informatik, Universität Kaiserslautern, 67663, Kaiserslautern

    R. Gotzhein, C. Peper, P. Schaible & J. Thees

Authors
  1. R. Gotzhein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Peper
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. P. Schaible
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. Thees
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LS Rechnernetze und Verteilte Systeme, Institut für Informatik, Universität Leipzig, Augustusplatz 10/11, 04109, Leipzig, Germany

    Klaus Irmscher

  2. LS Anwendungsspezifische Informationssysteme, Institut für Informatik, Universität Leipzig, Augustusplatz 10/11, 04109, Leipzig, Germany

    Klaus-Peter Fähnrich

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gotzhein, R., Peper, C., Schaible, P., Thees, J. (2003). Durchgängige Entwicklung großer verteilter Systeme — Die SILICON-Fallstudie. In: Irmscher, K., Fähnrich, KP. (eds) Kommunikation in Verteilten Systemen (KiVS). Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-55569-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-55569-5_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00365-6

  • Online ISBN: 978-3-642-55569-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation