41 research outputs found
Web service detection in service-oriented software development
Service Orientierung ist ein wichtiger Trend in der aktuellen Software Entwicklung, von dem sich die Befürworter eine Erhöhung des Wiederverwendungsgrads von Software Komponenten erhoffen. Jedoch fehlt bislang eine erprobtes Vorgehen zur Entwicklung service-orientierter Architekturen, das die Wiederverwendung unterstützt. In dieser Arbeit wird anhand eines Beispiels aus dem Finanzdienstleistungssektor ein "meet-in-the-middle" Vorgehen vorgestellt und aufgezeigt, an welchen Stellen Wiederverwendungspotential besteht. Ein relationales Repository für Web Service Operationen wird vorgestellt und die Anfragemöglichkeiten mittels Description Logic erweitert. Techniken des relationalen Schema Matchings und Description Logic werden kombiniert, um eine effiziente Suche nach Web Service Operationen zu unterstützen. Service orientation has become a buzzword in research and practice
during the last years, but a mature development methodology for
service-oriented architectures does not exist yet. This thesis makes a
contribution to the ongoing discussion on the organization of
service-oriented application development to increase the reuse of Web
services. Based on an example from the financial industry, a
meet-in-the-middle development approach is presented. A relational Web
service operation schema repository is introduced and semantically
extended with description logic. Relational schema matching techniques
and description logic are combined to support efficient
syntactic-semantic search for Web service operations in the repository
P2P and SOA architecture for digital libraries
Doutoramento em Engenharia InformáticaIn an information-driven society where the volume and value of produced and
consumed data assumes a growing importance, the role of digital libraries
gains particular importance. This work analyzes the limitations in current digital
library management systems and the opportunities brought by recent
distributed computing models.
The result of this work is the implementation of the University of Aveiro
integrated system for digital libraries and archives. It concludes by analyzing
the system in production and proposing a new service oriented digital library
architecture supported in a peer-to-peer infrastructureNuma sociedade em que o volume e o valor da informação produzida e
disseminada tem um peso cada vez maior, o papel das bibliotecas digitais
assume especial relevo. O presente trabalho analisa as limitações dos actuais
sistemas de gestão de bibliotecas digitais e as oportunidades criadas pelos
mais recentes modelos de computação distribuída.
Deste trabalho resultou a implementação do sistema integrado para bibliotecas
e arquivos digitais da Universidade de Aveiro. Este trabalho finaliza
debruçando-se sobre o sistema em produção e propondo uma nova
arquitectura de biblioteca digital sustentada numa infrastrutura peer-to-peer e
orientada a serviços
A programming system for process coordination in virtual organisations
PhD thesisDistributed business applications are increasingly being constructed by composing them from services provided by various online businesses. Typically, this leads to trading partners coming together to
form virtual organizations (VOs). Each member of a VO maintains their autonomy, except with respect to their agreed goals. The structure of the Virtual Organisation may contain one dominant organisation who dictates the method of achieving the goals or the members may be considered peers of equal importance. The goals of VOs can be defined by the shared global business processes they contain. To be able to execute these business processes, VOs require a flexible enactment model as there may be no single ‘owner’ of the business process and therefore no natural place to
enact the business processes. One solution is centralised enactment using a trusted third party, but in some cases this may not be acceptable (for instance because of security reasons). This thesis will present a programming system that allows centralised as well as distributed enactment where
each organisation enacts part of the business process. To achieve distributed enactment we must address the problem of specifying the business process in a manner that is amenable to distribution.
The first contribution of this thesis is the presentation of the Task Model, a set of languages and notations for describing workflows that can be enacted in a centralised or decentralised manner.
The business processes that we specify will coordinate the services that each organisation owns.
The second contribution of this thesis is the presentation of a method of describing the observable behaviour of these services. The language we present, SSDL, provides a flexible and extensible way of describing the messaging behaviour of Web Services. We present a method for checking that a set of services described in SSDL are compatible with each other and also that a workflow interacts with a service in the desired manner. The final contribution of this thesis is the presentation of an abstract architecture and prototype implementation of a decentralised workflow engine. The
prototype is able to enact workflows described in the Task Model notation in either a centralised or decentralised scenario
Modeling and verification of web service composition based interorganizational workflows
Interorganisationale Workflows sind Arbeitsabläufe, welche die Grenzen einer Organisation verlassen und einen Rahmen für Kooperationen der verschiedenen autonomen Organisationen zur Verfügung stellen. Ein wichtiger Punkt für den Entwurf solcher Workflows ist die Balance zwischen Offenheit und Abgrenzung, wobei erstere für Kooperationen und letztere die für den Schutz von Know-how benötigt wird. Workflow Sichten stellen ein effizientes Werkzeug für diesen Zweck zur Verfügung. Durch Offenlegung von bestimmten Teilen eines Prozesses, können Organisationen sowohl kooperieren als auch das Know-how schützen. Diese Dissertation präsentiert nun eine Methode für die korrekte Konstruktion von Workflow Sichten.
Es wird angenommen, dass Organisationen Web Service orientierte Technologien zur Modellierung und Implementierung von interorganisationalen Workflows verwenden. Die Anwendung von Web Services bietet Organisationen viele Vorteile. Den eigentlichen Mehrwert von Web Services stellt aber die Kompositionsfähigkeit dar. Verfügbare Web Services können dadurch von anderen Choreographien und Orchestrationen (wieder-)verwendet werden. Die Notwendigkeit der Implementierung von Systemen von Null weg kann minimiert werden. Die zentralen Anforderungen sind einerseits eine Architektur mit adäquatem Potential, andererseits die Verifikation der Korrektheit.
Diese Dissertation präsentiert nun eine Architektur zur Modellierung von Web Service Composition basierten interorganisationalen Workflows, genannt föderierte Choreographien, die verglichen mit anderen Architekturen verschiedene Vorteile anbieten. Darüber hinaus werden Algorithmen und Techniken zur Verifikation der strukturellen und temporalen Korrektheit vorgestellt. Strukturelle Korrektheit prüft, ob die Strukturen der beteiligten Prozesse zusammenpassen. Temporale Korrektheit überprüft, ob ein interorganisationaler Workflow, der aus mehreren Choreographien und Orchestrationen besteht hinsichtlich der lokalen und globalen Bedingungen fehlerfrei ist. Mit Hilfe dieser Techniken kann die strukturelle und temporale Konformität des Modells zur Designzeit überprüft werden. Falls das Modell nicht strukturell oder temporal konform ist, können nötige Änderungen durchgeführt werden, sodass die korrekte Ausführung zur Laufzeit garantiert werden kann. Die Überprüfung der Konformität zur Designzeit reduziert die Prozesskosten vor allem wegen den folgenden zwei Gründen: Erstens, die entdeckten Fehler zur Designzeit sind normalerweise billiger als jene, die zur Laufzeit entdeckt werden und zweitens, Fehlerbehandlungsmechanismen können verhindert werden, die wiederum Zusatzkosten verursachen. Zusätzlich zu der vorgestellten Architektur wird eine allgemeinere Architektur zusammen mit den passenden Konformitätsprüfungsalgorithmen präsentiert. Der Ansatz ist Platform- und sprachunabhängig und die Algorithmen sind verteilt.Interorganizational workflows are workflows that cross the
boundaries of a single organization and provide a framework for
cooperation of different autonomous organizations. An important
issue when designing such workflows is the balance between the
openness needed for cooperation and the privacy needed for
protection of business know-how. Workflow views provide an efficient
tool for this aim. By exposure of only selected parts of a process,
organizations can both cooperate and protect their business logic.
This dissertation presents a technique for a correct construction of
workflow views.
It is assumed that organizations and partners use web services and
web service related technology to model and implement
interorganizational workflows. Application of web services offers
several advantages for organizations. The real surplus of web
services is their capability of being composed to more complex
systems. Available web services can be reused by other
choreographies and orchestrations and the need for development of
new systems from scratch can be minimized. The essential
requirements are on the one hand an architecture with adequate
capabilities and on the other hand, verification of correctness.
This dissertation proposes an architecture for modeling web service
composition based interorganizational workflows, called
\emph{federated choreographies}, that provides several advantages
compared to existing proposals. Moreover, algorithms and techniques
for verification of structural and temporal correctness of
interorganizational workflows are proposed. Structural conformance
checks if the structures of the involved processes match. Temporal
conformance checks if an interorganizational workflow composed of
choreographies and orchestrations is temporally error-free with
respect to local and global temporal constraints. The proposed
algorithms can be applied for checking the structural and temporal
conformance of the federated choreographies at design-time. If the
model is not structurally or temporally conformant, necessary
modifications can be done such that the correct execution of the
flow at run-time can be guaranteed. The conformance checking at
design time reduces the cost of process because of two reasons:
first, errors detected at design time are normally cheaper than
those detected at run time and second, exception handling mechanisms
can be avoided which are, in turn, coupled with additional costs. In
addition to the proposed architecture, a more general architecture
together with the conformance checking algorithms and techniques for
interorganizational workflows are presented. The presented approach
is language and platform independent and algorithms work in a
distributed manner
XATA 2005: XML: aplicações e tecnologias associadas
Esta é a terceira conferência sobre a temática do XML, que tenta reunir anualmente a comunidade XML portuguesa.
Olhando para o passado, e estudando o que aconteceu, podemos observar
uma evolução interessante.
Na primeira conferência (2003), houve uma vintena de trabalhos submetidos,
maioritariamente da autoria ou da supervisão dos membros que
integravam a comissão organizadora.
Na segunda conferência (2004), houve uma participação mais forte da
comunidade portuguesa mas ainda com números pouco expressivos. Nesta
altura, apostou-se também numa forte participação da
indústria, o que se traduziu num conjunto apreciável de apresentações de casos
reais.
Nesta terceira edição, a participação excedeu as nossas
expectativas. Houve uma forte adesão nacional e internacional
(Espanha e Brasil, o que para um evento onde se pretende privilegiar
a língua portuguesa é ainda mais significativo). A distribuição
geográfica em Portugal também aumentou, havendo mais instituições
participantes.
Se analisarmos as temáticas, abordadas nas três conferências, percebemos que também
aqui há uma evolução no sentido de uma maior maturidade. Enquanto
que no primeiro encontro, os trabalhos abordavam problemas
emergentes na utilização da tecnologia, no segundo encontro a grande
incidência foi nos Web Services, uma nova tecnologia baseada
em XML e, no terceiro, a maior incidência é na construção de
repositórios, motores de pesquisa e linguagens de interrogação. Isto
poderá revelar que, de certa forma, os investigadores e os
utilizadores já dominam bem a tecnologia, já têm as sua linhas de
produção documental em XML e que agora é chegado o momento de
armazenar aquela informação em repositórios e de a utilizar a partir
deles. Se reflectirmos um pouco sobre o ciclo de vida documental,
podemos concluir que o armazenamento aparece como uma das últimas
fases. Por isso, podemos dizer que a comunidade portuguesa de XML
"está a fechar" o ciclo de desenvolvimento documental XML.
Nesta edição, houve um elevado número de submissões o que levou a
uma sobrecarga de trabalho por parte dos revisores. Estes
conseguiram desempenhar bem o seu papel e cumprir as datas definidas
pelo "chair". Mas o que aconteceu fez-nos pensar que há necessidade
de alargar ainda mais a Comissão Científica. Como consequência do
número elevado de submissões houve algumas rejeições. Aos respectivos autores,
fica aqui expresso um voto para que melhorem os respectivos
trabalhos e de que esperamos ter contribuído para isso com os relatórios de
revisão que foram enviados.Microsoft Portuga
Development of web services for the PABRE system
This project consists on developing a web service to allow different Requirement Management Tools to access and seach over the PABRE Software Requirements catalogue. A client side interface will be developed and a automatized data migration method from the current tools to a new centralized DBMS
XATA 2006: XML: aplicações e tecnologias associadas
Esta é a quarta conferência sobre XML e Tecnologias Associadas. Este evento tem-se tornado
um ponto de encontro para quem se interessa pela temática e tem sido engraçado observar que os
participantes gostam e tentam voltar nos anos posteriores. O grupo base de trabalho, a comissão
científica, também tem vindo a ser alargada e todos os que têm colaborado com vontade e com uma
qualidade crescente ano após ano.
Pela quarta vez estou a redigir este prefácio e não consigo evitar a redacção de uma descrição
da evolução da XATA ao longo destes quatro anos:
2003 Nesta "reunião", houve uma vintena de trabalhos submetidos, maioritariamente da autoria
ou da supervisão dos membros que integravam a comissão organizadora o que não envalidou
uma grande participação e acesas discussões.
2004 Houve uma participação mais forte da comunidade portuguesa mas ainda com números pouco
expressivos. Nesta altura, apostou-se também numa forte participação da indústria, o que se
traduziu num conjunto apreciável de apresentações de casos reais. Foi introduzido o processo de
revisão formal dos trabalhos submetidos.
2005 Houve uma forte adesão nacional e internacional (Espanha e Brasil, o que para um evento onde
se pretende privilegiar a língua portuguesa é ainda mais significativo). A distribuição geográfica
em Portugal também aumentou, havendo mais instituições participantes. Automatizaram-se
várias tarefas como o processo de submissão e de revisão de artigos.
2006 Nesta edição actual, e contrariamente ao que acontece no plano nacional, houve um crescimento
significativo. Em todas as edições, tem sido objectivo da comissão organizadora, previlegiar
a produção científica e dar voz ao máximo número de participantes. Nesse sentido, este ano,
não haverá oradores convidados, sendo o programa integralmente preenchido com as apresentações
dos trabalhos seleccionados. Apesar disso ainda houve uma taxa significativa de rejeições,
principalmente devido ao elevado número de submissões. Foi introduzido também, nesta edição,
um dia de tutoriais com o objectivo de fornecer competências mínimas a quem quer começar a
trabalhar na área e também poder assistir de uma forma mais informada à conferência.
Se analisarmos as temáticas, abordadas nas quatro conferências, percebemos que também aqui
há uma evolução no sentido de uma maior maturidade. Enquanto que no primeiro encontro, os
trabalhos abordavam problemas emergentes na utilização da tecnologia, no segundo encontro a
grande incidência foi nos Web Services, uma nova tecnologia baseada em XML, no terceiro, a maior
incidência foi na construção de repositórios, motores de pesquisa e linguagens de interrogação, nesta
quarta edição há uma distribuição quase homogénea por todas as áreas temáticas tendo mesmo
aparecido trabalhos que abordam aspectos científicos e tecnológicos da base da tecnologia XML.
Desta forma, podemos concluir que a tecnologia sob o ponto de vista de utilização e aplicação está
dominada e que a comunidade portuguesa começa a fazer contributos para a ciência de base.Microsoft