Generació d’operacions de sistema correctes a partir d’un diagrama de classes UML

Abstract

Com s’argumenta a [Oli07] no és possible desenvolupar un sistema d’informació sense haver definit, prèviament, el seu esquema conceptual. Per tant, considerem aquesta tasca com a essencial dins del procés de desenvolupament de qualsevol sistema d’informació. Per a grans sistemes d’informació, la definició d’aquest esquema conceptual és una tasca feixuga i de llarga duració on la probabilitat de cometre errors és directament proporcional a la complexitat i mida de l’esquema conceptual La possibilitat de poder utilitzar certs mètodes per a automatitzar, parcialment, aquesta tasca aporta grans beneficis a qualsevol desenvolupador de sistemes d’informació. En aquest sentit, aquest treball presenta un mètode per a poder generar, automàticament, les operacions del sistema a partir del seu diagrama de classes. Com veurem més endavant, l’esquema de comportament que formaran aquestes operacions serà simple i senzill però, alhora, complirà certes propietats que permetran considerar-lo com a vàlid. Aquest treball també té com a objectiu l’elaboració d’un prototipus que implementi el mètode proposat. Per a poder concretar la resta d’objectius d’aquest treball és necessari la definició de certs conceptes previs. Aquestes definicions es troben al següent capítol del document, per aquesta raó, els objectius concrets d’aquest treball queden definits, a posteriori, al capítol 3. L’article Deriving Operation Contracts from UML Class Diagrams [CaG07] de Jordi Cabot i Cristina Gòmez (directora d’aquest treball), ha servit com a punt de partida i com a document base per l’elaboració d’aquesta tesi de màster. De fet, el nostre treball amplia l’article amb noves aportacions que el complementen. En el capítol 9 es mostra quin és el conjunt concret d’aportacions del nostre treball respecte a aquest article.