Strukturbasierte Verifikation von BPMN-Modellen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner
2011
|
| Ausgabe: | 1. Aufl. |
| Schriftenreihe: | Wissenschaft
Vieweg+Teubner Research |
| Schlagworte: | |
| Online-Zugang: | Klappentext Inhaltsverzeichnis |
| Beschreibung: | XV, 176 S. Ill., zahlr. graph. Darst. |
| ISBN: | 9783834815712 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV037414473 | ||
| 003 | DE-604 | ||
| 005 | 20111121 | ||
| 007 | t | ||
| 008 | 110523s2011 ad|| m||| 00||| ger d | ||
| 020 | |a 9783834815712 |9 978-3-8348-1571-2 | ||
| 024 | 3 | |a 9783834815712 | |
| 035 | |a (OCoLC)724935483 | ||
| 035 | |a (DE-599)BSZ340108436 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-473 |a DE-2070s |a DE-B768 | ||
| 082 | 0 | |a 658.500285 |2 22//ger | |
| 084 | |a QP 300 |0 (DE-625)141850: |2 rvk | ||
| 100 | 1 | |a Müller, Jens |d 1979- |e Verfasser |0 (DE-588)133365921 |4 aut | |
| 245 | 1 | 0 | |a Strukturbasierte Verifikation von BPMN-Modellen |c Jens Müller |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner |c 2011 | |
| 300 | |a XV, 176 S. |b Ill., zahlr. graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Wissenschaft | |
| 490 | 0 | |a Vieweg+Teubner Research | |
| 502 | |a Zugl.: Tübingen, Univ., Diss., 2010 | ||
| 650 | 0 | 7 | |a Prozessmodell |0 (DE-588)4237203-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessmanagement |0 (DE-588)4353072-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a BPMN |0 (DE-588)7690691-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationsmodellierung |0 (DE-588)4214293-3 |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 Informationsmodellierung |0 (DE-588)4214293-3 |D s |
| 689 | 0 | 2 | |a BPMN |0 (DE-588)7690691-7 |D s |
| 689 | 0 | 3 | |a Prozessmodell |0 (DE-588)4237203-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | |m DE-576;DE-21 |q application/pdf |u http://swbplus.bsz-bw.de/bsz340108436kla.htm |v 20110419174327 |3 Klappentext | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022566864&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022566864 | ||
Datensatz im Suchindex
| _version_ | 1804145713265770496 |
|---|---|
| adam_text | Inhaltsverzeichnis
1. Einleitung 1
1.1. Problemstellung .................................. 1
1.2. Lösungsansatz und Szenario........................... 2
1.3. Aufbau der Arbeit................................. 4
2. Grundlagen 7
2.1. Modellgetriebene Softwareentwicklung..................... 7
2.1.1. Metamodellierung............................. 7
2.2. Geschäftsprozessmanagement .......................... 8
2.2.1. Geschäftsprozess-, Workflow- und Business-Process-Management . 9
2.2.2. Geschäftsprozess- und Workflow-Modellierung............ 10
2.2.3. Business
Process Modeling
Notation.................. 11
2.3. Methoden wissensbasierter Systeme....................... 13
2.3.1. Wissensbasierte Systeme und Expertensysteme........... 13
2.3.2. Formen der Inferenz............................ 14
2.3.3. Logikbasierte Wissensrepräsentation.................. 14
2.3.4. Regelbasierte Systeme.......................... 16
3. Szenario: Modellierung und Adaption von Geschäftsprozessmodellen 17
3.1. Organisation und Ablauf der Flugzeugwartung................ 18
3.2. Teile zweifelhafter Herkunft ........................... 21
3.3. RFID-basierte Authentifikation von Flugzeugteilen ............. 21
3.4. Szenariobeschreibung............................... 22
3.4.1. Modellierung von Prozessmodellen im Rahmen der Flugzeugwartung 23
3.4.2. Adaption von Prozessmodellen im Rahmen der Flugzeugwartung 24
3.5. Probleme durch Verletzung von Anforderungen................ 25
3.6. Anforderungen an eine Softwarelösung..................... 27
4. Semantische Geschäftsprozessmodellierung auf Basis von BPMN und
MOF
29
4.1. Vergleich zwischen
(Meta-)
Modellen und Ontologien............ 31
4.1.1. Gemeinsamkeiten............................. 32
4.1.2. Unterschiede................................ 32
4.2. Repräsentation von Ontologien auf Basis von
MOF
............. 35
4.2.1.
Ontology
Definition Metamodel..................... 35
4.2.2. Zugriff auf OWL-Ontologien im
Process Composer.........
36
4.3. Interne Repräsentation semantischer Anreicherungen............ 37
x luhaltsvarzoiľhuis
4.4. Implementierung.................................. 39
4.4.1.
OWL-
und ExtendedBPMN-Metaraodell............... 39
4.4.2. Graphisches Modellierungswerkzeug für OWL-Ontologien..... 40
4.4.3. Modifikation des Modellierungswerkzeugs............... 40
4.5. Stand der Wissenschaft und Technik...................... 41
5. Modellierung von Anforderungen an BPMN-Modelle 45
5.1. Methode zur Modellierung von Anforderungen................ 46
5.1.1. Modellierung struktureller Muster................... 47
5.1.2. Modellierung von Bedingungsausdrücken............... 48
5.2.
Process Pattern Modeling Language
...................... 50
5.2.1.
Generische
Tasks
............................. 51
5.2.2.
Generische
Ereignisse........................... 53
5.2.3.
Generische
Gateways........................... 54
5.2.4. Divergierender exklusiver Gateway................... 55
5.2.5. Verbindungsobjekte............................ 55
5.2.6. Ein- und ausgehende Musterkonnektoren............... 59
5.2.7. Musterreferenz............................... 61
5.3.
Process Constraint Modelling Language
.................... 62
5.3.1.
Existenzielle
Bedingungen........................ 63
5.3.2. Temporale Bedingungen......................... 65
5.3.3. Logische Operatoren ........................... 68
5.4. Implementierung.................................. 68
5.4.1.
Pattern Composer
............................. 68
5.4.2.
Constraint Composer
........................... 70
5.4.3. Verknüpfung von BPMN-Modellen mit Bedingungsausdrücken . . 71
5.5. Stand der Wissenschaft und Technik...................... 72
6. Suche nach Instanzen struktureller Muster in BPMN-Modellen 75
6.1. Verwendung der
MOIN
Query Language
.................... 78
6.2. Verwendung regelbasierter Systeme....................... 81
6.2.1. Transformation von PPML-Modellen in Drools-Regeln....... 83
6.2.2. Ablauf der musterbasierten Suche ................... 90
6.3. Verwendung von Techniken aus dem Bereich des semantischen Webs ... 90
6.3.1. Transformation von BPMN-Modellen in OWL-Ontologien..... 90
6.3.2. Transformation von PPML-Modellen in
konjunktive
Anfragen . . 92
6.3.3. Bestimmung von Ein- und Ausgangsobjekten ............ 95
6.3.4. Ablauf der musterbasierten Suche................... 96
6.4. Implementierung: Mustertransformatoren und Mustersucher........ 96
6.5. Stand der Wissenschaft und Technik...................... 97
7. Auswertung musterbasierter Bedingungen an BPMN-Modelle 99
7.1. Auswertung existenzieller Bedingungen..................... 99
lulmltsví
гулисіі
a is
xi
7.2. Auswertung temporaler Bedingungen...................... 100
7.2.1. Transformation von BPMN-Modellen in PROMELA-Programme 101
7.2.2. Transformation musterbasierter Bedingungen in LTL-Formeln . . 107
7.2.3. Direktnachfolger, Direktvorgänger und (negierte) Direktabfolge . 111
7.2.4. Optimierungsmaßnahmen bei der Generierung von PROMELA-
Programmen................................ 111
7.3. Auswertung von Bedingungsausdrücken.................... 113
7.4. Implementierung:
Constraint Checker
..................... 114
7.4.1. Komponente:
Constraint Checker
.................... 114
7.4.2. Komponente: Modellprüfer (Spin)................... 116
7.5. Stand der Wissenschaft und Technik...................... 120
8. Validierung 123
8.1. Anwendung der entwickelten Konzepte im Rahmen des Szenarios..... 123
8.1.1. Erstellung einer
Ontologie
zur Beschreibung von Konzepten im
Bereich der Flugzeugwartung...................... 124
8.1.2. Modellierung musterbasierter Bedingungen an Geschäftsprozess¬
modelle im Bereich der Flugzeugwartung............... 124
8.1.3. Modellierung und automatische Verifikation von Geschäftsprozess¬
modellen im Bereich der Flugzeugwartung.............. 128
8.1.4. Adaption von Geschäftsprozessmodellen im Bereich der Flugzeug¬
wartung ................................... 137
8.2. Leistungsmessung ................................. 141
8.2.1. Vorgehensweise............................... 141
8.2.2. Testsystem................................. 142
8.2.3. Ergebnisse ................................. 142
8.3. Externe Veröffentlichung und interne Verwertung der Ergebnisse..... 146
9. Fazit 147
9.1. Zusammenfassung und wissenschaftlicher Beitrag .............. 147
9.2. Ausblick....................................... 150
A. Zusätzliche Abbildungen 151
A.l. BPMN-Metamodell ................................ 151
A.2. OWL-Metamodell ................................. 152
A.3. ExtendedBPMN-Metamodell........................... 153
A.4.
Process Constraint
Definition Metamodel................... 154
A.5. Übersetzung generischer Ereignisse und Gateways.............. 157
A.6. Begleitpapiere.................................... 158
Akronyme 159
Literaturverzeichnis 161
Internetseitenverzeichnis 173
|
| any_adam_object | 1 |
| author | Müller, Jens 1979- |
| author_GND | (DE-588)133365921 |
| author_facet | Müller, Jens 1979- |
| author_role | aut |
| author_sort | Müller, Jens 1979- |
| author_variant | j m jm |
| building | Verbundindex |
| bvnumber | BV037414473 |
| classification_rvk | QP 300 |
| ctrlnum | (OCoLC)724935483 (DE-599)BSZ340108436 |
| dewey-full | 658.500285 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 658 - General management |
| dewey-raw | 658.500285 |
| dewey-search | 658.500285 |
| dewey-sort | 3658.500285 |
| dewey-tens | 650 - Management and auxiliary services |
| discipline | Wirtschaftswissenschaften |
| edition | 1. Aufl. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01967nam a2200481 c 4500</leader><controlfield tag="001">BV037414473</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111121 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110523s2011 ad|| m||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783834815712</subfield><subfield code="9">978-3-8348-1571-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783834815712</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)724935483</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ340108436</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-B768</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">658.500285</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QP 300</subfield><subfield code="0">(DE-625)141850:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Müller, Jens</subfield><subfield code="d">1979-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133365921</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Strukturbasierte Verifikation von BPMN-Modellen</subfield><subfield code="c">Jens Müller</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 176 S.</subfield><subfield code="b">Ill., zahlr. 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="0" ind2=" "><subfield code="a">Wissenschaft</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Vieweg+Teubner Research</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Tübingen, Univ., Diss., 2010</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessmodell</subfield><subfield code="0">(DE-588)4237203-3</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">BPMN</subfield><subfield code="0">(DE-588)7690691-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationsmodellierung</subfield><subfield code="0">(DE-588)4214293-3</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">Informationsmodellierung</subfield><subfield code="0">(DE-588)4214293-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">BPMN</subfield><subfield code="0">(DE-588)7690691-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Prozessmodell</subfield><subfield code="0">(DE-588)4237203-3</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=" "><subfield code="m">DE-576;DE-21</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://swbplus.bsz-bw.de/bsz340108436kla.htm</subfield><subfield code="v">20110419174327</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</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=022566864&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-022566864</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV037414473 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:23:49Z |
| institution | BVB |
| isbn | 9783834815712 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022566864 |
| oclc_num | 724935483 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-2070s DE-B768 |
| owner_facet | DE-473 DE-BY-UBG DE-2070s DE-B768 |
| physical | XV, 176 S. Ill., zahlr. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Vieweg+Teubner |
| record_format | marc |
| series2 | Wissenschaft Vieweg+Teubner Research |
| spelling | Müller, Jens 1979- Verfasser (DE-588)133365921 aut Strukturbasierte Verifikation von BPMN-Modellen Jens Müller 1. Aufl. Wiesbaden Vieweg+Teubner 2011 XV, 176 S. Ill., zahlr. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Wissenschaft Vieweg+Teubner Research Zugl.: Tübingen, Univ., Diss., 2010 Prozessmodell (DE-588)4237203-3 gnd rswk-swf Prozessmanagement (DE-588)4353072-2 gnd rswk-swf BPMN (DE-588)7690691-7 gnd rswk-swf Informationsmodellierung (DE-588)4214293-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Prozessmanagement (DE-588)4353072-2 s Informationsmodellierung (DE-588)4214293-3 s BPMN (DE-588)7690691-7 s Prozessmodell (DE-588)4237203-3 s DE-604 DE-576;DE-21 application/pdf http://swbplus.bsz-bw.de/bsz340108436kla.htm 20110419174327 Klappentext Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022566864&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Müller, Jens 1979- Strukturbasierte Verifikation von BPMN-Modellen Prozessmodell (DE-588)4237203-3 gnd Prozessmanagement (DE-588)4353072-2 gnd BPMN (DE-588)7690691-7 gnd Informationsmodellierung (DE-588)4214293-3 gnd |
| subject_GND | (DE-588)4237203-3 (DE-588)4353072-2 (DE-588)7690691-7 (DE-588)4214293-3 (DE-588)4113937-9 |
| title | Strukturbasierte Verifikation von BPMN-Modellen |
| title_auth | Strukturbasierte Verifikation von BPMN-Modellen |
| title_exact_search | Strukturbasierte Verifikation von BPMN-Modellen |
| title_full | Strukturbasierte Verifikation von BPMN-Modellen Jens Müller |
| title_fullStr | Strukturbasierte Verifikation von BPMN-Modellen Jens Müller |
| title_full_unstemmed | Strukturbasierte Verifikation von BPMN-Modellen Jens Müller |
| title_short | Strukturbasierte Verifikation von BPMN-Modellen |
| title_sort | strukturbasierte verifikation von bpmn modellen |
| topic | Prozessmodell (DE-588)4237203-3 gnd Prozessmanagement (DE-588)4353072-2 gnd BPMN (DE-588)7690691-7 gnd Informationsmodellierung (DE-588)4214293-3 gnd |
| topic_facet | Prozessmodell Prozessmanagement BPMN Informationsmodellierung Hochschulschrift |
| url | http://swbplus.bsz-bw.de/bsz340108436kla.htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022566864&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mullerjens strukturbasierteverifikationvonbpmnmodellen |