02 Formalization of (Process) Models

Question 1

What are the basic elements of a model?

Answer 1

• Vertices
• Edges
• Properties of vertices:
  
  • Vertex type
  • Vertex name
  • Attributes of different kinds (cost, duration, description, etc.)
• Properties of edges:
  
  • Edge direction (directed, undirected)
  • Edge type
  • Attributes of different kinds.

Question 2

What is a process model?

Answer 2

A process model is a both directed and undirected vertex-attributed and edge-attributed graph.

Question 3

How can you represent a process model using a tuple?
Describe the elements of this notation:

Answer 3

• A process model is a tuple:
• M = (V, E, C, L, T_v, T_E, ⍺, β, χ)
  
  • Where:
  • V = set of vertices
  • E = set of edges
  • C = set of captions
  • L = modeling language
  • T_v = set of vertex types
  • T_E = set of edge types
  • ⍺ = function assigning each vertex a type T_v
  • β = function assigning each edge a type T_E
  • χ = function assigning captions to vertices and edges

Question 4

Describe the general approach you’ll follow when representing a process model as tuples:

Answer 4

*