- Hauptmenü-

Katalogdatenanzeige

Strukturbasierte Verifikation von BPMN-Modellen

Kataloginformation Katalogdatensatz500161743 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	340108436 Druckausg.: ‡Müller, Jens: Strukturbasierte Verifikation von BPMN-Modellen
ISBN	978-3-8348-1571-2
Name	Müller, Jens
T I T E L	Strukturbasierte Verifikation von BPMN-Modellen
Auflage	1. Auflage
Verlagsort	Wiesbaden
Verlag	Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden
Erscheinungsjahr	2011
Erscheinungsjahr	2011
Umfang	Online-Ressource (XIX, 176 S, online resource)
Reihe	SpringerLink. Bücher
Notiz / Fußnoten	Description based upon print version of record
Weiterer Inhalt	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;
Titelhinweis	Druckausg.: ‡Müller, Jens: Strukturbasierte Verifikation von BPMN-Modellen
ISBN	ISBN 978-3-8348-8162-5
Klassifikation	UF
	COM039000
	KJQ
	BUS083000
	658.500285
	650
	658.05
	658
	HF54.5-54.56
	QP 340
	QP 300
Kurzbeschreibung	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.
1. Schlagwortkette	Prozessmanagement
	Informationsmodellierung
	BPMN
	Prozessmodell
SWB-Titel-Idn	345800885
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-8348-8162-5
Internetseite / Link	Volltext
Siehe auch	Volltext
Siehe auch	Inhaltsverzeichnis
Siehe auch	Klappentext
Siehe auch	Cover

ISBD-Anzeige Katalogdatensatz500161743

Kategorien-Anzeige Katalogdatensatz500161743

Titel zur Titelsammlung hinzufügen Katalogdatensatz500161743

Kataloginformation500161743 Datensatzanfang . Kataloginformation500161743 Seitenanfang .

Titel vormerken Katalogdatensatz500161743

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.