Projekte ↵

Generated by ConceptManager
Everything is in motion.
KonzeptManagerLogo

Peggy Schmidt

Herrmann-Rodewald-Str. 3
24118 Kiel
Zimmer:405

Telephone	+49-431/880-7323
Fax	+49-431/880-4054
E-Mail	pesc at is.informatik.uni-kiel.de
.

print version

Formalisierung von BPMN

Spezifikation der Transformation von XPDL in BPMN-Pattern
basiert auf den Ideen von B. Thalheim und E. Börger
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Ziel:
- Mapping XPDL to ASM
- Ziel: Analyse der Semantik von BPMN
- Rapid Prototyping - Stimmt die Spezifikation?
Ausgangssprache: XML (XPDL)
Zielsprache: Abstract State Machine
Transformationsprozess - Formal mit Hilfe der Prädikatenlogik
Transformationsprozess - pragmatisch: XSLT