CS Colloquium Series @ UCY

Department of Computer Science - University of Cyprus

The Department of Computer Science at the University of Cyprus holds research colloquiums and social hours approximately once weekly. All university students, faculty, and staff are invited to attend. Notifications about new and upcoming events are automatically disseminated to a variety of institutional lists.
If you don't receive these notifications, but want to get informed about upcoming colloquium announcements, you can do the following:
mail List rss RSS Directions Directions

Colloquium Coordinator: Demetris Zeinalipour

Colloquium: ASEME - A Model-Driven Agent-Oriented Software Engineering Methodology, Dr. Nikolaos Spanoudakis (Technical University of Crete, Greece), Wednesday, May 28, 2014, 11:00-12:00 EET.


The Department of Computer Science at the University of Cyprus cordially invites you to the Colloquium entitled:

ASEME - A Model-Driven Agent-Oriented Software Engineering Methodology

 

Speaker: Dr. Nikolaos Spanoudakis
Affiliation: Technical University of Crete, Greece
Category: Colloquium
Location: Room 148, Faculty of Pure and Applied Sciences (FST-01), 1 University Avenue, 2109 Nicosia, Cyprus (directions)
Date: Wednesday, May 28, 2014
Time: 11:00-12:00 EET
Host: Antonis Kakas (antonis-AT-cs.ucy.ac.cy)
URL: https://www.cs.ucy.ac.cy/colloquium/index.php?speaker=cs.ucy.2014.spanoudakis

Abstract:
Το σεμινάριο αυτό παρουσιάζει από τη μια πλευρά την Γλώσσα Μοντελοποίησης Πρακτόρων (Agent Modeling Language - AMOLA) για τη μοντελοποίηση Συστημάτων Πολλαπλών Πρακτόρων (Multi-Agent Systems - MAS) και από την άλλη πλευρά την Μεθοδολογία Ανάπτυξης Πρακτοροστραφών Συστημάτων (Agent Systems Engineering Methodology - ASEME). Η AMOLA παρέχει το συντακτικό και την σημασιολογία για τη δημιουργία μοντέλων πολυπρακτορικών συστημάτων που καλύπτουν τις φάσεις ανάλυσης και σχεδιασμού μιας διαδικασίας ανάπτυξης λογισμικού. Υποστηρίζει μια τμηματική προσέγγιση στον σχεδιασμό του πράκτορα και εισάγει τις έννοιες του ενδοπρακτορικού και διαπρακτορικού ελέγχου (intra-and inter-agent control). Η πρώτη ορίζει τη συμπεριφορά του πράκτορα με το συντονισμό των διαφόρων τμημάτων που ορίζουν τις ικανότητές του, ενώ η δεύτερη καθορίζει τα πρωτόκολλα που διέπουν το συντονισμό της κοινωνίας των πρακτόρων. Η φάση της ανάλυσης βασίζεται στις έννοιες της ικανότητας και της λειτουργικότητας. Η AMOLA ασχολείται τόσο με την ατομική όσο και με την κοινωνική πτυχή των πρακτόρων, επιτρέποντας στα πρωτόκολλα και στις ικανότητες να ενσωματωθούν στη φάση του σχεδιασμού. Αυτή είναι η πρώτη πρωτοτυπία αυτής της εργασίας, το γεγονός ότι το μοντέλο διαπρακτορικού ελέγχου ορίζεται με τον ίδιο φορμαλισμό με το μοντέλο ενδοπρακτορικού ελέγχου, επιτρέποντας έτσι την ενσωμάτωση του πρώτου στο δεύτερο, μετατρέποντας την συμμετοχή του πράκτορα σε κάποιο πρωτόκολλο σε ικανότητα του πράκτορα. Η ASEME εφαρμόζει μια οδηγούμενη από μοντέλα διαδικασία ανάπτυξης συστημάτων (model-driven engineering), η οποία προβλέπει ότι τα μοντέλα της προηγούμενης φάσης ανάπτυξης μετατρέπονται στα μοντέλα της επόμενης φάσης. Αυτή είναι η δεύτερη πρωτοτυπία αυτής της δουλειάς, το γεγονός ότι τα διαφορετικά μοντέλα δημιουργούνται για κάθε φάση της ανάπτυξης και η μετάβαση από το ένα στάδιο στο άλλο υποβοηθείται από εργαλεία αυτόματης μετατροπής μοντέλων. Aυτή η μετατροπή μπορεί να είναι από μοντέλο σε μοντέλο (Model to Model - M2M), από κείμενο σε μοντέλο (Text to Model - Τ2Μ) και από μοντέλο σε κείμενο (Model to Text - M2T), ενώ μια σειρά τέτοιων μετασχηματισμών οδηγούν από την καταγραφή των απαιτήσεων στο τελικό πρόγραμμα υπολογιστή. Το ανεξάρτητο πλατφόρμας μοντέλο (Platform Independent Model - PIM) που είναι η έξοδος από τη φάση του σχεδιασμού της ASEME είναι ένα διάγραμμα καταστάσεων (statechart) που μπορεί να υλοποιηθεί σε διάφορες πλατφόρμες που χρησιμοποιούν υπάρχοντα εργαλεία CASE και σε μια πρακτοροστραφή πλατφόρμα, την Java Agent Development Framework (JADE). Η ASEME και AMOLA έχουν χρησιμοποιηθεί για την ανάπτυξη πληροφοριακών συστημάτων και για την ανάπτυξη συμπεριφοράς ρομπότ για τον διαγωνισμό RoboCup.

Short Bio:
Ο Νίκος Σπανουδάκης έχει κάνει το διδακτορικό του στον χώρο της Επιστήμης των Υπολογιστών στο Πανεπιστήμιο Paris Descartes (Γαλλία). Έχει Μεταπτυχιακό Δίπλωμα Ειδίκευσης στην Οργάνωση και Διοίκηση από το Πολυτεχνείο Κρήτης (2001) και Δίπλωμα Μηχανικού Ηλεκτρονικών Υπολογιστών και Πληροφορικής από το Πανεπιστήμιο Πατρών (1997). Τα ερευνητικά του ενδιαφέροντα εστιάζονται στο χώρο της τεχνολογίας πρακτόρων (agent technology), της μηχανικής λογισμικού (software engineering) και σε εφαρμογές της τεχνητής νοημοσύνης. Κατέχει θέση ΕΕΔΙΠ ΙΙ στο Γενικό Τμήμα του Πολυτεχνείου Κρήτης και στο παρελθόν έχει εργαστεί ως τεχνικός διευθυντής και διευθυντής ερευνητικών έργων πληροφορικής, ως σύμβουλος επιχειρήσεων σε θέματα πληροφορικής και ως προγραμματιστής-αναλυτής συστημάτων. Είναι μέλος της IEEE, της ACM, της Ελληνικής Εταιρίας Τεχνητής Νοημοσύνης (ΕΕΤΝ), του Τεχνικού Επιμελητηρίου Ελλάδας (ΤΕΕ). Περισσότερα στο http://users.isc.tuc.gr/~nispanoudakis

  Web: https://www.cs.ucy.ac.cy/colloquium/
  Mailing List: https://listserv.cs.ucy.ac.cy/mailman/listinfo/cs-colloquium
  RSS: https://www.cs.ucy.ac.cy/colloquium/rss.xml
  Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.2014.spanoudakis.ics

Sponsor: The CS Colloquium Series is supported by a generous donation from Microsoft