modelverse/models/requirements.mvc

include "primitives.alh"

SimpleClassDiagrams Requirements{
    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
    }
}