Specifying Fractal and GCM Components With UML Solange Ahumada, - PowerPoint PPT Presentation

SCCC 2007 November 8-9 th , Iquique, Chile Specifying Fractal and GCM Components With UML Solange Ahumada, Ludovic Apvrille, Tomás Barros, Antonio Cansado, Eric Madelaine and Emil Salageanu

Introd uction ➢ Strong emphasis on system specification methods and tools ➢ Introduction Introduction ➢ ➢ Our contribution ➢ State of the art of ➢ Component-Based Software Development component models Fractal ➢ ➢ UML 2 [1] � Component Diagrams GCM ➢ Turtle ➢ UML 2 and Fractal ➢ ➢ Specification ➢ CTTool overview ➢ CSD ➢ non-expert users ☺ ➢ Informal SMD ➢ ambiguity � tools ➢ ➢ GCM/ProActive components ➢ Language Extensions expert user, longer time � ➢ Formal ➢ Conclusion precise � verification ☺ ➢ References ➢ Textual or Graphical

Our contribution: ➢ A UML-based framework and tool for specifying and model checking software ➢ Introduction ➢ Our contribution Our contribution ➢ components ➢ State of the art of component models Fractal ➢ GCM ➢ Turtle ➢ ➢ A novel UML profile proposal dedicated to UML 2 and Fractal ➢ ➢ CTTool distributed and asynchronous software overview ➢ components CSD ➢ SMD ➢ tools ➢ ➢ Grid applications ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

State of the art of component models ➢ Fractal [2] ➢ Introduction ➢ Hierarchical component model ➢ Our contribution ➢ State of the art of State of the art of ➢ component models component models ➢ Component, controller, content, interface and Fractal Fractal binding. ➢ ➢ GCM ➢ ➢ Behavior protocol between components Turtle ➢ UML 2 and Fractal ➢ ➢ Graphical editor, but no modelling tool. ➢ CTTool overview ➢ CSD ➢ SMD ➢ tools ➢ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

State of the art of component models Grid Component Model (GCM) [3] ➢ Introduction ➢ Extension of Fractal to distributed ➢ Our contribution applications ➢ State of the art of component models Fractal ➢ ➢ Asynchronous method calls GCM GCM ➢ ➢ Turtle ➢ ➢ Implementation: ProActive [6] UML 2 and Fractal ➢ ➢ CTTool ➢ Active object overview ➢ CSD ➢ ➢ Future value: rendez-vous SMD ➢ tools ➢ ��������� ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References ����

State of the art of component models Grid Component Model (GCM) [3] ➢ Introduction ➢ Extension of Fractal to distributed ➢ Our contribution applications ➢ State of the art of component models Fractal ➢ ➢ Asynchronous method calls GCM GCM ➢ ➢ Turtle ➢ ➢ Implementation: ProActive [6] UML 2 and Fractal ➢ ➢ CTTool ➢ Active object overview ➢ CSD ➢ ➢ Future value: rendez-vous SMD ➢ tools ➢ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion �������� � ➢ References

State of the art of component models Grid Component Model (GCM) [3] ➢ Introduction ➢ Extension of Fractal to distributed ➢ Our contribution applications ➢ State of the art of component models Fractal ➢ ➢ Asynchronous method calls GCM GCM ➢ ➢ Turtle ➢ ➢ Implementation: ProActive [6] UML 2 and Fractal ➢ ➢ CTTool ➢ Active object overview ➢ CSD ➢ ➢ Future value: rendez-vous SMD ➢ tools ➢ ➢ GCM/ProActive components ��������� ➢ Language Extensions ➢ Conclusion �������� � ➢ References ����

State of the art of component models Grid Component Model (GCM) [3] ➢ Introduction ➢ Extension of Fractal to distributed ➢ Our contribution applications ➢ State of the art of component models Fractal ➢ ➢ Asynchronous method calls GCM GCM ➢ ➢ Turtle ➢ ➢ Implementation: ProActive [6] UML 2 and Fractal ➢ ➢ CTTool ➢ Active object overview ➢ CSD ➢ ➢ Future value: rendez-vous SMD ➢ tools ➢ ������ ������ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References ������

State of the art of component models ➢ Turtle [4] Model ➢ Introduction ➢ Ludovic Apvrille, ENST, LabSoC Laboratory ➢ Our contribution ➢ State of the art of component models ➢ UML(1.4) profile dedicated to the Fractal ➢ modelling and formal validation of real- GCM ➢ Turtle Turtle time systems ➢ ➢ UML 2 and Fractal ➢ ➢ CTTool ➢ Formal semantics for UML overview ➢ CSD ➢ ➢ Set of diagrams SMD ➢ tools ➢ ➢ GCM/ProActive components ➢ Implemented by TTool ➢ Language Extensions ➢ Conclusion ➢ Analyze of possible system errors ➢ References

State of the art of component models ➢ Introduction ➢ Our contribution ➢ State of the art of component models Fractal ➢ GCM ➢ Turtle Turtle ➢ ➢ UML 2 and Fractal ➢ ➢ CTTool overview ➢ CSD ➢ SMD ➢ tools ➢ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

State of the art of component models � UML 2 components and Fractal ➢ Introduction � Vladimir Mencl and Matej Polak, Charles ➢ Our contribution University, Prague Distributed System Research ➢ State of the art of component models Group Fractal ➢ GCM ➢ � Mapping from Fractal to UML 2 (no behavior) Turtle ➢ UML 2 and Fractal UML 2 and Fractal ➢ ➢ � Component: ➢ CTTool overview ➢ � hierarchy / nested components CSD ➢ SMD ➢ � provided and required interfaces tools ➢ ➢ GCM/ProActive components � attributes ➢ Language Extensions � Port ➢ Conclusion ➢ References � has provided and required Interfaces � has multiplicity (=> collection interfaces)

State of the art of component models � Connectors ➢ Introduction � Cannot be linked to interfaces (only to ports) ➢ Our contribution ➢ State of the art of component models Fractal ➢ � Interfaces via Ports: GCM ➢ Turtle ➢ � Only one interface per port. UML 2 and Fractal UML 2 and Fractal ➢ ➢ ➢ CTTool � Position of interface client/server. overview ➢ CSD ➢ � Boolean attribute: mandatory or optional. SMD ➢ tools ➢ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

CTTool Overview ➢ Based on UML 2 ➢ Introduction ➢ Fractal component model ➢ Our contribution ➢ State of the art of component models Fractal ➢ GCM ➢ Turtle ➢ UML 2 and Fractal ➢ Editor + verification environment using ➢ ➢ CTTool CTTool ➢ TTool code base overview overview ➢ ➢ CSD ➢ ➢ generation of Lotos code SMD ➢ tools ➢ ➢ bridges to CADP toolset ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

Producer-Consumer Case-Study ➢ Introduction ➢ Our contribution ➢ State of the art of component models Fractal ➢ GCM ➢ Turtle ➢ UML 2 and Fractal ➢ ➢ CTTool CTTool ➢ overview ➢ CSD ➢ SMD ➢ tools ➢ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

CTTool: Composite Structure Diagrams ➢ Introduction ➢ Our contribution ➢ State of the art of component models Fractal ➢ GCM ➢ Turtle ➢ UML 2 and Fractal ➢ ➢ CTTool CTTool ➢ overview ➢ CSD CSD ➢ ➢ SMD ➢ tools ➢ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

CTTool: State Machine Diagrams ➢ Introduction ➢ Our contribution ➢ State of the art of component models Fractal ➢ GCM ➢ Turtle ➢ UML 2 and Fractal ➢ ➢ CTTool CTTool ➢ overview ➢ CSD ➢ SMD SMD ➢ ➢ tools ➢ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

CTTool: use of CADP toolbox ➢ Introduction ➢ Our contribution ➢ State of the art of component models Fractal ➢ GCM ➢ Turtle ➢ UML 2 and Fractal ➢ ➢ CTTool CTTool ➢ overview ➢ CSD ➢ SMD ➢ tools tools ➢ ➢ ➢ GCM/ProActive components ➢ Language Extensions ➢ Conclusion ➢ References

Specifying GCM/ProActive Components ➢ Limitations ➢ Introduction ➢ Asynchronous method calls: queue, proxy. ➢ Our contribution ➢ State of the art of ➢ Serving Policy component models Fractal ➢ ➢ Multiplicity GCM ➢ Turtle ➢ ➢ Multicast / Gathercast interfaces UML 2 and Fractal ➢ ➢ CTTool overview ➢ CSD ➢ SMD ➢ tools ➢ ➢ GCM/ProActive components GCM/ProActive components ➢ ➢ Language Extensions ➢ Conclusion ➢ References

Language Extensions ➢ A GCM/ProActive component provides: ➢ Introduction ➢ Request queue ➢ Our contribution ➢ Service thread ➢ State of the art of component models Fractal ➢ GCM ➢ Turtle ➢ UML 2 and Fractal ➢ ➢ CTTool overview ➢ CSD ➢ SMD ➢ tools ➢ ➢ GCM/ProActive components ➢ Language Extensions Language Extensions ➢ ➢ Conclusion ➢ References