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

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