Skip to main content
SpringerLink
Log in

Formalismen und Konzepte

  • Chapter
  • First Online:
Requirements-Engineering systematisch

Part of the book series: eXamen.press ((EXAMEN))

  • 10k Accesses

Zusammenfassung

Im Folgenden werden einige grundlegende Formalismen und Konzepte behandelt, die in unterschiedlichem Ausmaß im Bereich des Requirements-Engineering Verwendung finden, obwohl sie ursprünglich zu anderen Zwecken entwickelt wurden. Diese Formalismen haben sich bereits in vielfältiger Hinsicht bewährt, sind von speziellen „Strömungen“ weitgehend unabhängig und können daher als eine Art „Basiswissen“ gesehen werden, für das es meist auch eine fundierte Theorie gibt.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.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.

  1. Awad, M., Kuusela, J., Ziegler, J.: Object-Oriented Technology for Real-Time Systems. Upper Saddle River, NJ: Prentice-Hall 1996

    Google Scholar 

  2. Ahuja, R., Magnanti, T., Orlin, J.: Network Flows: Theory, Algorithms and Applications. Upper Saddle River, NJ: Prentice Hall 1993

    Google Scholar 

  3. Alexander, I., Stevens, R.: Writing Better Requirements. London: Addison-Wesley 2002

    Google Scholar 

  4. Diverse Informationen zu ASMs. http://www.eecs.umich.edu/gasm (Zugriff am 15.2.09)

  5. AsmL. http://research.microsoft.com/en-us/projects/asml (Zugriff am 15.2.09)

  6. Asmeta tool set. http://asmeta.sourceforge.net (Zugriff am 15.2.09)

  7. Baumgarten, B.: Petri-Netze - Grundlagen und Anwendungen. Heidelberg: Spektrum Akademischer Verlag 1996

    Google Scholar 

  8. Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H.: The Munich Project CIP. Volume I: The Wide Spectrum Language CIP-L. LNCS 183, Berlin: Springer 1985

    Google Scholar 

  9. Bernardo, M., Corradini, F. (eds.): Formal Methods for the Design of Real-Time Systems. Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures. LNCS 3185, Berlin: Springer 2004

    Google Scholar 

  10. Burton, C., Cook, S., Gikas, S., Rowson, J., Sommerville, S.: Specifying the Apple MacintoshTM Toolbox Event Manager. Formal Aspects of Computing 1, 147–171 (1989)

    Article  Google Scholar 

  11. Batini, C., Ceri, S., Navathe, S.: Conceptual Data Base Design. Redwood City, Ca.: Benjamin/Cummings Publishing Co. 1992

    Google Scholar 

  12. Bauer, F.L., Ehler, H., Horsch, A., Möller, B., Partsch, H., Paukner, O., Pepper, P.: The Munich Project CIP. Volume II: The Transformation System CIP-S. LNCS 292, Berlin: Springer 1987

    Google Scholar 

  13. Biechele, B., Ernst, D., Houdek, F., Schmid, J., Schulte, W.: Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen. Ulmer Informatik-Berichte 96-09, Fakultät für Informatik, Universität Ulm 1996

    Google Scholar 

  14. Bjørner, D., Henson, M. (eds.): Logics of Specification Languages. Monographs in Theoretical Computer Science. Berlin: Springer 2008

    Google Scholar 

  15. Baier, C., Katoen, J.-P.: Principles of Model Checking. Cambridge, Ma.: MIT Press 2008

    MATH  Google Scholar 

  16. Bidoit, M., Mosses, P. (eds): Casl User Manual. LNCS 2900 (IFIP Series). Berlin: Springer 2004

    Google Scholar 

  17. Börger, E.: High Level System Design and Analysis Using Abstract State Machines. In: Hutter, D. et al. (eds.): Current Trends in Applied Formal Methods (FM-Trends 98). LNCS 1641, Berlin: Springer 1999, pp. 1-43

    Chapter  Google Scholar 

  18. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Berlin: Springer 2003

    MATH  Google Scholar 

  19. B-Method. http://en.wikipedia.org/wiki/B-Method (Zugriff am 15.2.09)

  20. Crane, M., Dingel. J.: UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal. Journal for Software and Systems Modeling (SoSym) 6:4. 412-435 (2007)

    Google Scholar 

  21. Clarke, E., Jr., Grumberg, O., Peled, D.: Model Checking. 3rd Edition. Cambridge, Ma.: MIT Press 2008

    Google Scholar 

  22. Chen, P.: The Entity-Relationship Model – Toward a Unified View of Data. ACM Transactions on Database Systems 1:1, 9-36 (1976)

    Article  Google Scholar 

  23. Collins, B., Nicholls, J., Sørensen, I.: Introducing Formal Methods: The CICS Experience with Z. IBM Technical Report TR 12.260, IBM UK Laboratories Ltd. Hursley Park, UK 1989

    Google Scholar 

  24. CoFI (The Common Framework Initiative): Casl Reference Manual. LNCS 2960 (IFIP Series). Berlin: Springer 2004.

    Google Scholar 

  25. CoreASM. http://www.coreasm.org (Zugriff am 15.2.09)

  26. CSP – Wikipedia. http://en.wikipedia.org/wiki/Communicating_sequential_processes (Zugriff am 5.2.09)

  27. Community Z Tools. http://czt.sourceforge.net (Zugriff am 15.2.09)

  28. Dasarathy, B.: Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods for Evaluating Them. IEEE Transactions on Software Engineering 11:1, 80-86 (1985)

    Article  Google Scholar 

  29. Dassow, J.: Logik für Informatiker. Wiesbaden: Vieweg+Teubner 2005

    Google Scholar 

  30. Davis, A.: A Comparison of Techniques for the Specification of External System Behavior. In: [TD 90], pp. 200-217

    Google Scholar 

  31. Dawes, J.: The VDM-SL Reference Guide. London: UCL Press / Pitman Publishing 1991

    Google Scholar 

  32. Derrick, J., Boiten, E.: Refinement in Z and Object-Z – Foundations and Advanced Applications. London: Springer 2001

    MATH  Google Scholar 

  33. Duke, R., King, P., Rose, G., Smith, G.:. The Object-Z Specification Language. Technical Report 91-1 (Version 1). Dept. of Computer Science, Software Verification Research Centre, University of Queensland, May 1991

    Google Scholar 

  34. Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Simula 67, Common Base Language. Oslo: Norwegisches Rechenzentrum 1968

    Google Scholar 

  35. Davies, J., Schneider, S.: A Brief History of Timed CSP. Technical Monograph PRG-96, Programming Research Group, Oxford University, April 1992

    Google Scholar 

  36. Dürr, E.: VDM++ – A Formal Specification Language for Object-Oriented Designs. In: Technology of Object-Oriented Languages and Systems. Proc. of TOOLS Europe 1991. Hemel Hempstead: Prentice-Hall 1992, pp. 63-78

    Google Scholar 

  37. Dyer, M. et al.: REVS User Manual. SREP Final Report, Vol. 2. TRW, Huntsville, Al., Report 27332-6921-026, 1977

    Google Scholar 

  38. GI-Arbeitskreis „Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten“ http://www.epk-community.de/ (Zugriff am 4.2.09)

  39. Eeignisgesteuerte Prozesskette - Wikipedia: http://de.wikipedia.org/wiki/Ereignisgesteuerte_Prozesskette (Zugriff am 4.2. 09)

  40. ER-Modell - Wikipedia: http://de.wikipedia.org/wiki/Entity-Relationship-Modell (Zugriff am 5.11.09)

  41. Ellis, M., Stroustroup, B.: The Annotated C++ Reference Manual. Reading, Ma.: Addison-Wesley 1990

    Google Scholar 

  42. Failures-Divergence Refinement, FDR2 User Manual. Formal Systems Europe Ltd., May 1997

    Google Scholar 

  43. Finney, K.: Mathematical Notation in Formal Specification: Too Difficult for the Masses. IEEE Transcactions on Software Engineering 22:2, 158-159 (1996)

    Article  Google Scholar 

  44. Feijs, L., Jonkers, H., Middelburg, C.: Notations for Software Design. London: Springer 1994

    MATH  Google Scholar 

  45. Fleischmann, A.: Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich. Dissertation, Fakultät für Informatik, Technische Universität München 2008

    Google Scholar 

  46. Formal Systems Europe. http://www.fsel.com (Zugriff am 5.2.09]

  47. Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic - Mathematical Foundations and Computational Aspects. Vol. 1. Oxford: Clarendon Press 1994

    Google Scholar 

  48. Petrinetz-Portal. http://www.informatik.uni-hamburg.de/TGI/GI-Fachgruppe0.0.1/ (Zugriff am 5.2.09)

  49. Goldberg, A., Robson, D.: Smalltalk 80: the Language and its Implementation. Reading, Ma.: Addison-Wesley 1983

    MATH  Google Scholar 

  50. Goldberg, A., Robson, D.: Smalltalk 80: the Interactive Programming Environment. Reading, Ma.: Addison-Wesley 1985

    Google Scholar 

  51. Grady, J.: Systems Requirements Analysis. Amsterdam: Elsevier, Academic Press 2006

    Google Scholar 

  52. Gurevich, Y.: Evolving Algebras. A Tutorial Introduction. Bulletin of EATCS 43, 264-284 (1991)

    MATH  Google Scholar 

  53. Gurevich, Y.: Evolving Algebras 93. Lipari Guide. In: Börger, E. (ed.): Specification and Validation Methods. Oxford: University Press 1995, pp. 9-36

    Google Scholar 

  54. Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1:1, 77-111 (2000)

    Article  MathSciNet  Google Scholar 

  55. Haggarty, R.: Diskrete Mathematik für Informatiker. München: Pearson Studium 2004.

    MATH  Google Scholar 

  56. Hanisch, H.-M.: Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Control Systems. In: Marsan, M. (ed.): Application and Theory of Petri Nets 1993. LNCS 691, Berlin: Springer 1993, pp. 282-299

    Google Scholar 

  57. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231-274 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  58. Heninger, K.: Specifying Software Requirements for Complex Systems: New Techniques and their Application. IEEE Transactions on Software Engineering 6:1, 2-13 (1980). Auch in: [TD 90], pp. 555-566

    Article  Google Scholar 

  59. Herrtwich, R., Hommel, G.: Nebenläufige Programme. 2. Auflage. Berlin: Springer 1994

    Google Scholar 

  60. Hinchey, M., Jarvis, S.: Concurrent Systems: Formal Development in CSP. London: McGraw-Hill 1995

    Google Scholar 

  61. Hayes, I., Jones, C., Nicholls, J.: Understanding the Differences Between VDM and Z. ACM Software Engineering Notes 19:3, 75-81 (1994)

    Article  Google Scholar 

  62. Hull, R., King, R.: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Computing Surveys 19:3, 201-260 (1987)

    Article  Google Scholar 

  63. Harel, D., Lachover, H., Naamad, A., Pnueli, A. Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.: Statemate: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering 16:4, 403-414 (1990)

    Article  Google Scholar 

  64. Heitmeyer, C., Mandrioli, D.: Formal Methods for Real-Time Computing: An Overview. In: Heitmeyer, C., Mandrioli, D. (eds.): Formal Methods for Real-Time Computing. Chichester: Wiley & Sons 1996, pp. 1-32

    Google Scholar 

  65. Hoare, C.A.R.: Communicating Sequential Processes. Hemel Hempstead: Prentice-Hall 1985

    MATH  Google Scholar 

  66. Hewitt, M., O'Halloran, C., Sennett, C.: Experiences with PiZA, an Animator for Z. In: Bowen, M. et al. (eds.): ZUM '97: The Z Formal Specification Notation. LNCS 1212, Berlin: Springer 1997

    Google Scholar 

  67. Hatley, D., Pirbhai, I.: Strategies for Real-Time System Specification. New York: Dorset House Publishing 1988. Deutsche Übersetzung: Hatley, D., Pirbhai, I.: Strategien für die Echtzeit-Programmierung. München: Hanser 1993

    Google Scholar 

  68. Information Technology - Programming Languages, their Environments and System Software Interfaces - Vienna Development Method - Specification Language – Part 1: Base Language. ISO/IEC 13817-1:1996-12 und ISO/IEC 13817-1:1997-04-15

    Google Scholar 

  69. Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics. ISO/IEC 13568:2002-07

    Google Scholar 

  70. Jüttner, G., Feller, H.: Entscheidungstabellen und wissensbasierte Systeme. München: Oldenbourg 1989

    Google Scholar 

  71. Jones, C., Liu, Z., Woodcock, J. (eds.): Formal Methods and Hybrid Real-Time Systems. Berlin: Springer 2007

    MATH  Google Scholar 

  72. Jahanian, F., Mok, A.: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering 12:9, 890-904 (1986)

    Google Scholar 

  73. Jahanian, F., Mok, A.: Modechart: A Specification Language for Real-Time Systems. IEEE Transactions on Software Engineering 20:12, 933-947 (1994)

    Article  Google Scholar 

  74. Jones, C.: Systematic Software Development Using VDM. 2nd Edition. Hemel Hempstead: Prentice-Hall 1990

    MATH  Google Scholar 

  75. Kastens, U., Kleine Büning, H.: Modellierung: Grundlagen und formale Methoden. 2. Auflage. München: Hanser 2008

    Google Scholar 

  76. Kröger, F.: Temporal Logic of Programs. Berlin: Springer 1987

    MATH  Google Scholar 

  77. Lano, K.: Z++, an Object-Oriented Extension to Z. In: Nicholls, J. (ed.): Z User Meeting, Oxford, UK. Workshops in Computing. Berlin: Springer 1991

    Google Scholar 

  78. Lano, K.: The B Language and Method: A Guide to Practical Formal Development. London: Springer, FACIT Series 1996

    Google Scholar 

  79. Lippman, S.: The C++ Primer. Second Edition. Reading, Ma.: Addison-Wesley 1991

    Google Scholar 

  80. The Maude System. http://maude.cs.uiuc.edu (Zugriff am 28.1.09)

  81. McDermid, J.: Software Engineer's Reference Book. Oxford: Butterworth-Heinemann 1993

    Google Scholar 

  82. Michigan Interpreter. ftp://www.eecs.umich.edu/groups/gasm/interp2.tar.gz (source code archive) (Zugriff am 15.2.09)

  83. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Vol.1: Specification. New York: Springer 1992

    Google Scholar 

  84. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Vol.2: Safety Properties. New York: Springer 1995

    Google Scholar 

  85. Meisel, I., Saaltink, M.: The Z/EVES Reference Manual. Technical Report TR-96-5493-03b, ORA Canada 1996

    Google Scholar 

  86. Mok, A., Stuart, D., Jahanian, F.: Specification and Analysis of Real-Time Systems: Modechart Language and Toolset. In: Heitmeyer, C., Mandrioli, D. (eds.): Formal Methods for Real-Time Computing. Chichester: Wiley & Sons 1996

    Google Scholar 

  87. Niu, J., Atlee, J., Day, N.: Understanding and Comparing Model-Based Specification Notations. 11th Int. Conf. on Requirements Engineering (RE 03). Los Alamitos, Ca.: IEEE Computer Society Press 2003, pp. 188-199

    Google Scholar 

  88. Partsch, H.: Specification and Transformation of Programs. Berlin: Springer 1990

    MATH  Google Scholar 

  89. Partsch, H.: Formal Problem Specification on an Algebraic Basis. In: Möller, B. et al. (eds.): Formal Program Development. LNCS 755, Berlin: Springer 1993, pp. 183-224

    Google Scholar 

  90. Petri, C.A.: Kommunikation mit Automaten. Dissertation, Institut für Instrumentelle Mathematik, Universität Bonn 1962

    Google Scholar 

  91. Pohl, K.: Requirements Engineering. Grundlagen. Prinzipien, Techniken. Heidelberg: dpunkt 2007

    Google Scholar 

  92. Pooch, U.: Translation of Decision Tables. ACM Computing Surveys 6:2, 125-151 (1974)

    Google Scholar 

  93. Penczek, W., Pólrola, A.: Advances in Verification of Time Petri Nets and Timed Automata. Berlin: Springer 2006

    Book  MATH  Google Scholar 

  94. Pressman, R.S.: Software Engineering: A Practitioners Approach. 6th Edition. New York: McGraw-Hill 2005

    Google Scholar 

  95. ProofPower. http://www.lemma-one.com/ProofPower/index (Zugriff am 15.2.09)

  96. Priese, L., Wimmel, H.: Petri Netze. Berlin: Springer 2008

    MATH  Google Scholar 

  97. Reisig, W.: Anforderungsbeschreibung und Systementwurf mit Petri-Netzen. Handbuch der Modernen Datenverarbeitung, Heft 130, 81-96 (1986)

    Google Scholar 

  98. Reisig, W.: Embedded System Description Using Petri Nets. In: Kündig, A. et al. (eds.): Embedded Systems. LNCS 284, Berlin: Springer 1986, pp. 18-62

    Google Scholar 

  99. Reisig, W.: Petrinetze - Eine Einführung. 3. Auflage. Berlin: Springer 1990

    Google Scholar 

  100. Reisig, W.: Petrinetze - Modellierungstechnik, Analysemethoden, Fallstudien. http://www2.informatik.hu-berlin.de/top/pnene_buch/index.php (Zugriff am 5.2.09)

  101. RODIN Rigorous Open Development Environment for Complex Systems. http://rodin.cs.ncl.ac.uk/publications.htm (Zugriff am 21.1.09)

  102. Reed, G., Roscoe, A.: A Timed Model for Communicating Sequential Processes. In: Proc. ICALP '86. LNCS 226, Berlin: Springer 1987, pp. 314-323

    Google Scholar 

  103. Rupp. C., SOPHISTen: Requirements-Engineering und Management. 4. Auflage. München: Hanser 2007

    Google Scholar 

  104. Real-Time Systems Group. http://www.cs.utexas.edu/users/mok/RTS (Zugriff am 28.2.09)

  105. Saaltink, M.: The Z/EVES System. In: Bowen, M. et al. (eds.): ZUM '97: The Z Formal Specification Notation. LNCS 1212, Berlin: Springer 1997

    Google Scholar 

  106. Schwarze, J.: Systementwicklung. Herne: Verlag Neue Wissenschaftsbriefe 1995

    Google Scholar 

  107. Schneider, H.-J.: Lexikon Informatik und Datenverarbeitung. 4., aktualisierte und erweiterte Auflage. München: Oldenbourg 1997

    Google Scholar 

  108. Schienmann, B.: Kontinuierliches Anforderungsmanagement – Prozesse, Techniken, Werkzeuge. München: Addison-Wesley 2002

    Google Scholar 

  109. Shaw, A.: Software Specification Languages Based on Regular Expressions. In: Riddle, W., Fairley, R. (eds.): Software Development Tools. Berlin: Springer 1980 , pp. 148-175

    Google Scholar 

  110. Spivey, J.: The Z Notation. A Reference Manual. 2nd Edition. New York: Prentice-Hall 1992

    Google Scholar 

  111. Stärk, R., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Berlin: Springer 2001

    MATH  Google Scholar 

  112. Strunz, H.: Entscheidungstabellentechnik. München: Hanser 1977

    Google Scholar 

  113. TASM: The Timed Abstract State Machine (TASM) Language and Toolset. http://esl.mit.edu/tasm (Zugriff am 15.2.09)

  114. VDMTools. http://www.vdmtools.jp/en (Zugriff am 15.2.09)

  115. Informationen zu VDM. http://www.vdmportal.org/twiki/bin/view (Zugriff am 15.2.09)

  116. Veigel, U.: Die Aussagekraft von Experimenten oder „Sind Flussdiagramme besser als Pseudocode“. In: Bär, D. et al.: Experimentelle Methoden in der Informatik. Bericht 38/95, Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe 1995

    Google Scholar 

  117. Wieringa, R.: Requirements Engineering – Frameworks for Understanding. Cichester: Wiley & Sons 1996

    Google Scholar 

  118. Wijshoff, F.: Towards an Algebraic Specification of Microsoft Word. Diplomarbeit, Universität Nijmegen 1992

    Google Scholar 

  119. WoTUG – User Group for CSP. http://www.wotug.org (Zugriff am 5.2.09)

  120. Wang, C.-H., Wang, F.-J.: An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications. IEEE Int. Workshop on Requirements Engineering for Services. 31st Int. Computer Software and Applications Conf. (COMPSAC 2007). Los Alamitos, Ca.: IEEE Computer Society Press 2007, pp. 479-484

    Google Scholar 

  121. XASM: The Open Source ASM Language. http://www.xasm.org (Zugriff am 15.2.09)

  122. York Software Engineering: The CADiZ User Guide. YSE Report, July 1993

    Google Scholar 

  123. Z-Bibliography (bis 1998). http://archive.comlab.ox.ac.uk/z/bib.html (Zugriff am 15.2.09)

Download references

Author information

Authors and Affiliations

  1. Institut für Programmiermethodik und Compilerbau, Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 89069, Ulm, Germany

    Prof. Dr. Helmuth Partsch

Authors
  1. Prof. Dr. Helmuth Partsch
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Helmuth Partsch .

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Partsch, H. (2010). Formalismen und Konzepte. In: Requirements-Engineering systematisch. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05358-0_3

Download citation

Publish with us

Policies and ethics

Search

Navigation