1 |
Building An Abstract-Syntax-Tree-Oriented Symbolic Execution Engine for PHP ProgramsHuang, Jin 07 June 2018 (has links)
No description available.
|
2 |
SMALLSOA – Um Motor para Execução de Composições de Serviços em Ambientes MóveisZanuz, Luciano 19 February 2009 (has links)
Made available in DSpace on 2015-03-05T14:01:20Z (GMT). No. of bitstreams: 0
Previous issue date: 19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Arquiteturas orientadas a serviços (SOA) voltaram a ganhar destaque, após o surgimento dos web services, como uma tecnologia capaz de melhorar consideravelmente a
interoperabilidade entre aplicações de software. Para apoiar a crescente necessidade de colaboração entre pessoas fisicamente separadas, como em sistemas de trabalho ou ensino à distância, ambientes colaborativos estão sendo construídos utilizando a Internet como plataforma. Com a popularização dos dispositivos móveis, softwares que permitem interações entre quaisquer dispositivos, móveis ou não, utilizando tecnologias variadas de comunicação
rumo a um mundo ubíquo, vêm ganhando destaque. SOA, por sua vez, está sendo considerada uma das plataformas mais indicadas para sistemas colaborativos ubíquos. Este trabalho apresenta SmallSOA, um motor para execução de composições de serviços em ambientes móveis, um dos componentes centrais da arquitetura orientada a serviços chamada U-SOA que o grupo de pesquisa de Engenharia de Software e Linguagens de Pr / Services-oriented architectures (SOA) restarted to gain prominence after the emergence of web services as a technology able to improve the interoperability between
software applications. To support the growing need for collaboration between people physically separated as in distance work or learning systems, collaborative environments are being constructed using the Internet as platform. With the popularization of mobile devices, software that allows interactions between any devices, mobile or not, using different communication technologies towards a ubiquitous world are gaining prominence. SOA, in its turn, is considered one of the most suitable platforms for ubiquitous collaborative systems. This work presents SmallSOA, an engine for services compositions execution on mobile environments, one of the central components of the service oriented architecture
called U-SOA that the research team on Software Engineering and Programming Languages at Unisinos is developing. An engine for services compositions exec
|
3 |
Controle de microgrids dirigido por modelos / Microgrids model driven controlSampaio Junior, Adalberto Ribeiro 31 March 2014 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2015-01-13T10:58:35Z
No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Dissertação - Adalberto Ribeiro Sampaio Junior - 2014.pdf: 1618396 bytes, checksum: bd9ccea5178781ea6e1d2e0b346d9787 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-01-13T10:58:56Z (GMT) No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Dissertação - Adalberto Ribeiro Sampaio Junior - 2014.pdf: 1618396 bytes, checksum: bd9ccea5178781ea6e1d2e0b346d9787 (MD5) / Made available in DSpace on 2015-01-13T10:58:56Z (GMT). No. of bitstreams: 2
license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Dissertação - Adalberto Ribeiro Sampaio Junior - 2014.pdf: 1618396 bytes, checksum: bd9ccea5178781ea6e1d2e0b346d9787 (MD5)
Previous issue date: 2014-03-31 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The use of model driven engineering (MDE) and models at runtime represent an important
tools for the development and management of complex systems. We show how a model
driven approach can be used to create a manager able to control the various components
of a microgrid, besides adding autonomic behavior in this kind of system. Applying an
architecture that respects the hierarchy of controllers present in microgrids, we show how
devices can be controlled through calls and events that are targeted to a manager and
defined in its model. This model-driven approach facilitates the control of devices and
allows customization of the bahavior of a microgrid by the end user in charge of managing
it. / O uso de engenharia de software dirigida por modelos (MDE) e de modelos em tempo de
execução constitui uma ferramenta importante para desenvolver e controlar sistemas complexos.
Neste trabalho utilizamos uma abordagem dirigida por modelos para controlar sistemas
de distribuição de energia elétrica conhecidos como microgrids. Mostramos como
uma abordagem dirigida por modelos pode ser utilizada para criar um gerente capaz de
controlar os diversos componentes de uma microgrid, além de adicionar comportamento
autonômico neste tipo de sistema. Aplicando uma arquitetura que respeita a hierarquia
dos controladores presentes em microgrids, mostramos como os dispositivos podem ser
controlados por meio de chamadas e eventos direcionados ao gerente de recursos e definidos
em seu modelo. Essa forma de controle dirigido por modelos facilita a definição do
controle dos dispositivos de uma microgrid por parte do usuário, além de permitir uma
personalização do comportamento global de uma microgrid.
|
4 |
[en] QEEF: AN EXTENSIBLE QUERY EXECUTION ENGINE / [pt] QEEF: UMA MÁQUINA DE EXECUÇÃO DE CONSULTASFAUSTO VERAS MARANHAO AYRES 30 June 2004 (has links)
[pt] O processamento de consultas em Sistemas de Gerência de
Banco de Dados tradicionais tem sido largamente estudado na
literatura e utilizado comercialmente com enorme sucesso.
Isso é devido, em parte, à eficiência das Máquinas de
Execução de Consultas (MEC) no suporte ao modelo de
execução tradicional. Porém, o surgimento de novos cenários
de aplicação, principalmente em conseqüência do modelo
computacional da web, motivou a pesquisa de novos modelos
de execução, tais como: modelo adaptável e modelo contínuo,
além da pesquisa de modelos de dados semi-estruturados, tal
como o XML, ambos não suportados pelas MEC tradicionais. O
objetivo desta tese consiste no desenvolvimento de uma MEC
extensível frente a diferentes modelos de execução e de
dados. Adicionalmente, esta proposta trata de maneira
ortogonal o modelo de execução e o modelo de dados, o que
permite a avaliação de planos de execução de consultas
(PEC) com fragmentos em diferentes modelos. Utilizou-se a
técnica de framework de software para a especificação da
MEC extensível, produzindo o framework QEEF (Query
Execution Engine Framework). A extensibilidade da
solução reflete-se em um meta-modelo, denominado QUEM
(QUery Execution Meta-model), capaz de exprimir diferentes
modelos em um meta-PEC. O framework QEEF pré-processa um
meta-PEC e produz um PEC final a ser avaliado pela MEC
instanciada. Como parte da validação desta proposta,
instanciou-se o QEEF para diferentes modelos de execução e
de dados. / [en] Querying processing in traditional Database Management
Systems (DBMS) has been extensively studied in the
literature and adopted in industry. Such success is, in
part, due to the performance of their Query Execution
Engines (QEE) for supporting the traditional query
execution model. The advent of new query scenarios, mainly
due to the web computational model, has motivate the
research on new execution models such as: adaptive and
continuous, and on semistructured data models, such as XML,
both not natively supported by traditional query engines.
This thesis proposes the development of an extensible QEE
adapted to the new execution and data models. Achieving
this goal, we use a software design approach based on
framework technique to produce the Query Execution Engine
Framework (QEEF). Moreover, we address the question of the
orthogonality between execution and data models, witch
allows for executing query execution plans (QEP) with
fragments in different models. The extensibility of our
solution is specified by in a QEP by an execution meta-
model named QUEM (QUery Execution Meta-model) used to
express different models in a meta-QEP. During query
evaluation, the latter is pre-processed by the QEEF
producing a final QEP to be evaluated by the running QEE.
The QEEF is instantiated for different execution and data
models as part of the validation of this proposal.
|
5 |
Construção de middleware específico de domínio: unificando abordagem dirigida por modelos e separação de interesses / Specific domain middleware building: unified model driven approach and separation of interestsBarbosa, Weider Alves 30 October 2017 (has links)
Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-02-01T11:58:08Z
No. of bitstreams: 2
Dissertação - Weider Alves Barbosa - 2017.pdf: 3232518 bytes, checksum: 2a1f899f2cf8bf0f76707049183a9888 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-02-02T09:42:07Z (GMT) No. of bitstreams: 2
Dissertação - Weider Alves Barbosa - 2017.pdf: 3232518 bytes, checksum: 2a1f899f2cf8bf0f76707049183a9888 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-02-02T09:42:07Z (GMT). No. of bitstreams: 2
Dissertação - Weider Alves Barbosa - 2017.pdf: 3232518 bytes, checksum: 2a1f899f2cf8bf0f76707049183a9888 (MD5)
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Previous issue date: 2017-10-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This thesis presents an approach to construct model execution machines based on the concept of Domain
Specific Virtual Machines (DSVMs), focusing on the control middleware layer that is responsible for the
control of model execution. In order to build this layer, we used techniques derived from model-driven
engineering (MDE), in order to take advantage of the fact that DSVMs can both interpret models directly
and be constructed using models. Another concept used in the proposed approach is the Separation of
Concerns, separating the execution model from the knowledge of the application domain. In this sense, the
main objective of this work is to propose an approach that unifies the MDE techniques and separation of
concerns for the construction of DSVMs, thus allowing to express both the structure and operational
semantics of the middleware. As a result, an instance of the control layer of a DSVM for the user-centric
communication domain is displayed. We also present the results of a performance evaluation that was
carried out to analyze the impact of proposed approach on the execution time. / Esta dissertação apresenta uma abordagem para construção de máquinas de execução de
modelos baseadas no conceito de Domain Specific Virtual Machines (DSVMs), com foco na
camada de middleware de controle, que é responsável pelo controle de execução de modelos.
Para construir essa camada, foram utilizadas técnicas provenientes da engenharia dirigida por
modelos (MDE), visando aproveitar o fato de que DSVMs podem tanto interpretar modelos
diretamente, quanto ser construída por meio de modelos. Outro conceito utilizado na
abordagem proposta é a separação de interesses (Separation of Concerns), separando o
modelo de execução do conhecimento de domínio de aplicação. Neste sentido, o objetivo
principal deste trabalho é propor uma abordagem que faça a união das técnicas MDE e
separação de interesses para construção de DSVMs, permitindo assim expressar tanto a
estrutura quanto a semântica operacional do middleware. Como resultado, é apresentada uma
instância da camada de controle de uma DSVM para o domínio de comunicação centrada no
usuário. Também são apresentados os resultados de uma avaliação de desempenho realizada
para analisar a abordagem proposta sobre o tempo de execução.
|
Page generated in 0.0587 seconds