Advertisement

Modellierungskonzepte und Entwurfssprachen

  • Franz J. Rammig
Chapter
  • 46 Downloads
Part of the Leitfäden und Monographien der Informatik book series (LMI)

Zusammenfassung

In Kapitel 1 wurden verschiedene Modellierungskonzepte, wie sie auf verschiedenen Abstraktionsebenen geeignet sind, kurz besprochen. Sie sollen nun detaillierter diskutiert werden, da sie die Grundlage für den Entwurf von Beschreibungs- und Entwurfssprachen bilden.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturhinweise

  1. [1]
    M.R. Barbacci:Instruction Set Processor Specification (ISPS): The Notation and its Application Techn. Report Dept. of Computer Science, Carnegie Mellon University, 1979Google Scholar
  2. [2]
    H. Beilner, A. Scholten:Strukturierte Modellbeschreibung und strukturierte Modellanalyse: Konzepte des Modellierungswerkzeugs HIT in: Informatik Fachberichte, Vol. 110, Springer, 1985Google Scholar
  3. [3]
    H. Beilner:Workload Characterization and Performance Modeling Tools in: G. Serazzi (ed.): Workload Characterization of Computer Systems & Computer Networks, North Holland, 1986Google Scholar
  4. [4]
    C.G. Bell, M. Knudsen, D. Siewiorek:PMS: A Notation to Describe Computer Structures Digest of 6th Annual IEEE Computer Scociety International Conference, 1972Google Scholar
  5. [5]
    Belness: The Use of SIMULA for Real-Time Implementation Norwegian Computing Center, Oslo, 1978Google Scholar
  6. [6]
    H. Berndt: Functional Microprogramming as a Logic Design Aid IEEE ToC, Vol. C-19, No. 10, Oct. 1970Google Scholar
  7. [7]
    D. Borrione: Language de description des systemes logiques - Proposition pour une methode formelle de definition These d’Etat, INPG Grenoble, July 1981Google Scholar
  8. [8]
    V. Carchiolo et al.: A LOTOS Specification of the PROWAY Highway Service IEEE ToC Vol. C-35, No. 11, Nov. 1986Google Scholar
  9. [9]
    Y. Chu:Introducing CDL IEEE Computer, Dec. 1979Google Scholar
  10. [10]
    E.W. Dijkstra: Guarded Commands, Nondeterminacy, and Formal Derivation of Programs Comm. ACM, 18, 8, Aug. 1975Google Scholar
  11. [11]
    J.R. Duley, D.L. Dietmeyer A Digital System Design Language (DDL) IEEE ToC, C-24, No. 2, 1975Google Scholar
  12. [12]
    H. Ehrig, W. Fey, H. Hansen: ACT ONE: An Algebraic Specification Language With Two Levels of Semantics TU Berlin, Ber. 83–03, Feb. 1983Google Scholar
  13. [13]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification in: ETACS Monographs on Theoretical Computer Science, Vol. 6, Springer, 1985Google Scholar
  14. [14]
    P.L. Flake, G. Musgrave, M. Skarland: The HILO Logic Simulation Language in: Proceedings 1975 International Symposium on Computer Hardware Description Languages and their Applications, IEEE Catalog No 75CH1010–8C, 1975Google Scholar
  15. [15]
    G. Girardi, R. Hartenstein, U. Welters: ABLED - A RT Level Schematic Editor and Simulator Interface in: Proceedings of EUROMICRO, 1985Google Scholar
  16. [16]
    A. Goldberg, D. Robson: Smalltalk-80 - The Language and its Implementation Addison Wesley, 1983Google Scholar
  17. [17]
    M. Gonauser, F. Egger, D. Frantz: SMILE - A Multilevel Simulation System in: Proceedings of ICCD’84, 1984 138Google Scholar
  18. [18]
    J. Guttag, J.J. Horning: The Algebraic Specification of Abstract Data Types Acta Informatica, 10, 1978Google Scholar
  19. [19]
    D. Harel: Statecharts: A Visual Formalism for Complex Systems Science of Computer Programming, 8, 1987Google Scholar
  20. [20]
    R. Hartenstein: Fundamentals of Structured Hardware Design North Holland, 1977Google Scholar
  21. [21]
    F.J. Hill et al.: Structural Specification with a Procedural Hardware Description Language IEEE ToC, Vol. C-30, No 2, Feb. 1981Google Scholar
  22. [22]
    C.A.R. Hoare: Communicating Sequential Processes Comm. ACM, Vol. 21, No. 8, 1978Google Scholar
  23. [23]
    C.A.R. Hoare: Communicating Sequential Processes Prentice-Hall 1985Google Scholar
  24. [24]
    T. Lengauer, K. Mehlhorn: The HILL System: A Design Environment for the Hierarchical Specification, Compaction, and Simulation of Integrated Circuit Layouts in: Proceedings Conference on Advanced Research in VLSI, MIT, 1984Google Scholar
  25. [25]
    A. Lewke: CAPLAN: Ein Mitglied der CONLAN Sprachfamilie auf der Ebene von CAP/DSDL Diplomarbeit, Univ. Dortmund, FB Informatik, 1986Google Scholar
  26. [26]
    K.J. Lieberherr, S.E. Knudsen: ZEUS: A Hardware Description Language on VLSI in: Proceedings 20th DAC,. 1983Google Scholar
  27. [27]
    R. Lipset, E. Marschner, M. Shaldad VHDL - The Language IEEE Design & Test of Computers, April 1986Google Scholar
  28. [28]
    M.D. May: OCCAM ACM SIGPLAN Notices, Vol 18–4, April 1983Google Scholar
  29. [29]
    M.D. May, R. Shepard: Occam and the Transputer in: G. Reijns (ed.): Concurrent Languages in Distributed Systems, North Holland, 1985Google Scholar
  30. [30]
    R. Milner: A Calculus of Communicating Systems Lecture Notes in Co ní ter Science, Vol. 92, Springer, 1980Google Scholar
  31. [31]
    J.D. Morrison, N.E. Peeling, T.L. Thorp: The Design Rationale of ELLA, a Hardware Design and Description Language in: Proceedings of 7th International Conference on Computer Hardware Description Languages and their Applications, North Holland, 1985Google Scholar
  32. [32]
    J. Noe, G. Nutt: Macro E-Nets for Representation of Parallel Systems IEEE ToC, C-22, No. 8, 1978Google Scholar
  33. [33]
    C.A. Petri: Kommunikation mit Automaten Schriften des Rheinisch Westfaelischen Instituts fuer Instrumentelle Mathematik, Bonn, 1962Google Scholar
  34. [34]
    J.L. Peterson Petri Nets ACM Computing Surveys, 1977Google Scholar
  35. [35]
    R. Piloty, M. Barbacci, D. Borrione, D. Dietmeyer, F. Hill, P. Skelly: CONLAN Report Lecture Notes in Computer Science, No. 151, SpringerGoogle Scholar
  36. [36]
    F.J. Rammig: DIGITEST II: An Integrated Structural and Behavioral Language in: Proceedings 1975 International Symposium on Computer Hardware Description Languages and their Applications, IEEE Catalog No 75CH1010–8C, 1975Google Scholar
  37. [37]
    F.J. Rammig: Preliminary CAP/DSDL Language Reference Manual Forschungsberichte der Abt. Informatik der Univ. Dortmund, No. 129, 1980 140Google Scholar
  38. [38]
    F.J. Rammig: Structured Parallel Programming with a Highly Concurrent Programming Language in: Atti di Congresso Annuale AICA’80, 1980Google Scholar
  39. [39]
    W. Reisig: Petri Nets: An Introduction Springer, 1985Google Scholar
  40. [40]
    J. Smit et al.: Definition of the Syntax and Semantics of the Modeling and Design Language Mo DL in: Dewilde (ed.): The Integrated Circuit Design Book Delft University Press, Delft, 1986Google Scholar
  41. [41]
    M. Stefik, D.G. Bobrow: Object-Oriented Programming: Themes and Variations The AI Magazine, 1985Google Scholar
  42. [42]
    S. Wendt: Using Petri Nets in the Design Process for Interacting Asynchronous Sequential Circuits In: Proceedings IFAC Symposium on Discrete Systems, 1977Google Scholar
  43. [43]
    N. Wirth: Programming in MODULA 2 Springer, 1982Google Scholar
  44. [44]
    N. Wirth: Proposed, Revised, and Expanded Recommendations for CCITT Specification and Description Language (SDL) CCITT COM XI-395E, or AP VII-No. 20-E, June 1980Google Scholar
  45. [45]
    N. Wirth: HELIX 1.3 HDL Reference Manual Silvar Lisco Doc. No. M-026–1, 1983Google Scholar
  46. [46]
    N. Wirth: Mainsail Language Manual Xidac Corp., Menlo Park, CA, 1985Google Scholar
  47. [47]
    N. Wirth: IEEE Standard VHDL Language Reference Manual, IEEE, iStd 1076–1987Google Scholar
  48. [48]
    N. Wirth: DACAPO III System User Manual DOSIS GmbH, Dortmund, 1987Google Scholar
  49. [49]
    N. Wirth: DABL Reference Manual Daisy Systems Corporation, Mountain View, CA, 1985Google Scholar
  50. [50]
    N. Wirth: ADA Programming Language ANSI/MIL-STD-1815A, 1983Google Scholar

Copyright information

© B. G. Teubner Stuttgart 1989

Authors and Affiliations

  • Franz J. Rammig
    • 1
  1. 1.Universität-Gesamthochschule PaderbornDeutschland

Personalised recommendations