Grammar Inference Technology Applications in Software Engineering

H μέθοδος Συμπερασμού Γραμματικών (Grammar Inference - GI) είναι η διαδικασία εκμάθησης μιας γλώσσας από παραδείγματα, είτε θετικά (δηλαδή, τα πρότυπα να πρέπει να αναγνωρίζονται από τη γραμματική) και / ή αρνητικά (δηλαδή, τα πρότυπα να μην πρέπει να αναγνωρίζονται από τη γραμματική). Οι γλώσσες ειδικού πεδίου είναι μικρές γλώσσες συχνά σχεδιασμένες από εμπειρογνώμονες που ανήκουν στο συγκεκριμένου τομέα (π.χ., αυτοκινητοβιομηχανία, αεροναυπηγική, κλπ), αντί να είναι σχεδιασμένες από γλωσσικούς μηχανικούς. Οι ειδικοί των πεδίων μπορεί να μην είναι σε θέση να υλοποιήσουν τη γλώσσα τους, αλλά να μπορούν να γράψουν παραδείγματα της γλώσσας που θέλουν να αναπτύξουν. Η έννοια των μοντέλων ειδικού πεδίου για συστήματα λογισμικού σε ένα συγκεκριμένο πεδίο εφαρμογής, σχετίζεται με τις γλώσσες ειδικού πεδίου. Η διάλεξη επικεντρώνεται σε δύο νέες εφαρμογές της μεθόδου Συμπερασμού Γραμματικών στη μηχανική λογισμικού, δηλαδή την εξειδίκευση συμπερασμού γλωσσών ειδικού πεδίου (inference of domain specific language - DSL) από παραδείγματα προγαμμάτων DSL και την ανάκτηση μετα-μοντέλων (π.χ. model specifications) από περιπτώσεις μοντέλων λογισμικού που έχουν εξελιχθεί ανεξάρτητα από το πρωτότυπο μετα-μοντέλο.