**04/02/2013**

>> Before Meeting

Tasks accomplished :

- Prepared for the RPA meeting.
- 6 definitions of the concrete syntax ( 3 on Euler diagrams and 3 on Graphs)

>> After Meeting

**Action Plans – Mithileysh**

- Few changes in the definitions and write a definition to link between concrete syntax and abstract syntax.
- Start writing in tandem with both the thesis and the RMM17 assessment.

**Action Plans – Supervisors**

- Meet Gem on Thursday to correct the link definition.

—————————————————————————————————————————————————————–

**11/02/2013**

>> Before Meeting

Tasks accomplished :

- Successfully defended the PhD proposal in the RPA meeting.
- Prepared version 2 of the concrete definitions of Euler diagrams augmented with the graphs.
- Tried analyzing wellformedness properties and well-matchedness properties.

>> After Meeting

Summary:

Suggestions by Prof. John and Dr.Jim >> The graph definition needs to be defined much more clearly considering the edge pairs. The definition which links the concrete syntax and abstract syntax needs to be checked by Dr.Gem. The wellformedness properties along with its definitions for the graph bit needs to be sorted. Some of the suggestions given are:

- Simple graphs
- Unique vertex labelling
- Avoid vertex on the curves
- Simple edges
- Disjointness of vertices (brushing condition)
- Avoid edges concurrent with the curves (concurrency)

Finally for the well-matchedness properties, we need to consider Euler diagrams and graphs separately and then Euler diagrams augmented with the graphs.

**Action Plans – Mithileysh**

- The graph definition needs to be modified.
- Try to analyze about the well-formedness and well-matchedness properties.
- Thesis writing and RMM17 module assessment needs to be carried out in tandem.
- Meet Dr.Gem regarding the definition 6, well-formedness and well-matchedness properties.

**Action Plans – Supervisors**

- Assistance in the definition 6, well-formedness properties and well-matchedness properties.

—————————————————————————————————————————————————————–

**18/02/2013**

>> Before Meeting

Tasks accomplished

- Concrete graph definition is modified.
- Definition 6 (Link btw concrete and abstract level) and definition 7 (isomorphism at abstract level) is written.
- Analyzed and have written wellformedness properties and well-matchedness properties.
- Aesthetic properties of Euler diagrams augmented with the graphs is also analyzed.
- Concrete definitions 1 to 5 is been produced in LaTeX.
- Came up with the blueprint of the Poster presentation for the Sussex BCS.

>> After Meeting

Summary:

Suggestions by Prof. John and Dr.Jim >> The definition which links the concrete syntax and abstract syntax must include the details about edges and needs to be checked by Dr.Gem. Isomorphism definition also must consider edges in the graph. At the concrete level, gamma function needs to be defined. The wellformedness properties along with its definitions needs to prioritized. The well-matchedness properties needs to be defined clearly with an example. Finally, the aesthetic properties are not part of my project still it needs to be analyzed at a later stage.

**Action Plans – Mithileysh**

- Define well-formedness and well-matchedness properties.
- Thesis writing and RMM17 module assessment needs to be carried out in tandem.
- Email the definitions in LaTeX by Friday, 22nd.
- Meet Dr.Gem regarding the definition 6, 7, well-formedness and well-matchedness properties.

**Action Plans – Supervisors**

- Assistance in the definitions 6, 7, well-formedness properties and well-matchedness properties.

—————————————————————————————————————————————————————–

**25/02/2013**

>> Before Meeting

Tasks accomplished

- Definition 6 (Link btw concrete and abstract level) and definition 7 (isomorphism at abstract level) is written.
- Emailed the Chapter 2 of the thesis to the Supervisors on Friday.

>> After Meeting

Summary:

The definitions 6 and 7 is corrected now. Need to put them in LaTex along with the examples. Discussed about the Poster presentation for the Sussex BCS.

**Action Plans – Mithileysh**

- Thesis writing and RMM17 module assessment needs to be carried out in tandem.
- Definitions along with the examples in Chapter 2 of the Thesis to be written.
- Work on the poster presentation.

**Action Plans – Supervisors**

- Assistance in the Chapter 2 of the thesis, RMM17 and poster.

—————————————————————————————————————————————————————–