Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies.
Oliver DohndorfJan KrügerHeiko KrummChristoph FieheAnna LitvinaIngo LückFranz-Josef StewingPublished in: POLICY (2011)
Keyphrases
- low level
- high level
- higher level
- mid level
- low level features
- lower level
- middle level
- management policies
- visual cues
- constrained optimization
- conceptual model
- object level
- visual information
- state space
- semantic gap
- semantic concepts
- class diagram
- software tools
- user friendly
- optimal policy
- access control
- geometric constraints
- constraint programming
- resource constraints
- constraint satisfaction
- linear constraints
- functional requirements
- intermediate level
- control policies
- high level semantics
- learning algorithm
- data sets