1 / 15

Modeling collaboration systems with Paradigm

Modeling collaboration systems with Paradigm. Suzana Andova. joint work with Luuk Groenewegen (LIACS) and Erik de Vink (FSA). Collaboration systems. Modeling Complex systems = components + cooperation. Component. Component. collaboration. Component.

mura
Download Presentation

Modeling collaboration systems with Paradigm

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. Modeling collaboration systems with Paradigm Suzana Andova joint work with Luuk Groenewegen (LIACS) and Erik de Vink (FSA)

  2. Collaboration systems FSA Seminar

  3. Modeling Complex systems = components + cooperation Component Component collaboration Component FSA Seminar

  4. Complex systems = components + cooperationS Component Component Component Component Component Component collaboration collaboration collaboration Component Component Component FSA Seminar

  5. Separate concerns: 1. Only static architecture assignment collaboration of Gr.1 Student1 Student2 Student3 FSA Seminar

  6. Separate concerns: 2. Collaboration dynamics assignment collaboration of Gr.1 Student1 Students2 Student3 FSA Seminar

  7. Separate concerns: 3. Component (local) dynamics assignment collaboration of Gr.1 Student1 Students2 Student3 FSA Seminar

  8. All together: collaboration on the assignment Gr.1 assignment collaboration of Gr.1 Student1 Students2 Student3 FSA Seminar

  9. All together: collaboration on all assignments assignment Y collaboration of Gr.5 assignment X collaboration of Gr.1 Student1 Student1 Students2 Students2 Student3 Student3 FSA Seminar

  10. What can go wrong? student’s own planning collaboration within the group! assignment Y collaboration of Gr.5 assignment X collaboration of Gr.1 Student1 Student1 Students2 Students2 Student3 Student3 Inconsistency in the collaborations Inconsistency in the local planning and/or participation in the collaborations Conclusion: needed be modeled and analyzed together FSA Seminar

  11. Paradigm language – modeling power • Language for describing collaboration between components • Notions to specify all concerns: architecture, collaboration dynamics and local component dynamics in the language • To model consistencies between all these concepts • Paradigm is very much suitable for modeling of system reconfiguration/ adaptation/ evolution (my favorite), • for instance • adding or removing a component from a collaboration, • changing the local behavior without destructing collaborations, etc.

  12. Paradigm language – model analysis Paradigm has formally defined semantics Translation of Paradigm in Process algebra TCP has been formally defined This allows for (yet manual) translation of Paradigm models to mCRL2, which further allows for model analysis Adding probabilistic behaviour to Paradigm, still only via examples Translation of these models to PRISM for quantitative analysis

  13. Paradigm language – open ends  • Paradigm has formally defined semantics • Translation of Paradigm in Process algebra TCP has been formally defined • Which techniques can we use from PA to be applied directly to Paradigm? • Translation (yet manual) of Paradigm models to mCRL2, which further allows for model analysis • Can we do better? More structure in the translation, thus closer to automated translation • Probe to add probabilistic behaviour to Paradigm, still only via examples • To investigate how to integrate probabilistic semantics in Paradigm, more examples, generalization? 

  14. For interested students Will be given more examples of Paradigm models Will be given PA and/or mCRL2 specifications to help understanding Paradigm models easily and quickly Will be provided sufficient literature and supervision from me and/or Erik de Vink Possibilities to extend this work to master projects Erik de Vink evink@win.tue.nl HG 6.72 phone: 3146 Coordinates: Suzana Andova s.andova@tue.nl HG 5.36 phone: 5089

  15. Literature to start/continue with • S. Andova, L.P.J. Groenewegen and E.P. de Vink, Dynamic Consistency in Process Algebra: From Paradigm to ACP, Science of Computer Programming 76(8), 2011, page 711-735. • S. Andova, L.P.J. Groenewegen and E.P. de Vink, Towards reduction of Paradigm coordination models, Proc. PACO 2011, EPTCS 60, 2011. • S. Andova, L.P.J. Groenewegen and E.P. de Vink, Towards Dynamic Adaptation of Probabilistic Systems, Proc. ISOLA 2010, LNCS 6416, 2010, page 143-159. FSA Seminar

More Related