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