Closed madhavipuliraju closed 8 years ago
From Thirumal's Notes:
----NEW CHANGES for meeting on 28th June ----
--Write minutes of meeting --In Abstract Entity Types, change 'abbreviation' to 'abbreviated' --add NOC in roles list --replace NOTE 1 in relations with logical statements --add traceability --number all bullet points --change notation for relations --in referential integrity, change the integrity constraint for admin-user --make effect for add user more specific by using variables --add delete-user implementation, and make it more specific --change audit trail implementation, as well as data-model --change 'which' to 'that' in remarks for delete user --define Status entity --change workshop workflow diagram --add 'completed' state in the workshop workflow diagram
Meeting MoM: The following are the four main action items of this meeting: 1) Traceability: https://github.com/vlead/outreach-portal-3.0/issues/13 2) Formal Notations: https://github.com/vlead/outreach-portal-3.0/issues/12 3) Status for Workshop Link: https://github.com/vlead/outreach-portal-3.0/issues/10 4) Audit Entry Link: https://github.com/vlead/outreach-portal-3.0/issues/11
This is a duplicate of #16
From Madhavi's Notes: \ Data model Review
if s1.user = s2.user -> s1.role != s2.role
In Referrential Integraty, user-set admin-user-set = { u E user-set | admin E roles(u)} admin-user-set != null
In relations, role need to be changed to roles