The e-Age

XJML 1.0 lanzado/XJML 1.0 released

2012-01-02T18:39:00.001-08:00

Español

¡Hola a todos! Primero que nada, ¡les deseo un Feliz Año Nuevo 2012! Ahora bien, es un placer para mí, y estoy muy feliz de presentarles el primer lanzamiento de XJML, es decir XJML 1.0. XJML es la arquitectura de Verificación y Validación resultante de mi tesis de maestría titulada "Verificación y validación modular externa de Sistemas Orientados a Objetos empleando Diseño por Contrato".

La X en XJML es por XML (es decir, podemos escribir contratos para las clases Java que deseemos verificar) y la JML es el acrónimo para Java Modeling Language, el lenguaje subyacente y soportado por XJML.

¡Pero basta de hablar! Puede acceder todos los recursos de XJML (código fuente, librerías, documentación, tesis, etc.) a través de SourceForge: https://sourceforge.net/p/xjml/.

Los desarrolladores que deseen contribuir con el proyecto XJML pueden acceder a través de SVN: https://xjml.svn.sourceforge.net/svnroot/xjml/ or https://sourceforge.net/p/xjml/code/

Por último, pero no menos importante, puede encontrar en https://sourceforge.net/p/xjml/tickets/ algunas tareas con las que nos puede ayudar a mejorar XJML.

Esperamos sus opiniones sobre el proyecto, aportaciones, dudas, comentarios, críticas constructivas, todo aquello que persiga el objetivo de aportar conocimiento en esta área nos será valioso.

English

Hi everybody! First at all, I wish you a Happy New Year 2012! Now, is a pleasure for me, and I'm so glad to introduce you the first release of XJML, I mean XJML 1.0. XJML is the Verification and Validation architecture resulting from my master thesis called "Verification and validation modular external for Object Oriented Systems using Design By Contract".

The X in XJML is for XML (so, we can write contracts for the Java classes which want to verify) and the JML is the acronym for Java Modeling Language, the underlying language and supported by XJML.

Enough talk! You can access all the XJML resources (source code, libraries, documentation, thesis, etc.) through SourceForge: https://sourceforge.net/p/xjml/.

The developers who want contribute with the XJML project can access through SVN: https://xjml.svn.sourceforge.net/svnroot/xjml/ or https://sourceforge.net/p/xjml/code/

Last but not least, you can find in https://sourceforge.net/p/xjml/tickets/ tickets describing some tasks where you can help us to improve XJML.

We welcome your views on the project, contributions, questions, comments, constructive criticism, all that work towards the goal of providing knowledge in this area it will be valuable.

The way of the master...

2011-11-15T00:59:00.000-08:00

Español

El título de este post es en honor a mi colega y amigo Genaro Alfonso, quien me imagino que usó tal título para su blogger haciendo alusión al camino del maestro, este camino que iniciamos de la Maestría en Sistemas Computacionales, en nuestra orgullosa y siempre amada División Académica de Informática y Sistemas, de la Universidad Juárez Autónoma de Tabasco. . .

Pero bueno, sin más, comparto un poco con ustedes (si es que hay alguien que me lee) sobre el área en la que estoy investigando. Mi tesis lleva por nombre "Verificación y validación modular externa de sistemas orientados a objetos empleando Diseño por Contrato. Caso: Comsión Estatal de Derechos Humanos" y claro, el área es Verificación y validación de sistemas, de la especialidad Ingeniería de Software.

En posteriores entradas les platicaré un poco más sobre lo que estoy proponiendo pues no me gustaría adelantar nada hasta no tener TODO lo más estable posible, de manera que no se "muevan" los componentes que estoy desarrollando y la propuesta y resultados están acordes con mis objetivos de investigación. Sólo compartiré un breve contexto de qué estoy usando y les platicaré un poco sobre la parte experimental y algunos conceptos del área de V&V.

Estoy trabajando con JML, acrónimo de Java Modeling Language el cual es un lenguaje para la especificación de interfaces de comportamiento que puede ser usado para especificar el comportamiento de módulos Java. Combina la técnica de Diseño por Contrato del lenguaje Eiffel y la especificación basada en modelos de la familia de lenguajes de especificación Larch, con algunos elementos del cálculo de refinamiento.

Hasta el momento llevo 80 experimentos realizados, de los cuales:

40 sirvieron para evaluar resultados de la técnica de verificación conocida como Runtime Assertion Checking (RAC).

RAC es una técnica basada en compilación para traducir especificaciones a bytecode de verificación en tiempo de ejecución. A diferencia de los verificadores estáticos (descritos en el siguiente párrafo) los cuales verifican propiedades del programa en tiempo de compilación, JML RAC permite la verificación dinámica mediante la generación de bytecode que verifica que las especificaciones se cumplan durante la ejecución del programa. En el momento en el que una aserción falle, el código generado por JML RAC genera un error en tiempo de ejecución.

En pocas palabras, RAC verifica código en tiempo de ejecución, requiriendo así un punto de ejecución del programa a verificar. Por ejemplo, en una clase Java, tradicionalmente el método public static void main(String[]).

40 fueron utilizados para estudiar el comportamiento y resultados de la técnica de verificación conocida como Extended Static Checking (ESC).

ESC se encarga de la verificación estática en tiempo de compilación de las aserciones expresadas en XJML. Una diferencia significativa entre ESC/Java y RAC, es que el primero verifica la clase sin requerir un punto de ejecución como sucede con RAC.

40 se usarán en el estudio de Full Static Program Verification (FSPV).

FSPV es una técnica de verificación que al igual que ESC emplea verificador de teoremas (theorem prover). ESC emplea, de manera predeterminada Simplify, mientras que FSPV a través de Proof General Kit usa Isabelle/HOL. FSPV es similar en comportamiento a ESC, en el sentido de no requerir un punto de ejecución, vaya, es también una verificación estática, que sin embargo detecta más errores en los módulos de un sistema (ver imagen).

Y bla, bla, bla. . . En próximas entradas, primeramente Dios (jajaja, el otro día estaba pensando: "se supone que soy Agnóstico y sin embargo, creo en Dios, pero bueno, religión X, política X") espero poder compartirles más sobre esto, si es que a alguien le interesa :)

Have a good day. 04:17:10 AM, Martes 15, noviembre 2011 CST.

¿En serio?/Really?

2011-08-12T14:31:00.000-07:00

Español

El día de hoy encontré un blog interesante, el blog de Tecnología de Bertrand Meyer y me agrada mucho lo que he leído en sus dos primeros posts: "Nastiness in computer science" y en "All Bugs Great and Small".

Me recuerdan una entrevista que me hicieron hace como dos años y medio donde por supuesto escuché algo así como: "no escuché nada que me sorprenda" y la incompetencia y arrogancia de algunos quienes estamos en ésta disciplina.

Y finalmente, es agradable saber de las experiencias de otros, y en este contexto no me quedó nada más que reírme de sorpresa al leer las razones por las cuales se rechazó un artículo, por allá en 1987 cuando el comité revisor se basó en dos puntos fuertes para su rechazo:

Pienso que el tiempo le demostrará que la herencia (sección 1.5.3) es una terrible idea.

Los sistemas que hacen recolección automática de basura (garbage collection) y le evitan así al diseñador de realizar esto, no son buenos sistemas que refuercen industrialmente la ingeniería de software.

Esto me da un poco más de tranquilidad, el saber que no nada más yo he pasado por fuertes críticas. Críticas que muchas veces son duras y más si vienen de una figura muy respetada e imagen exterior de alguna organización, que cuando nos da su punto de vista sobre nuestras ideas parece ser que nos dejan en la lona, después de todo es agradable imaginar que el paso del tiempo les dejará ver que él/ella estaba equivocado y que aquella persona de la que dudaron, después de todo tenía razón.

¿Hacía dónde vamos en nuestra disciplina de estudio?

PD = Pendiente traducción al inglés/English translation pending

IBM to join OpenJDK

2010-11-14T10:36:00.000-08:00

"There’s not a moment to lose!", the words which said Mark Reinhold in his blog. So, here is the note, taked from
http://blogs.sun.com/mr/entry/ibm_to_join_openjdk

"I’m very pleased that IBM and Oracle are going to work more closely together, and that we’re going to do so in the OpenJDK Community. IBM engineers will soon be working directly alongside Oracle engineers, as well as many other contributors, on the Java SE Platform reference implementation—starting with JDK 7.

I expect IBM’s engineers to contribute primarily to the class libraries, working with the rest of us toward a common source base for use atop multiple Java virtual machines. We each have signiﬁcant ongoing investments in our respective JVMs; that’s where most of the enterprise-level feature differentiation between our respective products is found, and it makes sense for that to continue. Focusing our efforts on a single source base for the class libraries will accelerate the overall rate of innovation in the JDK, improve quality and performance, and enhance compatibility across all implementations.

Our tighter collaboration will be evident not just in OpenJDK but also in the Java Community Process. IBM has endorsed Oracle’s proposal for Java SE 7 and Java SE 8, which already has strong support from across the community. We’ll also join forces to enhance the Java Community Process so that it remains the primary standards body for Java speciﬁcations.

This is excellent news, for the Java SE Platform and for OpenJDK. I’ve gotten to know many of IBM’s top Java engineers over the years, and I now look forward to working more closely with them." - Mark Reinhold

Una entrevista

2010-11-03T01:25:00.000-07:00

Hace unos días, alguien me hizo unas preguntas sobre el proceso de desarrollo de un software. En este contexto, hubo una pregunta que me llamó la atención, fue esta: ¿hay algún cambio después o durante la fase de desarrollo? (Creo que la pregunta se refiere sobre un cambio en las fases de análisis y/o diseño cuando estamos en la etapa de desarrollo, entonces, la pregunta sería más precisa de la siguiente manera: ¿durante la etapa de desarrollo, puede haber algún cambio o modificación en los productos generados en las etapas de análisis y/o diseño?)

En mi humilde opinión, DESPUéS de la fase de desarrollo no debería existir ningún cambio, dado que lo siguiente a realizar es la fase de despliegue (deployment), y esta fase nos conduce a un ambiente de producción, donde el cliente puede probar y trabajar con el producto. Pero, ¿qué hay sobre algún cambio DURANTE la fase de desarrollo? He aquí mi opinión:

El desarrollo de un producto de software NO DEBE verse por etapas excluyentes, por ello la relevancia e importancia de las metodologías iterativas. Es decir, en la etapa o fase de desarrollo puede existir la necesidad de iterar hacia la etapa de análisis y/o diseño a fin de atender nuevas problemáticas durante el desarrollo del sistema.

En lo personal, no creo en un análisis y diseño perfecto, y esto es una crítica respecto a la ingeniería de software en comparación con otras ingenierías. Es decir, es muy probable que en casi todos los proyectos de software surjan cambios a medida que se avanza. No obstante, no todo está perdido. Si se sincronizan diagramas con código se puede obtener una conversión fiel de los diagramas a código, y si es necesario realizar algunas modificaciones a nivel lógico (programación) la sincronización realizada nos conducirá a la representación fiel del código a diagramas. En resumen, me refiero al Desarrollo Conducido por Modelos y la Ingeniería Inversa. Espero poder platicarle un poco más sobre estos temas en los próximos posts.

An advice/Un consejo

2010-11-03T01:05:00.000-07:00

English

In response to a comment from my colleague and friend, Jose Alberto L. Hdez. I will try to post in both language: spanish and english. But there is a "little" problem (yes, sure, there isn't little problems, I'm being sarcastic): the time, I don't have too much time to post in both language, so if anyone of my collaborators can help me, I will be very happy, and, in soon (I pray to God, life and work give me time) I will make this bigger (migrate the blog, make a forum, and other things), so I look forward to your support, is nice to think that I have at least two or three followers.

But, anyway, whatever, in the next post I will translate my previous post.

Thanks Bob for your advice!

Español

En respuesta a un comentario de un colega y amigo, Jose Alberto L. Hdez. trataré de postear en ambos idiomas: español e inglés. Pero hay un problema “pequeño” (sí, claro, no existen los problemas pequeños, estoy siendo sarcástico): el tiempo, no tengo mucho tiempo para postear en ambos idiomas, así que si alguno de mis colaboradores puede ayudarme, seré muy feliz, y, próximamente (ruego a Dios, la vida y el trabajo me den tiempo) haré esto más grande (migraré el blog, abriré un foro, y otras cosas), así que busco su ayuda y colaboración, es agradable pensar que al menos tengo 2 ó 3 seguidores.

Como sea, en el siguiente post traduciré mi post anterior.

¡Gracias Beto por el consejo!

An interview

2010-11-03T00:07:00.000-07:00

A few days ago someone made me some questions about the software developmente process. In this context, there was a question that caught my attention, was this: is there any change after or during the development phase? (I think that question it points to the phases of analysis and design, then, the question will be more precise in this way: Is there any change for the artifacts built in the analysis/design phase, DURING the development phase?)

In my personal, and self-effacing opinion, AFTER the development phase should not exist any change, because the next thing to do is the deployment phase, and this deployment phase drives us to an production enviroment, where the client can try and work with the product. But, what about DURING the development phase? Here is my thought:

The software development process SHOULD NOT BE like disjoint phases, this is the reason and the main stream in the iteratives approaches/methodologies. I mean, in the development stage/phase we can need iterate to analysis or design stage/phase to address new issues during system development.

Personally, I don't believe in the perfect analysis and design for a software, and this is one of the weakest (perhaps the weaker) point of software engineering. Then, is highly probable that, in almost all software projects we require any change as we progress...

But not everything is a waste of time: synchronizing our diagrams to code we can have a faithfull translation from diagrams to code, and if we require, then make any change in the logic (code) and build again our diagrams. Summarizing, I'm talking about Model Driven Development and Reverse Engineering. I hope I can talk you a little about these topics in the next posts.

What do you think? Any comment would be apreciated. Doubts? Questions?

Acknowledgments (part II)

2010-10-16T22:07:00.000-07:00

Of course my acknowledgments goes too for:

who guide me and and answered my e-mails, my doubts. Thank you so much for your exceptional help, your advices. This has been a great/wonderful experience!

I want to make it clear some things, mainly this: the order in which the names appear is none a rating/classification criteria or to decide who is more important, due to everyone is important and their help, advices, guides too. Coming soon I'll post the advices from Yessenov and Dennis.

Acknowledgments (part I)

2010-10-16T21:11:00.000-07:00

Hereby I want to extend my acknowledgments to profesor Homero Alpuín Jiménez, who support me, guide me, teach me in my master thesis (and too in my master classes). His last contribution was a guide for the mathematical formulations for linked lists, he told me: the linked list's mathematical logic presumably can be derived from the operations push, pop for the stack data structure (finally, it seems a linked list is an stack implementation, something like that -please, somebody correct me if I wrong-).

Really I'm not working with that, is not a goal for my thesis, but is an advice from my profesor of Proyecto Terminal - Terminal Project (I mean the class for the thesis). the Dr. María del Pilar Pozos Parra. So, it's only a little bite of my life!! : s

Mathematical formulations for linked lists

2010-09-25T19:55:00.000-07:00

Hello to everybody! I'm working with my master thesis based on verification and validation external using Design By Contract for Java. Specifically checking JML specifications, so I have one question about JML specifications, any help would be appreciated.

Question

For the case of LinkedList's JML specifications, Does anyone know where can I get the mathematical expressions for these specifications? I've really looked in (just are some, of course I google it!):

"The logic theory machine, a complex information processing system" by Allen Newell and Herbert A. Simon,
"The Art of Computer Programming" by Donald E. Knuth and
"Abstract data types: specifications, implementations, and applications" by Nell Dale and Henry M. Walker.

Specifically looking the mathematical expressions for the methods (e.g. add(int, Object), Object get(int), etc.). I understand that the specifications really are written in JML, but someone wants the specification in mathematical expressions, the arguments are that "mathematical expressions aren't ambiguos" and then can be prove them by formal methods.

Changing my posts to english

2010-09-12T18:13:00.000-07:00

I'm considering change my posts (and my tweets too) to english. Some reasons to do this are:

Open my scope (people from anywhere can read and understand my posts, not only lationamerica)
The lack of comments to my posts (maybe the main reason is the previous one)
Doing this, change the idiom for my posts, I can practice the writing for my article that I have to write to get my master

If anyone has any comment, please write it. Any doubts, or advices will be wellcome.

Apache HTTP Server + Glassfish Open Source Edition v3, vía AJP

2010-08-04T05:09:00.000-07:00

Sí, sé que hay mucha información en San Google, pero resulta que TODOS los foros, blogs, manuales y demás que seguí decían práticamente lo mismo para realizar tal configuración, no obstante seguí las instrucciones, las repasé una y otra vez y ¡nada!

Bueno, sin postear TODO el proceso (pues prácticamente pueden encontrarlo de manera bastante fácil, sólo usen Google o su buscador favorito) sólo les comento y les aconsejo que cuando vean que algo no les da el resultado que desean (en mi caso con el Glassfish, y en general, me imagino que aplica para cualquier servidor), lo que debería ser y después claro de haber repasado una y otra y otra y otra vez, entonces, MODIFIQUEN MANUALMENTE EL ARCHIVO DE CONFIGURACIÓN para agregar las líneas necesarias y NO SE CONFIEN TANTO DE LA INTERFAZ GRÁFICA del servidor (si es que lo hay a disposición), en mi caso fue el Glassfish: prácticamente tuve que re-escribir unas líneas que ya había en ${GLASSFISH_HOME}/domains/domain1/config.xml referente a lo de habilitar el puerto 8009 (AJP) para Glassfish.

En fin, espero algún día poder detallar el proceso completo y cuál exactamente fue el error y cómo lo resolví. Mientras tanto tomen mi consejo pues muchas veces (más bien TODAS las veces) tendremos que lidiar con los interiores de los gigantes para poder entenderlos, mientras tanto, sólo conocemos su exterior que no siempre es la puerta correcta para hacer las cosas.

Por cierto...

2010-08-04T04:48:00.000-07:00

, el título de mi entrada anterior se debe a que he tenido abandonado mi blog y pues quiero volver a postear cosas "nuevas". Por ahí tengo varios "ensayos" realizados en una materia de maestría que me gustaría postear. Pero bueno, si hay alguien que me lee, podrá darse cuenta por mi entrada anterior que estoy limitado de tiempo, con varios problemillas por resolver tanto de la aplicación Web que estamos desarrollando en DAIS como con mi tesis de maestría que con cualquiera de esos dos tengo para entretenerme durante los próximos seis meses…

Pero bueno, ya veremos dijo un ciego, sólo no quiero dejar tan "empolvado" mi blog y que no sea tan visible mi ausencia (digo, por si alguien me lee y nota mi ausencia).

Por mí encantado de postear mis experiencias respecto al desarrollo de apps, configuración de servers, etc., pero poco a poco primero Dios, conforme me vaya liberando un poco más. Tengo ganas de compartir con ustedes cómo resolví algunos problemas sobre TI, como el último que logré vencer: Apache HTTP Server + Glassfish Open Source Edition v3, vía AJP (ver siguiente entrada) por mencionar uno de tantos (y qué tal los conflictos que da VirtualBox cuando sólo se copia y se pega una máquina virtual Debian), en fin, son muchas las cosas que deseo compartir pero poco a poco, conforme me vaya(n) liberando de chamba.

Queriendo regresar por estos rumbos...

2010-08-04T04:33:00.000-07:00

Bueno, también está en mi twitter pero replico aquí para su mejor lectura…

Miércoles 04-Agosto.2010; 3:56 AM: Ja! Se supone que debo de estar buscando la solución al problema que no se "actualiza" la CSS con JSF desde NetBeans desplegado en Glassfish Open Source Edition. Ah, y claro, es JSF + Primefaces 2.0.0 (sí, ya sé, ya está la versión 2.1 de Primefaces pero nada más no me cuadra porque cambió el estilo del menú de REGSE-CEDHTab); eliminé el div que mostraba el banner de la DAIS-UJAT de manera que sólo quedó el de la CEDH (Tabasco) y actualicé la CSS donde actualizó el nuevo banner de la app (el que me pasó el mtro. Chávez).

Al parecer TODO es rollo de una especie de caché que maneja el Glassfish y no "encuentra" la nueva imagen! O parece que primero debe cargarse el servlet de recursos de Primefaces y luego el Faces Servlet! Aún no lo he descubierto, pero cuando lo haga, se los hago saber (por si a algún loco desvelado como yo le interesa) y a eso súmenle que aún no he resuelto el problema de mi tesis de maestría donde no hayo cómo heredar las especificaciones de las LinkedListen JML, para que pueda probar distintas implementaciones de LinkedList que es uno de los objetivos de mi tesis para poder así comparar mis resultados con los resultado de Dennis et al. (http://bit.ly/ayOAIV) que es otro de mis objetivos.

Claro, yo manejo otra técnica que la llamo "Verificación Modular Externa", en fin, muchos problemas por resolver, como casi siempre, ya una costumbre! (A veces desearía tener menos problemas de éstos tipos y más problemas existenciales... digo, al menos los problemas existenciales de amor, la vida, la muerte, el dolor, etc., etc. no me quitarían tanto el sueño y me...) permitirían llegar temprano a la universidad. ¡Pero no! Bendito Glassfish, JSF, LinkedList, JML, commons-collections, NetBeans... y agréguenle que quiero entrarle a la onda de Ruby, Flex, ah! Y para no desviarme tanto en lo que estoy, algo de JSF: Spring Faces…

En fin con el Internet y quién sabe cómo o qué era lo que estaba buscando (ah sí, un amig@ me envió una invitación para eso de sexy sí o no, o... ¡algo así!) y buscando qué onda, me topé con un par de sitios donde replantean algunas cosas publicadas en dicho sitio de sexyono (!?)Sin más les dejo el link y les recomiendo el blog. ¡Jajajaja! Falso Profeta, un humor más verde/ácido y menos amarillo diría un spot publicitario Ahí les van varios links que les pueden agradar....

http://falsoprofeta.blogspot.com/2010/06/sexy-o-no-7.html

O qué tal este:
http://falsoprofeta.blogspot.com/2010/04/narcos-sin-r-parte-1.html

Uno más: http://falsoprofeta.blogspot.com/2008/09/maana-ahora-s-ahora-s.html

Y para cerrar con broche de oro: http://falsoprofeta.blogspot.com/2008/10/se-descompuso-mi-televisor-y-no-puedo.html

¡En fin! Espero no me llamen la atención mis maestros de DAIS por haberme dado un rato de ocio y tonterías. Regreso con mis problemas...

México, ¿atacado por un terremoto?*

2010-03-08T14:07:00.000-08:00

Prensa Web RNV/Aporrea.- Un reporte preparado por la Flota Rusa del Norte estaría indicando que el sismo que ha devastado a Haití fue el claro resultado de una prueba de la Marina Estadounidense por medio de una de sus "armas de terremotos".

La Flota del Norte ha estado monitoreando los movimientos y las actividades navales Estadounidenses en el Caribe desde 2008 cuando los estadounidenses anunciaron su intención de restablecer la Cuarta Flota que había sido disuelta en 1950, a lo que Rusia respondió un año después con una flota Rusa encabezada por el crucero nuclear "Pedro el Grande", comenzando sus primeros ejercicios en esta región desde finales de la Guerra Fría.

Desde finales de la década de 1970, los Estados Unidos han "avanzado enormemente" el estado de sus armas de terremotos y, según estos informes, ahora emplea dispositivos que usan una tecnología de Pulso, Plasma y Sónico Electromagnético Tesla junto con "bombas de ondas de choque".

El informe compara además la experimentación de la Marina Estadounidense de dos de estas armas de terremotos la semana pasada, cuando la prueba en el Pacífico causó un terremoto de magnitud 6.5 azotando el área alrededor de la ciudad de Eureka, en California sin causar muertes, pero con su prueba en el Caribe que causó ya, la muerte de al menos 140 mil inocentes.

Seguir leyendo >>

3. Se han elaborado un diagrama de sucesión lineal respecto de los terremotos denunciados en que casualmente se produjeron todos a la misma profundidad:

Venezuela el 8 de Enero 2010. Profundidad 10 kms.
Honduras el 11 de Enero 2010. Profundidad 10 kms.
Haití el 12 de Enero 2010. Profundidad 10 kms.

El resto de las réplicas tuvieron profundidades de alrededor de 10 kms.

Luego del terremoto, el Pentágono dijo que el buque hospital USNS Comfort, que se encontraba anclado en Baltimore, comenzó a llamar a su tripulación para partir hacia Haití, aunque podrían transcurrir varios días hasta la llegada del buque. El almirante de la Armada Mike Mullen, jefe de Estado Mayor Conjunto, dijo que el Ejército de Estados Unidos trabajaba preparando la respuesta de emergencia a este desastre.

Fraser, del Comando Sur (SOUTHCOM), dijo que barcos cúter de la Guardia Costera de Estados Unidos y buques de la Armada en la región se enviaron también para ofrecer ayuda aunque tienen suministros de alivio y de helicópteros limitados. El super portaviones USS Carl Vinson será enviado de la base naval de Norfolk, Virginia, con una dotación completa de aviones y helicópteros llegó a Haití a primeras horas de la tarde del 14 de enero, añadió Fraser. Otros grupos adicionales de helicópteros se unirían al Vinson, declaró.

La Agencia de Estados Unidos para el Desarrollo Internacional (USAID), ya operaba en Haití antes del sismo.

El presidente Obama fue informado del terremoto a las 5:52 de la tarde del 12 de enero y solicitó a su personal que se asegure de que los empleados de la embajada estén a salvo y que comiencen los preparativos para proporcionar la ayuda humanitaria que sea necesaria.

De acuerdo al reporte ruso, el Departamento de Estado, USAID y el Comando Sur de los Estados Unidos comenzaron su trabajo de "invasión humanitaria" al enviar al menos 10.000 soldados y contratistas, para controlar, ahora en lugar de la ONU, el territorio haitiano luego del devastador "terremoto experimental".

Tomado de: http://www.temadictos.com/35886961505-estados-unidos-provoca-terremoto-en-haiti

Mis comentarios >>

Algoritmo de fusión de creencias

2010-03-08T14:03:00.000-08:00

Les dejo el algoritmo PSMerge.m* desarrollado en Matlab. competition01.tim* es una instancia del problema de generación de horarios, usada en la International Timetabling Competition.

* Tomado de: http://gennaro-alphonse.blogspot.com/

Asignación de horarios universitarios: un enfoque determinístico

2010-03-02T11:22:00.002-08:00

Les dejo el enlace al artículo "Asignación de Horarios Universitarios: un enfoque determinístico" que presentó como ponencia el L. S. C. Genaro Alfonso Ramón Rodríguez expuesta en el Sexto Congreso Nacional de Informática y Sistemas 2009, llevado a cabo los días 23, 24 y 25 de Diciembre de 2009.

Fusión de creencias

2010-03-02T11:22:00.001-08:00

La fusión de creencias se define como la operación de combinar información contenida en un conjunto de bases de conocimiento o creencias (posiblemente incompatibles entre sí) obtenidas de diferentes fuentes para producir una única base de creencias consistente...

Seguir leyendo >>

Hola de nuevo...

2010-03-02T10:49:00.000-08:00

Hola a todos nuevamente y disculpen el momentáneo abandono pero estamos con trabajo hasta para repartir, pero bueno, no soy quién para contarles ni ustedes me están preguntando, así que a lo que vamos...

En los próximos posts difundiré los trabajos de un colega, quien trabaja con Fusión de creencias.

Mi primer post, FreeNAS

2010-02-10T21:54:00.000-08:00

Antes, quisiera agradecer a mi camarada Darío, por brindarme la oportunidad de aportar un granito de arena a este magnífico Blog. ¡Gracias!, en verdad.

Directito al grano. Quiero hablarles de una pequeña maravilla de la informática. Se trata de FreeNAS.

Sin temor a equivocarme, alguna vez nos ha sucedido que pasamos dias de desvelos en trabajos escolares, o noche tras noche dejamos encendida la pc descargando toda una colección de música y videos, o qué decir de nuestras queridas fotos de nuestros maravillosos años escolares o de viajes familiares, etcétera, y ¡¡saz!! ¡¡¡nuestro Hard Disk se muere!!! Y lo peor de todo ¡¡¡¡No respaldamos a tiempo!!!! (porque la verdad, qué flojera estar respaldando).

Pues aquí está la solución a tantos dolores de cabeza y al engorroso y fastidioso proceso de recuperar nuestros archivos con algún recuperador de datos (que al final de cuentas, no te recuperan ni el 90% de tus archivos borrados en una partición, sin mencionar que la mayoría se corrompen); FreeNAS.

FreeNAS es un pequeño SO, basado en FreeBSD, muy ligero y con una interfaz gráfica entendible. Realmente requiere de recursos miserables (32 mb en Hard Disk para su instalación y 96 mb en RAM, esto es una grosería, jajaja). Lo mejor de todo, es que es libre.

Su principal objetivo es el de reutilizar una PC "obsoleta" y algunos discos duros empolvados para hacer nuestro propio servidor de archivos casero, en el que podamos almacenar todos los archivos que deseemos; así, mantenemos seguros nuestros datos, y mantenemos ligera la PC al no tener almecenados tantos archivos en tu Hard Disk.

Otra ventaja de FreeNAS, es que posee servicios de protocolos como FTP, NFS, CIFS (anteriormente SMB ,que permite la conectividad con Linux y Windows) entre otros servicios.

Como ya había mencionado, los requerimientos son mínimos:

Una PC tarjeta de red y con al menos un disco duro para la instalación del software y el almacenamiento de los datos.
32 Mb en HD
96 Mb en RAM
Unidad de Cd-rom
Un teclado (necesario para la instalación y configuración básica, aunque después, ya no será necesario).
Al menos un HD (se necesita una pequeña partición de al menos 32MB de espacio para la instalación y el resto del disco, junto con un conjunto de discos duros, se utilizará para el almacenamiento de los datos, aunque esto puede ser configurable).

Si quieren obtener detalles técnicos de FreeNAS, consulten la página oficial aquí.
Si te decides por instalar FreeNAS, en esta página detallan perfectamente la instalación.

En un futuro post detallaré paso a paso la instalación, así que, estén pendientes y no duden en comentar.

Arte en blanco y negro

2010-02-09T12:05:00.001-08:00

No puedo dejar pasar la oportunidad de difundir algunas obras de Linda Huber. Simplemente me han dejado sin habla. Habilidad, lápices de grafito y carboncillos, entre otras técnicas son el resultado de sus obras.

Y para los que se pregunten qué tiene de ciencia o computación las imágenes pues qué limitada imaginación.

Ah, y no olviden hacer su pedido para este 14 de Febrero.

Y para los que quieran seguir sus pasos pueden encontrar how to y video tutoriales.

¡Ya estamos Twitteando!

2010-01-18T21:07:00.000-08:00

Síguenos también por http://www.twitter.com/EDario333.

Próximo post: Datawarehouse y data mining, ¡no se lo pierdan!

Datawarehouse & Data mining

2010-01-16T16:29:00.000-08:00

Lo prometido es deuda... Os pongo un trabajo que hemos desarrollado sobre datawarehouse y data mining. Los fuentes del ejemplo los tengo a mi disposición (desarrollado en conjunto con mi colega, el L. S. C. José Lázaro Sánchez Reyes), si les interesa algo sobre BI (Business Intelligence) háganmelo saber y veremos la posibilidad de postear más al respecto, o inclusive, abrir un foro.

Sus comentarios serán bienvenidos y agradezco la espera a los lectores de este blog (si es que los hay) y les informo que estoy evaluando la posibilidad de iniciar un proyecto de web services del cual ya les platicaré detalles...

Sin más, les dejo el enlace al desarrollo de DW y DM: Diseño y desarrollo de datawarehouse y data mining.

The Gamer

2010-01-16T13:25:00.000-08:00

¿Serías un control de juegos?*

Los videojuegos son una de las facetas tecnológicas cuyos cambios se han notado más con el paso del tiempo. Hace aproximadamente veinticinco años, todavía estábamos tirando patadas a oponentes formados por pixeles o corriendo por ahí, tratando de salvar al Mushroom Kingdom de la invasión de los Koopas. Y ¿qué me dices de la PC? Quién no recuerda esos días en los que Wolfenstein 3D se posicionó como el gran favorito del público, enfrentándonos contra nazis en un ambiente que simulaba la tercera dimensión y con efectos de sonido por demás primitivos.

Actualmente las cosas son muy diferentes, las gráficas de los juegos se han convertido en una de las grandes exigencias de los usuarios, lo que resulta en títulos que se asemejan cada vez más a la realidad, por ejemplo, el nivel de detalles mostrado en los personajes de Uncharted 2 es simplemente sorprendente. Y otro elemento que ha evolucionado a lo largo de los años son los mismos controles que utilizamos para jugar; con el paso del tiempo el joystick se transformó en un control plano que cambió el stick por un pad direccional y posteriormente se agregaron la funcionalidad de vibración y los sticks análogos, que permitieron una retroalimentación mucho más completa entre el usuario y el juego.

Evolución de los controles

Leer más >>
Seguir leyendo >>

Claro que Xbox no es el único que está trabajando en la tecnología de reconocimiento de movimiento, Sony anunció, durante el E3 2009, que trabaja en su propia opción. Sin embargo, a diferencia del de Microsoft, el sistema de Sony depende del uso de uno o dos controles cilíndricos llamados Wand, los cuales tienen una especie de esfera luminosa en su extremo superior. Esta esfera puede brillar en una gran gama de colores, y eso le permite ser reconocida por la PlayStation Eye, de manera que puede seguir de manera exacta los movimientos que el usuario realice con su mano (o manos en caso de estar sosteniendo dos Wands). El hecho de que las esferas sean de un tamaño específico, hace que la cámara determine la profundidad del movimiento, ya que entre más alejada esté la esfera, más pequeña se verá. El sistema admitirá hasta cuatro Wands para ser seguidas por la cámara en todo momento, lo cual permitiría que hasta cuatro usuarios transmitan el movimiento de uno de sus brazos a su juego favorito.

Para Nintendo, el pionero de este tipo de tecnología en la actual generación de consolas, la innovación no llegó en la implementación de un control en sí, sino en la mejora del que ya tenían. Durante el E3 2009 se anunció la existencia de un nuevo módulo que se conectaría y trabajaría en conjunto con el Wiimote. Este sistema, llamado Wii Motion Plus (WMP), es una extensión del control de Wii que aumenta el nivel de reconocimiento de movimiento brindado por este. Básicamente, el WMP hace que el Wii precise el desplazamiento rotatorio del control, lo cual le permite distinguir movimientos mucho más complejos. Este nuevo sistema realmente ha conducido a los desarrolladores a crear gameplay con un nivel de retroalimentación en el que un jugador puede mandar con total precisión una bola virtual de tenis a la esquina que decida de la cancha.

En el caso de Natal, Microsoft llevó las cosas al siguiente nivel al crear un sistema que permite al Xbox reconocer el cuerpo del usuario y llevar su movimiento a la pantalla. Todo es gracias a una cámara, un sensor de profundidad y un sistema de micrófonos que trabajan sobre un software, desarrollado especialmente para este sistema, que reconoce captura de movimiento en 3D de cuerpo completo, reconocimiento facial y reconocimiento de voz. Sólo hay que considerar que cuando decimos reconocimiento de voz nos referimos a que brinda localización de fuentes acústicas y supresión del sonido ambiental, lo cual se podría usar para hablar y comunicarse a través de Xbox LIVE sin necesidad de utilizar diadema. Y si te preocupas porque tu casa no es el mejor escenario para grabar o capturar video, debido a tus extrañas decisiones en cuanto a iluminación, puedes dejar de hacerlo, ya que el sensor de profundidad está equipado con un proyector infrarrojo y un sensor CMOS monocromático, lo que lo hace perfecto para detectar movimiento en cualquier condición luminosa.

El uso del Wand te permitirá todo tipo de interacción

Leer último >>

Y aunque todo eso suena increíble, la verdadera magia sucede cuando el software de Natal entra en acción, ya que está basado en cierta tecnología de Inteligencia Artificial, diseñada para aprender por sí misma la manera en la que está constituido el cuerpo humano y la forma en la que puede moverse. Así que lo que Microsoft ha estado haciendo en estos últimos tiempos es sentarse frente al cerebro al cual están enseñando esto y alimentarlo con todo tipo de videos de personas comunes y corrientes en diferentes poses. Este proceso le permite al desarrollador enseñar al software a identificar las rodillas, los codos, las manos, la cara y 44 partes más del cuerpo humano y llevarlo a aprender la manera en la que cada una puede moverse; con ello se crea una base de estadística y probabilidades en cuanto a lo que el cuerpo humano puede o no hacer.

Al final, lo que sucede cuando te paras frente a la cámara de Natal, es que el software mide y juzga la distancia que hay entre los diferentes puntos de tu cuerpo y crea una especie de contorno rudimentario que representa una superficie en 3D; posteriormente, identifica las partes de tu cuerpo, basado en su experiencia con la forma humana y tu comportamiento habitual. Una vez que Natal sabe en donde esta tu rodilla y demás puntos de articulación, busca un esqueleto que se adapte a tu postura y lo sobrepone al contorno ya creado anteriormente, para posteriormente cubrirlo con textura, ropa, cabello y todo lo demás que el juego determine que tienes que ver en pantalla, sólo para volver a hacer esto 29 veces más en el mismo segundo, de manera que tus movimientos sean transmitidos al Xbox y este los use para controlar el juego y la experiencia se mantenga completamente fluida.

Parte del proceso de reconocimiento de Natal

Este software es tan avanzado, que puede seguir los movimientos de hasta cuatro usuarios de manera simultánea, ya que reconoce los movimientos de 48 puntos del cuerpo humano a un frame rate de 30hz e incluso es capaz de determinar y seguir los movimientos de los dedos de una persona, dependiendo de la distancia que tenga con la cámara. Obviamente eso nos permitirá controlar los juegos que estén planeados para trabajar con dicha tecnología solamente con los movimientos de nuestro cuerpo, sin depender de ningún tipo de control adicional, además de abrir las puertas a otro nivel de interactividad. Esto ya ha sido demostrado por LionHead Studios con su proyecto llamado Milo & Kate, en el que se demuestra que un niño virtual puede identificar al usuario y saber si es o no su “amigo”, por reconocimiento facial y de voz, entre muchas otras cosas interesantes. El resultado es tan impresionante, que la revista TIMES puso esta tecnología en el quinto lugar de su lista de Las 50 mejores invenciones de 2009.

A final de cuentas, para saber cuál de estas tecnologías será la que más impactará la industria de los juegos de video, tendremos que esperar a que Sony y Microsoft lancen sus proyectos al mercado, cosa que pasará en algún momento tardío de este año. Sin embargo, tecnológicamente al menos, la opción de Microsoft parece ser la más avanzada actualmente. Jugar sin controles: la última frontera del gamer; quizás el siguiente paso sea sumergirnos de lleno en una experiencia tipo Tron.

Milo & Kate de Lionhead Studios

* Nota tomada de: http://msn.levelup.com/articulos/7669/Serias-un-control-de-juegos/ Por Rex Keeble... Se me hizo interesante ya que soy de la última generación en conocer y jugar con los joystick, esa palanquita del atari; primera generación en conocer el control del nintendo, y quienes hoy en día vivimos una importante revolución tecnológica y científica que no sólo impacta nuestros videojuegos, modos de pensar y vivir, es en sí un cambio total en nuestras vidas, en nuestro mundo globalizado...

Sin comentarios...

2010-01-06T20:12:00.000-08:00

¿El 2010 será un año de recuperación económica? Sin comentarios, opinen...

Calderón asegura que 2010 será el año de la recuperación económica

Durante su mensaje de Año Nuevo.

México, 6 Ene. (Notimex).- El presidente Felipe Calderón afirmó que 2010 será el año de la recuperación económica en México, porque en medio de la tormenta del año pasado hemos salido adelante, hemos mostrado nuestra fuerza.

El mandatario federal señaló lo anterior durante su mensaje de Año Nuevo a los mexicanos transmitido por los medios de comunicación.

Tomado de: http://noticias.prodigy.msn.com/nacional/articulo.aspx?cp-documentid=23205664

Es bueno saber que soy normal

2010-01-02T20:04:00.000-08:00

¡Feliz año nuevo 2010 a todos! Que Dios llene de bendiciones y alegrías sus hogares, obras y a sus seres queridos. Mis mejores deseos...

Y con esto inicio el nuevo año en el blog... Después de todo, es bueno saber que soy normal, esto de acuerdo con un test IQ que he presentado. Digo, después de pensar y pensar porqué a veces no funciono/pienso/actuo como el promedio, es bueno saber que soy normal : ) (bueno, realmente sí tengo algo más, un punto arriba de lo normal, insisto, sólo chequen: http://www.iqtest.dk/main.swf).

Espero sus comentarios sobre sus resultados, o lo que deseen... Muchas gracias a mi amigo Alberto quien me proporcionó el link al test de IQ. Si les interesa más tests de este tipo sólo dejen sus comentarios e iré posteando más.

GNOME como Caso de Estudio de Ingeniería del Software Libre

2009-12-28T06:07:00.000-08:00

El último de la serie: GNOME como Caso de Estudio de Ingeniería del Software Libre [1].

Un interesante artículo que no sólo demuestra el impacto y crecimiento en el desarrollo del software libre, sino también el cómo el desarrollo de un proyecto de escala mundial puede ser exitoso a través de un eficaces y eficientes mecanismos de seguimiento y desarrollo. Fuente de información relevante para los usuarios principiantes del software libre y también para los avanzados.

Referencias

[1] Amor José, J., Robles, G. & González Barahona, J. M. 2004. GNOME como Caso de Estudio de Ingeniería del Software Libre.

Modelos de Evaluación y Mejora de Procesos: Análisis Comparativo

2009-12-28T05:44:00.000-08:00

En esta ocasión en Modelos de Evaluación y Mejora de Procesos: Análisis Comparativo [1] los autores del mismo, analizan tres modelos de evaluación y mejora de Procesos, a saber: ISO 9001 [2], CMMI [3] e ISO 15504 [4]. Para cada uno de los modelos analizados, los autores presentan: evolución del modelo, estructura del modelo y sus puntos fuertes y débiles. Posteriormente, hacen una comparación entre los modelos analizados, y destacan algunos aspectos comunes entre ellos, para finalmente, proporcionar sus conclusiones y trabajos futuros.

Referencias

[1] de la Villa, M., Ruiz, M. y Ramos, I. 2004. Modelos de Evaluación y Mejora de Procesos: Análisis Comparativo.

[2] ISO 9001. 2008. ISO 9001:2008.
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=46486

[3] CMMI, SEI. Software Engineering Institute.
http://www.sei.cmu.edu/cmmi/

[4] ISO 15504. 2009. ISO 15504.
http://www.iso.org/iso/search.htm?qt=ISO+15504&published=on&active_tab=standards

No silver bullet: essence and accidents of software engineering

2009-12-28T05:24:00.000-08:00

El segundo de la serie de ensayos... Un clásico (o al menos pudiera decirse que el autor tuvo cierta certeza en sus apreciaciones futuras) de la computación:

No silver bullet: essence and accidents of software engineering [1]

Referencias

[1] Brooks, F. P. 1986. No Silver Bullet Essence and Accidents in Software Engineering. Proceedings of the IFIP Tenth World Computing Conference, pp. 10691076, 1986.

Calidad en modelos conceptuales: un análisis multidimensional de modelos cuantitativos basados en la ISO 9126

2009-11-30T04:41:00.000-08:00

Para no abandonarlos mucho, en mis próximos posts les dejaré una serie de ensayos que he realizado en mi maestría (Maestría en Sistemas Computacionales). Por lo pronto, el primero de ellos...

Calidad en modelos conceptuales: un análisis multidimensional de modelos cuantitativos basados en la ISO 9126 [1]

Una vez posteados los ensayos, espero poder platicarles sobre cómo crear una bodega de datos (Datawarehouse) con Oracle, MySQL o PostgreSQL, a través de un servidor OLAP.

Referencias

[1] Marín, B., Condori-Fernández, N. y Pastor O. 2007. Calidad en modelos conceptuales: un análisis multidimensional de modelos cuantitativos basados en la ISO 9126. RPM-AEMES, VOL. 4, Nº Especial, Octubre 2007. ISSN: 1698-2029.

Metamodel-Based Model Conformance and Multiview Consistency Checking

2009-10-15T16:00:00.001-07:00

Paige et al. [1] presentan una investigación donde comparan dos lenguajes (UML y BON [2]) para el modelado de sistemas, así como sus respectivas consistencias entre múltiples vistas del sistema, es decir, si un diagrama (estructural por ejemplo, el caso de diagramas de clases) es consistente y refleja el mismo sistema modelado a partir de otro diagrama (de comportamiento, por ejemplo, diagramas de secuencia).

Su investigación incluye una breve y no formal revisión de los conceptos sobre el modelado de sistemas en BON y su relación con el lenguaje de programación Eiffel [3] para el manejo de contratos, y por otra parte una revisión de UML 2.0 y OCL 2.0. Además, mencionan algunas ventajas y desventajas de ambos, por mencionar unas, para el caso de BON y Eiffel son lenguajes no tan difundidos como UML y OCL, no obstante, proveen una semántica más formal (aunque incompleta) que éstos últimos.

Indican también, siete criterios a considerar para las técnicas de meta-modelado y el multiview consistency checking (MVCC), a saber:

1) comprensibilidad (understandability) que implica que las descripciones usadas son entendibles para un ingeniero de software con una experiencia razonable en lenguajes de modelados pero no necesariamente experiencia en métodos formales;
2) correctitud (correctness), esto es, que las descripciones del meta-modelo sean verificadas contra sus especificaciones;
3) completitud (completeness) es decir, todas las características del lenguaje de modelado (incluyendo restricciones de consistencias entre múltiples vistas) son soportadas por la técnica de meta-modelado;
4) mantenibilidad (maintainability) esto implica que las descripciones soporten extensión, refactorización y en caso de requerirse, modificaciones completas;
5) herramientas de soporte (tool construction) lo que representa que existan y/o puedan desarrollarse herramientas que faciliten la producción de las descripciones;
6) verificación y validación basadas en herramientas (tool-based V&V) es decir, que existan y/o puedan desarrollarse herramientas que puedan asistir en la verificación y validación de las descripción y
7) automatización en MVCC (automation in MVCC), que la consistencia entre múltiples vistas pueda ser verificada de manera automática.

Los autores concluyen en lo que, con la lectura minuciosa de la investigación se puede entrever: no existe una técnica definitiva para el meta-modelado y por ende, para el MVCC, que sea suficiente. Más bien, lo que a algunos lenguajes de modelado les falta, otros lo cubren y viceversa. Sin embargo, de acuerdo con los autores, pareciera ser que UML parece ser más factible de ser más estudiado y explotado dado su grado de madurez y pese a su informal concepción ya que se han hecho esfuerzos en este sentido, es decir, formalizar la especificación de UML.

Indican además, que no siempre es preferible un lenguaje de meta-modelado más expresivo que uno menos expresivo. PVS [4] es más expresivo que BON y Eiffel, y puede capturar todas las reglas de bien-formidad (well-formedness), sin embargo, lo que ofrece en completitud, lo pierde en términos de automatización y facilidad de uso. Eiffel, como lenguaje de meta-modelado, es incompleto pero aún puede ser usado para capturar y verificar casi todas las reglas de well-formedness de manera automática.

Para concluir, y como los propios autores lo mencionan, la investigación provee elemento cualitativos y comparaciones no tan formales y/o cuantitativas, por lo que recomiendan un conjunto de comparaciones más cuantitativas.

Referencias

[1] R.F. Paige, P.J. Brooke y J.S. Ostroff. Metamodel-Based Model Conformance and Multiview Consistency Checking. ACMTransactions on Software Engineering and Methodology,Vol. 16, No. 3, Article 11, Publication date: July 2007.

[2] K. Walden y J. Nerson. 1995. Seamless Object Oriented Software Architecture. PrenticeHall.

[3] Eiffel Software. Eiffel Software
http://www.eiffel.com/

[4] S. Owre, N. Shankar, J. Rushby y D. Stringer-Calvert. 1999. PVS Language Reference.
http://pvs.csl.sri.com

Formalizing and Validating UML Architecture Description of Web Systems

2009-10-15T15:59:00.001-07:00

Claramente es una extensión del trabajo anteriormente mostrado. Bajo el concepto de SO-SAM, esta vez Fu et al. [1] muestran cómo a partir de diagramas de estados y diagramas de secuencias modelados en UML, generan RdP y fórmulas de lógica temporal respectivamente.

Para cada uno de los diagramas involucrados, es decir, diagramas de estado y diagramas de secuencia, proponen reglas para sus respectivas transformaciones a RdP y fórmulas de lógica temporal. No obstante, señalan la inherente imposibilidad de probar la correctitud de las transformaciones, sin embargo, validan cuidadosamente la completitud y consistencia de sus reglas de transformación.

Para demostrar su propuesta proponen un caso de estudio que consiste en el procesamiento de imágenes usadas en aplicaciones Web distribuidas. La validación de su técnica se encuentra implícitamente en los métodos formales utilizados (RdP y lógica temporal) y desarrollan su propuesta a través del lenguaje Maude [2].

De acuerdo con los autores, los resultados presentados, muestran que es posible verificar propiedades estructurales y de comportamiento de los sistemas. Finalmente concluyen que su técnica combina los beneficios de UML (fácil de entender y numerosas herramientas de soporte) y la fácil manera de análisis de SO-SAM. Indican además, que el costo de su propuesta se centra en básicamente tres partes: la construcción de especificaciones algebraicas, la generación de redes de alto nivel a partir de los diagramas de estado y la creación de fórmulas basadas en lógica temporal a partir de los diagramas de secuencia.

Referencias

[1] Y. Fu, Z. Dong y X. He. Formalizing and Validating UML Architecture Description of Web Systems. ICWE’06 Workshops, July 1014, 2006, Palo Alto, California, USA. ACM 1595934359/06/07.

[2] Department of Computer Science, University of Illinois at Urbana-Champaign. The Maude System.
http://maude.cs.uiuc.edu/

An Approach to Web Services Oriented Modeling and Validation

2009-10-15T15:58:00.000-07:00

Los autores de este paper proponen una técnica de modelación y validación formal basada en redes de Petri (RdP) y lógica temporal para aplicaciones Web. Para llevar esto acabo, Fu et al. [1] extienden el concepto de Modelo de Arquitectura de Software (SAM [2] por sus siglas en inglés, Software Architecture Model) a lo que denominan SO-SAM (Service Oriented-SAM).

La revisión de trabajos relacionados, demuestran, informalmente, que los lenguajes y/o tecnologías adyacentes a XML (SOAP [3], BPEL4WS [4], WSDL [5], WSFL [6], DAML-S [7], WSCL [8], WSCI [9]) no cubren aspectos estructurales y/o de comportamiento y a la vez, propiedades de los sistemas, por lo que proponen SO-SAM con lo pretenden resolver esto a través de las RdP para modelar la estructura y comportamiento dinámico de un sistema y por otro lado lógica temporal para modelar sus propiedades y características del mismo sistema.

Después de la revisión de trabajos relacionados, definen, formalmente cada elemento de SO-SAM, empezando precisamente con la definición formal de dicho concepto. Definen el concepto de puerto en SOSAM, componente, red de servicios y servicio Web.

Presentan un caso de estudio que consiste en un proceso de comercio electrónico y posteriormente plantean la estructura de un parser para SAM, cuyo archivo de entrada es como se espera, un archivo XML. En el archivo XML se define el comportamiento del sistema a través de RdP definidas en Petri Net Markup Language (PNML) [10] y las propiedades del sistema en lógica temporal. La estructura de verificación en tiempo de ejecución usando SAM es mostrada en la figura 1.

Los resultados presentados en este trabajo, demuestran que la generación de código a partir del modelo SAM hacia el parser toma alrededor de 1.5 segundos en una Pentium IV a 2.4Ghz y 512MB RAM. Concluyen con la aseveración de que el comportamiento de sistemas puede ser modelado con RdP y simulado para permitir análisis avanzados, correcciones y más refinamientos, y que con las propiedades especificadas en fórmulas de lógica temporal, el modelo puede ser validado contra estas propiedades. Como resultado, mencionan que su técnica de modelado y validación ayuda a extender la confiabilidad de aplicaciones orientadas a servicios.

Para concluir, los autores se encuentran desarrollando una herramienta que soporte la transferencia automática del modelo SO-SAM a su respectiva especificación en XML. Como trabajo futuro incluyen una ingeniería de automatización que traduzca servicios Web escritos en WSDL a SO-SAM, y construir modelos SO-SAM para aplicaciones en tiempo real.

Referencias

[1] Y. Fu, Z. Dong y X. He. An Approach to Web Services Oriented Modeling and Validation. IW-SOSE’06, May 27-28, 2006, Shanghai, China.

[2] X. He y Y. Deng. A Framework for Specifying and Verifying Software Architecture Specifications in SAM. Volume 45 of The Computer Journal, pages 111–128, 2002.

[3] Simple Object Access Protocol (SOAP), W3C Note 08.
http://www.w3.org/TR/SOAP/

[4] Business Process Execution Language for Web Services (BPEL4WS).
http://www.ibm.com/developerworks/library/ws-bpel

[5] Web Services Description Language (WSDL) 1.1.
http://www.w3.org/TR/wsdl

[6] IBM Corporation. Web Services Flow Language (WSFL) 1.1.
http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf

[7] A. Ankolekar. DAML-S: Web Service Description for the Semantic Web, 2002.

[8] Web Service Conversation Language (WSCL) 1.0.
http://www.w3.org/TR/2002/NOTE-wscl10-20020314/

[9] Web Service Choreography Interface (WSCI) 1.0.
http://www.w3.org/TR/2002/NOTE-wsci-20020808/

[10] J. Billington, S. Christensen, et al. The Petri Net Markup Language: Concepts, Technology, and Tools. In Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003). Volume 2679 of Lecture Notes in Computer Science, pages 483–505. Springer-Verlag, June 2003.

Application invariants: Design by Contract augmented with deployment correctness logic

2009-09-29T10:00:00.000-07:00

El Diseño por Contracto es un método para el desarrollo de software orientado-a-objeto robusto. El DbC (por sus siglas en inglés Design by Contract), involucra precondiciones (son los requerimientos que el cliente debe satisfacer a su proveedor, dicho de otra manera, es lo que el proveedor espera del cliente), poscondiciones (es lo que el cliente espera del proveedor) e invariantes de clase que son condiciones que corresponden a axiomas que deben ser cumplidos por cada instancia válida de la clase.

En este contexto, Savidis [1] propone invariantes de alcance a toda la aplicación. En este artículo, el autor propone tres roles distintos para las invariantes de aplicación: locales (están asociadas a una instancia en particular de la clase proveedor), grupales (asociadas únicamente a un conjunto de instancias de la clase proveedor) e invariantes de aplicación de tipo global (asociadas a todas las instancias de la clase Proveedor).

El autor propone una implementación en C++ para este tipo de invariantes de aplicación y concluye que éstas (invariantes de aplicación) revelan la cooperación bilateral fundamental entre las clases cliente y las clases proveedoras, para convergir en la correctitud orientada a la aplicación y correctitud de la instancia proveedora. Invariantes de aplicación guardan la correctitud lógica, la cual, aunque definida por las clases cliente, conciernen principalmente a las instancias proveedoras.

Savidis, menciona además que, sin invariantes de aplicación, la verificación manual de la correctitud lógica dentro de las clases cliente es un patrón de software que introduce un gran número de llamadas a aserciones replicadas fusionadas con código cliente, lo que implica incrementar la complejidad del código fuente para lograr la granularidad dinámica de la correctitud de las pruebas de unidad. En este contexto, invariantes de aplicación claman hacer esto, ofreciendo un placeholder bien definido para, dinámicamente, guardar tal correctitud lógica dentro de la instancia proveedora, de una manera modular y reusable, con el mínimo de injections dentro del código fuente del cliente.

Referencias

[1] A. Savidis. Application invariants: Design by Contract augmented with deployment correctness logic. Softw. Pract. Exper. 2006; 36:255–282. Published online 15 September 2005 in Wiley InterScience (www.interscience.wiley.com). DOI: 10.1002/spe.695
http://www.ics.forth.gr/hci/files/plang/app_invariants.pdf

Verificación modular de código con SAT

2009-09-29T09:51:00.000-07:00

Dennis et al. [1] someten a verificación 6 distintas implementaciones en Java de la estructura de datos Lista Enlazada. Para ello, los autores aplican un análisis modular, en el cual cada método de la clase es analizado de manera independiente al resto de métodos de la misma clase. El análisis involucra una reducción automática de dos fases: primero, a una forma intermedia en lógica relacional, y posteriormente, una conversión a formula booleana (empleando técnicas existentes), la cual es entonces manipulada por un solucionador SAT.

Los resultados presentados en este trabajo demuestran violaciones dentro de las implementaciones de varias librerías de acuerdo a la especificación abstracta de LinkedList y revelan también errores en la especificación de JML (Java Modeling Language).

Como trabajo futuro los autores proponen evaluar el análisis modular vs. análisis completo de un sistema. Finalmente concluyen con la aseveración que la técnica que presentan parece ser viable, aunque todavía queda mucho trabajo por hacer. Consideran que el obstáculo mayor para extender el análisis a todos los métodos de la interfase List es el manejo de colecciones genéricas en métodos tales como addAll.

Referencias

[1] G. Dennis, F. ShengHo Chang and D. Jackson. Modular verification of Code with SAT. ISSTA’06, July 17–20, 2006.
http://sdg.csail.mit.edu/pubs/2006/dennis_modular.pdf

Estado del arte

2009-09-29T09:16:00.000-07:00

Para el desarrollo de una tesis la investigación del estado del arte (trabajos relacionados, antecedentes, o como se le quiera llamar) es una actividad de suma importancia cuyo objetivo es demostrar la relevancia de nuestra investigación propuesta y/o demostrar que nuestra propuesta es única.

Para dicha tarea, en mi tesis de maestría me encargaré de estudiar lo referente a la verificación y validación de sistemas orientados a objetos aplicando métodos formales, por lo que mediante este espacio, presentaré sinopsis de los artículos, tesis y demás trabajos de investigación que den soporte al estado del arte de mi tesis en desarrollo. De esta manera, en mi siguiente post les dejaré la sinopsis del artículo titulado "Modular verification of Code with SAT" de Dennis et al. [1].

Referencias

[1] G. Dennis, F. ShengHo Chang and D. Jackson. Modular verification of Code with SAT. ISSTA’06, July 17–20, 2006.
http://sdg.csail.mit.edu/pubs/2006/dennis_modular.pdf

Enfoque humanitario para contrarrestar los efectos del cambio climático

2009-08-28T01:11:00.000-07:00

Y continuando con mi búsqueda me vino a la mente algo que es muy bien sabido por todos y que concierne a la situación climatológica en nuestro planeta. No evité pasar por alto la idea de proponer una solución al fenómeno del cambio climático, atender quizás, uno de sus efectos secundarios y tal vez el de mayor impacto en nuestros días: la evidente escasez de agua. Después de todo, dicen los expertos que en el futuro las guerras no serán por petróleo, ni por territorios, se luchara por el agua.

Se preguntarán qué tiene que ver este tema en el blog, vaya, ¡no trata sobre ciencias naturales! El fenómeno del cambio climático es un tema que no sólo le concierne a los profesionales e involucrados de las ciencias naturales. Un muy buen tema de tesis para un posgrado, preferentemente un grupo de investigación multi-disciplinar. Por ello, en mi mente me planteo:

Es naturaleza del ser humano –racional; ¿es posible que existan seres humanos no racionales?- cuestionarse sobre el origen de las cosas, los fenómenos de la naturaleza. Desde principios de la humanidad, nuestros ancestros se planteaban interrogantes mismas que dieron origen al concepto de curiosidad, y siglos después, miles de años después, al método científico como lo conocemos hoy en día.

El invento de la rueda, el descubrimiento del fuego, la explicación de los fenómenos de la naturaleza (lluvia, relámpagos, arco iris, etc., etc.) son algunas de las cosas que la humanidad ha logrado demostrar de manera científica.

Para muchos de los retos y dificultades que la naturaleza nos ha presentado, hemos logrado, como humanidad proponer y aplicar soluciones que nos permitan convivir en armonía con ella. Para refugiarnos de la lluvia, se diseñan y construyen casas; para mantener nuestra temperatura corporal estable en los tiempos calurosos, se diseñan y se construyen dispositivos de ventilación y climatización…

Hoy en día, nos enfrentamos a un nuevo reto: los cambios climáticos, en particular, el fenómeno del calentamiento global, que entre otros efectos secundarios, y aunado a nuestro comportamiento irresponsable, ha puesto en evidencia una escasez de agua. Mientras usted está leyendo esto, la comunidad científica busca alternativas para contrarrestar los efectos del calentamiento global. A mí parecer, esta empresa debe ser una tarea conjunta, totalitaria de la humanidad. No sólo climatólogos, biólogos, químicos, y demás profesionales de las ciencias naturales. Es una tarea que también debe de involucrar a especialistas en ciencias y tecnologías computacionales, a la comunidad política, industrias, padres… Es algo que nos concierne a todos.

Porqué no, como seres racionales buscamos soluciones científicas-tecnológicas apoyadas de leyes globalizadas, pues después de todo, el concepto de globalización es ya una realidad desde hace un poco más de una década. Qué tal si la comunidad científica y/o tecnológica trabajamos juntos, proponiendo soluciones en las que quizás se regule el uso de agua a través de dispositivos electromecánicos, apoyados por una ley globalizada que penalice a todos quienes infrinjamos nuestro consumo de agua permitido.

Como he dicho, esto no sólo implica un esfuerzo de investigación y política, sino también de ética y responsabilidad social: la solución pudiese ser factible, viable e implementada. Sin embargo, muchos de nosotros tendemos a incumplir las leyes: robar luz, “colgarnos” de la señal de cable del vecino, discos o antros en los que se permite el acceso a menores de edad, y de seguro, no faltará quien robara agua.

Muchos opinarían que es una medida drástica: controlar (a nivel mundial) el consumo de agua, no sólo por medio de leyes cuyo incumplimiento impliquen la penalización (económica), si no también a través de dispositivos que midan el consumo del agua. Perfectamente sé que aplicar una ley globalizada implica quebrantar/debilitar la autonomía de los países y regímenes de gobierno, no obstante justifico esto bajo el contexto de globalización. El mundo, geográfica y socialmente tiende a unificarse: el inglés es prácticamente el idioma mundial por excelencia, la Internet nos permite la comunicación e intercambio de extremo a extremo en el planeta, el euro es la moneda que predomina en Europa, el dólar en América.

¿Porqué no una ley globalizada, porqué no? ¿Por qué no los países, al igual que firman tratados internacionales de economía, seguridad y otros, se firmase un tratado internacional donde los gobiernos se comprometan a vigilar el consumo de agua de sus habitantes? Y también entramos nosotros, la comunidad científica-tecnológica apoyando, como ya he dicho, en esta empresa, implementando dispositivos electromecánicos que regulen el consumo de la misma…

Ciencia de lo cotidiano

2009-08-27T23:36:00.000-07:00

En mi búsqueda de un tema a desarrollar para tesis de maestría he aprendido cómo prácticamente cualquier situación de nuestra vida es candidata a ser investigada y demostrada formalmente. Me considero del grupo de personas quienes creemos que TODO en este mundo -y fuera de él también-, tiene una explicación científica/racional, o al menos una aproximación.

Prueba de cómo hasta sucesos tan normales para nosotros pueden ser explicados es el estudio sobre la Ola Mexicana en los estadios de futbol (Mexican waves in an excitable medium).

O qué piensan sobre las investigaciones sobre lo que postea Fabricio Ferri Benedetti en su blog: “Mímica Disfuncional en Peatones”. Investigaciones que emplean redes de Markov para la detección y predicción de movimiento peatonal para sistemas de seguridad, y modelos probabilísticos de conducta peatonal para su aplicación a la seguridad vial (A Markovian model of pedestrian behavior). Un estudio sobre los grupos sexuales (hombres y mujeres) y sus preferencias peatonales ("Line-following tendencies among pedestrians: A sex difference"). Uno más sobre la relación entre temperatura y velocidad peatonal: "Temperature and pedestrian tempo: Walking without awareness".

Y aún hay más. De este tema puede derivarse un estudio donde se plantea una propuesta para denominar este fenómeno, en un contexto del idioma propio de una región. En lo que aquí encontrará una extensión del tema.

En conclusión: ¿no es verdad que aún nos queda mucho por delante? Explicar esos fenómenos y comportamientos humanos y/o naturales que pudiéramos considerarlos, muchas veces irrelevantes o triviales.

Nuevo Rubik 360

2009-07-08T18:11:00.000-07:00

Después de un tiempo de ausencia debido a cuestiones académicas sólo paso a dejarles una noticia que tal vez no entone con la temática del blog pero está relacionada con la creatividad humana.

Esta vez los dejo con el nuevo Rubik 360, y cito de la nota de Sputnik (http://www.sputnik.com.mx/):

El Rubik 360 (o sencillamente R360) es el nuevo acertijo creado por Erno Rubik, retraído y brillante profesor húngaro, quien ha cosechado más de 350 millones de ventas de su fantástico cubo de colores desde 1980 ¹.

Y un video de este juego en http://www.youtube.com/watch?v=LOiLh_1qKxg.

¿Ustedes, qué opinan al respecto?

¹ Texto completo de la cita tomado de: http://www.sputnik.com.mx//index.php?option=com_content&task=view&id=4427&Itemid=1

¡Y esto de la influenza ya me está cansando!

2009-04-29T16:50:00.001-07:00

Bueno, no me quedaré sin publicar algo al respecto sobre esto de la Influenza porcina...

Y si todas las teorías sobre conspiraciones y/o complots del gobierno para mantenernos (a la sociedad) en un estado de shock, bajo su dominio, para mantener una cortina gris detrás de la cual se están suscitando cosas (como p. ej la ley de portación mínima de drogas, aprobada por el senado -http://www.el-universal.com.mx/notas/345730.html-) que ni siquiera estamos enterados ya que lo que más suena es la Influenza porcina, entonces, no es quizás el momento perfecto para levantarnos, y poner un fin al poderio y dominio del cual tanto se habla que los gobiernos mantienen sobre nosotros, las sociedades...

Si tan cierto es que la OMS está controlada y dirigida por el gobierno de los EU, entonces, porqué no empezar a desaparecer el pánico, el miedo y con nuestras actitudes demostrar que NO SOMOS la misma sociedad del pasado (siempre bajo el mandato de los gobiernos -en nuestro caso particular del gobierno de nuestro país, de México-). ¿Por qué no la población retira todos los cubrebocas y/o tapabocas, si tan falsa es la gravedad de la influenza? De ésta manera demostraremos una especie de rebelión, de inconformidad con lo que los medios de comunicación también expresan, si tantos correos, blogs, foros, etc., etc. existen hablando sobre esta farsa de la influenza porcina...

Digo, si todo esto es una mentira yo seguiría con mi vida normal, y en mi vida normal no utilizo cubrebocas, en mi vida normal acudo a mis clases, a mi trabajo, a mi restaurante favorito, y claro, también en mi restaurante favorito me atienden como siempre: puedo sentarme a comer y disfrutar de su comodidad y no soy tratado como si se trátase del fin del mundo, donde sólo salgo, hago lo necesario (comprar comida en este caso) y regreso rápido a casa.

Insisto, he leído un vasto número de correos, blogs, foros, etc., etc. tratando este tema, sin embargo mi conclusión al no ver algo reflejado en hechos sigue siendo la misma: SEGUIMOS SIENDO LA MISMA SOCIEDAD DE SIEMPRE; SIEMPRE BLA, BLA, BLA, SIEMPRE QUEJáNDONOS SIN HACER NADA AL RESPECTO...

¡Qué pena me das México, qué pena!

Desafío A La Mente (Mindstorms En Español)

2009-03-14T20:42:00.000-07:00

Hola a todos, y disculpen la ausencia, he estado atendiendo unos asuntos académicos-personales. Bueno, a lo que voy: buscando información sobre Consecuencias lógicas me encontré con un artículo titulado Desafío A La Mente (Mindstorms En Español) y conforme iba leyendo algo me llamó la atención:

alguna vez se han preguntado ¿porqué la disposición QWERTY de las teclas de una máquina de escribir y/o computadora?

La razón es la siguiente:

"...La disposición QWERTY no tiene ninguna explicación racional, sólo histórica. Fue introducida en respuesta a un problema de la primera época de la máquina de escribir: las teclas solían atascarse. La idea fue minimizar el problema de colisión separando aquellas teclas que aparecían frecuentemente en secuencia inmediata. Apenas unos años después, el mejoramiento general de la tecnología eliminó el problema de atascamiento, pero QWERTY subsistió... Estamos en proceso de atrincherarnos en un anacronismo, preservando prácticas que no tienen ninguna base racional más allá de sus raíces históricas en un período anterior del desarrollo tecnológico y teórico..."

Es una traducción al español (que hace una persona de Argentina) de Computadoras y Educación de Seymour Papert, Ediciones Galápagos. Quinta Edición, 1987.

La última guerra de lenguajes/El último post sobre historia de lenguajes que necesitará leer (eso esperamos)

2008-11-30T03:20:00.000-08:00

Un poco de diversión, humor negro... Un interesante debate que encontré en el blog de David Rupp.

Se títula La Última guerra de lenguajes/El último post sobre historia de lenguajes que necesitará leer (eso esperamos) y lo traduzco (lo más fiel posible) al español a continuación...

La Última guerra de lenguajes/El último post sobre historia de lenguajes que necesitará leer (eso esperamos)

Moderador: Hola, y bienvenidos al Primer-Y-Posiblemente-Última-Conferencia-De-Lenguajes-De-Programación (PPUCLP). Me encuentro reunido esta noche junto a distinguidos y de muy buen perfil, lenguajes de programación. Cada uno es altamente recomendado por sus seguidores, y ahora es turno de escuchar lo que cada uno de ellos tiene por decir.

Ruby (agarrando el micrófono): M y sí lo hicé! Me gustaría sacar a este individuo diciéndoles a TODOS USTEDES QUE SON MI****!!! Sí, lo dije! La letra M! Oh sí! Boom, nena! Woo! Ruby FTW!

Java (girando los ojos): Oh sí, realmente maduro. Yo, por otro lado, me gustaría decir que tengo importantes trabajos empresariales hechos, y no les haré perder su tiempo a todos uds. Les sugiero que procedamos con la conferencia de Patrones de Desarrollo para Lenguajes de Programación como se indica en JSR-6942, y del cual se habló en la conferencia Hablemos Sobre Acrónimos del Lenguaje Java (JAVATALK, el cual por cierto, no es un acrónimo para cualquier cosa).

Ruby: Chico! He escrito todo un clon completo de Google mientras tú dabas tú rebuscado discurso!

Moderador: Oh, bravo, Ruby! Me encantaría ver ese trabajo. Dónde está desplegado?

Ruby: Umm....

Lisp: En el principio, existió el Lambda. Y John McCarthy vió el Lambda. Y entonces, John McCarthy dijo que el Lambda era bueno.

Ruby (girando sus ojos): Aquí vamos...

Lisp: Y John McCarthy dijo! Su lengua habló sobre sex...

Ruby: Dijo sexo! Heeheeheeheehee!

Erlang: Si me permiten, he estado procesando algunas ideas de los panelistas, todas al mismo tiempo claro, no es que sea la gran cosa...

Ruby (girando sus ojos): Y aquí vamos con la concurrencia...

Java: Gosh darn it, Ruby! No hay necesidad de echar pooh-pooh cada vez que alguien dice algo, no crees?

Ruby: Él dijo poo-poo! Heeheeheeheehee!

Java: Ruby, Lo juro, uno de éstos días...

Ruby: Hey, no me des uno de tus estáticos! Heeheeheeheehee! Viste, lo hice de nuevo! "Static"?! Porque soy tan dinámico?! Tómala!!! Demonios, dónde están mis BAWLS Guarana...?

Ruby (segundos después): Dije bolas! Heeheeheeheehee!

C#: Desarrolladores! Desarrolladores! Desarrolladores! Desarrolladores!

Erlang: ...Compartiré mis resultados con ustedes, pero se tomará un tiempo mientras los obtengo de mi sistema de arhivos...

COBOL: (se mantiene de rodillas, sólo por ser revivido frenéticamente por apróximadamente tres bancos)

Basic: De hecho, tengo una pregunta para Ruby...

Haskell: También yo...

ML: Hey, Ruby, cuál es tu respuesta a...

Ruby: Hey, hey, hey! No tantos en [segfault]

Java: sonrisas

bash: kill -9 self

El cálculo Lambda: Podríamos todos tomarnos un momento para reflexionar sobre las implicaciones de la tesis Church-Turing...

Todos los demás: Oh, CALLATE!!!!!!

Scala: (no dice nada, pero se sienta en silencio, observando, tomando notas y aprendiendo mucho).

Moderador: Bueno, creo que es tiempo de concluir este, um, animado... debate...

Java (bruscamente): Hey! Estamos en eso!

Lisp: ))))))))))))))))))))))

Jejeje! Espero sus comentarios y/o correcciones a la traducción...

Pruebas unitarias para aplicaciones JSF (primera parte)...

2008-08-21T08:20:00.000-07:00

Finalmente he concluido el conjunto de pruebas unitarias realizadas a la aplicación Web que estoy desarrollando como proyecto de tesis. Por tanto, a continuación brindo un fragmento de las conclusiones obtenidas respecto a las pruebas unitarias.

. . . Si su aplicación Java es una aplicación de escritorio (standalone) el framework JUnit es suficiente para ejecutar pruebas unitarias a su aplicación. Ahora bien, si su aplicación Java correrá en un entorno Web (Servlets, JSP, JSF, etc.) usted seguramente necesitará un framework que extienda las capacidades de JUnit. Algunos de estos frameworks para pruebas unitarias de aplicaciones Web son: HTTPUnit, HTMLUnit, Seleniuum, JWebUnit y Cactus.

Finalmente, el conjunto de frameworks con los que he tratado para ejecutar pruebas unitarias a la aplicación fueron los siguientes: HTTPUnit, HTMLUnit y JWebUnit, sin obtener los resultados esperados ya que éstos únicamente sirven para pruebas en páginas estáticas HTML y lo que se busca probar son páginas JSF.

Por ello, traté seguidamente con Seleniuum el cual en primera instancia parece también no soportar aplicaciones JSF o basadas en Java y cuya configuración es compleja y excede los tiempos con los que se cuenta para concluir el proyecto de tesis.

Fue luego de varios días de búsqueda y lectura que encontré información sobre el framework Cactus.

Cactus es un framework para la realización de pruebas unitarias de aplicaciones Web, y dispone de elementos parar realizar pruebas unitarias sobre Servlets y páginas JSP. Diseñado para probar aplicaciones que siguen el patrón de arquitectura MVC. Soporta como controladores Servlets, clases Java, taglibs, filters.

Aunque Cactus por naturaleza propia no testea aplicaciones JSF, por su parte, JSFUnit sí soporta pruebas unitarias para aplicaciones JSF, ya que extiende las capacidades de Cactus.

Con los argumentos detallados anteriormente, por experiencia personal recomiendo utilizar el siguiente escenario/configuración si desea llevar a cabo pruebas unitarias en una aplicación JSF:

Emplear el framework JSFUnit (el cual está basado en Cactus) realizando dichas pruebas desde el exterior del contenedor, donde, del lado del cliente se emplea una técnica habitual que consiste en implementar el protocolo HTTP en un cliente de pruebas unitarias que simula la interacción entre un usuario y el servidor Web.

Asegúrese de probar al menos la correcta navegabilidad de la aplicación, la correcta instanciación/creación de objetos y/o managed beans y finalmente, la integridad y consistencia de dichos beans administrados.

Si desea obtener un mejor seguimiento de los resultados de las pruebas le recomiendo utilizar un entorno de desarrollo integrado (IDE) con soporte para Java, en este renglón recomiendo el IDE Eclipse para depurar sus pruebas y así obtener los valores y posibles errores en tiempo de ejecución de su aplicación y/o pruebas unitarias.

Prueba gratuita de exámen de certificación de seguridad en Java/J2EE...

2008-08-14T12:11:00.000-07:00

Hace un tiempo encontré en el portal de SANS una prueba gratuita de un exámen de certificación en seguridad de Java/J2EE...

La prueba consta de diez preguntas (en inglés, esto podría ser el aspecto negativo para algunos) y al ir respondiendo cada una de las preguntas puede ver si su respuesta fue la correcta o no, además de que le ofrece la respuesta correcta.

Obviamente, he realizado la prueba y mis resultados no fueron óptimos (40%, es decir, 4 buenas, 6 malas). No obstante, estoy satisfecho con el rendimiento dado que NUNCA he llevado un buen curso de Java y lo que he aprendido de dicho lenguaje ha sido a base de sacrificio propio, sin nadie que me enseñe. Aún llevo dos años en el mundo Java, espero regresar dentro de dos años más y medirme nuevamente, por lo pronto les dejo el enlace a la prueba: https://portal.sans.org/ssi/java.php

Por lo pronto les dejo la imagen que avala mi calificación : ( y espero sus resultados...

Concluido el primer prototipo de eZine: Aplicación Web dinámica con JSF (JavaServer Faces)

2008-06-22T10:17:00.000-07:00

Hola a todos de nuevo. He estado algo ausente por aquí últimamente dado que estoy afinando detalles sobre mi tesis de Licenciatura (Sistemas Computacionales), la cual trata sobre el "Desarrollo de aplicaciones Web dinámicas usando el framework JavaServer Faces (JSF) basado en la plataforma J2EE". El caso práctico de desarrollo es una revista electrónica. . .

Aunque los avances en desarrollo representan aún el 50%, este primer prototipo me ha brindado la oportunidad de trabajar con JSF, efectuar pruebas, en fin, evaluar en términos generales el desempeño y sobre todo la facilidad (de la cual se habla mucho) para el desarrollo de aplicaciones Web dinámicas. Comparto con uds. mis conclusiones:

Al cumplir con mi objetivo general, demuestro, por uso personal que el framework JSF cubre satisfactoriamente sus principales objetivos y cumple con las características, bondades y ventajas que ofrece, particularmente, sobre la renderización de componentes que es la problemática principal que da origen a esta tesis. Para atender los problemas de renderización y re-utilización de componentes, he probado al menos tres librerías de componentes y las cuales son completamente compatibles con la implementación 1.1 de JSF.

Las librerías que he empleado para la renderización de los componentes son las siguientes:
• MyFaces Tomahawk 1.1.7
• MyFaces Sandbox 1.1.7
• MyFaces Trinidad 1.0.7

Las tres librerías listadas anteriormente pertenecen al grupo Apache. Tomahawk y Sandbox se comportan eficientemente aunque, el renderizado parcial de página (PPR por sus siglas en inglés, Partial Page Rendering) no lo considero estable y los resultados no son los esperados, lo que impide y/o dificulta el uso de tecnología AJAX sobre la aplicación.

Por su parte, la librería Trinidad 1.0.7, también de Apache, ofrece un comportamiento más estable y permite usar tecnología AJAX de manera más fácil y obteniendo siempre los mismos resultados, esto, a coste de una configuración de la aplicación (en el archivo faces-config.xml y en el descriptor de despliegue de la aplicación) completamente distinta y en general, más compleja que la requerida por Tomahawk y/o Sandbox.

Existen numerosas librerías de componentes para JSF, ya sean libres (entre las cuales puedo mencionar: JSF-Comp de Apache , Java BluePrints AJAX Components , Jenia , entre otros) o comerciales (WebGalileo Faces Components , NetAdvantage for JSF 2008 , Simplica’s Ecruiser , por mencionar algunos) y muchas de ellas pueden ser usadas en conjunto para ofrecerle al desarrollador Web una mayor flexibilidad y un desarrollo rápido de aplicaciones.

He optado por emplear las librerías de componentes Tomahawk 1.1.7 y Sandbox 1.1.7 del grupo Apache debido a su facilidad de uso y configuración así como de mayor disponibilidad de sitios de ayuda, foros y documentación en comparación con algunas otras librerías de componentes para JSF. Además, que en el desarrollo de los componentes se encuentran involucrados los socios de Apache, como lo es Sun, Google, Oracle, IBM y otros, por lo que la calidad y reputación de los mismos es indudable.

JSF no sólo cumple satisfactoriamente los requisitos de renderización y re-utilización de componentes, si no que, además, se ajusta perfectamente al patrón MVC para el desarrollo de aplicaciones, permitiendo así una separación entre las capas de datos, la capa lógica y capa de presentación, lo que, en conjunto con el uso de librerías de componentes permite un desarrollo rápido de aplicaciones.

El concepto de reglas de navegación (navigation rules) y beans administrados (manager beans) definidos en XML sin lugar a dudas ofrece una mejor administración y configuración de la navegación dentro de la aplicación Web.

Un alcance extra, logrado durante el desarrollo del primer prototipo de la revista electrónica es la opción de internacionalización. La internacionalización permite mostrar la aplicación según el idioma del usuario, más específicamente, en el idioma configurado de su navegador Web, además de permitir cambiar, en tiempo de ejecución entre un idioma y otro (en el caso del prototipo desarrollado, cambiar entre español e inglés).

Indudablemente (desde mi perspectiva) JSF ha revolucionado la forma de desarrollar aplicaciones para la Web, y aunque numerosos críticos quienes digan que Struts tiene una mayor madurez, es destacable considerar que JSF apenas va en su versión 1.2 y ya a estos niveles ofrece un gran potencial.

Prueba de la rápida evolución de este framework es que, hasta hace un par de años, cuando aún estaba surgiendo a la luz, no existía algún un IDE que diera soporte (ya sea de manera nativa o por medio de plug-ins) al desarrollo de aplicaciones con JSF, situación que hoy en día es todo lo contrario puesto que existen numerosos entornos de desarrollo con soporte para JSF, entre los cuales se encuentran: Eclipse, NetBeans, Exadel Studio Pro, Oracle JDeveloper.

El lector se preguntará: ¿y cuál es el mayor desafío en el uso de JSF para desarrollar aplicaciones Web dinámicas? Como todas las herramientas y lenguajes de programación el mayor desafío es, indudablemente la curva de aprendizaje requerida. JSF requiere el conocimiento, entendimiento y empleo del patrón MVC para desarrollar aplicaciones, si el programador Web no tiene experiencia con el modelo MVC, éste será su primer gran obstáculo.

También, como muchas otras cosas en el mundo de desarrollo de aplicaciones, la configuración del entorno (servidor de aplicaciones y configuración de archivos XML, en el caso de JSF, faces-config y el descriptor de despliegue) es uno más de los “problemas” que el programador Web debe de resolver...

Bueno, por el momento es todo, actualmente estoy trabajando con la segunda versión de la aplicación, en la cual buscaré emplear una librería de componentes estable y de fácil configuración para trabajar AJAX bajo JSF. La segunda versión también incluirá pruebas unitarias. Espero tener la segunda versión en un mes o menos.

Espero sus comentarios al respecto, muchas gracias.

Videos del concurso de robótica en Querétaro, México

2008-05-28T04:19:00.000-07:00

Bueno, he aquí los videos del 13vo Concurso Nacional de Minirobótica que se llevó a cabo en la ciudad de Santiago de Querétaro, Querétaro, México, del cual tuve el gran gusto de participar. ¡Gracias!

¡Y Olmequita lo lograba!

Claro, después de varios intentos, muchos cabezazos contra la pared (figuradamente eh, estuvo estresante e interesante)...

Y Choquito también estaba en batalla (Choquito: ¡4o lugar de 39 equipos!; aún en la espera de que los organizadores publiquen los resultados en el sitio del concurso)

Olmequita a la hora del concurso (el buen Germán a cargo de Olmequita)...

Algunos otros equipos...

¡Felicidades generación 2003-2008 LSC-UJAT-DAIS!

2008-05-28T04:00:00.001-07:00

Bueno señores, después de cinco largos años, nosotros, los estudiantes de la Licenciatura en Sistemas Computacionales, de la Universidad Juárez Autónoma de Tabasco pasaremos a ser Licenciados. Felicidades a todos los compañeros, ¡en hora buena!

Próxima la gran recompensa a nuestro sacrificio, a nuestros estirones y jalones, navegando a través de un inmenso mar de problemas personales, familiares, a numerosas situaciones de gran entrega y lucha ante nuestros profesores... Me permití publicar esto y aunque muchos piensan o digan que está fuera de los objetivos del blog la situación no es así, después de todo es una carrera afín a las TI, y es lo menos que puedo hacer por uds. mis queridos compañeros, amigos...

La cuenta regresiva ha comenzado... Ha sido todo un placer convivir con uds., y aunque no hayamos compartido tanto tiempo de lo que sí estoy seguro es que mejores compañeros, mejores amigos que uds., en la carrera no pude haber conocido...

Gracias por todo y les deseo a TODOS una muy buen inicio de una nueva etapa en nuestras vidas, que Dios los bendiga a uds., a su familia, amigos y seres queridos quienes compartieron con uds. estos cinco largos años... Sin lágrimas por favor...

Los dejo con unas imágenes que reflejan el ardúo trabajo en la carrera, y los invito a que dejen sus comentario y que anexen sus imágenes que reflejen ese trabajo, si alguna vez se tomaron foto o video trabajando, adelante (Gabriel, está chida esa foto donde: "Para los que trabajan" y el disco duro refrescándose : D, ahí súbela x aquí, no?).

Gracias.

¿Nos vamos al JavaCup 2008?

2008-05-10T19:37:00.001-07:00

Navegando por la Web me encontré un evento muy interesante: El JavaCup 2008. JavaCup consiste en un torneo de futbol programado con el lenguaje Java. Y cito:

"La revista Sólo Programadores, la organización sin ánimo de lucro javaHispano y Sun Microsystems hemos organizado un concurso que consiste en un torneo virtual de fútbol donde cada equipo será una clase Java que implementa una interfaz predefinida."...

"Cada participante deberá implementar un equipo virtual de fútbol. Para ello se apoyará en un software que se distribuye bajo licencia GPL y que puede obtenerse en el CD que acompaña a la revista SoloProgramadores del mes de mayo, en la página web del concurso o en el proyecto JavaCup de javaHispano.net. El software puede considerarse un framework que cuenta con puntos de extensión (que en este caso permiten crear un equipo de fútbol) y ofrece una API en la cual pueden apoyarse los equipos para construir sus tácticas de juego. Para facilitar su uso, el software se distribuye como un proyecto de Netbeans que, una vez descargado y descomprimido, está listo para ser abierto y ejecutado desde este entorno de desarrollo. No obstante, si el participante prefiere emplear otro entorno, es posible importar el código fuente en cualquier IDE."

http://javacup.javahispano.org/app/bases.html

En verdad que el concurso está muy interesante y he corrido algunas pruebas desde el IDE Eclipse y "echar a andar" las tácticas no de juego no es tan complicado, lo que implica un gran despliegue y cálculos matemáticos (principalmente trigonometría) es cómo implementar cada una de las tácticas, por ejemplo: cómo robar el balón, ¿eligiendo al jugador más cerca de la pelota?, ¿a quién pasar luego el balón? Usando qué...

Les hago una invitación abierta a todos aquellos quienes deseen participar en el concurso, y si quieren, pueden ponerse en contacto conmigo a: edario_ram@hotmail.com para cualquier comentario, duda y/o sugerencia. La invitación es principalmente a los compañeros de la División Académica de Informática y Sistemas de la Universidad Juárez Autónoma de Tabasco (DAIS-UJAT), en el estado de Tabasco, México.

Les invito pues a inscribirse al concurso representando una vez más al estado de Tabasco! Y a la UJAT! Pueden encontrar TODA la información en:

JavaCup 2008

Fotos del concurso de robótica en Querétaro, México

2008-05-06T20:46:00.000-07:00

Pues aquí les dejo unas fotitos del dream-team de Robótica de la UJAT :D Quienes fuímos al 13o Concurso de Minirobótica en la Cd. de Santiago de Querétaro.... Próximamente publicaré los videos, no desesperen...

Resultados, comentarios y conclusiones del 13o Concurso Nacional de Minirobótica

2008-05-05T21:58:00.000-07:00

Hola a todos, después de un breve tiempo de ausencia regreso con los resultados del 13o Concurso Nacional de Minirobótica que se llevó a cabo en la ciudad de Santiago de Querétaro los días 1 y 2 de Mayo del presente. Para ello divido el presente en 3 secciones: Cómo nos fue, Cómo estuvo todo, Cómo estuvieron los demás y mis conclusiones. La categoría en la que participamos fue Categoría Lego educacional abierta, específicamente en la "subcategoría" Robot transportador de Lego.

Además, es importante que toda aquella persona o institución que lea esto no se sienta ofendidad ni nada por el estilo, son más bien críticas constructivas que persiguen el puro objetivo de mejorar nuestro nivel académico, mejorar el funcionamiento de algunas instituciones en cuanto a tramités "burocráticos" y cuestiones de este estilo. Bueno, sin más preámbulos, iniciamos...

¿Cómo nos fue?

Bastante bien :D considerando que fue nuestro primer concurso de este tipo. En concreto, Roberto, Germán y yo hemos de haber quedado entre 10o y 15vo lugar :( .... de 39 equipos! Lamentablemente no pasamos a las finales, sólo los mejores 8 primeros lugares... Pero aquí viene lo bueno... Francisco y Santiago quedaron en 4o lugar!!! Y pasaron a las finales!!! :D Ya en las finales aunque lograron avanzar más lejos con la caja al parecer quedaron en el mismo 4o lugar, cuando muy bajo en quinto lugar. Nos comentaron que los resultados serían publicados en la página pero que únicamente habían considerado publicar los tres primeros lugares, la doctora María del Pilar Pozos Parra (quien fue nuestra asesora) les pidió de favor a los jueces que hablaran con los organizadores y que al menos consideraran publicar los mejores 8 equipos esto para demostrar que en verdad hubo un equipo de nosotros que quedó entre los primeros 8 mejores de 39!!! Además, de seguro que la UJAT (nuestra universidad, la Universidad Juárez Autónoma de Tabasco) preguntará cómo nos fue y así platicadito quién sabe si alguien nos crea!! :D

¿Cómo estuvo todo?

Personalmente y como en muchos concursos hubieron cosas que no me agradaron y no porque no hayamos ganado... Creo que aún no hemos aprendido que las reglas se hicieron para romperse o al menos a "doblarlas" para así obtener la flexibilidad deseada (o al menos es lo que muchos ya entendieron y así lo hacen!). A la mera hora habían escenarios que eran 3 cm. más largos o más anchos, hubo un equipo que participó con su propio escenario (y que por cierto quedaron en 2o lugar!). Héctor Ortiz-Parada (también integrante de uno de los 2 equipos que concursamos) compartió con nosotros la idea de chocar con las paredes para "enderezar" el robot? Resulta que cuando empezamos a hacer pruebas todos los equipos, NINGUNO más que nosotros utilizaba esa técnica. Habían algunos que chocaban pero por error y no porque fuese su intención. Sin embargo, como a los 15 min. en eso que estamos haciendo fila y esperando nuestro turno para hacer nuestras pruebas, empezamos a ver que ya muchos equipos hacían lo que nosotros hacíamos, pues ya habían visto nuestras pruebas!!!

¿Cómo estuvieron los demás?

Pues en la primera ronda (todos los equipos tuvimos 3 min., en estos 3 min. podíamos hacer cuanto reintentos pudiéramos si se chocaba nuestro robot o no se comportaba como quisiéramos) hasta por el equipo número 20 y la mayoría cuando mucho llegaba a donde nosotros llegabamos, es decir, estuvo bastante parejo. Algunos otros de plano fallaban muy gacho y no avanzaban mucho, se chocaba su robot antes del primer empuje a la caja, etc., etc. Sólo un equipo logró resolver el problema (de hecho, ese equipo fue el primer lugar; por cierto, implementaron unas llantitas laterales lo que le permitía al robot desplazarse bien aún cuando chocara con las paredes laterales, prácticamente lo que usted nos sugirió cuando le colocamos el "bigote" al robot, en fin, sin comentarios)...

Conclusiones

Para ser nuestro primer concurso de este tipo y contra todas las prisas y contratiempos, presiones, considerando que la Uni por poquito y no nos apoya, ya que un día antes es que aprueban el apoyo, considerando que fueron 2 días sin tocar cama! El día que llegamos a Puebla, a casa del Sr. Héctor, luego luego a seguir trabajando, nada de dormir, los taxis no nos querían levantar en Querétaro pues llevábamos la caja, ahí nos veían tirando nuestros abrigos encima del taxi para no rayarles el taxi al poner el escenario encima, en fin... El 90% de los equipos concursantes usaron el LEGO Mindstorms (un programa donde se programa el robot por diagrama de bloques o como se llame), tuve la oportunidad de platicar con un muchacho que ha de haber sido de los pocos que manejaron algún otro lenguaje, pues el uso Bricks-C o algo así me parece que se llama... Estoy seguro que fuímos los únicos en manejar Java ; ) .

EN ESENCIA: QUE UVM DE QUERETARO, QUE IPN, QUE VERACRUZANA NI QUE NADA!! DIMOS LATA!!! Con todo respeto para los compañeros estudiantes de esas universidades y no los estos menospreciando, es sólo que quiero que consideren que el sureste SI tiene calidad, sí damos batalla, la UJAT pelea hasta el final!! Y eso que sólo trabajamos como 2 semanas cuando mucho y trabajabamos sólo de 3 a 4 horas cuando mucho! Sin que comer, sin mucho dinero, sin todos esos "lujos y ventajas" que poseen estudiantes de universidades pagadas!! Nos medimos y estamos a la altura!!! Y ese es el mejor premio que pude haber recibido! Lástima que no llegó ningún equipo de la UNAM! :) O de alguna universidad extranjera!

Sobre nuestra situación académica como estudiantes de la ciencia informática

2008-04-10T01:34:00.000-07:00

Quiero compartir con uds. mis conclusiones personales que he obtenido durante el desarrollo de un trabajo "extra-académico", del cual basta decir que ha servido para demostrar aquellos “huecos” y fortalezas en nuestra documentación y desarrollo de un software, esto como estudiantes de la ciencia informática.

Nuestro trabajo consistió en estudiar una serie de "postulados" y analizar si han sido puestos en práctica en alguno de nuestros desarrollos de software, y las conclusiones son las siguientes.

En la mayoría de las ocasiones (por dar una crifra, el 9 de cada 10 proyectos), existen aspectos que no son llevados a cabo debido principalmente al corto periodo de tiempo con el que se cuenta para el desarrollo de los proyectos (se habla de periodos semestrales, no obstante estos periodos "semestrales" más bien son de cuando mucho, cinco meses. Y señores, en cinco meses no se lleva a cabo un buen proyecto considerando muchos factores que muy bien muchos catedráticos y estudiantes conocemos muy bien -días "festivos", falta de disponibilidad cuando necesitamos orientación, cierto egoísmo para compartir ideas e información, etc., etc.).

Así mismo, otro factor importante en el progreso, y principalmente para la conclusión de un proyecto académico, son la orientación y experiencia del personal que imparten las distintas asignaturas que requieren el desarrollo de un software.

Al no existir un documento o una estructura estándar para el desarrollo y documentación de un proyecto de software, son muchas las posibilidades para documentar y desarrollar el mismo, por lo que, un maestro podría seguir un enfoque mientras que otro seguiría algún otro enfoque, lo que sin lugar a dudas resulta en documentación “incompleta” e “inexacta” y con un gran abanico de posibilidades, que, a la larga, termina por satisfaces a todos y a nadie a la vez. En esencia, al momento de evaluar enfoques dado lo que un estilo considera el otro no, y viceversa, es imposible satisfacer a todos con un solo enfoque.

En lo que respecta a la experiencia es otro factor relevante en el desarrollo y puesta en marcha de un proyecto de software. Ciertamente se puede poseer un gran conocimiento teórico en lo que se refiere a cómo documentar y desarrollar el proyecto, sin embargo, sin la experiencia que da el realmente poner en práctica esos conocimientos, éstos decrementan su importancia debido a que no hay nada mejor que probar las cosas, llevarlas a cabo en el mundo real y analizar, estudiar y evaluar esos conocimientos teóricos que poseemos y sobre todo, ver si realmente los resultados son los que, en teoría se espera.

Es por ello, que en muchos de nuestros proyectos de desarrollo de software, los resultados esperados no siempre han sido los mismos, ya que el éxito de un proyecto no depende solamente de los conocimientos que podamos adquirir y que nuestros maestros puedan compartir con nosotros, existen otros factores como la disponibilidad de tiempo del cliente, la preparación y cultura tecnólogica del cliente, entre otros, que definitivamente transforman el progreso del proyecto y obligan a hacer ajustes a esos conocimientos teóricos que poseemos, y que, como estudiantes impacta significativamente en nuestros tiempos, calidad y avance de nuestros proyectos.

Agradeceré sus comentarios al respecto... Críticas constructivas y que aporten elementos interesantes siempre serán bienvenidas.

Metodologías de desarrollo de software

2008-04-02T18:24:00.001-07:00

Hola a todos de nuevo. Me he ausentado un periodo de tiempo debido a que estoy trabajando con el desarrollo de mi proyecto de tesis usando JSF (JavaServer Faces). En esta nueva entrada compartiré con ustedes algunos opiniones personales y algunas otras que son bastante compartidas en cuanto a las metodologías para el desarrollo de software.

En esta ocasión les platicaré un poco sobre la metodología XP (eXtremme Prograamming) pues igual en ella me apoyo para el desarrollo de mi proyecto. El interés se debe a que en pláticas con algunos compañeros existe la confusión si UML (Unified Modeling Language; Lenguaje Unificado de Modelado) es una metodología, y antes de empezar a platicarles un poco sobre XP me gustaría aclarar un poco esto en base a lecturas previas y razonamiento sobre qué es UML y qué se puede hacer con él.

En esencia, UML NO ES UNA METODOLOGIA, como su nombre lo indica, es un lenguaje para modelar las especificaciones de un sistema de desarrollo. Por tanto, UML es independiente de la metodología de desarollo, de ésta manera pueden trabajar con XP por ejemplo y apoyarse en las notaciones UML para los diagramas de clase, casos de uso, etc. UML NO ESPECIFICA COMO DESARROLLAR el software.

Ahora bien, les platicaré un poco sobre XP. eXtremme Programming es una metodología propuesta por Kent Beck y sus puntos esenciales son:

* Desarrollo del proyecto por parejas. Esto permite una retroalimentación y evita las situaciones donde entre tanta gente involucrada en el desarrollo es díficil tomar decisiones.
* Orientando todo a las pruebas, se realizan pruebas de unidad de los módulos.
* 40 horas de trabajo semanal, las horas extras mitigan los ánimos de los desarrolladores.
* Procura una homegenoidad y/o estandarización en el código.
* KISS = Keep it simple stupid!!. Mantener las cosas lo más simple posible es garantía de enredos lógicos de programación y una ardúa tarea de depuración. Lograr que funcionen las cosas como deben de funcionar y al nivel más fácil de comprender. Los "arreglos" (mejoras de eficiencia en el código, reducción del código innecesario, mayor separación entre clases de objetos, etc.) serán llevados a cabo una vez concluido el proyecto, o en su defecto, cada módulo del mismo.

De estos puntos apoyo firmemente la idea del trabajo en parejas. Ciertamente, 3, 4, 5, ..., n cerebros piensan más que 2 pero sin lugar a dudas, sin una buena organización y definición de las funciones que cada miembro del equipo de desarrollo tiene, a mediano plazo resultará en un caos donde todos piensan tener la razón y/o quieran implementar las cosas de acuerdo a sus criterios.

Un elemento MUY importante que deben de considerar es mantener una homegeneidad en el código. Me ha tocado ver aplicaciones en X herramienta (por mencionar una, Delphi) en donde los nombres de los objetos y componentes visuales de la aplicación son imprecisos. Qué más impreciso puede ser: TextEdit1 ¿? Los equipos de desarrollo deben de procurar siempre seguir lineamientos en cuanto a las nomenclaturas de objetos e inclusive en la estructura de directorios del proyecto, vaya, CADA COSA EN SU LUGAR.

Así por ejemplo, almacenen las imagenes en una carpeta imgs por ejemplo, las clases que pertenecen al modelo del problema dentro de un paquete específico, etc. Nomenclaturas "estándares" para los componentes visuales de la aplicación. Estas son prácticas y hábitos que aquel que se considere como programador debe tener muy en cuenta. Además, estas prácticas reducen el impacto "negativo" de agregar una nueva persona al equipo de desarrollo, dado que lo que esta persona debe de saber son esos lineamientos y con ello, no habrá tanto pierde.

Bueno, pues por el momento es todo. Los puntos mencionados sobre XP son los más relevantes, aunque difiero de la opinión de 40 horas a la semana, soy más de los que apoyan la idea e incluso haría más honor al nombre: ¡Programación Extrema!

Sobre el performance de apps y web services en J2EE

2008-03-18T14:23:00.000-07:00

Estuve platicando con uno de los colaboradores del blog: José Castro, y entre la plática surgió un tema interesante: realmente es cierto que el performance de las aplicaciones y servicios Web en el mundo de J2EE es, en comparación con las herramientas (frameworks, servidores, etc.) proporcionadas por Microsoft.

De hecho, se rumora también que muchas empresas están migrando sus bases de datos que manejaban con Oracle a SQL Server. Esto debido a que Oracle ha incluído módulos/elementos desarrollados en Java y por lo tanto, según "disminuyen" el rendimiento y rápidez en las transacciones.

Por el momento, aprovecho algunos ratos "libres" para trabajar con el servidor de aplicaciones de Sun, Sun Application Server PE 9. Y les puedo comentar que los argumentos que pueden encontrar sobre un bajo performance con J2EE son poco o nada sustentables. Todo depende de los detalles de la arquitectura de servidor y configuración del mismo. De esta manera, si por ejemplo, tienen 30 apps JSP corriendo en un TomCat, sobre un servidor con un procesador Xeon a 4 GHz, y de 2 a 4 GB de RAM, sin múltiples JVM configuradas, entre otros muchos detalles erróneos en la planificación y diseño del servidor, es obvio que tú servidor reventará, pero, TU lo habras hecho reventar, dada las sutilezas en los detalles de configuración que has pasado por alto.

Y no lo digo yo nada más, muchas personas con experiencia en estas cuestiones lo saben. Y para muestra basta un botón: http://www.lugmen.org.ar/pipermail/lug-list/2005-September/037839.html, información que representa una crítica muy seria y completamente cierta y demuestra el porqué de los argumentos que "J2EE no tiene un buen performance".

Comparativa: JEE5 vs ASP.NET 3.5 (2008)

2008-03-16T18:44:00.001-07:00

Saludos a todos, me complace presentarles mi Primer aporte al Blog de mi amigo Dario.

En esta oportunidad se muestra la comparativa de arquitecturas Web más populares y robustas en este momento como lo son JEE5 (Java Enterprise Edition 5) y ASP.NET 3.5 (ASP.NET 2008).

Espero que les haya servido de referencia a la hora de seleccionar la tecnología más adecuada para sus proyectos.

José Castro.

Sobre la preparación académica en el estado de Tabasco

2008-03-15T17:53:00.000-07:00

La situación es esta: lamentablemente he estado notando ya desde tiempo atrás la falta de preparación por parte de los estudiantes de nivel superior de las carreras de informática y computación.

Además, la falta de buenos incentivos y apoyos por parte de las instituciones académicas hacia sus alumnos, o el hecho de que en muchas ocasiones les cierran las puertas, diciendo que se debe a tramités burocráticos o normativas que deben seguirse. No señores, no lo creo. No entiendo aún cuál sea el temor de algunas personas que por momentos parece que traten de entorpecer el avance de su prójimo. Me ha tocado ver personas talentosas a las cuales, aquellas personas quienes "están arriba" no las voltean a ver, de verdad que es un desperdicio de talento y por ello la gran fuga de cerebros (buenos) no sólo en nuestro, si no en todo el país.

Por otro lado, al igual que nuestro planeta, existe mucha gente que no está del todo preparada para egresar de una institución de nivel superior e integrarse a su medio productivo. Y entiendáse como su medio productivo al hecho de integrarse en un trabajo donde realmente desempeñe sus habilidades, experiencias y conocimientos que desarrolló durante su formación profesional. Señores, las cosas "afuera" están bien díficiles, y si nosotros optamos por hacerlas aún más difíciles es eso lo que obtendremos.

Para muestra falta un botón. Hace días leí un comentario en un blog (http://brigomp.blogspot.com/2008/03/anlisis-de-rendimiento-y-la-necesidad.html) donde el autor del mismo menciona el hecho de haber recibido un correo donde una persona que labora en una empresa X la planteaba unas dudas que pone en clara evidencia la falta de preparación de la que les hablo. Temas y situaciones que no te enseñan, la mayoría de las veces en las instituciones de educación superior. He ahí una crítica más a nuestro sistema de educación no sólo estatal, si no federal.

Señores que están "arriba de nosotros", esas personas que nos dirigen como educadores/maestros, olviden o, al menos traten de apoyar más y reconocer a los buenos talentos que sí bien son pocos son muy buenos, la gente, esos muchachos talentosos se les están escapando de las manos y están trabajando muchas veces ni para compañías del país, y aquellos que sí lo hacen, plantean dudas que no debieran ser un dolor de cabeza para ellos, prueba de su falta de conocimiento e interés por desarrollarse en su área.

Jóvenes compañeros, estudiantes de las tecnologías de la información, evalúen: ¿quiénes son? ¿Qué es lo que quieren ser? ¿Por qué están estudiando lo que estudian? ¿Realmente les gusta, les apasiona? Como muchas de las cosas en esta vida, si no te apasiona es como ir de paseo al desierto: será un verdadero sufrimiento y agotamiento para ustedes, además que, dadas las condiciones, no se desarrollarán como debe de ser.

A ponerse las pilas señores, dejemos a un lado las excusas y a sacar adelante a nuestro estado y en consecuencia, a nuestro país.

P. D. = Echen un vistazo al blog del cual les hablo, es interesante y sobre todo, sean sinceros consigo mismos: para aquellas personas que se dicen ser buenas en el desarrollo de aplicaciones, particularmente del mundo Web ¿realmente podrán saber dónde el error?

Eclipse Vs. NetBeans

2008-03-04T18:21:00.000-08:00

Eclipse y NetBeans son dos de los IDEs más populares para el desarrollo de aplicaciones Java. Desde mi perspectiva, son quizás también los que más pudieran llegar a tener grupos de personas quienes apoyen a X ó Y.

Particularmente he trabajado con Eclipse, y puedo asegurarles que es un entorno de desarrollo bastante profesional y para mí, el mejor. Hace un par de días leí que para el lanzamiento de cada nueva versión de éste IDE el equipo de desarrollo así como los líderes que los dirigen (equipo administrativo y demás) son nuevos para cada implementación del IDE. Además, de ser un equipo de personas quienes siempre han entregado sus proyectos a tiempo (http://brigomp.blogspot.com/2007/04/eclipse-5-aos-lanzando-software-tiempo.html) ha sido realmente ¡21 proyectos de desarrollo en un solo! (http://www-128.ibm.com/developerworks/opensource/library/os-eclipse-europa/)

Actualmente estoy trabajando con el plug-in MyEclipse, y qué les puedo contar de él. Es una hermosura, desde aplicaciones Swing pasando a través de configuración de servidores, despliegue de aplicaciones, conexiones a bases de datos, persistencia de objetos, la oportunidad de desarrollar aplicaciones JSF, Struts, ICEFaces de una manera muy fácil, rápida e intuitiva (claro, con conocimientos teóricos previos), diagramas UML, ORM, debuggers (AJAX, JavaScript, JSF,...), y si a esto le agrega los miles de plug-ins externos que pueda descargar, por mencionar algunos: desarrollo de aplicaciones móviles, unidades de prueba (JUnit, JWebUnit,...), manejo de objetos persistentene con TopLink de Oracle o Hibernate y hasta donde sé, próximamente OpenJPA, un proyecto open source para persistencia de datos de uno de los gigantes del mundo Web: Apache (al menos en la versión 3.x de Eclipse, con el plug-in MyEclipse 6.0x no cuentan con ello).

Un sin fin de herramientas de apoyo que nos libera del trabajo duro ésta herramienta. Sí bien es cierto, he argumentado únicamente sobre Eclipse y particularmente de MyEclipse, y no he desplegado argumentos sobre NetBeans, pues los invito precisamente a ello, compartan las experiencias que han tenido con éste último IDE, después de todo, es una de las finalidades del blog: compartir experiencias, guiarnos los unos a los otros, compartir el conocimiento, pues el conocimiento es de todos. Quizás estoy equivocado y haya más luz del otro lado del camino. . .

¡ B I E N V E N I D O !

2008-03-02T17:35:00.000-08:00

Hola a todos. Les doy la bienvenida a mi blog sobre Tecnología de la Información. Aquí trataremos temas sobre informática y computación, particularmente del desarrollo de aplicaciones y todo lo que involucre.

Aunque se tratarán temas sobre otras herramientas/lenguajes de desarrollo, por el momento el alcance principal del blog es difundir el desarrollo de aplicaciones empresariales con el lenguaje Java.

Dirigido a el público en general, y específicamente, a la comunidad del estado de Tabasco, quienes se interesen en compartir sus dudas, inquietudes y sugerencias sobre las temáticas abordadas.

Sientánse libres, pues la verdad os hará libres. Gracias por darle difusión y su apoyo para postear temas relevantes y novedosos...