skip to content
Strukturbasierte Verifikation von BPMN-Modellen Preview this item
ClosePreview this item
Checking...

Strukturbasierte Verifikation von BPMN-Modellen

Author: Jens Müller
Publisher: Wiesbaden : Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 2011.
Series: SpringerLink : Bücher
Edition/Format:   eBook : Document : GermanView all editions and formats
Publication:Strukturbasierte Verifikation von BPMN-Modellen.
Summary:
Geschäftsprozesse müssen üblicherweise Anforderungen der betriebswirtschaftlichen Ebene erfüllen, die bei der Geschäftsprozessmodellierung von den resultierenden Modellen korrekt abgebildet werden müssen. Jens Müller untersucht Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jens Müller
ISBN: 9783834881625 3834881627 9783834815712 3834815713
OCLC Number: 740948645
In: Müller, Jens
Description: Online-Ressource.
Contents: Danksagung; Inhaltsverzeichnis; Abbildungsverzeichnis; Listings; Zusammenfassung; 1. Einleitung; 1.1. Problemstellung; 1.2. Lösungsansatz und Szenario; 1.3. Aufbau der Arbeit; 2. Grundlagen; 2.1. Modellgetriebene Softwareentwicklung; 2.2. Geschäftsprozessmanagement; 2.3. Methoden wissensbasierter Systeme; 3. Szenario: Modellierung und Adaption von Geschäftsprozessmodellen im Rahmen der Flugzeugwartung; 3.1. Organisation und Ablauf der Flugzeugwartung am Beispiel eines mittelgroßen luftfahrttechnischen Betriebs; 3.2. Teile zweifelhafter Herkunft. 3.3. RFID-basierte Authentifikation von Flugzeugteilen3.4. Szenariobeschreibung; 3.5. Probleme durch Verletzung von Anforderungen bei der Modellierung und Adaption; 3.6. Anforderungen an eine Softwarelösung zur Erkennung von Problemen bei der Modellierung und Adaption; 4. Semantische Geschäftsprozessmodellierung auf Basis von BPMN und MOF; 4.1. Vergleich zwischen (Meta-) Modellen und Ontologien; 4.2. Repräsentation von Ontologien auf Basis von MOF; 4.3. Interne Repräsentation semantischer Anreicherungen; 4.4. Implementierung; 4.5. Stand der Wissenschaft und Technik. 5. Modellierung von Anforderungen an BPMN-Modelle5.1. Methode zur Modellierung von Anforderungen; 5.2. Process Pattern Modeling Language; 5.3. Process Constraint Modelling Language; 5.4. Implementierung; 5.5. Stand der Wissenschaft und Technik; 6. Suche nach Instanzen struktureller Muster in BPMN-Modellen; 6.1. Verwendung der MOIN Query Language; 6.2. Verwendung regelbasierter Systeme; 6.3. Verwendung von Techniken aus dem Bereich des semantischen Webs; 6.4. Implementierung: Mustertransformatoren und Mustersucher; 6.5. Stand der Wissenschaft und Technik. 7. Auswertung musterbasierter Bedingungen an BPMN-Modelle7.1. Auswertung existenzieller Bedingungen; 7.2. Auswertung temporaler Bedingungen; 7.3. Auswertung von Bedingungsausdrücken; 7.4. Implementierung: Constraint Checker; 7.5. Stand der Wissenschaft und Technik; 8. Validierung; 8.1. Anwendung der entwickelten Konzepte im Rahmen des Szenarios; 8.2. Leistungsmessung; 8.3. Externe Veröffentlichung und interne Verwertung der Ergebnisse; 9. Fazit; 9.1. Zusammenfassung und wissenschaftlicher Beitrag; 9.2. Ausblick; A. Zusätzliche Abbildungen; A.1. BPMN-Metamodell; A.2. OWL-Metamodell. A.3. ExtendedBPMN-MetamodellA.4. Process Constraint Definition Metamodel; A.5. Übersetzung generischer Ereignisse und Gateways; A.6. Begleitpapiere; Akronyme; Literaturverzeichnis; Internetseitenverzeichnis;.
Series Title: SpringerLink : Bücher
Responsibility: von Jens Müller.
More information:

Abstract:

Geschäftsprozesse müssen üblicherweise Anforderungen der betriebswirtschaftlichen Ebene erfüllen, die bei der Geschäftsprozessmodellierung von den resultierenden Modellen korrekt abgebildet werden müssen. Jens Müller untersucht Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur Geschäftsprozessmodellierung bieten keine Möglichkeit, betriebswirtschaftliche Anforderungen der untersuchten Kategorie explizit zu repräsentieren und automatisch auszuwerten. Dadurch erhöht sich das Risiko der Verletzung von Anforderungen mit deren zunehmender Anzahl. Zur Lösung der beschriebenen Probleme stellt der Autor neuartige Konzepte vor, die es ermöglichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Geschäftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren. Die Anwendung dieser Konzepte wird anhand eines Szenarios aus der Luftfahrtindustrie demonstriert.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/740948645> # Strukturbasierte Verifikation von BPMN-Modellen
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "740948645" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/899328787#Place/wiesbaden> ; # Wiesbaden
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/899328787#Topic/prozessmodell> ; # Prozessmodell
   schema:about <http://experiment.worldcat.org/entity/work/data/899328787#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/899328787#Topic/informationsmodellierung> ; # Informationsmodellierung
   schema:about <http://experiment.worldcat.org/entity/work/data/899328787#Topic/prozessmanagement> ; # Prozessmanagement
   schema:about <http://experiment.worldcat.org/entity/work/data/899328787#Topic/business_data_processing> ; # Business--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/899328787#Topic/information_technology> ; # Information technology
   schema:about <http://dewey.info/class/658.500285/e22/ger/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/899328787#Topic/business> ; # Business
   schema:about <http://experiment.worldcat.org/entity/work/data/899328787#Topic/bpmn> ; # BPMN
   schema:bookFormat schema:EBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/899328787#Person/muller_jens> ; # Jens Müller
   schema:datePublished "2011" ;
   schema:description "3.3. RFID-basierte Authentifikation von Flugzeugteilen3.4. Szenariobeschreibung; 3.5. Probleme durch Verletzung von Anforderungen bei der Modellierung und Adaption; 3.6. Anforderungen an eine Softwarelösung zur Erkennung von Problemen bei der Modellierung und Adaption; 4. Semantische Geschäftsprozessmodellierung auf Basis von BPMN und MOF; 4.1. Vergleich zwischen (Meta-) Modellen und Ontologien; 4.2. Repräsentation von Ontologien auf Basis von MOF; 4.3. Interne Repräsentation semantischer Anreicherungen; 4.4. Implementierung; 4.5. Stand der Wissenschaft und Technik."@de ;
   schema:description "5. Modellierung von Anforderungen an BPMN-Modelle5.1. Methode zur Modellierung von Anforderungen; 5.2. Process Pattern Modeling Language; 5.3. Process Constraint Modelling Language; 5.4. Implementierung; 5.5. Stand der Wissenschaft und Technik; 6. Suche nach Instanzen struktureller Muster in BPMN-Modellen; 6.1. Verwendung der MOIN Query Language; 6.2. Verwendung regelbasierter Systeme; 6.3. Verwendung von Techniken aus dem Bereich des semantischen Webs; 6.4. Implementierung: Mustertransformatoren und Mustersucher; 6.5. Stand der Wissenschaft und Technik."@de ;
   schema:description "Danksagung; Inhaltsverzeichnis; Abbildungsverzeichnis; Listings; Zusammenfassung; 1. Einleitung; 1.1. Problemstellung; 1.2. Lösungsansatz und Szenario; 1.3. Aufbau der Arbeit; 2. Grundlagen; 2.1. Modellgetriebene Softwareentwicklung; 2.2. Geschäftsprozessmanagement; 2.3. Methoden wissensbasierter Systeme; 3. Szenario: Modellierung und Adaption von Geschäftsprozessmodellen im Rahmen der Flugzeugwartung; 3.1. Organisation und Ablauf der Flugzeugwartung am Beispiel eines mittelgroßen luftfahrttechnischen Betriebs; 3.2. Teile zweifelhafter Herkunft."@de ;
   schema:description "7. Auswertung musterbasierter Bedingungen an BPMN-Modelle7.1. Auswertung existenzieller Bedingungen; 7.2. Auswertung temporaler Bedingungen; 7.3. Auswertung von Bedingungsausdrücken; 7.4. Implementierung: Constraint Checker; 7.5. Stand der Wissenschaft und Technik; 8. Validierung; 8.1. Anwendung der entwickelten Konzepte im Rahmen des Szenarios; 8.2. Leistungsmessung; 8.3. Externe Veröffentlichung und interne Verwertung der Ergebnisse; 9. Fazit; 9.1. Zusammenfassung und wissenschaftlicher Beitrag; 9.2. Ausblick; A. Zusätzliche Abbildungen; A.1. BPMN-Metamodell; A.2. OWL-Metamodell."@de ;
   schema:description "Geschäftsprozesse müssen üblicherweise Anforderungen der betriebswirtschaftlichen Ebene erfüllen, die bei der Geschäftsprozessmodellierung von den resultierenden Modellen korrekt abgebildet werden müssen. Jens Müller untersucht Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur Geschäftsprozessmodellierung bieten keine Möglichkeit, betriebswirtschaftliche Anforderungen der untersuchten Kategorie explizit zu repräsentieren und automatisch auszuwerten. Dadurch erhöht sich das Risiko der Verletzung von Anforderungen mit deren zunehmender Anzahl. Zur Lösung der beschriebenen Probleme stellt der Autor neuartige Konzepte vor, die es ermöglichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Geschäftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren. Die Anwendung dieser Konzepte wird anhand eines Szenarios aus der Luftfahrtindustrie demonstriert."@de ;
   schema:description "A.3. ExtendedBPMN-MetamodellA.4. Process Constraint Definition Metamodel; A.5. Übersetzung generischer Ereignisse und Gateways; A.6. Begleitpapiere; Akronyme; Literaturverzeichnis; Internetseitenverzeichnis;."@de ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/899328787> ;
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/899328787#Series/springerlink_bucher> ; # SpringerLink : Bücher
   schema:name "Strukturbasierte Verifikation von BPMN-Modellen"@de ;
   schema:productID "740948645" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/740948645#PublicationEvent/wiesbaden_vieweg+teubner_verlag_springer_fachmedien_wiesbaden_gmbh_wiesbaden_2011> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/899328787#Agent/vieweg+teubner_verlag_springer_fachmedien_wiesbaden_gmbh_wiesbaden> ; # Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden
   schema:url <http://ebookcentral.proquest.com/lib/gbv/detail.action?docID=752910> ;
   schema:url <http://www.springerlink.com/content/978-3-8348-8162-5> ;
   schema:url <http://swbplus.bsz-bw.de/bsz345800885cov.htm> ;
   schema:url <http://ebooks.ciando.com/book/index.cfm/bok_id/270427;B:CIANDO> ;
   schema:url <http://dx.doi.org/10.1007/978-3-8348-8162-5> ;
   schema:url <http://gbv.eblib.com/patron/FullRecord.aspx?p=752910> ;
   schema:url <http://nbn-resolving.de/urn:nbn:de:1111-2011050615> ;
   schema:workExample <http://worldcat.org/isbn/9783834881625> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-8348-8162-5> ;
   schema:workExample <http://worldcat.org/isbn/9783834815712> ;
   umbel:isLike <http://d-nb.info/1011537877> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/740948645> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/899328787#Agent/vieweg+teubner_verlag_springer_fachmedien_wiesbaden_gmbh_wiesbaden> # Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden
    a bgn:Agent ;
   schema:name "Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden" ;
    .

<http://experiment.worldcat.org/entity/work/data/899328787#Person/muller_jens> # Jens Müller
    a schema:Person ;
   schema:familyName "Müller" ;
   schema:givenName "Jens" ;
   schema:name "Jens Müller" ;
    .

<http://experiment.worldcat.org/entity/work/data/899328787#Series/springerlink_bucher> # SpringerLink : Bücher
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/740948645> ; # Strukturbasierte Verifikation von BPMN-Modellen
   schema:name "SpringerLink : Bücher" ;
    .

<http://experiment.worldcat.org/entity/work/data/899328787#Topic/business_data_processing> # Business--Data processing
    a schema:Intangible ;
   schema:name "Business--Data processing"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/899328787#Topic/information_technology> # Information technology
    a schema:Intangible ;
   schema:name "Information technology"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/899328787#Topic/informationsmodellierung> # Informationsmodellierung
    a schema:Intangible ;
   schema:name "Informationsmodellierung"@de ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@de ;
    .

<http://worldcat.org/isbn/9783834815712>
    a schema:ProductModel ;
   schema:isbn "3834815713" ;
   schema:isbn "9783834815712" ;
    .

<http://worldcat.org/isbn/9783834881625>
    a schema:ProductModel ;
   schema:isbn "3834881627" ;
   schema:isbn "9783834881625" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.