OCSMP Model Builder - Intermediate prep Κομμάτι εκπαίδευσης

Εισαγωγή στη Γενική Περιγραφή της Μηχανικής Συστημάτων

• Κίνητρο
• Ο Διαδικασμός Μηχανικής Συστημάτων
• Τυπική Εφαρμογή του Διαδικασμού Μηχανικής Συστημάτων
• Ενδεικτική και Μοντελοποίηση βασισμένη σε μοντέλο για τη Μηχανική Συστημάτων
• Γρήγορη Επανάληψη SysML
  • Σκοπός και Κύριες Ιδιότητες του SysML
  • Γενική Περίληψη διαγράμματος SysML
  • Εισαγωγή στο SysML-Lite
  • Μεθόδους Μοντελοποίησης βασισμένης σε μοντέλο προσβάσιμη με απλή χρήση
    • Η Γραμμή Μάθησης του SysML και MBSE
• Διατύπωση κάλυψης OCSMP πιστοποίησης και SysML
• Περιγραφή SysML μοντέλων με διαγράμματα

Το Διάγραμμα Πακέτου

• Περίληψη
• Ορισμός πακέτων χρησιμοποιώντας διάγραμμα πακέτου
• Διαμόρφωση ιεραρχίας πακέτων
• Εμφάνιση ελέγχυρων στοιχείων σε διάγραμμα πακέτου
• Τα πακέτα ως χώροι ονομάτων
• Εισαγωγή ελέγχυρων στοιχείων σε πακέτα
• Εμφάνιση αναδοχών μεταξύ ελέγχυρων στοιχείων

Τα Blocks

• Διάγραμμα Ορισμού Block
• Μοντελοποίηση της δομής και των χαρακτηριστικών των Blocks χρησιμοποιώντας πroperties
• Τα Flows
• Συμπεριφορά Blocks
• Μοντελοποίηση διεπαφών χρησιμοποιώντας Ports
• Μοντελοποίηση των ιεραρχικών δομών με γενίκευση
• Μοντελοποίηση καταστάσεων των Blocks χρησιμοποιώντας instances
• Σημασιολογία των Blocks

Περιορισμοί

• Εκφράσεις περιορισμών
• Κατάθλιψη των περιορισμών σε Constraint Blocks για να επιτρέψει την αναβίωση
• Χρήση υλοποίησης για τη δημιουργία περίπλοκων Constraint Blocks
• Συνδέσεις παραμέτρων σε Constraint Blocks χρησιμοποιώντας Parametric Diagram
• Περιορισμός των δυνατών περιουσιακών χαρακτηριστικών ενός Block
• Καταγραφή τιμών σε καταστάσεις Blocks
• Περιορισμός χρονικά εξαρτημένων περιουσιακών χαρακτηριστικών για να ευνοήσει την ανάλυση με βάση τον χρόνο
• Χρήση Constraint Blocks για περιορισμό Item Flows

Δραστηριότητες

• Το Διάγραμμα Δραστηριότητας
• Ενέργειες—Η βάση
• Αντικείμενα και ροές ελέγχου
• Σήματα και άλλα γεγονότα
• Διαμόρφωση δραστηριότητες
• Προηγμένη μοντελοποίηση ροών
• Μοντελοποίηση περιορισμών στην εκτέλεση δραστηριότητας
• Σύνδεση δραστηριότητων με Blocks και άλλες συμπεριφορές
• Μοντελοποίηση ιεραρχικών δομών δραστηριότητων χρησιμοποιώντας Block Definition Diagrams
• Ενισχυμένο Διάγραμμα Συνάρτηση-Συνάρτηση (Functional Flow Block Diagram)
• Εκτέλεση δραστηριότητων

Μοντελοποίηση συμπεριφοράς με βάση τα μηνύματα με διαδρομές

• Το Διάγραμμα Ακολουθίας
• Η περιβοήτη των διαδρομών
• Ζωές (Lifelines)
• Εξαλλαγή μηνυμάτων ανάμεσα σε ζωές
• Απεικόνιση χρόνου σε διάγραμμα ακολουθίας
• Περίπλοκες Σενάρια με τη χρήση συνδυαστικών κεφαλαίων
• Περίπλοκες διαδρομές
• Διασυνδέσεις ανάμεσα σε ζωές για να αντιπροσωπεύουν την εσωτερική συμπεριφορά

Διάγραμμα Κατάστασης (State Machine Diagram)

• Συμπεριφορά με βάση γεγονότα και Μηχανή Καταστάσεων
• Ορισμός Καταστάσεων
• Μετάβαση ανάμεσα σε καταστάσεις
• Κλήσεις λειτουργιών (Operation Calls)
• Ιεραρχία καταστάσεων
• Αντιστοίχηση απόλυτων και συνεχών καταστάσεων

Διάγραμμα Χρήσης (Use Case Diagram)

• Χρήση Αντικειμένων για να αποδείξουν τους χρήστες ενός συστήματος
• Χρήση Use Cases για να περιγράφει τη λειτουργία του συστήματος
• Εξέλιξη Use Cases με συμπεριφορές

Μοντελοποίηση κειμενογράφων προϋποθέσεων και της σχέσης τους με το design

• Διάγραμμα Προϋπόθεσης (Requirement Diagram)
• Αντιπρόσωπο κειμενογράφου προϋπόθεσης στο μοντέλο
• Τύποι σχέσεων προϋποθέσεων
• Σχέσεις διακοπής (Cross-Cutting Relationships)
• Απεικόνιση λογικής για τις σχέσεις προϋποθέσεων
• Απεικόνιση προϋποθέσεων και των σχέσεών τους με πίνακες
• Μοντελοποίηση ιεραρχικών δομών προϋποθέσεων σε πακέτα
• Μοντελοποίηση κατάστασης προϊπόθεσης περιεχόμενου (Containment Hierarchy)
• Μοντελοποίηση απόδοσης προϋποθέσεων
• Απόδειξη ότι μία προϋπόθεση εκπληρώνεται
• Επαλήθευση ότι μία προϋπόθεση εκπληρώνεται
• Μείωση της αμφιβολίας των προϋποθέσεων με χρήση σχέσης εξεύρεσης (Refine Relationship)
• Χρήση της γενικοποιημένης σχέσης αλληλουχίας (General-Purpose Trace Relationship)
• Επανάχρηση προϋποθέσεων με χρήση σχέσης αντιγραφής (Copy Relationship)

Διανομή

• Σχέση διανομής (Allocate Relationship)
• Νοτακία διανομής
• Τύποι διανομής
• Επανάχρηση: Διακόσμηση εγκυροποίησης και χρήση στη διανομή
• Μοντελοποίηση πληροφορικής ανάδοχης (Behavioral Flows) σε δομημένες ροές
• Διανομή πληροφορικών ανάδοχων (Behavioral Flows) σε δομημένες ροές
• Διανομή μεταξύ ανεξάρτητων ιεραρχικών δομών
• Μοντελοποίηση διανομής σε δομημένες ροές (Structural Flow Allocation)
• Διανομή βαθύτερων εμπεριέχουσων ιδιοτήτων
• Εξέταση διανομής σε μοντέλο χρήστη

Προσαρμόζοντας το SysML για ειδικά πεδία

• Η καθορισμένη προδιαγραφή και αρχιτεκτονική του SysML
• Ορισμός βιβλιοθηκών μοντέλων για παροχή επανάχρησης συντελεστών
• Ορισμός τύπων (Stereotypes) για επέκταση SysML εννοιών
• Επέκταση της γλώσσας SysML με χρήση προφίλ (Profiles)
• Εφαρμογή προφίλ σε μοντέλα χρήστη για την χρήση τύπων (Stereotypes)
• Εφαρμογή τύπων κατά τη διάρκεια της μοντελοποίησης
• Ορισμός και χρήση σημείων απόψεων (Viewpoints) για τη δημιουργία απόψεων μοντέλου

Ο Μέθοδος Κεντρικής Μηχανικής (Object-Oriented Systems Engineering Method)

• Γενική περίληψη μέθοδου
• Μελέτη περιπτώσεων/παράδειγμα

Ενσωμάτωση SysML σε περιβάλλον ανάπτυξης συστημάτων

• Διακόσμηση ολοκληρωμένου περιβάλλοντος ανάπτυξης συστημάτων
• Μηχανισμοί ανταλλαγής δεδομένων
• Επιλογή εργαλείου μοντελοποίησης συστήματος

Διάδοση SysML σε οργάνωση

• Προκειμένου πρόσφατη διαδικασία βελτίωσης
• Στοιχεία στρατηγικής διάδοσης