Σύνθεση Υπηρεσιών Mε Xρήση Petri Nets

Abstract

Τα τελευταία χρόνια η τεχνολογία των web services έχει γίνει ο ακρογωνιαίος λίθος της δημιουργίας πληροφοριακών συστημάτων. Ένα απλό Web service εκτελεί μία συγκεκριμένη εργασία ενώ μια σύνθετη βασίζεται σε άλλες Web services. Η συμπεριφορά μίας Web service είναι βασικά ένα μερικά διατεταγμένο σύνολο λειτουργιών. Γι’ αυτό, είναι εύκολο ναμοντελοποιηθούν με την χρήση των Petri Νets. Τα Petri Νets (PN) είναι ένα εποπτικός τρόπος αναπαράστασης που εξυπηρετεί την τυποποιημένη περιγραφή της ροής των διαδικασιών σε ένα πολύπλοκο σύστημα. Εμβαθύνουμε στην ανάλυση καταστάσεων (state space analysis) που είναιουσιαστικά το εργαλείο με το οποίο κρίνουμε για την ικανότητα σύνθεσης δύο ή περισσοτέρων υπηρεσιών και αναλύουμε το αλγεβρικό μοντέλο αναπαράστασης των web services. Τέλος παρατίθεται ένα παράδειγμα σύνθεσης τεσσάρων υπηρεσιών σε μια σύνθετη βασιζόμενοι στην επιμέρουςμοντελοποίηση των υπηρεσιών αυτών.