Skip to main content
SpringerLink
Log in

Konzepte einer Software-Architektur-Beschreibungssprache

  • Conference paper
Software-Entwicklung

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 212))

Kurzfassung

Bei der Entwicklung komplexer Softwaresysteme ist die Festlegung einer Software-Architektur, d.h. eine Zerlegung des Gesamtsystems in eine Menge von untereinander in Beziehung stehenden Software- Bausteinen, unumgänglich. Wir geben in dieser Arbeit eine Sprache zur textuellen Beschreibung derartiger Software-Architekturen an, die von der (lokalen) Beschreibung der Semantik der Software-Bausteine unabhängig ist. Hierzu präzisieren wir den Begriff des Software-Bausteins, erläutern Operatoren zur Konstruktion von Bausteinen aus bereits definierten und legen fest, welche Beziehungen zwischen Softwäre-Bausteinen existieren können. Weiterhin geben wir einen Parametrisierungsmechanismus für Software-Bausteine an, der an Abstraktionskonzepten des λ-Kalküls orientiert ist. Dieses Vorgehen ermöglicht es, dieselbe Architekturbeschreibungssprache während des gesamten Softwareentwurfsvorgangs zu benutzen. Ferner geben wir zusätzlich zur textuellen auch eine graphische Darstellung der beschriebenen Architekturen in Form von Architekturgraphen an.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
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. Altmann, W.: A new module concept for the design of reliable software, in P. Raulefs (Hrsg.): Workshop on Reliable Software, München: Hanser, 1978, 155–165

    Google Scholar 

  2. Barendregt, H.P.: The Lamda Calculus: Its Syntax and Semantics, Amsterdam: North Holland, 1981

    Google Scholar 

  3. Bergstra, J.A./ Heering, J./ Klint, P.: ASF - An algebraic specification formalism, Report CS-R8705, CWI Amsterdam

    Google Scholar 

  4. Ebert, J./ Engels, G.: Ein Konzept zur Beschreibung von Software-Architekturen, Fachberichte Informatik Nr. 11/88, EWH Koblenz

    Google Scholar 

  5. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1, Berlin: Springer, 1985

    Google Scholar 

  6. Engels, G./ Schäfer, W.: The Design of an Adaptive and Portable Programming Support Environment, in Valle, G./Bucci, G. (Hrsg.): Proc. of the Intern. Computing Symposium 1985, Florenz, Amsterdam: North-Holland

    Google Scholar 

  7. Ehrig, H./ Weber, H.: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress 86, Dublin, Sept. 86

    Google Scholar 

  8. Gimnich, R./ Ebert, J.: Constructive Formal Specifications and Rapid Prototyping, in Bullinger, H.-J., Shackel, B. (eds.): Human-Computer Interaction - Interact ’87, Amsterdam: Elsevier Science 1987, 1047–1052

    Google Scholar 

  9. Jones, C.B.: Systematic Software Development Using VDM, Englewood Cliffs, N.J.: Prentice Hall, 1986

    MATH  Google Scholar 

  10. Kelter, U.: Modularisierungen und Entwürfe von Programmen, Softwaretechnik-Trends 5, Bd. 1, 1985, 11–27

    Google Scholar 

  11. Lewerentz, C.: Entwurf und Implementierung eines syntaxgesteuerten Editors für Software-Architekturen, in H.-W. Wippermann (Hrsg.): Software-Architekturen und modulare Programmierung, Stuttgart: Teubner 1986

    Google Scholar 

  12. Lewerentz, C.: Extended Programming-in-the-Large in a Software Development Environment, in P. Henderson (Hrsg.): Prof. of the ACM SIGS OFT/S IG PLAN Software Engineering Symposium on Practical Software Development Environments, SIGPLAN Notices, Vol. 24, No. 2, Febr. 89

    Google Scholar 

  13. Lipeck, U.: Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen. Dissertation, Technischer Bericht Nr. 148, Abt. Informatik, Universität Dortmund

    Google Scholar 

  14. Lewerentz, C./ Nagl, M.: Incremental Programming in the Large: Syntay-Aided Specification Editing, Integration, and Maintenance, in Proc. of the 18th Hawaii International Conference on System Sciences, Vol. 2, 638–649, 1985

    Google Scholar 

  15. Parnas, D.L./ Clements, P.C./ Weiss, D.M.: The modular structure of complex systems, IEEE Transactions on Software Engineering, Vol. 10, No. 3, 1985, 259–266

    Google Scholar 

  16. Wirsing, M.: Structured Algebraic Specifications: A Kernel Language, MIP-8511, Universität Passau

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik, EWH Koblenz, Rheinau 3-4, D-5400, Koblenz, Germany

    Jürgen Ebert

  2. Informatik, TU Braunschweig, Gaußstr. 12, D-3300, Braunschweig, Germany

    Gregor Engels

Authors
  1. Jürgen Ebert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gregor Engels
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Numerische und Instrumentelle Mathematik - Informatik, Westfälische Wilhelms-Universität Münster, Einsteinstrße 62, D-4400, Münster, Germany

    Wolfram-M. Lippe

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ebert, J., Engels, G. (1989). Konzepte einer Software-Architektur-Beschreibungssprache. In: Lippe, WM. (eds) Software-Entwicklung. Informatik-Fachberichte, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74872-1_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74872-1_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51353-7

  • Online ISBN: 978-3-642-74872-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation