دانلود کتاب Strukturbasierte Verifikation von BPMN-Modellen
کتاب راستی‌آزمایی مبتنی بر ساختار مدل‌های BPMN نسخه زبان اصلی
دانلود کتاب راستی‌آزمایی مبتنی بر ساختار مدل‌های BPMN بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Strukturbasierte Verifikation von BPMN-Modellen
نام کتاب : Strukturbasierte Verifikation von BPMN-Modellen
ویرایش : 1
عنوان ترجمه شده به فارسی : راستی‌آزمایی مبتنی بر ساختار مدل‌های BPMN
سری :
نویسندگان : Jens Müller (auth.)
ناشر : Vieweg+Teubner Verlag
سال نشر : 2011
تعداد صفحات : 189
ISBN (شابک) : 9783834815712 , 9783834881625
زبان کتاب : German
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
فرایندهای کسب و کار معمولاً باید الزامات را در سطح مدیریت کسب و کار برآورده کنند، که باید به درستی توسط مدل های حاصل هنگام مدل سازی فرآیندهای کسب و کار ترسیم شوند. ارجاع به محتوای آنها معنا پیدا می کند. ابزارهایی که در حال حاضر برای مدل‌سازی فرآیند کسب‌وکار استفاده می‌شوند، امکان نمایش صریح و ارزیابی خودکار الزامات کسب‌وکار مقوله مورد بررسی را ارائه نمی‌دهند. این امر خطر نقض الزامات را با افزایش تعداد الزامات افزایش می دهد. برای حل مشکلات توصیف شده، نویسنده مفاهیم جدیدی را ارائه می دهد که امکان تعیین الزامات ساختاری و محتوایی را با استفاده از یک روش مدل سازی گرافیکی و تأیید خودکار مدل های فرآیند کسب و کار با توجه به انطباق آنها امکان پذیر می کند. کاربرد این مفاهیم با استفاده از سناریویی از صنعت هوانوردی نشان داده شده است.
فهرست مطالب :
Front Matter....Pages I-XIX
Einleitung....Pages 1-5
Grundlagen....Pages 7-16
Szenario: Modellierung und Adaption von Geschäftsprozessmodellen im Rahmen der Flugzeugwartung....Pages 17-28
Semantische Geschäftsprozessmodellierung auf Basis von BPMN und MOF....Pages 29-44
Modellierung von Anforderungen an BPMN-Modelle....Pages 45-74
Suche nach Instanzen struktureller Muster in BPMN-Modellen....Pages 75-98
Auswertung musterbasierter Bedingungen an BPMN-Modelle....Pages 99-122
Validierung....Pages 123-146
Fazit....Pages 147-150
Back Matter....Pages 151-176
توضیحاتی در مورد کتاب به زبان اصلی :
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.