Pattern-based business process design and verification:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Tönning ; Lübeck ; Marburg
<<Der>> Andere Verl.
2009
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 209 S. graph. Darst. 25 cm |
| ISBN: | 9783899598391 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035599270 | ||
| 003 | DE-604 | ||
| 005 | 20090921 | ||
| 007 | t | ||
| 008 | 090703s2009 gw d||| m||| 00||| eng d | ||
| 015 | |a 09,N15,0902 |2 dnb | ||
| 015 | |a 09,H06,2419 |2 dnb | ||
| 016 | 7 | |a 993341101 |2 DE-101 | |
| 020 | |a 9783899598391 |c kart. : EUR 43.90 |9 978-3-89959-839-1 | ||
| 024 | 3 | |a 9783899598391 | |
| 035 | |a (OCoLC)645367326 | ||
| 035 | |a (DE-599)DNB993341101 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-SH | ||
| 049 | |a DE-12 | ||
| 082 | 1 | |a 658.5 |2 22//ger | |
| 082 | 0 | |a 658.5 |2 22/ger | |
| 084 | |a ST 515 |0 (DE-625)143677: |2 rvk | ||
| 084 | |a 650 |2 sdnb | ||
| 100 | 1 | |a Förster, Alexander |e Verfasser |0 (DE-588)138064512 |4 aut | |
| 245 | 1 | 0 | |a Pattern-based business process design and verification |c by Alexander Förster |
| 264 | 1 | |a Tönning ; Lübeck ; Marburg |b <<Der>> Andere Verl. |c 2009 | |
| 300 | |a 209 S. |b graph. Darst. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Paderborn, Univ., Diss., 2008 | ||
| 650 | 0 | 7 | |a Prozessmanagement |0 (DE-588)4353072-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Prozessmanagement |0 (DE-588)4353072-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017654347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017654347 | ||
Datensatz im Suchindex
| _version_ | 1804139265061289984 |
|---|---|
| adam_text | CONTENTS 1 INTRODUCTION 1 1.1 PROBLEM DESCRIPTION 2 1.2 RESEARCH GOALS
AND CONTRIBUTION 7 1.3 STRUCTUREOFTHETHESIS 9 2 BUSINESS PROCESSES AND
WORKFLOW MODELING 11 2.1 MODELING LANGUAGES 13 2.1.1 PERSPECTIVES OF
BUSINESS PROCESSES AND WORKFLOWS 13 2.1.2 REQUIREMENTS FOR BUSINESS
PROCESS MODELING LANGUAGES 14 2.2 PETRI NETS 16 2.3 EVENT-DRIVEN PROCESS
CHAINS (EPCS) 18 2.4 UML ACTIVITIES 20 2.5 SUMMARY 27 3 QUALITY OF
BUSINESS PROCESSES 29 3.1 QUALITY IN GENERAL 29 3.2 TOTAL QUALITY
MANAGEMENT 30 3.3 STRUCTURAL QUALITY ASPECTS OF PROCESS MODELS 31 3.4
PATTERNS AND MODEL QUALITY 34 3.5 WORKFLOW PATTERNS 39 3.6 PATTEMS AND
TEMPORAL LOGIC 41 3.7 DESIGN PATTERNS AND BEHAVIOR 42 3.8 BUSINESS RULES
AND FLEXIBLE PROCESSES 44 U BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/993341101 DIGITALISIERT DURCH M CONTENTS 3.9 RESULTING
REQUIREMENTS 46 3.10 SUMMARY 48 4 A SEMANTIC MODEL FOR UML ACTIVITIES 51
4.1 REQUIREMENTS FOR A SEMANTIC MODEL 52 4.1.1 COVERAGE 53 4.1.2
EXPRESSIVE POWER OF THE FORMALISM 53 4.1.3 PRECISIONOFTHE FORMALIZATION
53 4.1.4 CAPABUEITYOF AUTOMATED EXECUTION 54 4.2 AN OVERVIEW OF EXISTING
APPROACHES 54 4.3 THE DYNAMIC META MODELING (DMM) APPROACH 56 4.3.1 META
RELATIONS 56 4.3.2 GRAPH TRANSFORMATIONS 60 4.3.3 EXECUTION OF GRAPH
TRANSFORMATION SYSTEMS 66 4.4 APPLICATION OF DMM 69 4.5 PROPERTIES OF
THE RESULTING TRANSITION SYSTEM AND LIMITATIONS 73 4.5.1 DISTINGUISHED
TRANSITIONS 73 4.5.2 TRAVERSE-TO-COMPLETION 73 4.5.3 NON-LOCAL BEHAVIOR
76 4.5.4 CONCURRENCY 77 4.5.5 ANALYZABILITY OF BUSINESS PROCESSES AND
LIMITATIONS 78 4.6 SUMMARY 79 5 BUSINESS PROCESS PATTERNS 81 5.1
LANGUAGE REQUIREMENTS FOR THE DESIGN OF THE PPSL 84 5.1.1 GENERAL
REQUIREMENTS FOR THE PPSL 84 5.1.2 LANGUAGE REQUIREMENTS RESULTING FROM
TYPICAL PROCESS CONSTRAINTS IN QUALITY MANAGEMENT 86 5.2 THE DESIGN OF
THE PPSL 90 IV CONTENTS 5.2.1 ACTIONS AND ACTION PROTOTYPES 91 5.2.2
ACTION CARDINALITIES 93 5.2.3 TEMPORAL RELATIONSHIPS 94 5.2.4 LOGICAL
RELATIONSHIPS 100 5.2.5 SUMMARY OF THE DESIGN OF THE PPSL 104 5.3
ABSTRACT SYNTAX OF THE PPSL 104 5.3.1 META MODEL OF THE PPSL 105 5.3.2
WELL-FORMEDNESS RULES 107 5.4 SUMMARY 111 6 FORMAL VERIFICATION BASED ON
BUSINESS PROCESS PATTERNS 113 6.1 ADAPTATION OF THE EXECUTION SEMANTICS
DESCRIPTION OF BUSINESS PROCESSES 115 6.1.1 REQUIREMENTS FOR ADAPTING
THE LTS 116 6.1.2 DEVELOPMENT OF A REDUCTION ALGORITHM 118 6.1.3
CONCLUSION 128 6.2 TRANSLATION OF PATTERN DIAGRAMS INTO TEMPORAL LOGIC
129 6.2.1 TEMPORAL LOGIC 129 6.2.2 OVERVIEWOF THE TRANSLATION 133 6.2.3
FORMAL SPECIFICATION OF THE PPSL 134 6.2.4 EXAMPLE 147 6.3 PERFORMING
THE FORMAL VERIFICATION 149 7 SUPPORT FOR PATTERN-BASED PROCESS MODELING
151 7.1 PATTERN-BASED MODELING OF BUSINESS PROCESSES 151 7.2
REQUIREMENTS FOR THE PBPM WORKBENCH 154 7.3 USE CASES OF THE PBPM
WORKBENCH 156 7.4 DESIGN OF THE PROTOTYPE 157 7.4.1 REALIZATION AS
ECLIPSE PLUG-IN 160 REFERENCES 201 CONTENTS 7.4.2 INTEGRATION OF
EXTERNAL TOOLS 161 7.5 APPLICATION OF THE WORKBENCH 162 7.5.1 DEFINING
AND EDITING BUSINESS PROCESSES AND PATTERNS 163 7.5.2 DEFINING AND
EDITING THE ACTION MAPPING 164 7.5.3 PERFORMING THE VERIFICATION 167
7.5.4 BACK ANNOTATION OF THE VERIFICATION RESULT 168 7.5.5
DEBUGGING/EVALUATION VIEWS 170 7.6 SUMMARY AND DISCUSSION 170 8 CASE
STUDY 173 8.1 BUSINESS PROCESSES FOR WHOLESALE FINANCING 174 8.2
PRINCIPLES AND PATTERNS OF WHOLESALE FINANCING 178 8.3 ASSESSMENT OF
BUSINESS PROCESSES 180 8.4 FURTHER EMPIRICAL DATA FROM THE CASE STUDY
192 8.5 CONCLUSION 194 9 CONCLUSION 195 9.1 SUMMARY AND CONCLUSION 195
9.2 OUTLOOK AND FUTURE WORK 197
|
| any_adam_object | 1 |
| author | Förster, Alexander |
| author_GND | (DE-588)138064512 |
| author_facet | Förster, Alexander |
| author_role | aut |
| author_sort | Förster, Alexander |
| author_variant | a f af |
| building | Verbundindex |
| bvnumber | BV035599270 |
| classification_rvk | ST 515 |
| ctrlnum | (OCoLC)645367326 (DE-599)DNB993341101 |
| dewey-full | 658.5 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 658 - General management |
| dewey-raw | 658.5 |
| dewey-search | 658.5 |
| dewey-sort | 3658.5 |
| dewey-tens | 650 - Management and auxiliary services |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01609nam a2200433 c 4500</leader><controlfield tag="001">BV035599270</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090921 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090703s2009 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N15,0902</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,H06,2419</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">993341101</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783899598391</subfield><subfield code="c">kart. : EUR 43.90</subfield><subfield code="9">978-3-89959-839-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783899598391</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)645367326</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB993341101</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-SH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">658.5</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">658.5</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 515</subfield><subfield code="0">(DE-625)143677:</subfield><subfield code="2">rvk</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">Förster, Alexander</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)138064512</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Pattern-based business process design and verification</subfield><subfield code="c">by Alexander Förster</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tönning ; Lübeck ; Marburg</subfield><subfield code="b"><<Der>> Andere Verl.</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">209 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">25 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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Paderborn, Univ., Diss., 2008</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessmanagement</subfield><subfield code="0">(DE-588)4353072-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prozessmanagement</subfield><subfield code="0">(DE-588)4353072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=017654347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017654347</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV035599270 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:41:20Z |
| institution | BVB |
| isbn | 9783899598391 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017654347 |
| oclc_num | 645367326 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 209 S. graph. Darst. 25 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | <<Der>> Andere Verl. |
| record_format | marc |
| spelling | Förster, Alexander Verfasser (DE-588)138064512 aut Pattern-based business process design and verification by Alexander Förster Tönning ; Lübeck ; Marburg <<Der>> Andere Verl. 2009 209 S. graph. Darst. 25 cm txt rdacontent n rdamedia nc rdacarrier Zugl.: Paderborn, Univ., Diss., 2008 Prozessmanagement (DE-588)4353072-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Prozessmanagement (DE-588)4353072-2 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017654347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Förster, Alexander Pattern-based business process design and verification Prozessmanagement (DE-588)4353072-2 gnd |
| subject_GND | (DE-588)4353072-2 (DE-588)4113937-9 |
| title | Pattern-based business process design and verification |
| title_auth | Pattern-based business process design and verification |
| title_exact_search | Pattern-based business process design and verification |
| title_full | Pattern-based business process design and verification by Alexander Förster |
| title_fullStr | Pattern-based business process design and verification by Alexander Förster |
| title_full_unstemmed | Pattern-based business process design and verification by Alexander Förster |
| title_short | Pattern-based business process design and verification |
| title_sort | pattern based business process design and verification |
| topic | Prozessmanagement (DE-588)4353072-2 gnd |
| topic_facet | Prozessmanagement Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017654347&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT forsteralexander patternbasedbusinessprocessdesignandverification |