Generación Automática de un Esquema Conceptual OO a Partir de un Modelo Conceptual de Flujo de Traba

Hugo Estrada E., Alicia Martínez R., Oscar Pastor L., Javier Ortiz H., Octavio A. Ríos T. 1 Universidad Politécnica de Valencia, Departamento de Sistemas Informáticos y Computación, Valencia, España, Email: { hestrada,opastor, alimartin} @dsic.upv.es 2 Centro Nacional de Investigación y Desarrollo Tecnológico, Departamento de Ciencias Computacionales Morelos, México, Email: { hestrada, ortiz} @cenidet.edu.mx 3 Instituto Tecnológico de Zacatepec, Departamento de Ciencias Computacionales Morelos, México, 4 Instituto Tecnológico de Tuxtla Gutiérrez 1080 Tuxtla Gutiérrez, Chiapas. Email:oarios@hotmail .com

[1]  Gunter Saake,et al.  Object-Oriented Design of Information Systems: TROLL Language Features , 1993, CISM - Advances in Database Systems.

[2]  John Mylopoulos,et al.  On formal requirements modeling languages: RML revisited , 1994, Proceedings of 16th International Conference on Software Engineering.

[3]  Ivar Jacobson,et al.  The object advantage - business process reengineering with object technology , 1994 .

[4]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[5]  J.C.S. do Prado Leite,et al.  Business rules as organizational policies , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

[6]  Cristina Sernadas,et al.  Object Specification Logic , 1995, J. Log. Comput..

[7]  John Mylopoulos,et al.  An actor dependency model of organizational work: with application to business process reengineering , 1993, COCS '93.

[8]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[9]  Martin S. Feather,et al.  Language support for the specification and development of composite systems , 1987, TOPL.

[10]  Patricio Orlando Letelier Torres.  Animación automática de especificaciones utilizando programación lógica concurrente , 1999 .

[11]  Eric Dubois,et al.  On the use of a formal RE language-the generalized railroad crossing problem , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[12]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..