LightNormativeBoard |
Artifact to manage a normative program (NPL)
Operations (see details in the methods list below):
load a NPL program
addFact
removeFact
addNorm
Observable properties:
obligation(ag,reason,goal,deadline): current active obligations.
e.g.
|
LightOrgBoard |
Artifact that manages an organizational entity (its groups, schemes, ....)
for Moise light
Operations (see details in method list below):
createGroup
destroyGroup
createScheme
destroyScheme
Observable properties:
group(group_id, artid): group_id of type group_type exists in the organisational entity
scheme(scheme_id, artid): scheme_id of type scheme_type exists in the organisational entity
|