Semantic methods for execution-level business process modeling: modeling support through process verification and service composition
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in business information processing
40 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 292 S. graph. Darst. |
| ISBN: | 9783642050848 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035836658 | ||
| 003 | DE-604 | ||
| 005 | 20130222 | ||
| 007 | t | ||
| 008 | 091120s2009 d||| m||| 00||| eng d | ||
| 020 | |a 9783642050848 |9 978-3-642-05084-8 | ||
| 035 | |a (OCoLC)462918148 | ||
| 035 | |a (DE-599)BVBBV035836658 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-355 | ||
| 050 | 0 | |a HF5548.2 | |
| 082 | 0 | |a 338 | |
| 084 | |a SS 4801 |0 (DE-625)143529: |2 rvk | ||
| 084 | |a ST 505 |0 (DE-625)143675: |2 rvk | ||
| 100 | 1 | |a Weber, Ingo M. |e Verfasser |0 (DE-588)139791744 |4 aut | |
| 245 | 1 | 0 | |a Semantic methods for execution-level business process modeling |b modeling support through process verification and service composition |c Ingo M. Weber |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XII, 292 S. |b graph. Darst. | ||
| 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 40 | |
| 502 | |a Zugl.: Karlsruhe, Univ., Diss., 2009 | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Wirtschaft | |
| 650 | 4 | |a Business |x Data processing | |
| 650 | 4 | |a Management information systems | |
| 650 | 4 | |a Reengineering (Management) | |
| 650 | 4 | |a Semantic computing | |
| 650 | 4 | |a Service-oriented architecture (Computer science) | |
| 650 | 0 | 7 | |a Semantische Modellierung |0 (DE-588)4672054-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessmanagement |0 (DE-588)4353072-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Modellierung |0 (DE-588)7651795-0 |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 | 1 | |a Mathematische Modellierung |0 (DE-588)7651795-0 |D s |
| 689 | 0 | 2 | |a Semantische Modellierung |0 (DE-588)4672054-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Lecture notes in business information processing |v 40 |w (DE-604)BV023204387 |9 40 | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018695071&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018695071 | ||
Datensatz im Suchindex
| _version_ | 1804140802360737792 |
|---|---|
| adam_text | Contents
Part I Foundations
1
Introduction
............................................... 3
1.1
Motivation and Overview
.................................
Л
1.2
Hypotheses
.............................................
G
1.3
Methodology
............................................ 7
1.4
Details of the Solution Approach
.......................... 9
1. 1.1
Verification of Annotated Process Models
............. 9
1.4.2
(Composition of Execution-level Artifacts
............. 10
1.5
Structure of This Book
................................... 10
2
Background
............................................... 13
2.1
Business Process Management
............................ 13
2.1.1
The4 Path to Business Process Management
........... 14
2.1.2
Definitions
....................................... 17
2.1.3
Overview and Methodology for BPM
................ 18
2.1.4
Process Formalisms
................................ 25
2.1.5 Workflow
Patterns
................................. 27
2.1
.(i Current Challenges in BPM
........................ 27
2.2
Service-Oriented Computing
.............................. 28
2.2.1
Service-Oriented Architecture
....................... 28
2.2.2
Web Services
..................................... 29
2.2.3
Service-Orientation Design Principles
................ 31
2.2.4
An Orchestration Language- WSBPEL
............... 32
2.3
Semantic Technologies
................................... 34
2.3.1
Ontologies and Reasoning
.......................... 36
2.3.2
Frame Logic
...................................... 37
2.3.3
Description Logics
................................. 38
2.3.1
Semantic Web Services
............................. 39
2.3.Г)
Semantic Business Process Management
............... 42
2.4
Chapter Summary
....................................... 44
Contents
Part II Modeling Support through Verification and Composition
3
Requirements Analysis and Conceptual Framework
........ 47
3.1
The Problem of Supporting Composition in BPM
............ 47
3.2
Requirements for Composition
Support in Business Process Modeling
..................... 50
3.2.1
Modeling Extension Requirements
................... 51
3.2.2
Fundamental Requirements
......................... 53
3.2.3
Non-functional Requirements
.......................
5(i
3.2.4
Situational Requirements
........................... 59
3.3
Requirements Discussion
................................. 62
3.4
Conceptual Framework Overview
.......................... (¡2
3.4.1
Semantics of Annotated Process Models
..............
(ІЗ
3.4.2
Annotating Preconditions and Effects
................ 65
3.4.3
Refined Problem Description
........................ 05
3.5
High-Level Architecture and Components
...................
G7
3.5.1
Component Overview and Explanation
............... (¡7
3.5.2
Discovery
........................................ (¡9
3.5.3
Танк
Composition
................................. 71
3.5.4
Auto-completion
.................................. 73
3.5.5
Data Mediation
................................... 75
3.5.
G
Validation
........................................ 77
3.0
Methodological Guidance for the Semantic BPM Life-Cycle
. . . 79
3.0.
1 Overview
......................................... 80
3.0.2
The Modeling Phase
............................... 82
3.0.3
The1 Configuration Phase
........................... 85
3.G.4 Discussion of the Methodology
...................... 88
3.7
Automatic Process Composition Algorithm
................. 89
3.8
Related Work
........................................... 91
3.8.1
Related Work for the1 Requirements Analysis
.......... 92
3.8.2
Related Work for the Conceptual Framework
......... 93
3.9
Summary and Discussion
................................. 94
4
Verification of Annotated Process Models
................. 97
4.1
Overview
............................................... 98
4.2
Annotated Process Graphs
...............................103
4.2.1
Process Graphs
...................................103
4.2.2
Semantic Annotations
..............................108
1.3
Verification Tasks
.......................................115
4.4
Checking Precondition and Effect Conflicts
.................117
4.5
Computational Hardness of
Executability and Reachability Checking
...................124
4.G Polynomial-Time Exeeutability Checking for Basic Processes
. . 130
4.7
Resolving Inconsistencies
.................................138
4.7.1
Exeeutability
.....................................139
4.7.2
Precondition and Effect. Conflicts
....................1 10
Contents
Xf
4.8
Related Work
...........................................141
4.8.1
Petri
Nets
........................................142
4.8.2
Model Checking
...................................144
4.8.3
Beyond Control-Flow
..............................144
4.9
Chapter Conclusion and Discussion of Open Questions
.......146
5
Task Composition
.........................................149
5.1
Overview
...............................................150
5.2
Design and Main Algorithms
..............................154
5.2.1
Overall Arrangement
..............................155
5.2.2
Forward Search
...................................158
5.2.3
A Non-deterministic Search Algorithm
...............161
5.3
Formalizing Web Service Composition
......................165
5.3.1
WSC Syntax
......................................165
5.3.2
WSC Semantics
...................................166
5.4
Update Reasoning
.......................................168
5.4.1
Basic Aspects of the Search
.........................109
5.4.2
General and Horn Background Theory
...............109
5.4.3
Binary Background Theory
.........................171
5.4.4
Approximate Update Reasoning
.....................172
5.5
Heuristic Function
.......................................174
5.5.1
Main Approach of
tłu;
Heuristic Function
.............175
5.5.2
Building an Approximated Composition Graph
........176
5.5.3
Extracting an Approximated Solution
................181
5.6
Peripherals
.............................................184
5.6.1
Information Gathering
.............................184
5.6.2
Discovery
........................................188
5.7
Related Work
...........................................192
5.7.1
AI
Planning
......................................193
5.7.2
Update Problems
..................................194
5.7.3
Web Service Composition
..........................197
5.8
Chapter Conclusion
......................................200
Part III Finale
Evaluation
.................................................203
6.1
Evaluat
ion Overview
.....................................203
0.2
Prototypes
.............................................207
6.2.1
Back-End Components
.............................207
6.2.2
Integrated Prototypes
..............................208
6.3
Empirical Results for Task Composition
....................213
0.3.1
Performance with Deterministic Simulated Services
.... 214
6.3.2
Performance with Non-deterministic Real-World Services..
217
6.4
Process Case Studies
.....................................218
XII
Contents
(j.
4.1
General
Observations
..............................218
(і.
4.2
Overview of
tłu;
Process Case Studies
................219
С.
4.3
Findings
.........................................221
0.5
Chapter Summary
.......................................224
7
Conclusions and Outlook
..................................227
7.1
Summary
...............................................227
7.2
Open Problems
.........................................229
7.3
Future1 Research Topics
..................................230
7.4
Reflection
..............................................230
Appendix:
A Proofs
......................................................233
A.I Proof s for the Verification Technique
.......................233
A.I.I Correctness of M-Propagation
.......................233
A.
1.2
Binary Theories Can FBe Compiled Away
.............240
A.
1.3
Correctness of 1-Propagation
........................242
A.
1.4
I-Propagation Can Be Used for ExecutabilityChecking.
. 219
A.
1.5
Complexity Results
................................251
A.
2
Proof s for Ta.sk Composition
..............................200
References
.....................................................271
Index
..........................................................291
|
| any_adam_object | 1 |
| author | Weber, Ingo M. |
| author_GND | (DE-588)139791744 |
| author_facet | Weber, Ingo M. |
| author_role | aut |
| author_sort | Weber, Ingo M. |
| author_variant | i m w im imw |
| building | Verbundindex |
| bvnumber | BV035836658 |
| callnumber-first | H - Social Science |
| callnumber-label | HF5548 |
| callnumber-raw | HF5548.2 |
| callnumber-search | HF5548.2 |
| callnumber-sort | HF 45548.2 |
| callnumber-subject | HF - Commerce |
| classification_rvk | SS 4801 ST 505 |
| ctrlnum | (OCoLC)462918148 (DE-599)BVBBV035836658 |
| dewey-full | 338 |
| dewey-hundreds | 300 - Social sciences |
| dewey-ones | 338 - Production |
| dewey-raw | 338 |
| dewey-search | 338 |
| dewey-sort | 3338 |
| dewey-tens | 330 - Economics |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02227nam a2200529 cb4500</leader><controlfield tag="001">BV035836658</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130222 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091120s2009 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642050848</subfield><subfield code="9">978-3-642-05084-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)462918148</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035836658</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">HF5548.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">338</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4801</subfield><subfield code="0">(DE-625)143529:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Weber, Ingo M.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)139791744</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantic methods for execution-level business process modeling</subfield><subfield code="b">modeling support through process verification and service composition</subfield><subfield code="c">Ingo M. Weber</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 292 S.</subfield><subfield code="b">graph. Darst.</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">40</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Karlsruhe, Univ., Diss., 2009</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</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></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management information systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reengineering (Management)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantic computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Service-oriented architecture (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantische Modellierung</subfield><subfield code="0">(DE-588)4672054-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Mathematische Modellierung</subfield><subfield code="0">(DE-588)7651795-0</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="1"><subfield code="a">Mathematische Modellierung</subfield><subfield code="0">(DE-588)7651795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Semantische Modellierung</subfield><subfield code="0">(DE-588)4672054-6</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">40</subfield><subfield code="w">(DE-604)BV023204387</subfield><subfield code="9">40</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg</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=018695071&sequence=000002&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-018695071</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV035836658 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:05:46Z |
| institution | BVB |
| isbn | 9783642050848 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018695071 |
| oclc_num | 462918148 |
| open_access_boolean | |
| owner | DE-384 DE-355 DE-BY-UBR |
| owner_facet | DE-384 DE-355 DE-BY-UBR |
| physical | XII, 292 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in business information processing |
| series2 | Lecture notes in business information processing |
| spelling | Weber, Ingo M. Verfasser (DE-588)139791744 aut Semantic methods for execution-level business process modeling modeling support through process verification and service composition Ingo M. Weber Berlin [u.a.] Springer 2009 XII, 292 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in business information processing 40 Zugl.: Karlsruhe, Univ., Diss., 2009 Datenverarbeitung Wirtschaft Business Data processing Management information systems Reengineering (Management) Semantic computing Service-oriented architecture (Computer science) Semantische Modellierung (DE-588)4672054-6 gnd rswk-swf Prozessmanagement (DE-588)4353072-2 gnd rswk-swf Mathematische Modellierung (DE-588)7651795-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Prozessmanagement (DE-588)4353072-2 s Mathematische Modellierung (DE-588)7651795-0 s Semantische Modellierung (DE-588)4672054-6 s DE-604 Lecture notes in business information processing 40 (DE-604)BV023204387 40 Digitalisierung UB Augsburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018695071&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Weber, Ingo M. Semantic methods for execution-level business process modeling modeling support through process verification and service composition Lecture notes in business information processing Datenverarbeitung Wirtschaft Business Data processing Management information systems Reengineering (Management) Semantic computing Service-oriented architecture (Computer science) Semantische Modellierung (DE-588)4672054-6 gnd Prozessmanagement (DE-588)4353072-2 gnd Mathematische Modellierung (DE-588)7651795-0 gnd |
| subject_GND | (DE-588)4672054-6 (DE-588)4353072-2 (DE-588)7651795-0 (DE-588)4113937-9 |
| title | Semantic methods for execution-level business process modeling modeling support through process verification and service composition |
| title_auth | Semantic methods for execution-level business process modeling modeling support through process verification and service composition |
| title_exact_search | Semantic methods for execution-level business process modeling modeling support through process verification and service composition |
| title_full | Semantic methods for execution-level business process modeling modeling support through process verification and service composition Ingo M. Weber |
| title_fullStr | Semantic methods for execution-level business process modeling modeling support through process verification and service composition Ingo M. Weber |
| title_full_unstemmed | Semantic methods for execution-level business process modeling modeling support through process verification and service composition Ingo M. Weber |
| title_short | Semantic methods for execution-level business process modeling |
| title_sort | semantic methods for execution level business process modeling modeling support through process verification and service composition |
| title_sub | modeling support through process verification and service composition |
| topic | Datenverarbeitung Wirtschaft Business Data processing Management information systems Reengineering (Management) Semantic computing Service-oriented architecture (Computer science) Semantische Modellierung (DE-588)4672054-6 gnd Prozessmanagement (DE-588)4353072-2 gnd Mathematische Modellierung (DE-588)7651795-0 gnd |
| topic_facet | Datenverarbeitung Wirtschaft Business Data processing Management information systems Reengineering (Management) Semantic computing Service-oriented architecture (Computer science) Semantische Modellierung Prozessmanagement Mathematische Modellierung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018695071&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023204387 |
| work_keys_str_mv | AT weberingom semanticmethodsforexecutionlevelbusinessprocessmodelingmodelingsupportthroughprocessverificationandservicecomposition |