1 / 13

Applications of the Matrix Model of Computation

Learn about the applications of the Matrix Model of Computation by Sergio Pissanetzky. Explore two forms of the model, imperative and canonical, and delve into Matrix Q, the imperative part of the model. Understand the business problems and services associated with the model, including sequences and relations. Discover how relations in the model support inheritance, transformations, and UML models. Get insights into refactoring within the Matrix Model of Computation and reach conclusions about its practical implications.

Download Presentation

Applications of the Matrix Model of Computation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Applications of theMatrix Model of Computation Sergio Pissanetzky

  2. The MMC consists of two sparse matrices: M = (C, Q) C = Matrix of Services Q = Matrix of Sequences The model has two forms: ● imperative form ● canonical form. Matrix Q is the imperative part of the model.

  3. The MMC is universal

  4. A Business Problem M A a B b S C Services: Init, AM, BM, CM, AS, BS, CS, MCost, SCost

  5. Matrix of Sequences R Q =

  6. Relations are code Relation R = Program in C

  7. Relations are object-oriented Relation R =

  8. Relations support inheritance transformations R1 R = R2

  9. Case b/a ● Consider control variable b. ● Add foreign keys for variable b. ● Project on (P, b, h) and (h, a, F). R3 R = R4

  10. Relations support UML models R1 R2 R2 Caller initializes a. Caller constructs A/B/CModel  initialize b. Caller calls Cost, passing a Cost selects MList /SList  a decision. MList, SList call their override  b decision, calculate the list of equipment, construct a Mail or Spray object, and call their M/SCost method to calculate cost.

  11. Relations support Patterns R3 R3 R4 R4

  12. Refactoring in the MMC

  13. Conclusions

More Related