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

Περίληψη

Η ΔΙΔΑΚΤΟΡΙΚΗ ΔΙΑΤΡΙΒΗ ΠΡΑΓΜΑΤΕΥΕΤΑΙ ΤΗΝ ΠΡΟΔΙΑΓΡΑΦΗ ΤΗΣ ΔΥΝΑΜΙΚΗΣ ΠΛΗΡΟΦΟΡΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΜΕΣΩ ΣΧΗΜΑΤΩΝ ΑΝΤΙΚΕΙΜΕΝΩΝ/ΚΑΝΟΝΩΝ (Α/Κ) ΚΑΙ ΒΑΣΙΣΜΕΝΩΝ ΣΕ ΚΑΝΟΝΕΣ ΔΙΚΤΥΩΝ (ΒΚΔ). ΤΑ ΣΧΗΜΑΤΑ Α/Κ ΕΙΝΑΙ ΠΡΟΣΑΝΑΤΟΛΙΣΜΕΝΑ ΣΕ ΑΝΤΙΚΕΙΜΕΝΑ ΣΧΗΜΑΤΑ ΟΠΟΥ ΤΟ ΔΥΝΑΜΙΚΟ ΠΡΩΤΟΚΟΛΛΟ ΚΑΘΕ ΚΛΑΣΗΣ ΑΝΤΙΚΕΙΜΕΝΩΝ ΠΡΟΔΙΑΓΡΑΦΕΤΑΙ ΑΠΟ ΥΨΗΛΟΥ ΕΠΙΠΕΔΟΥ ΚΑΝΟΝΕΣ ΠΕΡΙΣΤΑΤΙΚΟΥ - ΣΥΝΘΗΚΗΣ - ΕΝΕΡΓΕΙΑΣ ΚΑΙ ΑΠΕΙΚΟΝΙΖΕΤΑΙ ΚΑΤΑ ΤΥΠΙΚΟ ΤΡΟΠΟ ΣΕ ΒΚΔ. ΤΑ ΒΚΔ ΑΠΟΤΕΛΟΥΝ ΠΑΡΑΛΛΑΓΗ ΤΩΝ ΔΙΚΤΥΩΝ ΚΑΤΗΓΟΡΗΜΑΤΩΝ/ΜΕΤΑΒΑΣΕΩΝ ΚΑΙ ΑΝΑΠΑΡΙΣΤΟΥΝ ΚΑΤΑ ΓΡΑΦΙΚΟ ΤΡΟΠΟ, ΣΕ ΠΟΛΛΑΠΛΑ ΕΠΙΠΕΔΑ ΑΦΑΙΡΕΣΗΣ, ΤΗ ΣΥΜΠΕΡΙΦΟΡΑ, ΤΗ ΡΟΗ ΕΛΕΓΧΟΥ ΚΑΙ ΤΗ ΡΟΗ ΔΕΔΟΜΕΝΩΝ ΠΟΥ ΠΡΟΔΙΑΓΡΑΦΟΥΝ ΤΑ ΣΧΗΜΑΤΑ Α/Κ. Η ΔΥΝΑΜΙΚΗ ΑΝΑΛΥΣΗ ΤΩΝ ΣΧΗΜΑΤΩΝ Α/Κ ΚΑΙ ΤΩΝ ΒΚΔ ΕΧΕΙ ΑΠΟΔΕΙΞΕΙ ΟΤΙ ΠΡΟΚΕΙΤΑΙ ΓΙΑ ΕΛΕΥΘΕΡΟΥΣ ΣΥΓΚΡΟΥΣΕΩΝ ΦΟΡΜΑΛΙΣΜΟΥΣ ΟΙ ΟΠΟΙΟΙ ΜΠΟΡΟΥΝ ΝΑ ΜΟΝΤΕΛΟΠΟΙΗΣΟΥΝ ΑΔΙΕΞΟΔΑ, ΣΥΓΧΡΟΝΙΣΜΟ, ΕΛΕΓΧΟ ΠΡΟΣΠΕΛΑΣΗΣ ΑΝΤΙΚΕΙΜΕΝΩΝ ΚΑΙ ΠΕΙΘΑΡΧΙΕΣ ΕΚΤΕΛΕΣΗΣ. ΕΧΕΙ ΔΟΘΕΙ ΜΙΑ ΜΕΘΟΔΟΛΟΓΙΑ ΓΙΑ ΤΗ ΧΡΗΣΗ ΣΧΗΜΑΤΩΝ Α/Κ ΚΑΙ ΒΚΔ ΚΑΤΑ ΤΗΝΠΡΟΔΙΑΓΡΑΦΗ ΤΗΣ ΔΥΝΑΜΙΚΗΣ ΠΛΗΡΟΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΚΑ ...
περισσότερα

Περίληψη σε άλλη γλώσσα

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.
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/9095
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/9095
Εναλλακτικός τίτλος
THE SPECIFICATION OF INFORMATION SYSTEMS DYNAMICS THROUGH OBJECTS, RULES AND PETRI NETS
Συγγραφέας
ΓΚΟΥΣΚΟΣ, ΔΗΜΗΤΡΙΟΣ
Ημερομηνία
1998
Ίδρυμα
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ). Σχολή Θετικών Επιστημών. Τμήμα Πληροφορικής
Εξεταστική επιτροπή
ΦΙΛΟΚΥΠΡΟΥ ΓΕΩΡΓΙΟΣ
ΓΕΩΡΓΙΑΔΗΣ ΠΑΝΑΓΙΩΤΗΣ
ΤΣΑΛΓΑΤΙΔΟΥ ΑΦΡΟΔΙΤΗ
ΧΑΛΑΤΣΗΣ ΚΩΝΣΤΑΝΤΙΝΟΣ
ΔΟΥΚΙΔΗΣ ΓΕΩΡΓΙΟΣ
ΣΕΛΛΗΣ ΤΙΜΟΛΕΩΝ
ΚΟΤΡΩΝΗΣ ΙΩΑΝΝΗΣ
Επιστημονικό πεδίο
Φυσικές Επιστήμες
Επιστήμες Ηλεκτρονικών Υπολογιστών & Πληροφορικής
Λέξεις-κλειδιά
Δίκτυα petri; Δυναμική μοντελοποίηση; ΕΠΙΠΕΔΑ ΑΦΑΙΡΕΣΗΣ; ΚΑΝΟΝΕΣ ΕΝΕΡΓΕΙΑΣ; ΚΑΝΟΝΕΣ ΠΕΡΙΣΤΑΤΙΚΟΥ; ΚΑΝΟΝΕΣ ΣΥΝΘΗΚΗΣ; ΜΗΧΑΝΙΚΗ ΑΠΑΙΤΗΣΕΩΝ; Πληροφοριακά συστήματα
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά