Modelado y Simulación para el Diseño de Software, un enfoque multi-paradigma

Trabajos y Artículos

UML

Alumno Trabajo Fecha de Exposición URL Transparencias
Díaz Ley, María David Harel, Orna Kupferman. “On Object Systems and Behavioural Inheritance”. IEEE Transactions on Software Engineering, Vol. 28 no. 9, Septiembre 2002. 27 Enero ???
Vilches Luque, Elvira L. Briand, Labiche, Y. “A UML-Based Approach to System Testing”. Software and Systems Modelling (Septiembre 2002) 1: 10-42. 27 Enero ???
Fernández Ferrero, Mario Ingeniería de Rendimiento:
  • Connie U. Smith. “Performance Engineering Evaluation of Object-Oriented Systems with SPE ED”. Proceedings Computer Performance Evaluation: Modelling Techniques and Tools. LNCS 1245. 
  • Cortellessa, V., Mirandola, R. “PRIMA-UML: a performance validation incremental methodology on early UML diagrams”. Science of Computer Programming 44 (2002) 101-129.
20 Enero ???
??? Live Sequence Charts and Play-in Play-Out:
  • Página Web de David Harel.
  • Damm, W., Harel, D. "LSCs: Breathing Life into Message Sequence Charts". Formal Methods in System Design, 19, 45-80.2001
  • Harel, D., Kluger, H., Marelly, R., Pnueli, A. "Smart Play-Out of Behavioural Requirements". Proc 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD 2002). Noviembre 2002.
  • Harel, D. "From Play-In Scenarios to Code: An Achievable Dream". IEEE Computer 34:1 (Enero 2001), 53-60.
??? ???

Redes de Petri

 
Alumno Trabajo Fecha de Exposición URL Transparencias
Cabo Cubeiro,
Pilar
Redes de Petri para el diseño de Interfaces de Usuario: 27 Enero ???
Martín Barroso, Estefanía Redes de Petri para la verificación de modelos UML:
  • Luciano Baresi, Mauro Pezzè. “Improving UML with Petri-Nets”. ENTCS 44 (4) 2001.
  • Shaldana, J., Shatz, M., Hu, Z. “Formalization of Object Behaviour and Interactions from UML models”. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol 11, no. 6, Dec. 2001. Pp.: 643-673
27 Enero ???
Tenés Carrera, Mario Redes de Petri con tiempo para la evaluación del rendimiento de sistemas:
  • Zimmerman, Kühnel, Hommel. “A Modelling and Analysis Method for Manufacturing Systems Based on Petri-Nets”. Proc. Computational Engineering in Systems Applications (CESA’98), pp.: 276-281.
  • Zimmermann, A., Hommel, G. “Modelling and Evaluation of Manufacturing Systems Using Dedicated Petri Nets”. International Journal of Advanced Manufacturing Technology 15 (1999) pp.: 132-138.
3 Febrero ???
Franco, María Lucia Generación de código a partir de Redes de Petri coloreadas: 3 Febrero ???
Chagoyen, Mónica Redes de Petri Estocásticas y su aplicación en Bilogía Molecular: 3 Febrero ???
Aparicio Castrillo, Samuel Redes de Petri Coloreadas para el diseño de protocolos de red 3 Febrero ???
Latorre Camino, Roberto Redes de Petri vs. Redes Neuronales: 3 Febrero

Statecharts

Alumno Trabajo Fecha de Exposición URL Transparencias
David Lara Uso de Statecharts para la evaluación del Rendimiento: 10 Febrero ???
García Blázquez, Eduardo Especificación de Interfaces de Usuario:
  • Carr, D. "Interaction Object Graphs: An Executable Graphical Notation for Specifying User Interfaces". In Formal Methods for Computer-Human Interaction. Palanque and Paterno editors. pp: 141-161.
  • http://www.sm.luth.se/~david/#WidgetSpec
10 Febrero ???

DEVS

Alumno Trabajo Fecha de Exposición URL Transparencias
Cruz Echeandía, Marina de la Cell-DEVS, DEVS & Automatas Celulares: 10 Febrero ???

Formalización de la semántica de UML / Verificación de UML

Alumno Trabajo Fecha de Exposición URL Transparencias
??? Action Semantics for UML:
  • Gerson Sunyé, François Pennaneac'h, Wai-Ming Ho, Alain Le Guennec, and Jean-Marc Jézéquel. "Using UML Action Semantics for executable modeling and beyond". In Klaus R. Dittrich, Andreas Geppert, and Moira C. Norrie, editors,     Advanced Information Systems Engineering CAiSE 2001, volume 2068 of LNCS, pages 433--447, Interlaken, Switzerland, June 2001. Springer.
  • http://www.irisa.fr/triskell/
  • http://www.kc.com/as_site/home.html
??? ???
Leal, Cristina Meta-Modelling Facility (MMF): 10 Febrero ???
Pérez Marín, Diana xUML, eXecutable UML: 10 Febrero ???
??? vUML: ??? ???
??? Key (Integrated Deductive Software Design): ??? ???

Meta-Modelado / Lenguajes Visuales / Gramáticas de Grafos / Transformación de Modelos

Alumno Trabajo Fecha de Exposición URL Transparencias
??? GME, "Generic Modelling Environment" de la Universidad de Vanderbilt. Herramienta para crear entornos de modelado especializados: ??? ???
David Phares Fujaba, Generación de código/Ingeniería inversa: 10 Febrero ???
Alvaro Sánchez "Refactoring" con gramáticas de grafos: 3 Febrero ???
??? GenGed (Generation of Graphical Environments for Design). Descripción de lenguajes de modelado, generación de editores gráficos. Basado en gramáticas de grafos y en la herramienta AGG: ??? ???
??? DiaGen (Diagram Editor Generator). Descripción de editores para el modelado, basado en gramáticas de hiper-grafos. ??? ???
??? VIATRA (Visual Automated Transformations for Formal Verification of UML
     Models ):
??? ???

Trabajos Prácticos

Alumno Trabajo Fecha Demostración URL Proyecto
Guerra Sánchez, Esther
  • Meta-Modelo de Diagramas de Actividad (en AToM3 ), conversión a redes de Petri mediante una gramática de grafos.
  • Meta-Modelo de Diagramas de Secuencia (en AToM3 ), conversión a redes de Petri mediante una gramática de grafos.
???
  • Diagramas de Actividad.
  • Diagramas de Secuencia.
  • Riolobos, Ricardo Meta-Modelo de Grafos de Eventos (AToM3 ) y Simulador (Especificado en Python/AToM3  o Gramáticas de Grafos). ???
    ??? Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en los Tokens. ??? ???
    Serrano Drozdowskyj, Pedro Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en los Estados (TPPN). ???
    ??? Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en los Arcos. ??? ???
    Wegmann, Raul Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en las Transiciones (TTPN) ???
    López, Jaime Cálculo del grafo de alcanzabilidad para una red de Petri B&W (AToM3, especificado en Python o Gramáticas de Grafos). ???
    ??? Meta-Modelo de un Perceptrón Multicapa (AToM3), backpropagation (Python o Gramática de Grafos), cálculo de la salida (Python o Gramática de Grafos). ??? ???
    Dotú, Iván Meta-Modelo de CSP (Constraint Satisfaction Problem) y algoritmos de resolución. ???