Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York, NY
Springer
2008
|
| Series: | Lecture notes in business information processing
6 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 165 - 190 |
| Physical Description: | XIX, 193 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9783540892236 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035826089 | ||
| 003 | DE-604 | ||
| 005 | 20120911 | ||
| 007 | t| | ||
| 008 | 091113s2008 gw ad|| |||| 00||| eng d | ||
| 015 | |a 08,N43,0025 |2 dnb | ||
| 015 | |a 08,A48,1497 |2 dnb | ||
| 016 | 7 | |a 990668991 |2 DE-101 | |
| 020 | |a 9783540892236 |c kart. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-540-89223-6 | ||
| 024 | 3 | |a 9783540892236 | |
| 028 | 5 | 2 | |a 12540204 |
| 035 | |a (OCoLC)276159968 | ||
| 035 | |a (DE-599)DNB990668991 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-384 |a DE-523 |a DE-11 | ||
| 082 | 0 | |a 658.530285514 |2 22/ger | |
| 084 | |a ST 505 |0 (DE-625)143675: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 650 |2 sdnb | ||
| 100 | 1 | |a Mendling, Jan |e Verfasser |0 (DE-588)136506313 |4 aut | |
| 245 | 1 | 0 | |a Metrics for process models |b empirical foundations of verification, error prediction, and guidelines for correctness |c Jan Mendling |
| 264 | 1 | |a Berlin ; Heidelberg ; New York, NY |b Springer |c 2008 | |
| 300 | |a XIX, 193 S. |b Ill., graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in business information processing |v 6 | |
| 500 | |a Literaturverz. S. 165 - 190 | ||
| 650 | 4 | |a Ablaufsteuerung - Prozesskette - Komplexitätsmaß - Fehlererkennung - Ereignisgesteuertes System - Business Process Execution Language | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Wirtschaft | |
| 650 | 4 | |a Business |x Data processing |x Management | |
| 650 | 4 | |a Business |x Data processing |x Mathematical models | |
| 650 | 4 | |a Management information systems | |
| 650 | 4 | |a Workflow |x Management | |
| 650 | 0 | 7 | |a Ereignisgesteuertes System |0 (DE-588)4462531-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozesskette |0 (DE-588)4325683-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Business Process Execution Language |0 (DE-588)7618471-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätsmaß |0 (DE-588)4164915-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ablaufsteuerung |0 (DE-588)4301882-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlererkennung |0 (DE-588)4133764-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Ablaufsteuerung |0 (DE-588)4301882-8 |D s |
| 689 | 0 | 1 | |a Prozesskette |0 (DE-588)4325683-1 |D s |
| 689 | 0 | 2 | |a Komplexitätsmaß |0 (DE-588)4164915-1 |D s |
| 689 | 0 | 3 | |a Fehlererkennung |0 (DE-588)4133764-5 |D s |
| 689 | 0 | 4 | |a Ereignisgesteuertes System |0 (DE-588)4462531-5 |D s |
| 689 | 0 | 5 | |a Business Process Execution Language |0 (DE-588)7618471-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in business information processing |v 6 |w (DE-604)BV023204387 |9 6 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018684733&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018684733 | |
Record in the Search Index
| _version_ | 1820882449698127872 |
|---|---|
| adam_text |
JAN MENDLING METRICS FOR PROCESS MODELS EMPIRICAL FOUNDATIONS OF
VERIFICATION, ERROR PREDICTION, AND GUIDELINES FOR CORRECTNESS 4Y
SPRINGER CONTENTS BUSINESS PROCESS MANAGEMENT 1 1.1 HISTORY OF BUSINESS
PROCESS MANAGEMENT 2 1.2 DEFINITION OF BUSINESS PROCESS MANAGEMENT 4 1.3
DEFINITION OF BUSINESS PROCESS MODELING 7 1.4 BUSINESS PROCESS MODELING
AND ERRORS 12 1.5 SUMMARY 14 EVENT-DRIVEN PROCESS CHAINS (EPC) 17 2.1
EPC NOTATION 18 2.2 EPC SYNTAX 20 2.2.1 APPROACHES TO EPC SYNTAX
FORMALIZATION 21 2.2.2 FORMAL SYNTAX DEFINITION OF FLAT EPCS 22 2.2.3
FORMAL SYNTAX DEFINITION OF HIERARCHICAL EPCS 26 2.2.4 FORMAL SYNTAX
DEFINITION OF STANDARD EPCS 28 2.3 EPC SYNTAX EXTENSIONS 28 2.3.1
CONTROL FLOW EXTENSIONS 29 2.3.2 CONFIGURABILITY EXTENSIONS 30 2.4 EPC
SEMANTICS 30 2.4.1 INFORMAL SEMANTICS AS A STARTING POINT 31 2.4.2 EPC
FORMALIZATION PROBLEMS 31 2.4.3 APPROACHES TO EPC SEMANTICS
FORMALIZATION 34 2.4.4 EPC SEMANTICS BASED ON STATE AND CONTEXT 40 2.4.5
REACHABILITY GRAPH OF EPCS 47 2.4.6 TOOL SUPPORT FOR EPC SEMANTICS 50
2.5 EPCS AND OTHER PROCESS MODELING LANGUAGES 55 2.5.1 COMPARISON BASED
ON ROUTING ELEMENTS. 55 2.5.2 COMPARISON BASED ON WORKFLOW PATTERNS 56
2.6 SUMMARY .' 56 XIV CONTENTS 3 VERIFICATION OF EPC SOUNDNESS 59 3.1
SOUNDNESS OF EPCS 59 3.1.1 CORRECTNESS CRITERIA FOR BUSINESS PROCESS
MODELS 59 3.1.2 DEFINITION OF EPC SOUNDNESS 62 3.2 REACHABILITY GRAPH
VERIFICATION OF SOUNDNESS 64 3.3 VERIFICATION BY REDUCTION RULES 67
3.3.1 RELATED WORK ON REDUCTION RULES 69 3.3.2 A REDUCTION KIT FOR EPCS
72 3.3.3 A REDUCTION ALGORITHM FOR EPCS 91 3.3.4 REDUCTION OF THE SAP
REFERENCE MODEL 95 3.4 SUMMARY 102 4 METRICS FOR BUSINESS PROCESS MODELS
103 4.1 MEASUREMENT THEORY 104 4.2 METRICS IN NETWORK ANALYSIS 107 4.3
METRICS IN THE SOFTWARE ENGINEERING PROCESS 110 4.4 RELATED WORK ON
METRICS FOR PROCESS MODELS 114 4.5 DEFINITION OF METRICS FOR PROCESS
MODELS 117 4.5.1 SIZE 118 4.5.2 DENSITY 119 4.5.3 PARTITIONABILITY 121
4.5.4 CONNECTOR INTERPLAY 125 4.5.5 CYCLICITY 127 4.5.6 CONCURRENCY 128
4.6 CALCULATING METRICS 130 4.7 SUMMARY 133 5 VALIDATION OF METRICS AS
ERROR PREDICTORS 135 5.1 ANALYSIS DATA GENERATION 135 5.2 THE SAMPLE OF
EPC MODELS 136 5.2.1 HOW DO THE FOUR GROUPS DIFFER? 137 5.2.2 HOW DO
CORRECT AND INCORRECT MODELS DIFFER? 140 5.2.3 CORRELATION ANALYSIS 140
5.3 LOGISTIC REGRESSION 143 5.3.1 INTRODUCTION TO LOGISTIC REGRESSION
143 5.3.2 PREPARATORY ANALYSES 144 5.3.3 MULTIVARIATE LOGISTIC
REGRESSION MODEL 145 5.4 EXTERNAL VALIDATION 147 5.5 SUMMARY '. 150 6
IMPLICATIONS FOR BUSINESS PROCESS MODELING 151 6.1 SEVEN PROCESS
MODELING GUIDELINES (7PMG) 152 6.2 DISCUSSION 153 6.3 FUTURE RESEARCH '
154 CONTENTS XV A TRANSITION RELATION OF EPCS BASED ON STATE AND CONTEXT
155 A.I PHASE 1: TRANSITION RELATION FOR DEAD CONTEXT PROPAGATION 155
A.2 PHASE 2: TRANSITION RELATION FOR WAIT CONTEXT PROPAGATION 156 A.3
PHASE 3: TRANSITION RELATION FOR NEGATIVE STATE PROPAGATION 159 A.4
PHASE 4: TRANSITION RELATION FOR POSITIVE STATE PROPAGATION 160
REFERENCES 165 INDEX 191 |
| any_adam_object | 1 |
| author | Mendling, Jan |
| author_GND | (DE-588)136506313 |
| author_facet | Mendling, Jan |
| author_role | aut |
| author_sort | Mendling, Jan |
| author_variant | j m jm |
| building | Verbundindex |
| bvnumber | BV035826089 |
| classification_rvk | ST 505 |
| ctrlnum | (OCoLC)276159968 (DE-599)DNB990668991 |
| dewey-full | 658.530285514 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 658 - General management |
| dewey-raw | 658.530285514 |
| dewey-search | 658.530285514 |
| dewey-sort | 3658.530285514 |
| dewey-tens | 650 - Management and auxiliary services |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035826089</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120911</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091113s2008 gw ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N43,0025</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,A48,1497</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">990668991</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540892236</subfield><subfield code="c">kart. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-540-89223-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540892236</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12540204</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)276159968</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB990668991</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">658.530285514</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 505</subfield><subfield code="0">(DE-625)143675:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">650</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mendling, Jan</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136506313</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Metrics for process models</subfield><subfield code="b">empirical foundations of verification, error prediction, and guidelines for correctness</subfield><subfield code="c">Jan Mendling</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York, NY</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 193 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in business information processing</subfield><subfield code="v">6</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 165 - 190</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ablaufsteuerung - Prozesskette - Komplexitätsmaß - Fehlererkennung - Ereignisgesteuertes System - Business Process Execution Language</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Wirtschaft</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business</subfield><subfield code="x">Data processing</subfield><subfield code="x">Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business</subfield><subfield code="x">Data processing</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management information systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Workflow</subfield><subfield code="x">Management</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ereignisgesteuertes System</subfield><subfield code="0">(DE-588)4462531-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozesskette</subfield><subfield code="0">(DE-588)4325683-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Business Process Execution Language</subfield><subfield code="0">(DE-588)7618471-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätsmaß</subfield><subfield code="0">(DE-588)4164915-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ablaufsteuerung</subfield><subfield code="0">(DE-588)4301882-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlererkennung</subfield><subfield code="0">(DE-588)4133764-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ablaufsteuerung</subfield><subfield code="0">(DE-588)4301882-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prozesskette</subfield><subfield code="0">(DE-588)4325683-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komplexitätsmaß</subfield><subfield code="0">(DE-588)4164915-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Fehlererkennung</subfield><subfield code="0">(DE-588)4133764-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Ereignisgesteuertes System</subfield><subfield code="0">(DE-588)4462531-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Business Process Execution Language</subfield><subfield code="0">(DE-588)7618471-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in business information processing</subfield><subfield code="v">6</subfield><subfield code="w">(DE-604)BV023204387</subfield><subfield code="9">6</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018684733&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018684733</subfield></datafield></record></collection> |
| id | DE-604.BV035826089 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:07:04Z |
| institution | BVB |
| isbn | 9783540892236 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018684733 |
| oclc_num | 276159968 |
| open_access_boolean | |
| owner | DE-384 DE-523 DE-11 |
| owner_facet | DE-384 DE-523 DE-11 |
| physical | XIX, 193 S. Ill., graph. Darst. 24 cm |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in business information processing |
| series2 | Lecture notes in business information processing |
| spelling | Mendling, Jan Verfasser (DE-588)136506313 aut Metrics for process models empirical foundations of verification, error prediction, and guidelines for correctness Jan Mendling Berlin ; Heidelberg ; New York, NY Springer 2008 XIX, 193 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in business information processing 6 Literaturverz. S. 165 - 190 Ablaufsteuerung - Prozesskette - Komplexitätsmaß - Fehlererkennung - Ereignisgesteuertes System - Business Process Execution Language Datenverarbeitung Mathematisches Modell Wirtschaft Business Data processing Management Business Data processing Mathematical models Management information systems Workflow Management Ereignisgesteuertes System (DE-588)4462531-5 gnd rswk-swf Prozesskette (DE-588)4325683-1 gnd rswk-swf Business Process Execution Language (DE-588)7618471-7 gnd rswk-swf Komplexitätsmaß (DE-588)4164915-1 gnd rswk-swf Ablaufsteuerung (DE-588)4301882-8 gnd rswk-swf Fehlererkennung (DE-588)4133764-5 gnd rswk-swf Ablaufsteuerung (DE-588)4301882-8 s Prozesskette (DE-588)4325683-1 s Komplexitätsmaß (DE-588)4164915-1 s Fehlererkennung (DE-588)4133764-5 s Ereignisgesteuertes System (DE-588)4462531-5 s Business Process Execution Language (DE-588)7618471-7 s DE-604 Lecture notes in business information processing 6 (DE-604)BV023204387 6 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018684733&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mendling, Jan Metrics for process models empirical foundations of verification, error prediction, and guidelines for correctness Lecture notes in business information processing Ablaufsteuerung - Prozesskette - Komplexitätsmaß - Fehlererkennung - Ereignisgesteuertes System - Business Process Execution Language Datenverarbeitung Mathematisches Modell Wirtschaft Business Data processing Management Business Data processing Mathematical models Management information systems Workflow Management Ereignisgesteuertes System (DE-588)4462531-5 gnd Prozesskette (DE-588)4325683-1 gnd Business Process Execution Language (DE-588)7618471-7 gnd Komplexitätsmaß (DE-588)4164915-1 gnd Ablaufsteuerung (DE-588)4301882-8 gnd Fehlererkennung (DE-588)4133764-5 gnd |
| subject_GND | (DE-588)4462531-5 (DE-588)4325683-1 (DE-588)7618471-7 (DE-588)4164915-1 (DE-588)4301882-8 (DE-588)4133764-5 |
| title | Metrics for process models empirical foundations of verification, error prediction, and guidelines for correctness |
| title_auth | Metrics for process models empirical foundations of verification, error prediction, and guidelines for correctness |
| title_exact_search | Metrics for process models empirical foundations of verification, error prediction, and guidelines for correctness |
| title_full | Metrics for process models empirical foundations of verification, error prediction, and guidelines for correctness Jan Mendling |
| title_fullStr | Metrics for process models empirical foundations of verification, error prediction, and guidelines for correctness Jan Mendling |
| title_full_unstemmed | Metrics for process models empirical foundations of verification, error prediction, and guidelines for correctness Jan Mendling |
| title_short | Metrics for process models |
| title_sort | metrics for process models empirical foundations of verification error prediction and guidelines for correctness |
| title_sub | empirical foundations of verification, error prediction, and guidelines for correctness |
| topic | Ablaufsteuerung - Prozesskette - Komplexitätsmaß - Fehlererkennung - Ereignisgesteuertes System - Business Process Execution Language Datenverarbeitung Mathematisches Modell Wirtschaft Business Data processing Management Business Data processing Mathematical models Management information systems Workflow Management Ereignisgesteuertes System (DE-588)4462531-5 gnd Prozesskette (DE-588)4325683-1 gnd Business Process Execution Language (DE-588)7618471-7 gnd Komplexitätsmaß (DE-588)4164915-1 gnd Ablaufsteuerung (DE-588)4301882-8 gnd Fehlererkennung (DE-588)4133764-5 gnd |
| topic_facet | Ablaufsteuerung - Prozesskette - Komplexitätsmaß - Fehlererkennung - Ereignisgesteuertes System - Business Process Execution Language Datenverarbeitung Mathematisches Modell Wirtschaft Business Data processing Management Business Data processing Mathematical models Management information systems Workflow Management Ereignisgesteuertes System Prozesskette Business Process Execution Language Komplexitätsmaß Ablaufsteuerung Fehlererkennung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018684733&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023204387 |
| work_keys_str_mv | AT mendlingjan metricsforprocessmodelsempiricalfoundationsofverificationerrorpredictionandguidelinesforcorrectness |