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

Trabajos y Artículos (Curso 2003/2004)

IMPORTANTE: ¡Debéis elegir vuestro trabajo ANTES del día 19 de Diciembre!
Puedes encontrar aquí los trabajos del año 2002/2003.
Puedes proponer tu propio trabajo, mándame un mail en ese caso.
Tienes aquí el calendario de exposiciones.

UML

Alumno	Trabajo	Fecha de Exposición	URL Transparencias
David Liras	David Harel, Orna Kupferman. “On Object Systems and Behavioural Inheritance”. IEEE Transactions on Software Engineering, Vol. 28 no. 9, Septiembre 2002.	26 Enero	???
???	Ingeniería de Rendimiento y UML	???	???
???	Play-in Play-Out: Página Web de David Harel. 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.	???	???

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	???	???
???	Meta-Modelling Facility (MMF): Página Web del grupo "Precise UML" (pUML): http://www.cs.york.ac.uk/puml/	???	???
Jaime Martínez	xUML, eXecutable UML: http://www.projtech.com/pubs/index.html	2 Febrero	???
???	vUML: Página web de Iván Porres: http://www.abo.fi/~ivan.porres	???	???
???	Key (Integrated Deductive Software Design): Página web de Key: http://i12www.ira.uka.de/~key/index.htm	???	???

Statecharts

Alumno	Trabajo	Fecha de Exposición	URL Transparencias
Carlos Alfonso Castañeda Marroquín	Uso de Statecharts para la evaluación del Rendimiento: “Analytical and Simulation Solutions for Performance Models Based on Statecharts: a case study on a file server”. Francês, C.R.L y otros. 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001). http://lasdpc.icmc.sc.usp.br/producao	26 Enero	???
Sara Rodríguez Villagordo	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	----	???

Redes de Petri

Alumno	Trabajo	Fecha de Exposición	URL Transparencias
Luis Mora	Redes de Petri para el diseño de Interfaces de Usuario: Philippe Palanque, Remi Bastide. “Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects Formalism”. EUROGRAPHICS workshop on "design, specification and verification of Interactive systems", Carara, Italiy, 8-10 june 1994. Philippe Palanque, Remi Bastide. “Automatic Code Generation from a High-Level Petri Net Specification of Dialogue”.EWHCI'94 (East-West Conference on Human Computer Interaction), St Petersburg, Russia. 2-6 August 1994. Página web de P.Palanque: http://lihs.univ-tlse1.fr/palanque/publications.html	2 Febrero	???
???	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 Software Engineering (IJSEKE), Vol 11, no. 6, Dec. 2001. Pp.: 643-673	???	???
???	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.	???	???
Estanislao Aguayo	Generación de código a partir de Redes de Petri coloreadas: Mortensen, K. “Automatic Code Generation from Coloured Petri Nets for an Access Control System”. 2nd Workshop on the Practical Use of Coloured Petri-Nets and Design/CPN. http://www.daimi.au.dk/CPnets/ACDC	2 Febrero	???
Francisco Pérez	Redes de Petri Coloreadas. Herramienta Poses++.	2 Febrero	???

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: http://www.isis.vanderbilt.edu/Projects/gme/default.html	???	???
J.Alberto Medina	DOME: Página de Honeywell: http://www.htc.honeywell.com/dome/ "Simulation and Visualization Support for User-Defined Formalisms Using Meta-Modeling and Hierarchical Formalism Transformation". Manuel A., Pereira. In CCA01, Special Session on Domain Specific Modeling: Methodology and Applications. "Building and Rapidly Evolving Domain-Specific Tools with DOME". Engstrom, E., Krueger. J. Computer Aided Control System Design 2000.	9 Febrero	???
???	MetaEdit+: Página de MetaCase: http://www.metacase.com http://www.metacase.com/papers/index.html http://www.cs.jyu.fi/~jpt/ME2000/Me16/	???	???
Germán Bajo	Fujaba, Generación de código/Ingeniería inversa: http://www.upb.de/cs/fujaba/	9 Febrero	???
Graciela García	"Refactoring" con gramáticas de grafos: Tom Mens, Serge Demeyer, Dirk Janssens. "Formalising Behaviour Preserving Program Transformations". LNCS 2505, pp.: 286-301. Tom Mens. "Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution". Página web de Tom Mens.	9 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: http://tfs.cs.tu-berlin.de/~genged/	???	???
???	DiaGen (Diagram Editor Generator). Descripción de editores para el modelado, basado en gramáticas de hiper-grafos. http://www2.informatik.uni-erlangen.de/DiaGen/	???	???
???	VIATRA (Visual Automated Transformations for Formal Verification of UML Models ): Página web de Daniel Varrò: http://www.inf.mit.bme.hu/~varro/	???	???
???	Consistency Workbench (Universidad Paderborn)
Victor Apéstigue	GROOVE (Graphs for Object-Oriented Verification)	9 Febrero
???	PROGRES: An integrated environment and very high level language for PROgrammed Graph REwriting Systems. Universidad de Aachen.

Trabajos Prácticos

Puedes encontrar información sobre AToM³ en: http://atom3.cs.mcgill.ca y en http://www.ii.uam.es/~jlara/investigacion/publications.html
Puedes encontrar información sobre Python en: http//www.Python.org
Puedes realizar los trabajos usando AToM3, PROGRES, AGG, GENGED, MetaEdit+, GME o DoME.

Alumno	Trabajo	Fecha Demostración	URL Proyecto
???	Meta-Modelo de Grafos de Eventos (AToM³ ) y Simulador (Especificado en Python/AToM³ 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.	???	???
???	Meta-Modelo de Redes de Petri con Tiempo (AToM3) y Simulador (Especificado en Python/AToM3 o Gramáticas de Grafos). Tiempo en los Arcos.	???	???
???	Meta-Modelo de Redes de Petri coloreadas (AToM3) y Simulador	???	???
???	Implementación de layout de grafos en AToM3.	???	???