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	Instance Model	Properties	Cross References	Behavior Annex

---

AADL Instances

• isAADLConnection/12
• isAADLRoot/6
• isAADLInstance/12
• isAADLBinding/7
• isAADLProcBinding/3
• isAADLBusBinding/3
• isAADLMemBinding/3
• isAADLSlot/5
• isAADLImpAs/4

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