AADL Model Processing Library
This library (AADLModel.sbp) contains a set of prolog rules to access and process an AADL declarative model defined by prolog facts.
Index |
---|
AADL Instances
AADL Properties
- getProperty/10
- instanceProperty/7?
- implementationProperty/5?
- typeProperty/4?
- inheritedProperty/7?
- allowsInheritance/1?
AADL References
- splitReference/4?
- getReference/5?
- getReference/6?
- findReference/5?
- findReference/6?
- allReferences/10?
- matchReference/7?
- provideReference/6?
AADL Behavior
Last modified 23 months ago
Last modified on Apr 13, 2017 6:00:42 PM