Skip to main content

2021 | OriginalPaper | Buchkapitel

4. Modelle in der Softwareentwicklung und ihre Beschreibung

verfasst von : Manfred Broy, Marco Kuhrmann

Erschienen in: Einführung in die Softwaretechnik

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Zusammenfassung

In den im Laufe der Entwicklung von Softwaresystemen zu erstellenden Artefakten sind sehr unterschiedliche Zusammenhänge von oft hoher Komplexität zu erfassen. Dies umfasst die Beschreibung des Verhaltens eines Softwaresystems oder seiner Bestandteile und die Beschreibung von Daten, Prozessen, Zuständen oder Strukturen. Für die angemessene Beschreibung dieser unterschiedlichen Aspekte bieten sich in vielen Fällen Modelle an. Genauer gesagt bestehen die Inhalte von Artefakten häufig aus der Darstellung geeigneter Modelle für die zu beschreibenden Zusammenhänge. Modelle können dabei in sehr unterschiedlicher Form auftreten, angefangen von Gedankenmodellen, über grafisch dargestellte Modelle bis hin zu formalen Modellen. Gut gewählte Modelle bieten einen angemessenen Abstraktionsgrad, erlauben es, sich auf wesentliche Aspekte zu konzentrieren und erhöhen das Verständnis. Vor diesem Hintergrund sind für das Software Engineering eine Reihe von Modellkonzepten entwickelt worden, die sich für bestimmte Aspekte der Softwareentwicklung als besonders geeignet erwiesen haben. Dieses Kapitel führt in die Grundlagen der Modellierung im Kontext der Software- und Systementwicklung ein. Dazu werden ausgewählte Modellierungsansätze eingeführt, welche ein breites Spektrum von Einsatzmöglichkeiten – von der eher informalen Kommunikation bis hin zur mathematischen Modellierung – abdecken.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Der Begriff des Modells findet sich in vielen Bereichen. Man denke nur an den wohlvertrauten Begriff der Modelleisenbahn, wobei durch die Modelleisenbahn in der Tat miniaturisierte Modelle der wirklichen Eisenbahn geschaffen werden. Für die Verwendung in der Informatik ist der Modellbegriff allerdings deutlich komplizierter.
 
2
Im Folgenden betrachten wir der Einfachheit halber nur den deterministischen Fall.
 
3
In den Anfängen der Informatik sprach man folgerichtig auch von elektronischer Datenverarbeitung (EDV).
 
4
Den Begriff „Sorte“ verwenden wir nur im Zusammenhang mit den Ausführungen zu Abstrakten Datentypen. Ansonsten verwenden wir synonym den Begriff Datentyp oder kurz Typ.
 
5
ER-Modelle sind faktisch die Standard-Modellierungstechnik bei der Analyse und Entwicklung von relationalen Datenbanken [31]. Durch die Einfachheit der grafischen Notation eignen sich ER-Modelle insbesondere auch zur Kommunikation in Projekten, sodass Analysten und Stakeholder sich in der Abstimmung auf die gewünschte Fachlichkeit konzentrieren können.
 
6
Diese Technik lässt sich ohne Probleme auf die Methoden in objektorientierten Systemen übertragen.
 
7
Man beachte, dass es sich hier noch nicht um einen vollständigen Modellierungsschritt handelt und die Zusammenstellung der Aktionen und Zustände daher unvollständig ist.
 
8
Diese Notation wird in der DIN 66001:1983 [18] als Programmablaufplan bezeichnet.
 
9
Vergleiche hierzu auch die bereits Ende der 1990er Jahre begonnene Diskussion zur Harmonisierung von MSCs und Sequenzdiagrammen [55].
 
Literatur
1.
Zurück zum Zitat J.-R. Abrial. The B Tool. In Proceedings of the Europe Symposium on VDM – The Way Ahead, volume 328 of Lecture Notes in Computer Science, pages 86–87, Berlin, Heidelberg, 1988. Springer-Verlag. J.-R. Abrial. The B Tool. In Proceedings of the Europe Symposium on VDM – The Way Ahead, volume 328 of Lecture Notes in Computer Science, pages 86–87, Berlin, Heidelberg, 1988. Springer-Verlag.
2.
Zurück zum Zitat H. Bekić, D. Bjørner, W. Henhapl, C. B. Jones, and P. Lucas. A formal definition of a pl/i subset. In Programming Languages and Their Definition, volume 177 of Lecture Notes in Computer Science, pages 107–155, Berlin, Heidelberg, 1984. Springer Berlin Heidelberg. H. Bekić, D. Bjørner, W. Henhapl, C. B. Jones, and P. Lucas. A formal definition of a pl/i subset. In Programming Languages and Their Definition, volume 177 of Lecture Notes in Computer Science, pages 107–155, Berlin, Heidelberg, 1984. Springer Berlin Heidelberg.
3.
Zurück zum Zitat F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1991.MATH F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1991.MATH
4.
Zurück zum Zitat S. Beydeda, M. Book, and V. Gruhn, editors. Model-Driven Software Development. Springer, October 2010. S. Beydeda, M. Book, and V. Gruhn, editors. Model-Driven Software Development. Springer, October 2010.
5.
Zurück zum Zitat R. Bodendiek and R. Lang. Lehrbuch der Graphentheorie, volume Band 1 und 2 of Spektrum Hochschultaschenbuch. Spektrum Akademischer Verlag, erste edition, 1995. R. Bodendiek and R. Lang. Lehrbuch der Graphentheorie, volume Band 1 und 2 of Spektrum Hochschultaschenbuch. Spektrum Akademischer Verlag, erste edition, 1995.
6.
7.
Zurück zum Zitat M. Broy. Informatik – Eine grundlegende Einführung (Band 1: Programmierung und Rechnerstrukturen). Springer, 2 edition, 1998. M. Broy. Informatik – Eine grundlegende Einführung (Band 1: Programmierung und Rechnerstrukturen). Springer, 2 edition, 1998.
8.
Zurück zum Zitat M. Broy. Engineering Theories of Software Construction, volume 180 of NATO Science Series III: Computer and System Sciences, chapter From States to Histories: Relating States and History Views onto Systems, pages 149–186. IOS Press, 2001. M. Broy. Engineering Theories of Software Construction, volume 180 of NATO Science Series III: Computer and System Sciences, chapter From States to Histories: Relating States and History Views onto Systems, pages 149–186. IOS Press, 2001.
9.
Zurück zum Zitat M. Broy. A logical basis for component-oriented software and systems engineering. The Computer Journal, 53(10):1758–1782, 2010.CrossRef M. Broy. A logical basis for component-oriented software and systems engineering. The Computer Journal, 53(10):1758–1782, 2010.CrossRef
10.
Zurück zum Zitat M. Broy. Multifunctional software systems: Structured modeling and specification of functional requirements. Science of Computer Programming, 75(12):1193–1214, 2010.CrossRef M. Broy. Multifunctional software systems: Structured modeling and specification of functional requirements. Science of Computer Programming, 75(12):1193–1214, 2010.CrossRef
11.
Zurück zum Zitat M. Broy. Logische und Methodische Grundlagen der Programm- und Systementwicklung. Springer Vieweg, June 2019. M. Broy. Logische und Methodische Grundlagen der Programm- und Systementwicklung. Springer Vieweg, June 2019.
12.
Zurück zum Zitat M. Broy and R. Steinbrüggen. Modellbildung in der Informatik. Number ISBN: 3-540-44292-8 in Xpert.press. Springer, 2004. M. Broy and R. Steinbrüggen. Modellbildung in der Informatik. Number ISBN: 3-540-44292-8 in Xpert.press. Springer, 2004.
13.
Zurück zum Zitat M. Broy and K. Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer-Verlag, Berlin, Heidelberg, 2001.CrossRef M. Broy and K. Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer-Verlag, Berlin, Heidelberg, 2001.CrossRef
14.
Zurück zum Zitat P. P.-S. Chen. The Entity-Relationship Model – Toward a Unified View of Data. ACM Transactions on Database Systems, 1(1):9–36, 1976. P. P.-S. Chen. The Entity-Relationship Model – Toward a Unified View of Data. ACM Transactions on Database Systems, 1(1):9–36, 1976.
15.
Zurück zum Zitat R. Davis. ARIS Design Platform: Advanced Process Modeling and Administration. Springer, 2010. R. Davis. ARIS Design Platform: Advanced Process Modeling and Administration. Springer, 2010.
16.
Zurück zum Zitat R. Diestel. Graphentheorie. Springer Spektrum, 5 edition, May 2017. R. Diestel. Graphentheorie. Springer Spektrum, 5 edition, May 2017.
17.
Zurück zum Zitat E. W. Dijkstra. Letters to the editor: Go to statement considered harmful. Commun. ACM, 11(3):147–148, 1968. E. W. Dijkstra. Letters to the editor: Go to statement considered harmful. Commun. ACM, 11(3):147–148, 1968.
18.
Zurück zum Zitat DIN 66001:1983-12. Informationsverarbeitung; Sinnbilder und ihre Anwendung. Technical report, Deutsches Institut für Normung e.V. (DIN), December 1983. DIN 66001:1983-12. Informationsverarbeitung; Sinnbilder und ihre Anwendung. Technical report, Deutsches Institut für Normung e.V. (DIN), December 1983.
19.
Zurück zum Zitat J. Duncan, L. Rackley, and A. Walker. SSADM in Practice. Palgrave, London, 1995.CrossRef J. Duncan, L. Rackley, and A. Walker. SSADM in Practice. Palgrave, London, 1995.CrossRef
20.
Zurück zum Zitat R. W. Floyd. Assigning meanings to programs. Proceedings of Symposium on Applied Mathematics, 19:19–32, 1967.MathSciNetCrossRef R. W. Floyd. Assigning meanings to programs. Proceedings of Symposium on Applied Mathematics, 19:19–32, 1967.MathSciNetCrossRef
21.
Zurück zum Zitat M. Fowler and R. Parsons. Domain-Specific Languages. Addison Wesley, (to appear), 2010. M. Fowler and R. Parsons. Domain-Specific Languages. Addison Wesley, (to appear), 2010.
22.
Zurück zum Zitat D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, 1987.MathSciNetCrossRef D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, 1987.MathSciNetCrossRef
23.
Zurück zum Zitat C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10):576–583, Oct. 1969. C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10):576–583, Oct. 1969.
25.
Zurück zum Zitat ISO/IEC 13568:2002. Information technology – Z formal specification notation – Syntax, type system and semantics. International Organization for Standardization, July 2002. ISO/IEC 13568:2002. Information technology – Z formal specification notation – Syntax, type system and semantics. International Organization for Standardization, July 2002.
26.
Zurück zum Zitat ISO/IEC 19510:2013. Information Technology – Object Management Group Business Process Model and Notation. International Organization for Standardization, July 2013. ISO/IEC 19510:2013. Information Technology – Object Management Group Business Process Model and Notation. International Organization for Standardization, July 2013.
27.
Zurück zum Zitat ISO/IEC 19514:2017. Information technology – Object management group systems modeling language (OMG SysML). International Organization for Standardization, March 2017. ISO/IEC 19514:2017. Information technology – Object management group systems modeling language (OMG SysML). International Organization for Standardization, March 2017.
28.
Zurück zum Zitat ITU Z.120. Message Sequence Chart (MSC). International Telecommunication Union, February 2011. ITU Z.120. Message Sequence Chart (MSC). International Telecommunication Union, February 2011.
29.
Zurück zum Zitat ITU Z.121. Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC). International Telecommunication Union, February 2003. ITU Z.121. Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC). International Telecommunication Union, February 2003.
30.
Zurück zum Zitat C. Kecher, A. Salvanos, and R. Hoffmann-Elbern. UML 2.5: Das umfassende Handbuch. Rheinwerk Computing, 6 edition, November 2017. C. Kecher, A. Salvanos, and R. Hoffmann-Elbern. UML 2.5: Das umfassende Handbuch. Rheinwerk Computing, 6 edition, November 2017.
31.
Zurück zum Zitat A. Kemper and A. Eickler. Datenbanksysteme: Eine Einführung. De Gruyter Studium. De Gruyter Oldenburg, 10 edition, September 2015. A. Kemper and A. Eickler. Datenbanksysteme: Eine Einführung. De Gruyter Studium. De Gruyter Oldenburg, 10 edition, September 2015.
32.
Zurück zum Zitat S. Kleuker. Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation. Studium. Vieweg+Teubner Verlag, September 2009. S. Kleuker. Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation. Studium. Vieweg+Teubner Verlag, September 2009.
33.
Zurück zum Zitat A. Knöpfel, B. Gröne, and P. Tabeling. Fundamental Modeling Concepts: Effective Communication of IT Systems. Wiley, 2006. A. Knöpfel, B. Gröne, and P. Tabeling. Fundamental Modeling Concepts: Effective Communication of IT Systems. Wiley, 2006.
34.
Zurück zum Zitat F. Kröger and S. Merz. Temporal Logic and State Systems. Texts in Theoretical Computer Science. Springer, March 2008. F. Kröger and S. Merz. Temporal Logic and State Systems. Texts in Theoretical Computer Science. Springer, March 2008.
35.
Zurück zum Zitat Liggesmeyer, P. Software-Qualität: Testen, Analysieren und Verifizieren von Software. Spektrum Akademischer Verlag, second edition, 2009. Liggesmeyer, P. Software-Qualität: Testen, Analysieren und Verifizieren von Software. Spektrum Akademischer Verlag, second edition, 2009.
36.
Zurück zum Zitat D. A. Marca and C. L. McGowan. SADT: Structured Analysis and Design Techniques. McGraw Hill Higher Education, 1987. D. A. Marca and C. L. McGowan. SADT: Structured Analysis and Design Techniques. McGraw Hill Higher Education, 1987.
38.
Zurück zum Zitat G. H. Mealy. A method for synthesizing sequential circuits. The Bell System Technical Journal, 34(5):1045–1079, September 1955. G. H. Mealy. A method for synthesizing sequential circuits. The Bell System Technical Journal, 34(5):1045–1079, September 1955.
39.
Zurück zum Zitat B. Meyer. Eiffel : The Language. Prentice Hall Object-Oriented Series. Pearson Education Limited, October 1992. B. Meyer. Eiffel : The Language. Prentice Hall Object-Oriented Series. Pearson Education Limited, October 1992.
40.
Zurück zum Zitat B. Meyer. Object-Oriented Software Construction. Prentice Hall, 2 edition, November 1998. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 2 edition, November 1998.
41.
Zurück zum Zitat I. Nassi and B. Shneiderman. Flowchart techniques for structured programming. ACM SIGPLAN Notices, 8(8):12–26, Aug. 1973. I. Nassi and B. Shneiderman. Flowchart techniques for structured programming. ACM SIGPLAN Notices, 8(8):12–26, Aug. 1973.
42.
Zurück zum Zitat M. Nüttgens and F. J. Rump. Syntax und semantik ereignisgesteuerter prozessketten (epk). In Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen – Proceedings des GI-Workshops und Fachgruppentreffens, pages 64–77, October 2002. M. Nüttgens and F. J. Rump. Syntax und semantik ereignisgesteuerter prozessketten (epk). In Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen – Proceedings des GI-Workshops und Fachgruppentreffens, pages 64–77, October 2002.
43.
Zurück zum Zitat OMG. Unified Modeling Language (UML): Infrastructure Version 2.1.1. Technical report, Object Management Group, 2007. OMG. Unified Modeling Language (UML): Infrastructure Version 2.1.1. Technical report, Object Management Group, 2007.
44.
Zurück zum Zitat OMG. Software & Systems Process Engineering Metamodel Specification (SPEM) Version 2.0. Technical report, Object Management Group, 2008. OMG. Software & Systems Process Engineering Metamodel Specification (SPEM) Version 2.0. Technical report, Object Management Group, 2008.
45.
Zurück zum Zitat OMG. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.1. Technical report, Object Management Group, 2011. OMG. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.1. Technical report, Object Management Group, 2011.
46.
Zurück zum Zitat OMG. Business Process Model and Notation (BPMN), Version 2.0.2. Technical report, Object Management Group, January 2014. OMG. Business Process Model and Notation (BPMN), Version 2.0.2. Technical report, Object Management Group, January 2014.
47.
Zurück zum Zitat OMG. Meta Object Facility (MOF), Version 2.5.1. Technical report, Object Management Group, 2016. OMG. Meta Object Facility (MOF), Version 2.5.1. Technical report, Object Management Group, 2016.
48.
Zurück zum Zitat OMG. Unified Modeling Language (UML) Specification, Version 2.5.1.Technical report, Object Management Group, 2017. OMG. Unified Modeling Language (UML) Specification, Version 2.5.1.Technical report, Object Management Group, 2017.
49.
Zurück zum Zitat D. L. Parnas. Tabular representation of relations. Technical Report CRL Report 260, McMaster University, Hamilton, Ontario, Canada, 1992. D. L. Parnas. Tabular representation of relations. Technical Report CRL Report 260, McMaster University, Hamilton, Ontario, Canada, 1992.
50.
Zurück zum Zitat C. A. Petri. Kommunikation mit Automaten. PhD thesis, Mathematisches Institut der Universität Bonn, 1962. C. A. Petri. Kommunikation mit Automaten. PhD thesis, Mathematisches Institut der Universität Bonn, 1962.
51.
Zurück zum Zitat A. Poetzsch-Heffter. Specification and Verification of Object-Oriented Programs. Habilitation thesis, Technical University of Munich, January 1997. A. Poetzsch-Heffter. Specification and Verification of Object-Oriented Programs. Habilitation thesis, Technical University of Munich, January 1997.
52.
Zurück zum Zitat K. Pohl, H. Hönninger, R. Achatz, and M. Broy, editors. Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, December 2014. K. Pohl, H. Hönninger, R. Achatz, and M. Broy, editors. Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, December 2014.
53.
Zurück zum Zitat L. Priese and K. Erk. Theoretische Informatik: Eine umfassende Einführung. Springer Vieweg, 4 edition, August 2018. L. Priese and K. Erk. Theoretische Informatik: Eine umfassende Einführung. Springer Vieweg, 4 edition, August 2018.
54.
Zurück zum Zitat W. Reisig. Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien. Vieweg+Teubner Verlag, 2010.CrossRef W. Reisig. Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien. Vieweg+Teubner Verlag, 2010.CrossRef
55.
Zurück zum Zitat E. Rudolph, J. Grabowski, and P. Graubmann. SDL’99: The Next Millennium, chapter Towards a Harmonization of UML-Sequence Diagrams and MSC. Elsevier Science, June 1999. E. Rudolph, J. Grabowski, and P. Graubmann. SDL’99: The Next Millennium, chapter Towards a Harmonization of UML-Sequence Diagrams and MSC. Elsevier Science, June 1999.
56.
Zurück zum Zitat C. Rupp, S. Queins, and die SOPHISTen. UML 2 glasklar: Praxiswissen für die UML-Modellierung. Carl Hanser Verlag GmbH & Co. KG, 4 edition, 2012. C. Rupp, S. Queins, and die SOPHISTen. UML 2 glasklar: Praxiswissen für die UML-Modellierung. Carl Hanser Verlag GmbH & Co. KG, 4 edition, 2012.
57.
Zurück zum Zitat A.-W. Scheer, W. Jost, and K. Wagner, editors. Von Prozessmodellen zu lauffähigen Anwendungen: ARIS in der Praxis. Springer, 2005. A.-W. Scheer, W. Jost, and K. Wagner, editors. Von Prozessmodellen zu lauffähigen Anwendungen: ARIS in der Praxis. Springer, 2005.
58.
Zurück zum Zitat J. Siedersleben. Moderne Software-Architektur – Umsichtig planen, robust bauen mit Quasar. dpunkt.verlag, 2004. J. Siedersleben. Moderne Software-Architektur – Umsichtig planen, robust bauen mit Quasar. dpunkt.verlag, 2004.
59.
Zurück zum Zitat G. Simsion. Data Modeling. Theory and practise. Technics Publications, March 2007. G. Simsion. Data Modeling. Theory and practise. Technics Publications, March 2007.
60.
Zurück zum Zitat T. Stahl, M. Völter, S. Efftinge, and A. Haase. Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management. dpunkt.verlag, 2 edition, May 2007. T. Stahl, M. Völter, S. Efftinge, and A. Haase. Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management. dpunkt.verlag, 2 edition, May 2007.
61.
Zurück zum Zitat W. Struckmann and D. Wätjen. Mathematik für Informatiker – Grundlagen und Anwendungen. Elsevier Spektrum Akademischer Verlag, 2006. W. Struckmann and D. Wätjen. Mathematik für Informatiker – Grundlagen und Anwendungen. Elsevier Spektrum Akademischer Verlag, 2006.
62.
Zurück zum Zitat C. Szyperski, D. Gruntz, and S. Murer. Component Software: Beyond Object-Oriented Programming. Component Software Series. Addison-Wesley, 2 edition, November 2002. C. Szyperski, D. Gruntz, and S. Murer. Component Software: Beyond Object-Oriented Programming. Component Software Series. Addison-Wesley, 2 edition, November 2002.
63.
Zurück zum Zitat W. van der Aalst. Formalization and verification of event-driven process chains. Information and Software Technology, 41(10):639–650, 1999.CrossRef W. van der Aalst. Formalization and verification of event-driven process chains. Information and Software Technology, 41(10):639–650, 1999.CrossRef
64.
Zurück zum Zitat M. Winter, T. Roßner, C. Brandes, and H. Götz. Basiswissen modellbasierter Test. dpunkt.verlag GmbH, September 2016. M. Winter, T. Roßner, C. Brandes, and H. Götz. Basiswissen modellbasierter Test. dpunkt.verlag GmbH, September 2016.
Metadaten
Titel
Modelle in der Softwareentwicklung und ihre Beschreibung
verfasst von
Manfred Broy
Marco Kuhrmann
Copyright-Jahr
2021
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-50263-1_4