| Course label : | Object Design Method & UML & PETRI |
|---|---|
| Teaching departement : | MIN / Applied Mathematics and General Computing |
| Teaching manager : | Mister ABDOUL-KARIM TOGUYENI |
| Education language : | French |
| Potential ects : | 0 |
| Results grid : | |
| Code and label (hp) : | LA1_A_MA_MIN_RDP - Réseau de Petri |
Education team
Teachers : Mister ABDOUL-KARIM TOGUYENI / Mister GUILHERME ESPINDOLA WINCK
External contributors (business, research, secondary education): various temporary teachers
Summary
UML : structure diagrams, focus on the class diagram ; behaviour diagrams, focus on the use case diagram; exploration of the object design vocabulary in UML modeling; Reverse engineering between physical data model and class diagram; Case studies, preparation of models in connection with the TDs of the OOP subject; PETRI : Petri networks are tools for modeling and analyzing discrete event systems. First, the basic concepts are presented to the students. Then the modeling is approached via a more intuitive approach (examples). The properties of interest for Petri networks are listed. Different analysis methods are presented verifying the properties listed above. The course ends with an extension of the Petri Networks (the T-temporal Petri T Networks) which allows to model time constraints on the dynamics of the model and on a type of High Level Petri network (colored Petri networks) which allows a very compact representation of the models. Session 1: -Introduction to discrete event systems -Presentation of MOP formalism -Modeling by MOP -Presentation of MOP properties Session 2: -Methods of analysis by exploration: Marking graph, cover tree -Linear algebra: matrix representation of MOPs -Presentation of the generalized Petri Networks -Methods of analysis by linear algebra: Place invariant, transition invariant Session 3: -Petri T-temporal network + Class graph -Colored Petri network: folding and unfolding
Educational goals
UML : At the end of the course, the student will be able to: Describe the relevant UML diagrams to meet a specification; Know good development practices in object-oriented programming; Choose and use the right modeling techniques (inheritance, composition, aggregation, etc.) Define a data model in an object language from a relational model from a database; Implement these techniques in an object language + various DBMS Apply these techniques to the realization of HMI
Sustainable development goals
Knowledge control procedures
Fixed Exam
Comments: DS on Table for both parties (UML and PETRI), with an identical share in the rating for each party.
Online resources
Every documents on Moodle
Pedagogy
UML : Case studies PETRI : The course is interspersed with exercises to allow students to directly apply newly acquired concepts. A test at the beginning of the 2nd session is carried out but is not taken into account in the final rating. The final test represents 100% of the final score.
Sequencing / learning methods
| Number of hours - Lectures : | 10 |
|---|---|
| Number of hours - Tutorial : | 8 |
| Number of hours - Practical work : | 0 |
| Number of hours - Seminar : | 0 |
| Number of hours - Half-group seminar : | 0 |
| Number of student hours in TEA (Autonomous learning) : | 0 |
| Number of student hours in TNE (Non-supervised activities) : | 0 |
| Number of hours in CB (Fixed exams) : | 0 |
| Number of student hours in PER (Personal work) : | 0 |
| Number of hours - Projects : | 0 |
Prerequisites
Algorithmic notions. Understanding the role of a database server and a database Understanding the role of project documents such as specifications, functional specifications and detailed specifications Knowing how to develop a program in object-oriented programming.