02 Formalization of (Process) Models Flashcards Preview

Information Modeling > 02 Formalization of (Process) Models > Flashcards

Flashcards in 02 Formalization of (Process) Models Deck (4)
Loading flashcards...
1

What are the basic elements of a model?

  • 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.

2

What is a process model?

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

3

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

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

4

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

  •