Perfil UML para el desarrollo de aplicaciones WAP

UML (Unified Modeling Language) es el lenguaje de modelado más utilizado para especificar y documentar sistemas informáticos. Sin embargo, UML es un lenguaje de propósito general, por lo cual muchas veces prescinde de elementos para modelar y representar conceptos concretos de dominios más específicos. Como solución, OMG (Object Managament Group) creó los perfiles, un mecanismo proporcionado para extender la sintaxis y semántica de UML para poder expresar conceptos más específicos de determinados dominios de aplicación. En este trabajo se presenta un perfil UML para el desarrollo de aplicaciones WAP (Wireless Aplications Protocol). El objetivo principal del perfil propuesto, es extender UML para entregar elementos específicos (clases, estereotipos, valores etiquetados y restricciones) que permitan a los desarrolladores modelar aplicaciones WAP. Si bien la expresividad de los diagramas tradicionales de UML permite modelar episodios importantes del proceso, todavía sigue siendo un dominio demasiado específico que difícilmente puede abordarse completamente sin extender el lenguaje. En el proceso existen aspectos navegacionales, de diseño y construcción que no se pueden desarrollar utilizando los elementos tradicionales de UML. No obstante utilizando los elementos específicos creados por el perfil propuesto, se pueden solucionar completamente e incluso conseguir una expresividad mucho mayor para los desarrolladores.II Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Perfil UML para el desarrollo de aplicaciones WAP

UML (Unified Modeling Language) es el lenguaje de modelado más utilizado para especificar y documentar sistemas informáticos. Sin embargo, UML es un lenguaje de propósito general, por lo cual muchas veces prescinde de elementos para modelar y representar conceptos concretos de dominios más específicos. Como solución, OMG (Object Managament Group) creó los perfiles, un mecanismo proporcionado para extender la sintaxis y semántica de UML para poder expresar conceptos más específicos de determinados dominios de aplicación. En este trabajo se presenta un perfil UML para el desarrollo de aplicaciones WAP (Wireless Aplications Protocol). El objetivo principal del perfil propuesto, es extender UML para entregar elementos específicos (clases, estereotipos, valores etiquetados y restricciones) que permitan a los desarrolladores modelar aplicaciones WAP. Si bien la expresividad de los diagramas tradicionales de UML permite modelar episodios importantes del proceso, todavía sigue siendo un dominio demasiado específico que difícilmente puede abordarse completamente sin extender el lenguaje. En el proceso existen aspectos navegacionales, de diseño y construcción que no se pueden desarrollar utilizando los elementos tradicionales de UML. No obstante utilizando los elementos específicos creados por el perfil propuesto, se pueden solucionar completamente e incluso conseguir una expresividad mucho mayor para los desarrolladores.II Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Especificación formal en OCL de reglas de consistencia entre el modelo de clases y de casos de uso de UML

Resumen: En el ciclo de vida del software, durante las fases de definición y análisis se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que representan tanto el problema como su solución. Por lo general, la mayoría de esos modelos se expresan en el Lenguaje Unificado de Modelamiento (UML), dirigido por el Grupo de Gestión de Objetos (Object Management Group, OMG). UML define un conjunto de artefactos que permiten especificar los requisitos del software, los cuales deberían guardar consistencia cuando se traten del mismo modelo, ya que están definidos bajo las reglas de buena formación (Well-Formedness Rules, WFR), las cuales se encuentran definidas dentro de la especificación de UML en el Lenguaje de Restricciones de Objetos (Object Constraint Language, OCL). La consistencia interna de cada artefacto está por tanto definida en la especificación de UML y algunas de las herramientas CASE (Computer-Aided Software Engineering) utilizan esas reglas intramodelo para validar este tipo de consistencia. Sin embargo la consistencia entre diferentes artefactos no se encuentra definida en la especificación de UML y poco se ha trabajado con este tipo de consistencia; además, los trabajos que se han realizado en este tema se identifican por: • No se suele definir de manera formal la consistencia entre los diferentes artefactos. • Por lo general se estudia sólo la consistencia entre alguno de los artefactos y el código resultante. •Algunos establecen reglas formales de consistencia, pero únicamente a nivel de intramodelo. Entre los artefactos más utilizados para especificar una pieza de software se encuentran el diagrama de clases y el diagrama de casos de uso, los cuales suministran dos perspectivas diferentes del desarrollo de software: por un lado el diagrama de clases, de tipo estructural, muestra los objetos del mundo y sus relaciones; por otro lado, el diagrama de casos de uso, de tipo comportamental, se concentra en las funciones que realizan los actores del mundo para lograr un resultado en el software. Estos dos puntos de vista deberían ser complementarios y, por ello, tener información común, susceptible de ser sometida a un análisis de consistencia. En esta Tesis se propone un método para verificar la consistencia entre el diagrama de clases y el diagrama de casos de uso de UML de una manera formal. Dicho proceso se lleva a cabo evaluando una serie de reglas definidas en OCL que se deben cumplir para garantizar que la información brindada por dichos modelos sea consistente. Como se reconoce la participación de los dos diagramas en la elaboración de las Interfaces Gráficas de Usuario (Graphical User Interfaces, GUI), se define adicionalmente la consistencia con este artefacto. Las reglas se implementaron en XQuery, utilizando como diagramas de entrada representaciones en XML generadas con la herramienta CASE ArgoUML® (en el caso del diagrama de clases y de casos de uso) y con Microsoft Visio® (en el caso de las GUI). Finalmente, se muestra un caso de estudio donde se aplican estas reglas y se muestran los posibles errores y advertencias que se tienen entre los elementos de tales artefactos.Abstract: Requirements specification is made throughout the definition and the analysis phases of software development lifecycle. For completing this task, a capture process of the stakeholder’s needs and expectations is needed; the results of this process are then translated into representative diagrams, for modeling both the problem domain and the solution. Commonly, most of these diagrams are expressed in the Unified Modelling Language (UML), a directed standard of the Object Management Group (OMG). UML defines a set of artifacts for specifying the software requirements; the UML artifacts are defined by means of Well-Formedness Rules (WFR) in the Object Constraint Language (OCL) and, consequently, must be consistent with each other. The intra-model consistency of each artifact is guaranteed by the UML specification, and some of the CASE (Computer-Aided Software Engineering) tools use intra-model rules for consistency checking. However, consistency among different UML artifacts is not defined by the UML specification, and the research about inter-model consistency is still immature. Some of the issues for this research topic are: • Inter-model consistency is not usually defined in a formal way. • In most cases, only consistency between one artifact and the resultant code is studied. • Some of the works in this area establish formal consistency rules, but only in the intra-model level. Two of the most useful artifacts for making a specification of a software piece are class and use case diagram. These diagrams present two different viewpoints of software development: firstly, class diagram gives a structural viewpoint, and it can represent the objects of the world and its relationships; secondly, the use case diagram gives a behavioural viewpoint, and it concentrates in the functions that the actors of the world carry out for achieving a result in the software piece. These two viewpoints should be complementary and, as a consequence, they should contain information in common. This information is susceptible of being checked by means of a consistency analysis.Maestrí

Automatic generation of software applications: a platform-based MDA approach

The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create PIM by abstracting common modeling elements into a platform independent modeling library called Design Platform Model (DPM). The DPM contains OCL-based types for modeling primitive and collection types, a platform independent GUI toolkit as well as other common modeling elements, such as those for IO-operations. Furthermore, a DPM profile containing diverse domain specific and design pattern-based stereotypes is also developed to create PIM with high-level semantics. The behavior in PIM is specified using an OCL-like action language called eXecutable OCL (XOCL), which is also developed in this thesis. For model transformation, the model compiler MOCCA is developed based on a flexible and extensible architecture. The model mapper components in the current version of MOCCA are able to map desktop applications onto JSE platform; the both business object layer and persistence layer of a three-layered enterprise applications onto JEE platform and SAP ABAP platform. The entire model transformation process is finished with complete code generation

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

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.Es revisado por: http://sedici.unlp.edu.ar/handle/10915/9623Facultad de Informátic

Benutzerinteraktion in dienstorientierten Architekturen

Ziel der Arbeit ist es, im Rahmen bestehender Entwicklungsvorgehen zur dienstorientierten Unterstützung von Geschäftsprozessen die Anforderungen des Menschen als Benutzer der IT von der Analyse bis zur Implementierung integriert berücksichtigen zu können. Hierbei kommen die Prinzipien der modellgetriebenen Softwareentwicklung zum Einsatz, um (1) eine plattformunabhängige Spezifikation dieser Anforderungen und (2) eine automatisierte Erzeugung der entsprechenden Softwareartefakte zu ermöglichen