Títol: Methodological integration of Communication Analysis into a model-driven software development framework
Autor: Sergio España Cubillo
Directors: Óscar Pastor López y Arturo González del Río Rams
Resum:
És àmpliament reconegut que el desenvolupament de tecnologies de la informació i la comunicació comporta nombrosos riscos. A pesar dels avanços en l'enginyeria del programari, gran part dels projectes de desenvolupament de programari fracassen a satisfer les necessitats dels clients, s'excedeixen en temps o sobrepassen el pressupost. La pràctica inadequada de l’enginyeria de requisits destaca entre els factors que influeixen en aquest fracàs. D’una altra banda, el desenvolupament dirigit per models és un paradigma relativament recent amb el potencial d'alleujar alguns dels problemes recurrents del desenvolupament de programari. Proporciona diverses capes de modelatge que permeten definir vistes del sistema en construcció amb diferents nivells d'abstracció i es recolza en transformacions de models que faciliten la transició d'una capa a l'altra. En qualsevol cas, segueix sent un repte d'investigació obert com integrar de manera efectiva l'enginyeria de requisits en el desenvolupament dirigit per models. Aquesta tesi integra l'Anàlisi de Comunicacions, un mètode de modelatge de processos de negoci i enginyeria de requisits orientat a comunicacions, i OO Method, un mètode de desenvolupament de programari dirigit per models que proveeix generació automàtica de codi a partir de models conceptuals. En primer lloc, proporcionem una especificació detallada de l'Anàlisi de Comunicacions amb a la intenció de facilitar la posterior integració; entre altres millores al mètode, fonamentem el mètode en un conjunt de definicions de conceptes basades en una ontologia de referència, creem un metamodel per als llenguatges de modelatge inclosos en el mètode i proveïm d'eines per a suportar la creació dels models de requisits. En segon lloc, duem a terme la integració proporcionant una tècnica per a derivar sistemàticament models conceptuals de OO-Method a partir de models de requisits d'Anàlisi de Comunicacions. La tècnica de derivació s'ofereix en dos formats: un conjunt de regles de derivació per a ser aplicades manualment per un analista humà i una transformació de models implementada en ATL que automatitza aquesta tasca. Les propostes descrites en aquesta tesi s'han validat de diverses maneres, abastant des d'avaluacions teòriques com l'anàlisi ontològica fins a avaluacions empíriques com els experiments controlats. Els resultats demostren els beneficis de l'Anàlisi de Comunicacions i l'èxit de la seua integració amb OO-Method. Evidentment, existeixen nombrosos aspectes millorables que abordarem en treballs futurs, però el resultat ha complit els objectius d'investigació i enginyeria inicials.