Advertisement

Specification with nets

Report on activities in connection with "requirements capture with nets"
  • Gisbert Dittrich
General CAST Methodology
Part of the Lecture Notes in Computer Science book series (LNCS, volume 410)

Abstract

To specify functional requirements of large-scale systems we apply some sort of hierarchically represented Petri nets. Here will be given a survey on our activities in recent years in order to contribute to theory, development of methodology and tools of this topic. A continuation on the development of methodology and tools can be found in [Ditt 89].

Keywords

Functional Requirement Apple Macintosh Precise Semantic Information Enrichment Functional Requirement Specification 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [Aign 87]
    Aigner, H.: RAPPS-Rapid Prototyper für formale Petrinetz-Spezifikationen Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  2. [BrRR 87a]
    Brauer, W.-Reisig, W.-Rozenberg, G. (Edts.): Petri Nets: Central Models and Their Properties LNCS Vol. 254, Springer Verlag 1987Google Scholar
  3. [BrRR 87b]
    Brauer, W.-Reisig, W.-Rozenberg, G. (Edts.): Petri Nets: Applications and Relationships to Other Models of Concurrency LNCS Vol. 255, Springer Verlag 1987Google Scholar
  4. [Dede 87]
    Dederichs, F.: Zur Systematik netzbasierter Systeme Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  5. [DiEv 89]
    Dittrich, G.-Evertz-Jägers, B.: Der Kanal-Instanz-Netz Editor KINED Forschungsbericht Nr. 308 des Fachbereichs Informatik, Universität Dortmund, 1989Google Scholar
  6. [Ditt 89]
    Dittrich, G.: Tools for Modelling with Petri-Net like Nets Proc. of the Intl. Workshop EUROCAST '89, this volume of LNCSGoogle Scholar
  7. [Ever 88]
    Evertz-Jägers, B.: Objektorientierte Entwicklung eines Editors zur Erstellung hierarchischer K/I-Netze Diplomarbeit am FB Informatik, Universität Dortmund, 1988Google Scholar
  8. [Fabi 87]
    Fabian, D.: Ein Tool zur Analyse von Petrinetzen, speziell S/T-Netzen Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  9. [Fang 86]
    Fangmeier, W.: Beiträge zur Definition und Diskussion von Petrinetzhomomorphismen Diplomarbeit am FB Informatik, Universität Dortmund, 1986Google Scholar
  10. [Grot 86]
    Grote, M.: CASSS-Computer-Aided Software-Specification with SADT Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  11. [Hamm 88]
    Hammerhofer, M.: Beiträge zu Timed Petri Netzen Diplomarbeit am FB Informatik, Universität Dortmund, 1988Google Scholar
  12. [KPR 87]
    Kühnel, B.-Partsch, H.-Reinshagen, K.P: Requirements Engineering, Versuch einer Begriffsklärung Informatikspektrum 10, 6, 12.87, p.334–335Google Scholar
  13. [Kump 87]
    Kumpmann, T.: CSP-ähnliche Petri-Netze-Konstruktion und Klassifizierung Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  14. [LeWo 88]
    Leufke, A.-Wolberg, D.: Bausteine für Petri-Netze-Konzept und Einsatz Diplomarbeit am FB Informatik, Universität Dortmund, 1989Google Scholar
  15. [Mary 88]
    Maryniak, A: Petri-Netze: Allgemeine Begriffsklärung und anwendungsorientierte Einführung in die Modellierung. Diplomarbeit am FB Informatik, Universität Dortmund, 1988Google Scholar
  16. [Mese 87]
    Mesewinkel, U.: Pr/T-Systembausteine für die Modellierung der Interprozeßkommunikation in verteilten Systemen. Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  17. [Pete 87]
    Dittrich, G.-Szwillus, G.(Edts): PETE-Ein Petrinetz-Editor Abschlußbericht der Projektgruppe PETE Interne Berichte des FB Informatik, Dortmund 1987Google Scholar
  18. [PetS 89]
    Dittrich, G.-Fehling, R. (Edts): Endbericht der Projektgruppe PetSi Interne Berichte des FB Informatik der UniDo, Dortmund 1989Google Scholar
  19. [Pfei 87]
    Pfeiffer, V.: Beiträge zur strukturellen Analyse parametrisierter Petri-Netze Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  20. [Reis 85]
    Reisig, W.: Systementwurf mit Petrinetzen, Springer 1985Google Scholar
  21. [Schm 87]
    Schmenner, M.: Entwurf und Implementierung eines Programms zur Überprüfung der syntaktischen Korrektheit von Beschriftungen verschiedener PN-Typen. Diplomarbeit am FB Informatik, Universität Dortmund, 1987Google Scholar
  22. [Reck 88]
    Reck, M.: Von informellen zu formalen Spezifikationen durch Petri-Netze und Abstrakte Datentypen. Diplomarbeit am FB Informatik, Universität Dortmund, 1988Google Scholar
  23. [Rüpi 88]
    Rüping, A.: Beiträge zur Methodik hierarchischer Petrinetze. Ein Konzept für eine hierarchiebezogene Modellierung mit interpretierten Netzen auf der Basis von Netzmorphismen Diplomarbeit am FB Informatik, Universität Dortmund, 1988Google Scholar
  24. [Soma 86]
    Dittrich, G.-Eising, G.(Edts.): Software für Materialflußsysteme. Abschlußbericht der Projektgruppe SOMAT, Interne Berichte des FB Informatik, Universität Dortmund, 1986Google Scholar
  25. [Viet 88]
    Viethen, R.: Petri-Netze: Methodikansätze und anwendungsorientierte Einführung in die Modellierung. Diplomarbeit am FB Informatik, Universität Dortmund, 1988Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Gisbert Dittrich
    • 1
  1. 1.Dept. of Computer ScienceUniversity of DortmundDortmund 50Germany

Personalised recommendations