455 research outputs found
Engineering Enterprise Software Systems with Interactive UML Models and Aspect-Oriented Middleware
Large scale enterprise software systems are inherently complex and hard to maintain. To deal with this complexity, current mainstream software engineering practices aim at raising the level of abstraction to visual models described in OMG’s UML modeling language. Current UML tools, however, produce static design diagrams for documentation which quickly become out-of-sync with the software, and thus obsolete. To address this issue, current model-driven software development approaches aim at software automation using generators that translate models into code. However, these solutions don’t have a good answer for dealing with legacy source code and the evolution of existing enterprise software systems. This research investigates an alternative solution by making the process of modeling more interactive with a simulator and integrating simulation with the live software system. Such an approach supports model-driven development at a higher-level of abstraction with models without sacrificing the need to drop into a lower-level with code. Additionally, simulation also supports better evolution since the impact of a change to a particular area of existing software can be better understood using simulated “what-if” scenarios. This project proposes such a solution by developing a web-based UML simulator for modeling use cases and sequence diagrams and integrating the simulator with existing applications using aspect-oriented middleware technology
Metaheuristic models for decision support in the software construction process
En la actualidad, los ingenieros software no solo tienen la responsabilidad de construir
sistemas que desempe~nen una determinada funcionalidad, sino que cada vez
es más importante que dichos sistemas también cumplan con requisitos no funcionales
como alta disponibilidad, efciencia o seguridad, entre otros. Para lograrlo,
los ingenieros se enfrentan a un proceso continuo de decisión, pues deben estudiar
las necesidades del sistema a desarrollar y las alternativas tecnológicas existentes
para implementarlo. Todo este proceso debe estar encaminado a la obtención de
sistemas software de gran calidad, reutilizables y que faciliten su mantenimiento y
modificación en un escenario tan exigente y competitivo.
La ingeniería del software, como método sistemático para la construcción de software,
ha aportado una serie de pautas y tareas que, realizadas de forma disciplinada
y adaptadas al contexto de desarrollo, posibilitan la obtención de software de calidad.
En concreto, el proceso de análisis y diseño del software ha adquirido una gran
importancia, pues en ella se concibe la estructura del sistema, en términos de sus bloques
funcionales y las interacciones entre ellos. Es en este momento cuando se toman
las decisiones acerca de la arquitectura, incluyendo los componentes que la conforman,
que mejor se adapta a los requisitos, tanto funcionales como no funcionales,
que presenta el sistema y que claramente repercuten en su posterior desarrollo. Por
tanto, es necesario que el ingeniero analice rigurosamente las alternativas existentes,
sus implicaciones en los criterios de calidad impuestos y la necesidad de establecer
compromisos entre ellos. En este contexto, los ingenieros se guían principalmente
por sus habilidades y experiencia, por lo que dotarles de métodos de apoyo a la
decisión representaría un avance significativo en el área.
La aplicación de técnicas de inteligencia artificial en este ámbito ha despertado un
gran interés en los últimos años. En particular, la inteligencia artificial ha encontrado
en la ingeniería del software un ámbito de aplicación complejo, donde diferentes
técnicas pueden ayudar a conseguir la semi-automatización de tareas tradicionalmente
realizadas de forma manual. De la unión de ambas áreas surge la denominada
ingeniería del software basada en búsqueda, que propone la reformulación de las
actividades propias de la ingeniería del software como problemas de optimización.
A continuación, estos problemas podrían ser resueltos mediante técnicas de búsqueda
como las metaheurísticas. Este tipo de técnicas se caracterizan por explorar el
espacio de posibles soluciones de una manera \inteligente", a menudo simulando
procesos naturales como es el caso de los algoritmos evolutivos.
A pesar de ser un campo de investigación muy reciente, es posible encontrar propuestas
para automatizar una gran variedad de tareas dentro del ciclo de vida del software, como son la priorización de requisitos, la planifcación de recursos, la refactorización del código fuente o la generación de casos de prueba. En el ámbito del
análisis y diseño de software, cuyas tareas requieren de creatividad y experiencia,
conseguir una automatización completa resulta poco realista. Es por ello por lo que
la resolución de sus tareas mediante enfoques de búsqueda debe ser tratada desde la
perspectiva del ingeniero, promoviendo incluso la interacción con ellos. Además, el
alto grado de abstracción de algunas de sus tareas y la dificultad de evaluar cuantitativamente
la calidad de un diseño software, suponen grandes retos en la aplicación
de técnicas de búsqueda durante las fases tempranas del proceso de construcción de
software.
Esta tesis doctoral busca realizar aportaciones significativas al campo de la ingeniería
del software basada en búsqueda y, más concretamente, al área de la optimización
de arquitecturas software. Aunque se están realizando importantes avances en este
área, la mayoría de propuestas se centran en la obtención de arquitecturas de bajo
nivel o en la selección y despliegue de artefactos software ya desarrollados. Por tanto,
no existen propuestas que aborden el modelado arquitectónico a un nivel de abstracción elevado, donde aún no existe un conocimiento profundo sobre cómo será el
sistema y, por tanto, es más difícil asistir al ingeniero. Como problema de estudio,
se ha abordado principalmente la tarea del descubrimiento de arquitecturas software
basadas en componentes. El objetivo de este problema consiste en abstraer los bloques
arquitectónicos que mejor definen la estructura actual del software, así como
sus interacciones, con el fin de facilitar al ingeniero su posterior análisis y mejora.
Durante el desarrollo de esta tesis doctoral se ha explorado el uso de una gran variedad
de técnicas de búsqueda, estudiando su idoneidad y realizando las adaptaciones
necesarias para hacer frente a los retos mencionados anteriormente. La primera propuesta
se ha centrado en la formulación del descubrimiento de arquitecturas como
problema de optimización, abordando la representación computacional de los artefactos
software que deben ser modelados y definiendo medidas software para evaluar
su calidad durante el proceso de búsqueda. Además, se ha desarrollado un primer
modelo basado en algoritmos evolutivos mono-objetivo para su resolución, el cual ha
sido validado experimentalmente con sistemas software reales. Dicho modelo se caracteriza
por ser comprensible y
exible, pues sus componentes han sido diseñados
considerando estándares y herramientas del ámbito de la ingeniería del software,
siendo además configurable en función de las necesidades del ingeniero.
A continuación, el descubrimiento de arquitecturas ha sido tratado desde una perspectiva
multiobjetivo, donde varias medidas software, a menudo en con
icto, deben
ser simultáneamente optimizadas. En este caso, la resolución del problema se ha
llevado a cabo mediante ocho algoritmos del estado del arte, incluyendo propuestas recientes del ámbito de la optimización de muchos objetivos. Tras ser adaptados al
problema, estos algoritmos han sido comparados mediante un extenso estudio experimental
con el objetivo de analizar la ifnuencia que tiene el número y la elección
de las métricas a la hora de guiar el proceso de búsqueda. Además de realizar una
validación del rendimiento de estos algoritmos siguiendo las prácticas habituales
del área, este estudio aporta un análisis detallado de las implicaciones que supone
la optimización de múltiples objetivos en la obtención de modelos de soporte a la
decisión.
La última propuesta en el contexto del descubrimiento de arquitecturas software
se centra en la incorporación de la opinión del ingeniero al proceso de búsqueda.
Para ello se ha diseñado un mecanismo de interacción que permite al ingeniero indicar
tanto las características deseables en las soluciones arquitectónicas (preferencias
positivas) como aquellos aspectos que deben evitarse (preferencias negativas). Esta
información es combinada con las medidas software utilizadas hasta el momento,
permitiendo al algoritmo evolutivo adaptar la búsqueda conforme el ingeniero interactúe. Dadas las características del modelo, su validación se ha realizado con la
participación de ingenieros con distinta experiencia en desarrollo software, a fin de
demostrar la idoneidad y utilidad de la propuesta.
En el transcurso de la tesis doctoral, los conocimientos adquiridos y las técnicas
desarrolladas también han sido extrapolados a otros ámbitos de la ingeniería del
software basada en búsqueda mediante colaboraciones con investigadores del área.
Cabe destacar especialmente la formalización de una nueva disciplina transversal,
denominada ingeniería del software basada en búsqueda interactiva, cuyo fin es promover
la participación activa del ingeniero durante el proceso de búsqueda. Además,
se ha explorado la aplicación de algoritmos de muchos objetivos a un problema clásico
de la computación orientada a servicios, como es la composición de servicios web.Nowadays, software engineers have not only the responsibility of building systems that provide a particular functionality, but they also have to guarantee that these systems ful l demanding non-functional requirements like high availability, e ciency or security. To achieve this, software engineers face a continuous decision process, as they have to evaluate system needs and existing technological alternatives to implement it. All this process should be oriented towards obtaining high-quality and reusable systems, also making future modi cations and maintenance easier in such a competitive scenario. Software engineering, as a systematic method to build software, has provided a number of guidelines and tasks that, when done in a disciplinarily manner and properly adapted to the development context, allow the creation of high-quality software. More speci cally, software analysis and design has acquired great relevance, being the phase in which the software structure is conceived in terms of its functional blocks and their interactions. In this phase, engineers have to make decisions about the most suitable architecture, including its constituent components. Such decisions are made according to the system requirements, either functional or non-functional, and will have a great impact on its future development. Therefore, the engineer has to rigorously analyse existing alternatives, their implications on the imposed quality criteria and the need of establishing trade-o s among them. In this context, engineers are mostly guided by their own capabilities and experience, so providing them with decision support methods would represent a signi cant contribution. The application of arti cial intelligent techniques in this area has experienced a growing interest in the last years. Particularly, software engineering represents a complex application domain to arti cial intelligence, whose diverse techniques can help in the semi-automation of tasks traditionally performed manually. The union of both elds has led to the appearance of search-based software engineering, which proposes reformulating software engineering activities as optimisation problems. For their resolution, search techniques like metaheuristics can be then applied. This type of technique performs an \intelligent" exploration of the space of candidate solutions, often inspired by natural processes as happens with evolutionary algorithms. Despite the novelty of this research eld, there are proposals to automate a great variety of tasks within the software lifecycle, such as requirement prioritisation, resource planning, code refactoring or test case generation. Focusing on analysis and design, whose tasks require creativity and experience, trying to achieve full automation is not realistic. Therefore, solving design tasks by means of search approaches should be oriented towards the engineer's perspective, even promoting their interaction. Furthermore, design tasks are also characterised by a high level of abstraction and the di culty of quantitatively evaluating design quality. All these aspects represent key challenges for the application of search techniques in early phases of the software construction process. The aim of this Ph.D. Thesis is to make signi cant contributions in search-based software engineering and, specially, in the area of software architecture optimisation. Although it is an area in which signi cant progress is being done, most of the current proposals are focused on generating low-level architectures or selecting and deploying already developed artefacts. Therefore, there is a lack of proposals dealing with architectural modelling at a high level of abstraction. At this level, engineers do not have a deep understanding of the system yet, meaning that assisting them is even more di cult. As case study, the discovery of component-based software architectures has been primary addressed. The objective for this problem consists in the abstraction of the architectural blocks, and their interactions, that best de ne the current structure of a software system. This can be viewed as the rst step an engineer would perform in order to further analyse and improve the system architecture. In this Ph.D. Thesis, the use of a great variety of search techniques has been explored. The suitability of these techniques has been studied, also making the necessary adaptations to cope with the aforementioned challenges. A rst proposal has been focused on the formulation of software architecture discovery as an optimisation problem, which consists in the computational representation of its software artefacts and the de nition of software metrics to evaluate their quality during the search process. Moreover, a single-objective evolutionary algorithm has been designed for its resolution, which has been validated using real software systems. The resulting model is comprehensible and exible, since its components have been designed under software engineering standards and tools and are also con gurable according to engineer's needs. Next, the discovery of software architectures has been tackled from a multi-objective perspective, in which several software metrics, often in con ict, have to be simultaneously optimised. In this case, the problem is solved by applying eight state-of-theart algorithms, including some recent many-objective approaches. These algorithms have been adapted to the problem and compared in an extensive experimental study, whose purpose is to analyse the in uence of the number and combination of metrics when guiding the search process. Apart from the performance validation following usual practices within the eld, this study provides a detailed analysis of the practical
implications behind the optimisation of multiple objectives in the context of
decision support.
The last proposal is focused on interactively including the engineer's opinion in the
search-based architecture discovery process. To do this, an interaction mechanism
has been designed, which allows the engineer to express desired characteristics for
the solutions (positive preferences), as well as those aspects that should be avoided
(negative preferences). The gathered information is combined with the software
metrics used until the moment, thus making possible to adapt the search as the
engineer interacts. Due to the characteristics of the proposed model, engineers of
di erent expertise in software development have participated in its validation with
the aim of showing the suitability and utility of the approach.
The knowledge acquired along the development of the Thesis, as well as the proposed
approaches, have also been transferred to other search-based software engineering
areas as a result of research collaborations. In this sense, it is worth noting the
formalisation of interactive search-based software engineering as a cross-cutting discipline,
which aims at promoting the active participation of the engineer during the
search process. Furthermore, the use of many-objective algorithms has been explored
in the context of service-oriented computing to address the so-called web service
composition problem
The Global Crisis as Digital Transformation Motivator: from Lifecycle Optimization to Efficient Implementation Series
It is generally known that software system development lifecycle (SSDL) should be managed adequately. The global economy crisis and subsequent depression have taught us certain lessons on the subject, which is so vital for digital transformation, for Industry 4.0. The paper presents the adaptive methodology of enterprise SSDL, which allows to avoid local crises while producing large-scale software. The methodology is based on extracting common ERP module level patterns and applying them to series of heterogeneous implementations. The approach includes a lifecycle model, which extends conventional spiral model by formal data representation/management models and DSL-based low-level CASE tools supporting the formalisms. The methodology has been successfully implemented as a series of portal-based ERP systems in ITERA oil-and-gas corporation, and in a number of trading/banking enterprise smart applications for other enterprises. Semantic network-based air traffic planning system, and a 6D-model-driven nuclear power plant construction support system are currently in progress
Preserving the Quality of Architectural Tactics in Source Code
In any complex software system, strong interdependencies exist between requirements and software architecture. Requirements drive architectural choices while also being constrained by the existing architecture and by what is economically feasible. This makes it advisable to concurrently specify the requirements, to devise and compare alternative architectural design solutions, and ultimately to make a series of design decisions in order to satisfy each of the quality concerns.
Unfortunately, anecdotal evidence has shown that architectural knowledge tends to be tacit in nature, stored in the heads of people, and lost over time. Therefore, developers often lack comprehensive knowledge of underlying architectural design decisions and inadvertently degrade the quality of the architecture while performing maintenance activities. In practice, this problem can be addressed through preserving the relationships between the requirements, architectural design decisions and their implementations in the source code, and then using this information to keep developers aware of critical architectural aspects of the code.
This dissertation presents a novel approach that utilizes machine learning techniques to recover and preserve the relationships between architecturally significant requirements, architectural decisions and their realizations in the implemented code.
Our approach for recovering architectural decisions includes the two primary stages of training and classification. In the first stage, the classifier is trained using code snippets of different architectural decisions collected from various software systems. During this phase, the classifier learns the terms that developers typically use to implement each architectural decision. These ``indicator terms\u27\u27 represent method names, variable names, comments, or the development APIs that developers inevitably use to implement various architectural decisions. A probabilistic weight is then computed for each potential indicator term with respect to each type of architectural decision. The weight estimates how strongly an indicator term represents a specific architectural tactics/decisions. For example, a term such as \emph{pulse} is highly representative of the heartbeat tactic but occurs infrequently in the authentication. After learning the indicator terms, the classifier can compute the likelihood that any given source file implements a specific architectural decision.
The classifier was evaluated through several different experiments including classical cross-validation over code snippets of 50 open source projects and on the entire source code of a large scale software system. Results showed that classifier can reliably recognize a wide range of architectural decisions.
The technique introduced in this dissertation is used to develop the Archie tool suite. Archie is a plug-in for Eclipse and is designed to detect wide range of architectural design decisions in the code and to protect them from potential degradation during maintenance activities. It has several features for performing change impact analysis of architectural concerns at both the code and design level and proactively keep developers informed of underlying architectural decisions during maintenance activities.
Archie is at the stage of technology transfer at the US Department of Homeland Security where it is purely used to detect and monitor security choices. Furthermore, this outcome is integrated into the Department of Homeland Security\u27s Software Assurance Market Place (SWAMP) to advance research and development of secure software systems
Integration of Information Technologies in Enterprise Application Development
Healthcare enterprises are disconnected. In the era of integrated information systems and Internet explosion, the necessity of information systems integration reside from business process evolution, on the one hand, and from information technology tendencies, on the other hand. In order to become more efficient and adaptive to change, healthcare organizations are tremendously preoccupied of business process automation, flexibility and complexity. The need of information systems integration arise from these goals, explaining, at the same time, the special interest in EAI. Extensible software integration architectures and business orientation of process modeling and information systems functionalities, the same as open-connectivity, accessibility and virtualization lead to most suitable integration solutions: SOA and BPM architectural styles in a cloud computing environment
Migration to PaaS Clouds - Migration Process and Architectural Concerns
In the cloud computing technology stack, infrastructure has matured more than platform or software service technologies with respect to languages and techniques used for architecting and managing respective applications. Platform-asa- Service (PaaS) emerges as a focus for the near future that we will focus on. We look at software architecture and programming concerns in the context of migration to PaaS solutions, i.e. the transition of platform systems from on-premise to cloud solutions. We investigate best-practice approaches in cloud-aware coding in the form of patterns and formulate these as a migration process. While one-to-one mappings of software from on-premise to cloud platforms are possible, statelessness and data externalisation from stateful sessions and applications emerge as solutions if cloud benefits such as elasticity and performance are aimed at
Käytettävyyden ja kehityksen modernisointi mikropalveluilla
Vanhat ohjelmistojärjestelmät, joilla tarkoitetaan vanhoja ja vanhentuneita ohjelmistoja joita on tehty vanhentuneilla työskentelytavoilla, ovat todellisuus jonka kanssa suurin osa ohjelmistokehitysyrityksistä joutuvat kamppailemaan. Vanhat työskentelytavat ja teknologiat aiheuttavat usein ohjelmiston kehityksen ja julkaisun hidastumista, sillä niiden jatkuvassa käytössä voi piillä yhteensopivuus, turvallisuus, skaalautuvuus sekä ekonomisia ongelmia, muiden ongelmien muassa.
Ohjelmistojärjestelmien modernisointi, uudelleensuunnittelu ja refaktorointi voivat lievittää vanhoista järjestelmistä nousevia ongelmia, oli se sitten työskentelytapojen muutoksella, teknologioiden päivityksellä tai ohjelmistoalustojen vaihdolla. On olemassa monia teknologioita ja metodeja jotka voivat helpottaa ohjelmistojärjestelmien modernisointia, mukaanlukien siirto käyttämään erilaista arkkitehtuuria, uusien teknologioiden käyttöönotto ja ohjelmistokehityksen tapojen vaihto. Näillä teknologioilla ja metodeilla, ja modernisaatiolla yleensäkkin, on omat riskinsä ja haasteensa, jotka tulee ottaa huomioon onnistuneen modernisaation aikaansaamiseksi; Nämä strategiset huomiot ovat avaintekijöitä modernisaatiossa.
Tämä opinnäytetyö tutkii ohjelmistojen modernisaatiota yleisellä tasolla kirjallisuusarvostelun kautta, ja käyttää tietyn yrityksen tapaustutkimuksen dataa, joka on kerätty kyselyjen ja yhtiön lokien kautta, katsoen mitä teknologioita, konsepteja ja strategioita tarvitaan onnistuneeseen modernisaatioon, ja mitä vaikutuksia modernisaatiolla on modernisoitavaan ohjelmistojärjestelmään loppukäyttäjien sekä ohjelmistokehittäjien näkökulmasta. Tämän tutkimuksen lopputulos paljastaa miksi modernisaatio on monimutkainen aihe jossa on monia haasteita, mutta joka samaan aikaan tarjoaa monia hyötyjä modernisoitavalle ohjelmistojärjestelmälle. Näitä tuloksia on parasta käyttää ohjeina siihen, mihin ongelmiin kannattaa keskittyä modernisoinnin aikana, pitäen mielessä tapaustutkimuksen rajoitetun soveltamisalan.Legacy software systems, which refers to old and likely outdated software applications and practices, are a reality that most software development companies have to contend with. Old practices and technologies are often at fault for slowing down development and deployment of software, as they can have compatibility, security, scalability and economic issues with their continued use, among other issues.
Software modernization, reengineering and refactoring can alleviate the issues stemming from legacy systems, whether it be in the form of altering practices, updating technologies or changing platforms.
There are many technologies and methods that can facilitate the modernization of a software system, including a move to using different architectures, specific newer technologies and changing the methods of working and developing the software system. These technologies and methods, and modernization in general, come with their own risks and challenges that must be considered for a successful modernization to take place; These strategic considerations are a key factor in modernization.
This thesis will explore software modernization in general through literature reviews and as a case study for a specific company using data from surveys and the case company’s logs, with a look into the technologies, concepts and strategies required for a successful modernization, and what kinds of effects modernization can have on the software system being modernized, both from a user perspective as well as from a developer perspective. The end-result of this exploration reveals that modernization is a complex subject with many challenges, but that also offers benefits to the software system being modernized. These results are best used as a guideline on what issues should be concentrated on during modernization, with a mindful consideration for the limited scope of the case study represented within
CAViT: a Consistency Maintenance Framework based on Transformation Contracts
Design by contract is a software correctness methodology for procedural and object-oriented software. It relies on logical assertions to detect implementation mistakes at run-time or to proof the absence thereof at compile-time. Design by contract has found a new application in model driven engineering, a methodology that aims to manage the complexity of frameworks by relying on models and transformations.
A ``transformation contract\u27\u27 is a pair of constraints that together describe the effect of a transformation rule on the set of models contained in its transformation definition: the postcondition describes the model consistency state that the rule can establish provided that its precondition is satisfied. A transformation contract of a rule can be maintained automatically by calling the rule (1) as soon as the invariant corresponding to its postcondition is violated
and (2) provided that its precondition is satisfied.
Domain specific visual languages can facilitate the implementation of the actual transformation rules since they hide the complexity of graph transformation algorithms and standards for tool interoperability.
In this talk, we describe CAViT: a framework that integrates a visual model transformation tool with a design by contract tool by relying on OMG standards such as UML, OCL and MOF
- …