1. Modeling: where to start A state of the art and other amenities M. Risoldi - Oct. 11, 2005 A state of the art and other amenities M. Risoldi - Oct. 11, 2005

2. Oct. 11, 2005M. Risoldi - BATIC 3 S project2 Outline  Context description  Methodology  CERN case study  State of the art  Plans  Context description  Methodology  CERN case study  State of the art  Plans

3. Oct. 11, 2005M. Risoldi - BATIC 3 S project3 Context Description Defining a framework and a methodology for developing graphical user interfaces for complex control systems Defining a framework and a methodology for developing graphical user interfaces for complex control systems

4. Oct. 11, 2005M. Risoldi - BATIC 3 S project4 Context Description framework A set of tools - languages, editors, libraries, compilers/interpreters - for model-based application building. framework A set of tools - languages, editors, libraries, compilers/interpreters - for model-based application building.

5. Oct. 11, 2005M. Risoldi - BATIC 3 S project5 Context Description methodology Principles and practices to perform GUI development in a coherent, consistent, general and repeatable way. methodology Principles and practices to perform GUI development in a coherent, consistent, general and repeatable way.

6. Oct. 11, 2005M. Risoldi - BATIC 3 S project6 Context Description graphical user interfaces In general, i.e. as a concept of HMI* with respect to control systems. With a strong technical emphasis on 3D, stereoscopic user interfaces. graphical user interfaces In general, i.e. as a concept of HMI* with respect to control systems. With a strong technical emphasis on 3D, stereoscopic user interfaces. *Human Machine Interaction

7. Oct. 11, 2005M. Risoldi - BATIC 3 S project7 Context Description complex control systems A system that controls another system. Complex as in number of components to control, their organization, the criticalness of control. complex control systems A system that controls another system. Complex as in number of components to control, their organization, the criticalness of control.

8. Oct. 11, 2005M. Risoldi - BATIC 3 S project8 Methodology Requirements ModelGeneration

9. Oct. 11, 2005M. Risoldi - BATIC 3 S project9 Methodology System model Logical model Visual model System description Database, Requirements… GUI generation GUI System

10. Oct. 11, 2005M. Risoldi - BATIC 3 S project10 State of the art: Teallach GUI development framework for OO databases  Model based GUI development  Abstraction at the visual level  Libraries of “widgets” GUI development framework for OO databases  Model based GUI development  Abstraction at the visual level  Libraries of “widgets”

11. Oct. 11, 2005M. Risoldi - BATIC 3 S project11 State of the art: Teallach Domain Model Task Model Presentation Model DB schema, connectivity, data types… Flow of inforation user GUI and GUI internal Concrete & abstract GUI description Editor Java generator

12. Oct. 11, 2005M. Risoldi - BATIC 3 S project12 State of the art: Teallach  Idea of multiple visual representation of a GUI component, with widget libraries  Editing in a graphical “IDE-like” framework  Idea of multiple visual representation of a GUI component, with widget libraries  Editing in a graphical “IDE-like” framework

13. Oct. 11, 2005M. Risoldi - BATIC 3 S project13 State of the art: KGB* team  GUI generation for control systems  Modeling language for control systems  Framework based on “Beans”  Already implemented interfaces for a few real-life accelerator applications  70 short papers (!)  GUI generation for control systems  Modeling language for control systems  Framework based on “Beans”  Already implemented interfaces for a few real-life accelerator applications  70 short papers (!) *Kontrol Gruppe für Beschleuniger, Jožef Stefan Institute (Ljubljana, Slovenia) http://kgb.ijs.si

14. Oct. 11, 2005M. Risoldi - BATIC 3 S project14 State of the art: KGB* team CSML Control Systems Modeling Language (UML dialect) Data types Interfaces Characteristics Events State machines Properties Devices XML For storing CSML XPGL eXtensible Program Generation Language derived from XSLT: eXtensible Style-sheet Language Transforms Java C++ Delphi XML schema for conf. DB

15. Oct. 11, 2005M. Risoldi - BATIC 3 S project15 Issues to face  Introduction of 3D and adaptation?  Interaction?  How modular can we/do we want to be?  How general can we/do we want to be?  Are there technological limitations?  Introduction of 3D and adaptation?  Interaction?  How modular can we/do we want to be?  How general can we/do we want to be?  Are there technological limitations?

16. Oct. 11, 2005M. Risoldi - BATIC 3 S project16 CERN case study CMS Experiment  a few millions devices  monitoring on slow controls  complex hierarchy  undergoing study on 3D CMS Experiment  a few millions devices  monitoring on slow controls  complex hierarchy  undergoing study on 3D

17. Oct. 11, 2005M. Risoldi - BATIC 3 S project17 CERN case study Robert Gomez-Reino Garrido, CERN  3D  Java  DB-based  Integrated in PVSS  Thinking on stereo Robert Gomez-Reino Garrido, CERN  3D  Java  DB-based  Integrated in PVSS  Thinking on stereo

18. Oct. 11, 2005M. Risoldi - BATIC 3 S project18 Outlook  Study better CMSL (contact KGB)  Devise a domain specific modeling language  Investigate the role of CO-OPN for simulation  Verify and complete the levels of modeling  Make a framework (with editor) to assist in generating code  Use a simulator (CO-OPN, Lego…)  Re-use CERN database schemas  Plan training sessions with Lisbon on CO-OPN  Gather use cases from CERN  Study better CMSL (contact KGB)  Devise a domain specific modeling language  Investigate the role of CO-OPN for simulation  Verify and complete the levels of modeling  Make a framework (with editor) to assist in generating code  Use a simulator (CO-OPN, Lego…)  Re-use CERN database schemas  Plan training sessions with Lisbon on CO-OPN  Gather use cases from CERN

19. Oct. 11, 2005M. Risoldi - BATIC 3 S project19 Summary of information Collaborators: D. Buchs 1, M. Risoldi 1, V. Amaral 2, B. Barroca 2 : modeling G. Falquet 1, A. Le Calvé 3, K. Bazargan 1 : Adaptation S. Malandain 4, P. Zoss 4 : 3D & Stereoscopy R. Garrido 5 : CMS case study Support: Hasler Foundation Project web page: http://smv.unige.ch/tiki-index.php?page=BATICS Collaborators: D. Buchs 1, M. Risoldi 1, V. Amaral 2, B. Barroca 2 : modeling G. Falquet 1, A. Le Calvé 3, K. Bazargan 1 : Adaptation S. Malandain 4, P. Zoss 4 : 3D & Stereoscopy R. Garrido 5 : CMS case study Support: Hasler Foundation Project web page: http://smv.unige.ch/tiki-index.php?page=BATICS 1) UniGe; 2) Nova Univ. Lisboa; 3) HEV; 4) EIG; 5) CERN

20. Oct. 11, 2005M. Risoldi - BATIC 3 S project20 Thanks If BATIC 3 S had a logo, it would be here… If BATIC 3 S had a logo, it would be here…