modelverse/models/requirements.mvc

include "primitives.alh"

SimpleAttribute String{
    constraint = $
        String function constraint_String(model : Element, name : String):
            if (is_physical_string(model["model"][name])):
                return "OK"!
            else:
                return "String has non-string value"!
        $
}

Class UseCase {
    name : String
    scope : String
    level : String
    actors : String
    preconditions : String
    postconditions : String
    main_success_scenario : String
    alternative_scenario : String
    alternate_scenario_misuse: String
    special_requirements : String
    technology : String
}