PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation

Pons, Clàudia; Giandini, Roxana Silvia; Pérez, Gabriela Alejandra; Pesce, Pablo; Becker, Valeria; Longinotti, Jorge; Cengia, Javier

doi:10.1007/978-3-540-31797-5_26

Cited by 6 publications

(3 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The specialization is defined as a refinement incremented by an extension. Pons et al [19,21,23] have developed a tool called E-Platero [22] that supports some refinement development of class diagrams. This tool proposes a relation of refinement equivalent to that proposed in Object-Z [13].…”

Section: Introductionmentioning

confidence: 99%

Incremental development of UML specifications using operation refinements

Ammar

Bhiri

Souquières

2008

Innovations Syst Softw Eng

View full text Add to dashboard Cite

In an incremental specification development process, operations are used to model dynamic aspects and can be refined gradually. We propose four kinds of operation refinement in order to control modifications when developing and refactoring UML specifications. Each refinement is described with its properties and illustrated by an example, showing which verifications can be done, using the B formal method.

show abstract

Section: Introductionmentioning

confidence: 99%

Incremental development of UML specifications using operation refinements

Ammar

Bhiri

Souquières

2008

Innovations Syst Softw Eng

View full text Add to dashboard Cite

show abstract

“…Para la implementación de la herramienta que se describe a continuación, se re-utilizó algunos componentes de PAMPERO [24]. La sección 6.3.1 describe el analizador léxico y sintáctico.…”

Section: Descripción De Los Módulos De Eplaterounclassified

Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF

Garcı́a¹

View full text Add to dashboard Cite

La complejidad de los problemas del mundo real ha llevado a que la construcción de un sistema de software debe ser precedida por la construcción de un modelo, tal como ocurre en otros sistemas ingenieriles. El modelo de un sistema es una representación conceptual obtenida a partir de la identificación, clasificación y abstracción de los elementos que constituyen el problema y su posterior organización en una estructura formal. De esta forma, el modelo de un sistema actúa como una especificación de los requerimientos que el sistema debe satisfacer, proveyendo un medio de comunicación y negociación entre usuarios, clientes, analistas y desarrolladores, así como también un documento de referencia durante la verificación y validación, y durante la evolución del producto. Es de suma importancia expresar el problema claramente y con precisión; pero esta meta es difícil de lograr, los modelos tienden a contener errores, omisiones e inconsistencias porque ellos son el resultado de una actividad compleja y creativa. El modelo del sistema se expresa utilizando un lenguaje de modelado. El éxito de los lenguajes gráficos de modelados como el Unified Modelling Language (UML) son principalmente basado en el uso de construcciones gráficas que transmiten un significado intuitivo. Estos lenguajes son atractivos para los usuarios porque ellos son claros y entendibles. Estas características son vitales ya que el modelo también cumple una función contractual. Sin embargo es fundamental contar con un lenguaje que permita expresar restricciones semánticas adicionales sobre los objetos del modelo, pudiendo obtener modelos más precisos y verificables. OCL es un lenguaje de especificación formal fácil de leer y escribir. Fue definido por la OMG (Object Management Group), permite expresar restricciones semánticas del sistema que no se pueden expresar a partir de una notación gráfica. De esta forma, los diagramas complementados con expresiones OCL son más precisos, su documentación es más clara, se mejora la comunicación entre desarrolladores (evitando errores producidos por malas interpretaciones) y la compresibilidad del sistema en etapas iniciales del desarrollo de software es mayor. Tanto UML como OCL están definidos a través de MOF (Meta Object Facility) una especificación de tecnología estandarizada por OMG en 1997. MOF es un meta-metamodelo que es utilizado para crear metamodelos. OCL puede ser utilizado para cualquier metamodelo que adhiera a MOF. Otras características que son muy importantes para la utilización de los lenguajes de modelado, en sistemas de software complejos, es contar con técnicas de refinamientos, permitiendo un desarrollo por etapas con distintos niveles de abstracción, postergando los detalles del problema en etapas posteriores. En los lenguajes formales como Z [33] es posible demostrar si una especificación dada es un refinamiento de otra especificación, o incluso derivar refinamientos a partir de una determinada especificación. Para poder utilizar mecanismos de refinamientos en UML, es necesario aumentar la precisión de dicho lenguaje de modelado, y definir un marco para expresar la noción de refinamiento. Algunos grupos de investigadores proponen la traducción de UML/OCL en lenguajes formales que soporten mecanismos de refinamientos para disminuir las deficiencias de UML. Esta tesis está organizada de la siguiente manera. En el capitulo 2 se introduce el concepto de MOF y metamodelos. En el capítulo 3 se describe el uso de OCL en modelos basados en MOF. En el capitulo 4 se expone el metamodelo de OCL 2.0. En el capítulo 5 se describe una estrategia de evaluación para las condiciones de refinamientos en modelos UML/OCL. En el capítulo 6 se describe la implementación de la herramienta que asiste al proceso de especificación y evaluación de refinamiento con UML y OCL. En el capitulo 7 se exponen los trabajos relacionados. En el capitulo 8 se expone las conclusiones finales y se citan futuros trabajos.

show abstract

“…Las transformaciones resultantes serán automáticamente "calculadas" por la herramienta. El prototipo está siendo implementado como una extensión de ePlatero [55] [56], un plug-in de código abierto para la plataforma Eclipse [57], desarrollado por nuestro grupo de investigación, que corre sobre el framework para metamodelado EMF [58]. En las siguientes secciones, daremos una visión general del plug-in ePlatero y una descripción del prototipo llamado Calculador de Composiciones de Transformaciones.…”

Section: Prototipo De Implementaciónunclassified

Un marco formal para transformaciones en la Ingeniería de Software conducida por modelos

Giandini¹

View full text Add to dashboard Cite

El paradigma MDE (Model Driven Engeenering) tiene dos ejes principales: - por un lado hace énfasis en la separación entre la especificación de la funcionalidad esencial del sistema y la implementación de dicha funcionalidad usando plataformas tecnológicas específicas. Los modelos son considerados los conductores primarios en todos los aspectos del desarrollo de software. La transformación entre modelos constituye el motor del MDE y de esta manera los modelos pasan de ser entidades meramente contemplativas a ser entidades productivas. Existe también una visión genérica sobre la metodología MDE, en la cual el proceso de desarrollo de software es implementado mediante una red de transformaciones que se combinan o componen en modos diversos. La habilidad de organizar o componer diferentes transformaciones en manera flexible y confiable con el fin de producir el resultado requerido, es un desafío principal en MDE. Por lo tanto la definición formal de lenguajes de transformación debe incluir mecanismos de composición.

show abstract

PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation

Cited by 6 publications

References 3 publications

Incremental development of UML specifications using operation refinements

Incremental development of UML specifications using operation refinements

Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF

Un marco formal para transformaciones en la Ingeniería de Software conducida por modelos

Contact Info

Product

Resources

About