1. A Relational Virtual Machine for Program Evolution Sergio Pissanetzky Sergio@SciControls.com SER 3534 SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

2. Motivation SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com 2 The Problem Program evolution involves many repetitive tasks. But mechanizing the tasks has proved difficult. The Solution Using a relational container for source code. The Reason There is no common program representation.

3. Using relations to represent a program is natural 3 SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com 1. a = b / c; KabOc 1CA/A KbO3 2M+A Variables can be ( A, M, C ). Literals can only be ( A ). Service s : A s × M s → M s × C s 2. b = b + 3; a service

4. The RMC Model: M = (C, Q) 1/ CAA 2+ MA 3 fCAA 4 δMMC 6= CA 7= CA C = KOabcΩГΛ3 1.a = b / c; 2.b = b + 3; 3. a = f (b, c); 4.δ : Ω × Г → Ω × Г × Λ 5.if (b) a = c; else a = 3; 12 23 34 4true6 4false7 Q = servbnext 4 SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com

5. 5 1/ CAA 2+ MA 3 fCAA 4 δMMC 6= CA 7= CA KOabcΩГΛ5 “CAA’MA’CAA’MMC’CA’CA” ”CCCAAA’ACA’MMC’ACAA’AAC’MAA” RMC SequencesMatrix of Services 1in CCCAAA 2rd ACA 3 trMMC 4 gbACAA 5wr AAC 6mv MAA 7ex KOcΩГΛgbhunpq Turing Machine

6. Submodeling, encapsulation, inheritance 1234567891011121314 axx bxxxx cxx dxx exxx fxx gxxx hxxx ixxx jxxx 6 SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com P Q R S 123 ax bxx 123 axx bxx cx 123 axx bx cxxx 123 axx bx cxx P 4, 5, 6 b, e, g Q 7, 8 a, d R 9, 10 c, f S 3 Matrix C Class diagram

7. RMC Algebra Matrix operations submatricing, permutations. Relational operations joins, projections, normalization Graph operations searches, labels, paths Set operations sub-superset, union, products SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com 7 Formal algorithms

8. An RMC-centric environment SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com 8 RMC + algorithms business rules source code parserdevelopers language module other models UML, CFG, DFD intermediate representations developers low level code assembly, 3-address interpreter

9. Summary Program Mathematical object. Turing complete Universal. Formal algebra Algorithms. Link to source code. Coherence in program evolution. 9 SER 3534 - A Relational Virtual Machine for Program Evolution. Sergio Pissanetzky. Sergio@SciControls.com