Tool support for the compile-time execution structure of object-oriented programs with ownership annotations

Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thus more scalable) and conveys more design intent than flat object graphs obtained by existing static analyses that do not rely on annotations. Categories and Subject Descriptors: D.2.2 [Design Tools and Techniques]: Object-oriented design methods General Terms: Design, Documentation

• Type: Conference
• Year: 2007
• Where: KBSE
• Authors: Marwan Abi-Antoun, Jonathan Aldrich
• Keywords: Execution Structure, KBSE 2007, Ownership Domain Annotations, Software Engineering, System’s Execution Structure