Η ΠΡΟΔΙΑΓΡΑΦΗ ΤΗΣ ΔΥΝΑΜΙΚΗΣ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΜΕΣΩ ΑΝΤΙΚΕΙΜΕΝΩΝ, ΚΑΝΟΝΩΝ ΚΑΙ ΔΙΚΤΥΩΝ PETRI

Abstract

THE DOCTORAL THESIS TREATS THE SPECIFICATION OF INFORMATION SYSTEMS DYNAMICS THROUGH OBJECT/RULE (O/R) SCHEMAS AND RULE - BASED NETS (RBNS). O /R SCHEMAS ARE OBJECT - ORIENTED SCHEMAS WHERE THE DYNAMIC PROTOCOL OF EACH OBJECT CLASS IS SPECIFIED THROUGH HIGH LEVEL EVENT - CONDITION - ACTION RULES, AND ARE FORMALLY MAPPED TO RBNS. RBNS ARE A VARIANT OF PREDICATE/TRANSITION NETS AND REPRESENT IN A GRAPHICAL MANNER, AT MULTIPLE LEVELS OF ABSTRACTION, THE BEHAVIOUR, CONTROL FLOW AND DATA FLOW SPECIFIED BY O/R SCHEMAS. DYNAMIC ANALYSIS OF O/R SCHEMAS AND RBNS HAS PROVEN THEN TO BE CONFLICT - FREE FORMALISMS THAT CAN MODEL DEADLOCKS, SYNCHRONISATION, OBJECT ACCESS CONTROL AND EXECUTION DISCIPLINES. A METHODOLOGY HAS BEEN PROVIDED FOR THE USAGE OF O/R SCHEMAS AND RBNS DURING SPECIFICATION OF INFORMATION SYSTEMS DYNAMICS AND A CORRESPONDING ENVIRONMENT HAS BEEN DESIGNED FOR COMPUTER - AIDED REQUIREMENTS ENGINEERING.

Η ΔΙΔΑΚΤΟΡΙΚΗ ΔΙΑΤΡΙΒΗ ΠΡΑΓΜΑΤΕΥΕΤΑΙ ΤΗΝ ΠΡΟΔΙΑΓΡΑΦΗ ΤΗΣ ΔΥΝΑΜΙΚΗΣ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΜΕΣΩ ΣΧΗΜΑΤΩΝ ΑΝΤΙΚΕΙΜΕΝΩΝ/ΚΑΝΟΝΩΝ (Α/Κ) ΚΑΙ ΒΑΣΙΣΜΕΝΩΝ ΣΕ ΚΑΝΟΝΕΣ ΔΙΚΤΥΩΝ (ΒΚΔ). ΤΑ ΣΧΗΜΑΤΑ Α/Κ ΕΙΝΑΙ ΠΡΟΣΑΝΑΤΟΛΙΣΜΕΝΑ ΣΕ ΑΝΤΙΚΕΙΜΕΝΑ ΣΧΗΜΑΤΑ ΟΠΟΥ ΤΟ ΔΥΝΑΜΙΚΟ ΠΡΩΤΟΚΟΛΛΟ ΚΑΘΕ ΚΛΑΣΗΣ ΑΝΤΙΚΕΙΜΕΝΩΝ ΠΡΟΔΙΑΓΡΑΦΕΤΑΙ ΑΠΟ ΥΨΗΛΟΥ ΕΠΙΠΕΔΟΥ ΚΑΝΟΝΕΣ ΠΕΡΙΣΤΑΤΙΚΟΥ - ΣΥΝΘΗΚΗΣ - ΕΝΕΡΓΕΙΑΣ ΚΑΙ ΑΠΕΙΚΟΝΙΖΕΤΑΙ ΚΑΤΑ ΤΥΠΙΚΟ ΤΡΟΠΟ ΣΕ ΒΚΔ. ΤΑ ΒΚΔ ΑΠΟΤΕΛΟΥΝ ΠΑΡΑΛΛΑΓΗ ΤΩΝ ΔΙΚΤΥΩΝ ΚΑΤΗΓΟΡΗΜΑΤΩΝ/ΜΕΤΑΒΑΣΕΩΝ ΚΑΙ ΑΝΑΠΑΡΙΣΤΟΥΝ ΚΑΤΑ ΓΡΑΦΙΚΟ ΤΡΟΠΟ, ΣΕ ΠΟΛΛΑΠΛΑ ΕΠΙΠΕΔΑ ΑΦΑΙΡΕΣΗΣ, ΤΗ ΣΥΜΠΕΡΙΦΟΡΑ, ΤΗ ΡΟΗ ΕΛΕΓΧΟΥ ΚΑΙ ΤΗ ΡΟΗ ΔΕΔΟΜΕΝΩΝ ΠΟΥ ΠΡΟΔΙΑΓΡΑΦΟΥΝ ΤΑ ΣΧΗΜΑΤΑ Α/Κ. Η ΔΥΝΑΜΙΚΗ ΑΝΑΛΥΣΗ ΤΩΝ ΣΧΗΜΑΤΩΝ Α/Κ ΚΑΙ ΤΩΝ ΒΚΔ ΕΧΕΙ ΑΠΟΔΕΙΞΕΙ ΟΤΙ ΠΡΟΚΕΙΤΑΙ ΓΙΑ ΕΛΕΥΘΕΡΟΥΣ ΣΥΓΚΡΟΥΣΕΩΝ ΦΟΡΜΑΛΙΣΜΟΥΣ ΟΙ ΟΠΟΙΟΙ ΜΠΟΡΟΥΝ ΝΑ ΜΟΝΤΕΛΟΠΟΙΗΣΟΥΝ ΑΔΙΕΞΟΔΑ, ΣΥΓΧΡΟΝΙΣΜΟ, ΕΛΕΓΧΟ ΠΡΟΣΠΕΛΑΣΗΣ ΑΝΤΙΚΕΙΜΕΝΩΝ ΚΑΙ ΠΕΙΘΑΡΧΙΕΣ ΕΚΤΕΛΕΣΗΣ. ΕΧΕΙ ΔΟΘΕΙ ΜΙΑ ΜΕΘΟΔΟΛΟΓΙΑ ΓΙΑ ΤΗ ΧΡΗΣΗ ΣΧΗΜΑΤΩΝ Α/Κ ΚΑΙ ΒΚΔ ΚΑΤΑ ΤΗΝΠΡΟΔΙΑΓΡΑΦΗ ΤΗΣ ΔΥΝΑΜΙΚΗΣ ΠΛΗΡΟΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΚΑΙ ΕΧΕΙ ΣΧΕΔΙΑΣΤΕΙ ΕΝΑ ΑΝΤΙΣΤΟΙΧΟ ΠΕΡΙΒΑΛΛΟΝ ΒΟΗΘΟΥΜΕΝΗΣ ΑΠΟ ΥΠΟΛΟΓΙΣΤΗ ΜΗΧΑΝΙΚΗΣ ΑΠΑΙΤΗΣΕΩΝ.