import models/SimpleClassDiagrams as SimpleClassDiagrams
include "primitives.alh"

SimpleClassDiagrams ProcessModel {
    SimpleAttribute MvCName {
        constraint = $
            String function constraint(model : Element, name : String):
                if (bool_not(is_physical_string(model["model"][name]))):
                    return "MvCName has no string value"!
                else:
                    return "OK"!
            $
    }

    Class Activity {}
    Class Start : Activity {
        lower_cardinality = 1
        upper_cardinality = 1
    }
    Class Finish : Activity {
        lower_cardinality = 1
    }
    Class Fork : Activity {}
    Class Join : Activity {}
    Class Decision : Activity {}

    Class Exec : Activity {
        name : MvCName
    }

    Class Data {
        name : MvCName
        type : MvCName
    }

    Association Produces (Exec, Data) {}
    Association Consumes (Data, Exec) {}
    Association Else (Decision, Activity) {}
    Association Next (Activity, Activity) {}
}

export ProcessModel to models/ProcessModel