| Entrambe le parti precedenti la revisione
Revisione precedente
Prossima revisione
|
Revisione precedente
Prossima revisione
Entrambe le parti successive la revisione
|
mds:d4ds:start [08/09/2021 alle 15:02 (3 anni fa)]
Filippo Chiarello |
mds:d4ds:start [13/09/2021 alle 20:34 (3 anni fa)]
Filippo Chiarello |
| ====== PROJECT DESIGN & MANAGEMENT FOR DATA SCIENCE (2021/2022) ====== | ====== Project Design & Management for Data Science (2021/2022) ====== |
| | |
| | **D4DS 2021/22** |
| | |
| | ** Data Science & Business Informatics** 1075I, 6 cfu |
| | |
| | ** Informatica Umanistica** 753AA, 6 cfu |
| |
| **Lecturer**: Filippo Chiarello | **Lecturer**: Filippo Chiarello |
| |
| Contact: [[mailto:filippo.chiarello@unipi.it|email]] - phone 050 2217318 | Contact: [[mailto:filippo.chiarello@unipi.it|email]] - phone 050 2217318 - [[https://www.linkedin.com/in/filippo-chiarello-2b382770/|Linkedin]] |
| |
| Office hours: **TO BE DEFINED** | Office hours: **TO BE DEFINED** |
| | |
| | **Link to the MSTeams** --> [[https://teams.microsoft.com/l/channel/19%3axlV1aZU8-pI-PRaOF0rvbDuo52bV_IlWBe0oD73aNok1%40thread.tacv2/Generale?groupId=4fe015f1-6764-4946-a6ed-3776b18add8f&tenantId=c7456b31-a220-47f5-be52-473828670aa1|LINK]] |
| | |
| | {{mds:d4ds:presentazione.png| }} |
| | |
| | ---- |
| |
| ==== Objectives of the course==== | ==== Objectives of the course==== |
| The grade for the exam will be computed as follows: | The grade for the exam will be computed as follows: |
| |
| Project Document: 30%, evaluated by the teacher | * Project Document: 30%, evaluated by the teacher |
| Project Presentation: 20%, evaluated by the teacher | * Project Presentation: 20%, evaluated by the teacher |
| Project Document: 10%, evaluated by peers students | * Project Document: 10%, evaluated by peers students |
| Peer Evaluation: 20%, evaluated by the teacher | * Peer Evaluation: 20%, evaluated by the teacher |
| Report Review: 20%, evaluated by the teacher | * Report Review: 20%, evaluated by the teacher |
| | |
| [[https://esami.unipi.it/esami/|Registration]] to the exam is mandatory. | |
| |
| ==== Exam for non-attending students ==== | ==== Exam for non-attending students ==== |
| The percentages for non-attending students are the following: | The percentages for non-attending students are the following: |
| |
| Project Document: 30%, evaluated by the teacher | * Project Document: 30%, evaluated by the teacher |
| Project Presentation: 20%, evaluated by the teacher | * Project Presentation: 20%, evaluated by the teacher |
| Paper Review: 50%, evaluated by the teacher | * Paper Review: 50%, evaluated by the teacher |
| |
| [[https://esami.unipi.it/esami/|Registration]] to the exam is mandatory. | ---- |
| |
| ==== Project ==== | ==== Project ==== |
| |
| The students will be asked to make a teamwork project, where they will design a data-science based product or service. Students will be followed in the development of the project, towards the final discussion, thanks to class activities. Attending students will also be asked to participate in the [[https://en.wikipedia.org/wiki/Peer_assessment|peer-to-peer evaluation]] of the project activities. | The students will be asked to make a teamwork project, where they will design a data-science based product or service. Students will be followed in the development of the project, towards the final discussion, thanks to class activities. Attending students will also be asked to participate in the [[https://en.wikipedia.org/wiki/Peer_assessment|peer-to-peer evaluation]] of the project activities. |
| |
| ==== Scientific Contribution Review ==== | At the end of the project, students will have as output the following documents: |
| |
| During the course, students will be asked to make a review of a scientific contribution, This can be: | * **Project Document**: |
| | |
| | *Structure: TO BE DEFINED* |
| | |
| | * **Project Presentation**: |
| | |
| | *Structure: TO BE DEFINED* |
| | |
| | * **Peer Review Evaluation** |
| | |
| | *Structure: TO BE DEFINED* |
| | |
| | The team will send an e-mail to the professor with the Project Document and Peer Review Report at least one week before the date of the exam. |
| | |
| | ---- |
| | |
| | ==== Scientific Review ==== |
| | |
| | During the course, students will be asked to make a review of a scientific contribution. This can be: |
| * A scientific paper | * A scientific paper |
| * A book | * A book |
| * Others | * Others |
| |
| The student will decide the content to review and send an e-mail to the professor at least one week before the date of the exam. The report will be in the form of a short report (two pages). | At the end of the activity, students will have as output the following documents: |
| | |
| | * **Scientific Review Document**: |
| | |
| | *Structure: TO BE DEFINED* |
| | |
| | The student will decide the content to review and send an e-mail to the professor with the Scientific Review Document at least one week before the date of the exam. |
| |
| Here is a list of already discussed contents (can not be taken again): | |
| |
| ---- | ---- |
| === Project FAQ === | === Project FAQ === |
| |
| * **What do I need to start the project?** // You need a team and a need. The need has to be discussed with the teacher, during a lecture or during office time. // | * **What do I need to start the project?** // You need a team and a *users' need*. The need has to be discussed with the teacher, during a lecture or during office time. // |
| * **How many people can work together on the same project?** //Projects are assigned to groups of two or three people. Exceptionally, single students can be allowed (especially non-attending students), but a solid motivation is needed.// | * **How many people can work together on the same project?** //Projects are assigned to groups of 3 or 4 people. Exceptionally, single students can be allowed (especially non-attending students), but a solid motivation is needed.// |
| * **When is the deadline for submitting the project?** //The project document and presentation need to be sent to the teacher at least one week before the exam date. // | * **When is the deadline for submitting the project?** //The project document and presentation need to be sent to the teacher at least one week before the exam date. // |
| * **What does it happen if we miss the deadline?** //You will have to wait for the next exam session. // | * **What happens if we miss the deadline?** //You will have to wait for the next exam session. // |
| * **What does it happen if a person leaves the group?** //You must notify immediately the teacher and choose if you prefer to complete the work individually or change the composition of the team// | * **What happens if a person leaves the group?** //You must notify immediately the teacher and choose if you prefer to complete the work individually or change the composition of the team// |
| * **How do we deliver the project?** //You must send the teacher a project report in .pdf following the. decided structure and page limits. Optionally, you can submit annexes.// | * **How do we deliver the project?** //You must send the teacher a project report in .pdf following the. decided structure and page limits. Optionally, you can submit annexes.// |
| * **When do we discuss the project?** //Preferably, at the first exam session that follows the delivery of the project.// | * **When do we discuss the project?** //Preferably, at the first exam session that follows the delivery of the project.// |
| * **Is it necessary to have already delivered the project in order to register for the exam?** //No it is not. But of course, the project must be delivered in time for being presented and discussed at the actual oral exam.// | * **Is it necessary to have already delivered the project document in order to register for the exam?** //No it is not. But of course, the project must be delivered in time for being presented and discussed at the actual oral exam.// |
| | * ** What if the project document is not sufficient?**//A negative evaluation of the project document may require to rework some parts, submit a revised document and schedule a new exam (possibly at the next exam session). In this case, the teacher will communicate the decision to the students before the date of the exam. If no communication after the project document presentation is received, it means that the project has received a positive evaluation. A positive evaluation of the project allows each group member to access the oral part of the exam.// |
| |
| === Exam FAQ === | === Exam FAQ === |
| * **How do we register for the exam?** //As usual, you must enter your choice on the [[https://esami.unipi.it/esami/|ESAMI]] portal.// | * **How do we register for the exam?** //As usual, you must enter your choice on the [[https://esami.unipi.it/esami/|ESAMI]] portal.// |
| * **What are the dates of the exam?** //THE DATES ADVERTISED IN THE ESAMI PORTAL ARE NOT NECESSARILY THOSE OF THE ACTUAL EXAM. After you register for the exam, on the basis of the projects received and any other constraint communicated by each student, the teacher will post a tentative schedule on this web page and will inform you by email or on Teams.// | * **What are the dates of the exam?** //THE DATES ADVERTISED IN THE ESAMI PORTAL ARE NOT NECESSARILY THOSE OF THE ACTUAL EXAM. After you register for the exam, on the basis of the projects received and any other constraint communicated by each student, the teacher will post a tentative schedule on this web page and will inform you by email or on Teams.// |
| * **How is the exam organized?** //The exam is oral and it is organised in two parts: the first part will focus on the project discussion, the second part will involve all topics covered by the course. Due to the current pandemic situation, all exams will take place remotely, via the Microsoft Teams platform.// | * **How is the exam organized?** //The exam is oral and is organised around the project and the report. After the team presentation of the project, we will have a discussion starting from the project, the report and (eventually) some of the topics covered by the course.// |
| * **How is the project discussion organized?** //ALL GROUP MEMBERS MUST BE PRESENT TO THE PROJECT DISCUSSION. All group members must demonstrate they have participated to all the activites of the project. A negative evaluation of the project may require to rework some parts, submit a revised report and schedule a new exam (possibly at the next exam session). A positive evaluation of the project allows each group member to access the second part of the exam.// | * **How is the project discussion organized?** //ALL GROUP MEMBERS MUST BE PRESENT TO THE PROJECT DISCUSSION. All group members must demonstrate they have participated to all the activites of the project. // |
| * **How is the second part of the exam organized?** //DIFFERENT GROUP MEMBERS CAN ASK TO SCHEDULE THE SECOND PART OF THE EXAM ON DIFFERENT DAYS. Questions may involve (but are not limited to): most relevant concepts, definitions, terminology and techniques; their intuitive meaning and formalization; proof sketches of formal statements; small-sized exercises. Arguments marked as optional in the lectures table below can be discussed upon student request.// | * **How is the oral exam organized?** //DIFFERENT GROUP MEMBERS CAN ASK TO SCHEDULE THE SECOND PART OF THE EXAM ON DIFFERENT SESSIONS.// |
| * **Is it possible to pass the first part of the exam and fail the second?** //Let's hope it won't happen, but yes, it is possible, in which case the student will need to register for one of the next exam sessions. Depending on each single case, a new project may also be assigned.// | |
| |
| ---- | [[https://esami.unipi.it/esami/|Registration]] to the exam is mandatory. |
| ==== Announcements ==== | |
| | |
| * **lecture rescheduled**:\\ The lecture of thursday Oct. 15 has been rescheduled on **wednesday Oct. 28, 16:15-18:00** | |
| | |
| * **lecture canceled**:\\ The lecture of **thursday Oct. 15** is canceled due to personal matters and will be rescheduled (possibly on a wednesday) | |
| | |
| * **lecture canceled**:\\ The lecture of **monday Sept. 21** is canceled due to election day | |
| | |
| * **covid-19**:\\ Due to the covid-19 alert, all lectures are held online on the Microsoft Teams platform. Click to enter the [[https://teams.microsoft.com/l/team/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/conversations?groupId=776b67cd-cfec-4ddb-aa25-d771667d226d&tenantId=c7456b31-a220-47f5-be52-473828670aa1|virtual classroom]] | |
| | |
| * **as the course starts**:\\ Each student should send an email to the professor from his/her favourite email account with **subject MPB20** and the following data\\ (by doing so, the account will be included in the class mailing-list, where important announcements can be sent): | |
| - **first name** and **last name** (please clarify which is which, to avoid ambiguities) | |
| - **enrolment number** (numero di matricola) | |
| - bachelor degree (**course of study** and **university**) | |
| |
| ---- | ---- |
| |
| |
| ==== Lectures (first half) ==== | ==== Lectures ==== |
| |
| [[https://teams.microsoft.com/l/team/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/conversations?groupId=776b67cd-cfec-4ddb-aa25-d771667d226d&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Virtual classroom]]: To join a lecture enter the virtual classroom, go to the Calendar tab and click on the scheduled lecture. | The course will be blended (online and in-person). To join a lecture online enter the virtual classroom, go to the Calendar tab and click on the scheduled lecture. The link to MSteams channel will appear soon. |
| |
| ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ | Monday class ----> Aula Fib C |
| | 1 | Mon 14/09 | 11:00-12:45 | Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:01-introduction-2020.pdf |Lecture 1}} | Course introduction:\\ //course objectives, textbooks,\\ BPM aim and motivation,\\ models and abstraction// | | | Tuesday class ----> Aula Fib L1 |
| | 2 | Wed 16/09 | 16:15-18:00 | Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:02-business-processes-2020.pdf |Lecture 2}} | Introduction to Business Processes:\\ //Taylorism, work units, processes, terminology,\\ organizational structures// | | | |
| | - | Mon 21/09 | 11:00-12:45 | **Canceled** | Election day | | | | |
| | 3 | Thu 24/09 | 16:15-18:00 | Microsoft Teams | Lecture 2 (2nd part) | Introduction to Business Processes:\\ //Processo orientation and reengineering, main definitions,\\ visual notations// | | | |
| | 4 | Mon 28/09 | 11:00-12:45 | Microsoft Teams | Exercises\\ {{ :magistraleinformaticaeconomia:mpb:02a-examples-2020.pdf |Examples}} | Examples and Exercises | | | |
| | 5 | Thu 01/10 | 16:15-18:00 | Microsoft Teams | Examples (ctd.) | Examples and Exercises | | | |
| | 6 | Mon 05/10 | 11:00-12:45 | Microsoft Teams | Examples and Exercises (ctd.)\\ {{ :magistraleinformaticaeconomia:mpb:03-evolution-2020.pdf |Lecture 3}} | Examples and Exercises\\ \\ Evolution of Enterprise Systems Architectures:\\ //separation of concerns, sw architectures\\ individual enterprise applications,\\ enterprise resource planning system,\\ siloed enterprise applications,\\ enterprise application integration,\\ message-oriented middleware// | | | |
| | 7 | Thu 08/10 | 16:15-18:00 | Microsoft Teams | Lecture 3 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:04-models-2020.pdf |Lecture 4}} | Evolution of Enterprise Systems Architectures:\\ //enterprise service computing//\\ \\ Business Process Modelling Abstractions:\\ //Separation of concerns, horizontal abstraction,\\ aggregation abstraction, vertical abstraction// | | | |
| | 8 | Mon 12/10 | 11:00-12:45 | Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:05-methodology-2020.pdf |Lecture 5}}\\ {{ :magistraleinformaticaeconomia:mpb:06-lifecycle-2020.pdf |Lecture 6}} | Business Process Methodology:\\ //levels of business processes,\\ business strategies, operational goals,\\ organizational BP, operational BP,\\ implemented BP, design guidelines,\\ from business functions to processes//\\ \\ Business Processes Lifecyle:\\ //design and analysis, configuration,\\ enactment, evaluation,\\ administration and stakeholders//\\ \\ Mathematical background:\\ //Sets, functions, relations// | | | |
| | - | Thu 15/10 | 16:15-18:00 | **Canceled** | | | | | |
| | 9 | Mon 19/10 | 11:00-12:45 | Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:07-nets-intro-2020.pdf |Lecture 7}} (1st part) | Mathematical background:\\ //predicate logic, induction, recursion//\\ \\ Introduction to Petri nets:\\ //finite state automata// | | | |
| | 10 | Thu 22/10 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 7)\\ Lecture 7 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:08-petri-2020.pdf |Lecture 8}} (1st part) | Introduction to Petri nets:\\ //from automata to Petri nets//\\ \\ More concepts about Petri nets:\\ //multisets and markings// | | | |
| | 11 | Mon 26/10 | 11:00-12:45 | Microsoft Teams | Woped basics\\ Lecture 8 (2nd part) | More concepts about Petri nets:\\ //multisets and markings,\\ transition enabling and firing, firing sequences,\\ reachable markings, occurrence graph// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | |
| | 12 | Wed 28/10 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 8) | Modelling with Petri nets:\\ //Examples and Exercises// | | | |
| | 13 | Thu 29/10 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 8)\\ {{ :magistraleinformaticaeconomia:mpb:09-properties-2020.pdf |Lecture 9}} (1st part) | Modelling with Petri nets:\\ //Examples and Exercises//\\ \\ Behavioural properties:\\ //liveness// | | | |
| | 14 | Mon 02/11 | 11:00-12:45 | Microsoft Teams | Lecture 9 (2nd part)\\ Exercises (from Lecture 9) | Behavioural properties:\\ //dead transitions, place liveness, dead places// | | | |
| | 15 | Thu 05/11 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 9)\\ Lecture 9 (3rd part) | Behavioural properties:\\ //deadlock freedom, boundedness, safeness, cyclicity//\\ \\ Structural properties:\\ //weak and strong connectedness,\\ S-systems, T-systems, free-choice nets// | | | |
| | 16 | Mon 09/11 | 11:00-12:45 | Microsoft Teams | Exercises (from Lecture 9)\\ {{ :magistraleinformaticaeconomia:mpb:10-net-matrices-2020.pdf |Lecture 10}} (1st part) | Nets as matrices:\\ //markings as vectors// | | | |
| | 17 | Thu 12/11 | 16:15-18:00 | Microsoft Teams | Lecture 10 (2nd part) | Nets as matrices:\\ //incidence matrices, Parikh vectors,\\ marking equation lemma, monotonicity lemma,\\ boundedness lemma, repetition lemma// | | | |
| |
| ==== Lectures (second half) ==== | MSTeams channel ----> [[https://teams.microsoft.com/l/channel/19%3axlV1aZU8-pI-PRaOF0rvbDuo52bV_IlWBe0oD73aNok1%40thread.tacv2/Generale?groupId=4fe015f1-6764-4946-a6ed-3776b18add8f&tenantId=c7456b31-a220-47f5-be52-473828670aa1|LINK]] |
| | |
| | ^ N ^ Date ^ Hours ^ Title ^ Module ^ |
| | | 1 | 13/9 | 14:15‑16:00 | Introduction to the course and overview of the design process | Design | |
| | | 2 | 14/9 | 14:15‑16:00 | Overview of the design process | Design | |
| | | 3 | 20/9 | 14:15‑16:00 | Methods for user needs analysis | Discover | |
| | | 4 | 21/9 | 14:15‑16:00 | Project Kick-Off: rules, groups definition and preliminary brainstorming | Design | |
| | | 5 | 27/9 | 14:15‑16:00 | Conflict Management | Collaborate | |
| | | 6 | 28/9 | 14:15‑16:00 | Creativity | Discover | |
| | | 7 | 4/10 | 14:15‑16:00 | Critical Thinking | Discover | |
| | | 8 | 5/10 | 14:15‑16:00 | Scope Definition | Define | |
| | | 9 | 11/10 | 14:15‑16:00 | Objective and OKR | Define | |
| | | 10 | 12/10 | 14:15‑16:00 | Project Work: Definition of scope and objectives | Define | |
| | | 11 | 18/10 | 14:15‑16:00 | Project Management for Data Science: Introduction | Controll | |
| | | 12 | 19/10 | 14:15‑16:00 | Project Management for Data Science: Methods | Controll | |
| | | 13 | 25/10 | 14:15‑16:00 | Project Management for Data Science: Laboratory | Controll | |
| | | 14 | 26/10 | 14:15‑16:00 | Project Work: Plan Preparation | Controll | |
| | | 15 | 2/11 | 14:15‑16:00 | Educathons: how to teach and evaluate design skills for data science | Collaborate | |
| | | 16 | 8/11 | 14:15‑16:00 | AI meet Design | Model | |
| | | 17 | 9/11 | 14:15‑16:00 | Quality function deployment for data science | Model | |
| | | 18 | 15/11 | 14:15‑16:00 | Project Work: Specifications | Model | |
| | | 19 | 16/11 | 14:15‑16:00 | Query Design | Model | |
| | | 20 | 22/11 | 14:15‑16:00 | Scientific Literature Analysis | Map | |
| | | 21 | 23/11 | 14:15‑16:00 | Technological Mapping | Map | |
| | | 22 | 29/11 | 14:15‑16:00 | Dara driven technical and economical feasibility | Map | |
| | | 23 | 30/11 | 14:15‑16:00 | Project Work: Spec definition | Map | |
| | | 24 | 6/12 | 14:15‑16:00 | Pre-Totyping 1 | Make | |
| | | 25 | 7/12 | 14:15‑16:00 | Pre-Totyping 2 | Make | |
| | | 26 | 13/12 | 14:15‑16:00 | Project Work: Revise | Design | |
| | | 27 | 14/12 | 14:15‑16:00 | Writing Reports | Comunicate | |
| | | 28 | 20/12 | 14:15‑16:00 | Presentation Design | Comunicate | |
| | | 29 | 21/12 | 14:15‑16:00 | Project Work: Presentations Design | Comunicate | |
| |
| [[https://teams.microsoft.com/l/team/19%3aaf85f87d0c6542c0a8f54b23a1422c21%40thread.tacv2/conversations?groupId=776b67cd-cfec-4ddb-aa25-d771667d226d&tenantId=c7456b31-a220-47f5-be52-473828670aa1|Virtual classroom]]: To join a lecture enter the virtual classroom, go to the Calendar tab and click on the scheduled lecture. | |
| |
| ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ | |
| | 18 | Mon 16/11 | 11:00-12:45 | Microsoft Teams | Exercises (from Lecture 10)\\ {{ :magistraleinformaticaeconomia:mpb:11-invariants-2020.pdf |Lecture 11}} (1st part) | Invariants:\\ //S-invariants, fundamental property of S-invariants,\\ alternative characterization of S-invariant,\\ support, positive S-invariants,\\ about boundedness, reachability and liveness// | | | |
| | 19 | Thu 19/11 | 16:15-18:00 | Microsoft Teams | Lecture 11 (2nd part)\\ Exercises (from Lecture 11)\\ {{ :magistraleinformaticaeconomia:mpb:12-facts-2020.pdf |Lecture 12}} | Invariants:\\ //T-invariants, fundamental property of T-invariants,\\ alternative characterization of T-invariants,\\ reproduction lemma,\\ about liveness and boundedness//\\ \\ On strong connectedness:\\ //connectedness theorems// | | | |
| | 20 | Mon 23/11 | 11:00-12:45 | Microsoft Teams | {{ :magistraleinformaticaeconomia:mpb:13-workflow-nets-2020.pdf |Lecture 13}}\\ Exercises (from Lecture 13)\\ {{ :magistraleinformaticaeconomia:mpb:14-wfnets-analysis-2020.pdf |Lecture 14}} (1st part) | Workflow nets:\\ //definition, syntax sugar, subprocesses,\\ control flow aspects, triggers//\\ \\ Analysis of workflow nets:\\ //structural analysis, activity analysis,\\ token analysis, net analysis, verification and validation,\\ reachability analysis, coverability graph// | [[http://woped.dhbw-karlsruhe.de/|Woped]] | | |
| | 21 | Thu 26/11 | 16:15-18:00 | Microsoft Teams | Lecture 14 (2nd part)\\ Exercises (from Lecture 14)\\ {{ :magistraleinformaticaeconomia:mpb:15-wfnets-construction-2020.pdf |Lecture 15}}\\ {{ :magistraleinformaticaeconomia:mpb:16-s-systems-2020.pdf |Lecture 16}} (1st part) | Analysis of workflow nets:\\ //soundness, N*, strong connectedness of N*,\\ main soundness theorem//\\ \\ Safe Workflow nets:\\ //soundness (and safeness) by construction//\\ \\ S-systems:\\ //fundamental property of S-systems,\\ S-invariants of S-nets// | | | |
| | 22 | Mon 30/11 | 11:00-12:45 | Microsoft Teams | More Exercises (from Lecture 14)\\ Exercises (from Lecture 15)\\ Lecture 16 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:17-t-systems-short-2020.pdf |Lecture 17}}\\ {{ :magistraleinformaticaeconomia:mpb:18-free-choice-short-2020.pdf |Lecture 18}} (1st part) | S-systems:\\ //liveness theorem, reachability lemma,\\ reachability theorem, boundedness theorem,\\ workflow S-nets//\\ \\ T-systems:\\ //circuits and token count on a circuit,\\ fundamental property of T-systems,\\ T-invariants of T-nets,\\ boundedness in strongly connected T-systems,\\ liveness theorem for T-systems,\\ workflow T-nets//\\ \\ Free-choice nets:\\ //Fundamental property of free-choice nets\\ clusters, stable sets, siphons, proper siphons,\\ fundamental property of siphons,\\ siphons and liveness, Rank theorem// | | | |
| | 23 | Thu 03/12 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 16)\\ Exercises (from Lecture 17)\\ Exercises (from Lecture 18)\\ {{ :magistraleinformaticaeconomia:mpb:18c-p-np-short-2020.pdf |A note on P and NP}} (optional reading)\\ Lecture 18 (2nd part)\\ {{ :magistraleinformaticaeconomia:mpb:19-wfnets-diagnosis-short-2020.pdf |Lecture 19}} | Decision problems and computational complexity (optional reading)\\ \\ Free-choice nets:\\ //traps (optional reading),\\ place-liveness = liveness in f.c. nets (optional reading),\\ Commoner's theorem and its complexity issues,\\ Rank theorem and its complexity issues,\\ sound f.c wf nets are safe//\\ \\ Diagnosis of Workflow nets:\\ //Woped, S-components, S-cover,\\ T-cover (optional reading),\\ TP-handles, PT-handles,\\ well-handled nets, well-structured wf nets,\\ Woflan, ProM, error sequences,\\ non-live sequences, unbounded sequences// | [[http://woped.dhbw-karlsruhe.de/|Woped]]\\ [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | | |
| | 24 | Mon 07/12 | 11:00-12:45 | Microsoft Teams | Exercises (from Lecture 19)\\ {{ :magistraleinformaticaeconomia:mpb:20-workflow-systems-2020.pdf |Lecture 20}}\\ {{ :magistraleinformaticaeconomia:mpb:21-epc-new-2020.pdf |Lecture 21}} | Workflow systems:\\ //I/O interfaces, workflow modules,\\ stuctural compatibility, workflow system,\\ weak soundness//\\ \\ EPC:\\ //Events, functions, connectors,\\ EPC diagrams, guidelines,\\ soundness analysis, from EPC to wf nets,\\ net fragments, dummy style, fusion style,\\ unique start, unique end,\\ three transformations, semantics ambiguities,\\ relaxed sound nets (optional),\\ relaxed sound EPC diagrams (optional),\\ from restricted EPC diagrams to f.c. nets,\\ problems with (X)OR joins, candidate split,\\ corresponding split, matching split,\\ OR join policies (wfa, fc, et),\\ from decorated EPC diagrams to nets// | [[https://online.visual-paradigm.com/diagrams/features/epc-diagram-tool/|VP]]\\ [[http://www.yworks.com/en/products_yed_about.html|yEd]] | | |
| | 25 | Thu 10/12 | 16:15-18:00 | Microsoft Teams | Exercises (from Lecture 20)\\ Exercises (from Lecture 21)\\ {{ :magistraleinformaticaeconomia:mpb:22-bpmn-new-2020.pdf |Lecture 22}}\\ Exercises (from Lecture 22)\\ {{ :magistraleinformaticaeconomia:mpb:99-missed-2020.pdf |A final note}} (with project instructions) | BPMN:\\ //Notation, swimlanes, flow objects,\\ artefacts, connecting objects,\\ collaborations, choreographies,\\ from BPMN to nets// | [[http://bpmn.sourceforge.net/|Yaoqiang]]\\ [[http://bpmn.io/|BPMN.io]]\\ [[http://www.intalio.com/products/bpms/overview/|BPMS]]\\ [[http://www.bizagi.com/index.php/en/products/bizagi-process-modeler|Bizagi]]\\ [[https://online.visual-paradigm.com/diagrams|VP]]\\ [[http://www.processmining.org/prom/start|ProM]] | | |
| | end | | | | | | | | |
| |
| ==== Exam sessions ==== | ==== Exam sessions ==== |
| | |
| | TO BE DEFINED |
| |
| ^ Date ^^ Time ^ Room ^ Info ^ | ^ Date ^^ Time ^ Room ^ Info ^ |
| | Fri | 22/01 | 09:00 | Teams | Exam | | | | | | | | |
| | Fri | 12/02 | 09:00 | Teams | Exam | | |
| | Mon | 12/04 | 11:00 | Teams | Extra-ordinary Exam | | |
| | Tue | 01/06 | 11:00 | Teams | Exam\\ The actual date of the oral exam will be agreed with the teacher | | |
| | Mon | 21/06 | 11:00 | Teams | Exam\\ [[https://esami.unipi.it/esami/|Exams registration system]]\\ The actual date of the oral exam will be agreed with the teacher | | |
| | Tue | 20/07 | 11:00 | Teams | Exam\\ [[https://esami.unipi.it/esami/|Exams registration system]]\\ The actual date of the oral exam will be agreed with the teacher | | |
| | Mon | 30/08 | 11:00 | Teams | Exam\\ [[https://esami.unipi.it/esami/|Exams registration system]]\\ The actual date of the oral exam will be agreed with the teacher | | |
| | |
| | |
| ---- | |
| |
| ==== Past courses ==== | |
| |
| * [[magistraleinformaticaeconomia:mpb:2019-20:|A.A. 2019/20]] | |
| * [[magistraleinformaticaeconomia:mpb:2018-19:|A.A. 2018/19]] | |
| * [[magistraleinformaticaeconomia:mpb:2017-18:|A.A. 2017/18]] | |
| * [[magistraleinformaticaeconomia:mpb:2016-17:|A.A. 2016/17]] | |
| * [[magistraleinformaticaeconomia:mpb:2015-16:|A.A. 2015/16]] | |
| * [[magistraleinformaticaeconomia:mpb:2014-15:|A.A. 2014/15]] | |
| * [[magistraleinformaticaeconomia:mpb:2013-14:|A.A. 2013/14]] | |
| |
