Este Trabajo Fin de Grado implementa un mecanismo para analizar rendimiento en fases tempranas en el desarrollo software mediante técnicas de Ingeniería de Prestaciones Software (en inglés, SPE, Software Performance Engineering). Este tipo de desarrollo software se centra en el análisis de comportamiento dinámico de los sistemas software para obtener datos de su rendimiento. Esto se hace muy difícil con el uso generalizado del estándar UML (Unified Modelling Language) propuesto por OMG (Object Management Group). UML trata de estandarizar los diagramas del desarrollo software. Estos diagramas permiten un nivel de abstracción que proporciona una herramienta perfecta para el diseño de software. Sin embargo, estos diagramas son semi formales. Los diagramas semiformales son aquellos que nos permiten representar el software de forma más semejante al código, pero conserva un nivel de abstracción suficiente como para ser entendidos con facilidad tanto por personal cualificado como no cualificado. Estos diagramas por tanto están pensados para facilitar la comprensión y no tanto como para usarlos de forma activa en un análisis de rendimiento. Por esa razón, se han propuesto perfiles UML, como MARTE, que permiten añadir a estos diagramas información que posibilitan el análisis de rendimiento. En el caso de MARTE, proporciona unas estructuras de datos sobre el funcionamiento útiles para los análisis de prestaciones. A pesar de ello, la limitación que tenemos con UML y un perfil como MARTE unidos es que, por mucho que permitan la representación de parámetros para la mejor visualización y representación del diseño, no permiten hacer un análisis automático. Por ello, este TFG trata de cómo utilizar los diagramas UML, tan comúnmente utilizados hoy en día, para poder hacer un análisis de rendimiento que siente las bases de un diseño más eficiente desde una fase temprana del desarrollo. Para lograr esto, se harán uso de las propiedades de las SPN (Stochastic Petri Nets). Este tipo particular de grafos dirigidos permite representar sistemas temporizados ya que son un caso particular de las cadenas de Márkov. Esta característica hace ideales a las SPN para representar sistemas software, ya sean distribuidos, paralelos o concurrentes. Esta formalización, por tanto, aparte de permitirnos representar un sistema software, nos permite además analizar su comportamiento dinámico. Por ello, para hacer un análisis de rendimiento de un diagrama UML se necesita transformarlo a una red de Petri. Este TFG trata uno de los diagramas dinámicos más utilizados que es el diagrama de secuencia. Estos diagramas sirven para representar las comunicaciones entre los distintos módulos del sistema a lo largo del tiempo. Por tanto, es muy útil el análisis de un diagrama de secuencia para conocer el comportamiento dinámico de un sistema. Por último, una herramienta muy extendida para el desarrollo software es Eclipse, por ello, en este TFG se muestra el desarrollo de un plugin para Eclipse que analiza el rendimiento de los diagramas de secuencia por medio de una transformación a redes Petri.