We proposed her a technique, which can be employed within the methodology know as process reengineering. This technique was applied in a government environment, which included an Information System and Geographical Information System, developed with financial support from The World…

En este artículo presentamos una técnica para traducir diseños estructurales expresados en el
lenguaje BON, al lenguaje formal Alloy. En donde, la principal ventaja de la traducción es que
puede realizarse automáticamente mediante herramientas de software.
Adicionalmente, esta metodología puede…

Patrones de diseño es una herramienta de soporte como técnica de reuso y anticipación al cambio. Su descripción es habitualmente bastante informal no permitiendo concluir cuándo y cómo un patrón es aplicado correctamente. En esto el uso de lenguajes formales…

In today’s world, in both the public or private organizations, there exists the problem that the organizations have to create value, are changing, but the tools to measure them are not. On the other hand, in the current economy, the…

Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal.
In particular, the usage of Model Checking in formal languages…

The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps.
Unfortunately, the standard modelling…

En este artículo estudiamos una extensión del lenguaje DynAlloy con un operador de composición paralela de acciones. DynAlloy es una extensión al lenguaje de especificaciones Alloy, con soporte para la definición de acciones (expresables originalmente con funciones el Alloy), acciones…

It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves…

Se presenta en este trabajo un método riguroso para la reusabilidad de software orientado a objetos, enmarcado en el modelo de ciclo de vida transfonnacional y el lenguaje de especificación algebraica GSBL.
La estrategia básica para la generación semiatomática de…

El objetivo de este trabajo es realizar aportes a la Ingeniería de Software orientada a servicios. Se analizaron los distintos enfoques y estado del arte de la orientación a servicios junto a la arquitectura SOA y se comenzó a delinear…

Product Process Modeling Languaje(PPML) es un lenguaje formal para modelar Procesos de Negocios que posee una semántica basada en sistemas de transición de estados temporizados. El lenguaje posee elementos que lo hacen apropiado para la especificación formal de procesos de…