The Second Week: June 11 - June 15

Summary:

This week, I basically just continued doing background research for the design work that I'll need to do. I have been learning about XML and DTDs, about RTS in general and for component-based software, about JABA, about DejaVOO, about software analysis...

This summer is very different from last summer. I don't know exactly what the difference is - a different field, being in more of a group rather than just a one-on-one type situation, less background in this area.... I feel like I haven't done anything yet, and that I'm asking the same questions over and over. It's kind of frustrating. I still think it will get better though - that at some point it will just 'click' and take off from there.

Resources:

Project Description. (Proposal for Funding.)

XML reference: www.w3schools.com

Terms:

Metacontents - describe static and dynamic aspects of a component, can be accessed by the component user, and can be used for various engineering tasks. Metacontents consist of information (metadata) about components, such as dependences, execution traces, abstract representations of source code, or assertions about security properties, and utilities (metamethods) for calculating and retrieving such information.
Dominance - a dominates b if every path from start to b goes through a (in a CFG). Nodes dominate themselves.
Postdominance - a postdominates b if every path from b to stop goes through a (in a CFG). Nodes do not postdominate themselves.
Control Dependence - a is control dependent on b if a postdominates one exit/edge (in a CFG) from b but not the others.