Strukturbasierte Verifikation von BPMN-Modellen

Jens Müller untersucht die Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Er stellt 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.

Verwandte Artikel

Download
PDF

Weitere Produkte vom selben Autor

DSA - Die Winterwacht - Regionalband Busch, Philipp, Lieb, Kilian, Marioulas, Julian, Melnikova, Natalia, Mertens, Christian, Müller, Jens Olaf, Pietsch, Felix, Pra, Raoul, Reif, Andreas, Reinwald, Katja, Schmidt, David, Collins, Patrick, Schmid, Moritz, Wohlstein, Christoph, Ericson, Fred, Forreiter, Niklas, Frings, Stephan, Hammerström, Sven, Hoischen, Melina, Knop, Rafael, Kullick, René

39,95 €*
DSA5 - Geschöpfe der Anderswelt Dürr, Anni, Flink, Tara, Hladek, Dominic, Kalupner, Lena, Kalupner, Matthias, Lukaßen, David, Müller, Jens Olaf, Poolke, Pascal, Rahfoth, Diana

44,95 €*
DSA5 - Helden der Winterwacht Hoch, Nikolai, Kaub, Johannes, Lieb, Kilian, Marioulas, Julian, Müller, Jens Olaf, Schmidt, David, Spohr, Alex, Talkenberg, Fabian

29,95 €*