Defining Visual Language Semantics Using Triple Graph Grammars BPMN and Petri Nets

Abstract

In de context van Model Driven Development probeert dit werk een mapping te maken tussen twee visuele modelleertalen met een formeel systeem: Triple Graph Grammars (Schürr). Dit systeem zou een gereedschap kunnen zijn voor het vastleggen van de semantiek van visuele modelleertalen. Visuele modelleertalen zijn namelijk gebaseerd op grafen en graaftransformaties. Met een wiskundig model dat zowel attributen, typering, overerving als algebraische bewerkingen binnen een graafcontext beschikbaar maakt en context vrije Hyperedge Replacement Grammars wordt een mapping tussen BPMN en Coloured PetriNets opgezet. Uit deze toepassing komt naar voor dat door de keuze van HRG's, de structuur van semantisch mapbare grafen beperkt wordt tot Structured of Hierarchical Workflownets. Aan de andere kant wordt duidelijk dat BPMN niet in staat is enkele patronen uit zijn toepassingsgebied af te dekken die te maken hebben met de state van de workflow.