Relevant bibliographies by topics / Bpel / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Bpel.

Dissertations / Theses on the topic 'Bpel'

Author: Grafiati
Published: 4 June 2021
Last updated: 16 June 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Bpel.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Ambühler, Thomas. "UML 2.0 profile for WS-BPEL with mapping to WS-BPEL." [S.l. : s.n.], 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hantschel, Ralf Ruf Fabian Strotbek Haiko. "Vergleich von BPEL Laufzeitumgebungen." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-25320.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bischoff, Georg Kersten Roland Vetter Thorsten. "Vergleich von BPEL-Workflow Modellierungstools." [S.l. : s.n.], 2005. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB12168119.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Längerer, Carsten Schmitt Fabian Rutschmann Jens. "Performance-Vergleich von BPEL-Engines." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-29082.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Schroth, Ralf. "Konzeption und Entwicklung einer AOP-fähigen BPEL Engine und eines Aspect-Weavers für BPEL Prozesse." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-29073.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ruf, Fabian. "Fault handling in BPEL-based choreographies." [S.l. : s.n.], 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33113.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Císař, Daniel. "Přístupy k transformaci popisu procesů do BPEL." Master's thesis, Vysoká škola ekonomická v Praze, 2009. http://www.nusl.cz/ntk/nusl-19146.

Full text
Abstract:
In this work, I dealt with the field of Business Process Managent and Service Oriented Architecture. First I tried a comprehensive conceptual view of both through the definition of important principles. In BPM as a disciline I identified "life-cycle" as the most important principle for process optimization tools. For service-oriented architecture, I had to reduce the view to important principles related to composition of services. An important starting point in my work are the definitions of processes and services and their roles in BPM systems. It is a simplified view that helps connect modeled processes to Web services. Web services and orchestration is the most popular and most common usage of the service-oriented architecture. Composition is another important building block of SOA and is the basis for more realistic goals of SOA, such as greater enterprise agility, more efficient utilization of resources in the enterprise, etc. BPM discipline combines multiple elements and as it is typicaly multidisciplinary it combines process management and optimization through tools. These tools historically perform their roles well, but companies are now in a very competitive linked environment and must to behave differently. In my work I have stated firstly why would these areas could be beneficial to each other. The next part focused, what is the relationship with the life-cycle process for BPM and how it fits into the life-cycle services in SOA. Finally, I analyzed the current state mapping of BPMN, the most common notation for expressing processes in BPM, to BPEL. BPEL describes a process, but it is expressed as a programmatic sequential process, which is also executed in digital form. At work I have examined the role of the new version of the BPMN notation 2.0.
APA, Harvard, Vancouver, ISO, and other styles
8

Kramberg, Volker. "Pattern-based evaluation of IBM WebSphere BPEL." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-27906.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Knödler, Sven. "BPEL-Webservice-Koordination auf Basis einer Konfigurationsdatei." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-28283.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Reimann, Peter. "Generating BPEL Processes from a BPEL4Chor Description." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33122.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Steinmetz, Thomas. "Generierung einer BPEL4Chor-Beschreibung aus BPEL-Prozessen." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33150.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Schurr, Bastian. "Analyse von XPath-Ausdrücken in BPEL-Prozessbeschreibungen." [S.l. : s.n.], 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33788.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Ribeiro, José Luís Vaz. "Orquestração e composição de serviços web usando BPEL." Master's thesis, Universidade de Aveiro, 2008. http://hdl.handle.net/10773/2001.

Full text
Abstract:
Mestrado em Engenharia de Computadores e Telemática<br>Este trabalho pretende expor de uma forma simples e clara os conceitos associados às Arquitecturas Orientadas ao Serviço, dando uma visão da evolução deste paradigma de programação, tecnologias existentes, ferramentas e motores disponíveis para o desenvolvimento, uso e teste de Web Services. O principal foco será a linguagem BPEL (Business Process Execution Language), que é considerada como o standard para a orquestração de Web Services, sendo o trabalho realizado tendo por base esta linguagem. ABSTRACT: This work intends to expose, in a simple and clear way, the concepts associated with Service Oriented Architectures, providing a vision of the evolution of this information paradigm, the existing technologies, the applications, tools and engines available to develop, use and test of Web Services in programming business processes. The main focus will be in BPEL (Business Process Execution Language), considerate to be the standard in programming languages for orchestration of Web Services, being the base to this work.
APA, Harvard, Vancouver, ISO, and other styles
14

Unger, Tobias. "Aggregation von QoS und SLAs in BPEL Geschäftsprozessen." [S.l. : s.n.], 2005. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB12168148.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Mietzner, Ralph. "Extraction of WS-business activity from BPEL 1.1." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-28642.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Kiefner, Dominique. "Optimization of XML processing within a BPEL engine." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-28250.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Schumm, David. "A graphical tool for modeling BPEL 2.0 processes." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33526.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Zheng, Yongyan. "An automatic test framework for BPEL-based Web Services." Thesis, University of Surrey, 2007. http://epubs.surrey.ac.uk/797502/.

Full text
Abstract:
Recent years have seen·a rapid growth in the development of web services technology. BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi-formal flow language with complex features, so it is essential to apply automated validation tools in finding the interaction inconsistencies ofBPEL processes. In addition to validating the model properties by verification, it is desirable to test the correctness with respect to the functional requirements. To test a model thoroughly, we need to cover different execution scenarios. As is well known, it is tedious, time-consuming, and error prone to design test cases manually, especially for complex modelling languages. Hence, it is desirable to apply existing model-based-testing techniques in the domain of web services. This thesis proposes a web service automaton as the operational semantics for BPEL, and presents an automatic test framework to verify and test BPEL processes. From the testing point of view, we show the suitability of using web service automaton formalism for BPEL by modelling various BPEL features. Based on the web service automata, we provide a model checking based test framework to verify the general properties and generate test cases for BPEL processes. The framework supports both control-flow and data-flow testing of BPEL. Two levels of test cases can be generated to check the behavioural and interface conformance for web services. To our knowledge, none of the prior research studies the verification and testing for BPEL control and data flows in a unified approach.
APA, Harvard, Vancouver, ISO, and other styles
19

Kopp, Oliver. "Abbildung von EPKs nach BPEL anhand des Prozessmodellierungswerkzeugs Nautilus." [S.l. : s.n.], 2005. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB12168147.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Hohmann, Dennis. "Anforderungsnahe Realisierung der Laufzeitmodifikationen WS-BPEL basierter Business-Prozesse." [S.l. : s.n.], 2005. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB12168150.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Shen, Yilian. "Optimization of the runtime database of a BPEL engine." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-28373.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Kaczmarczyk, Peter. "Integration und Nutzung kontextbezogener Nexus-Dienste in BPEL-Workflows." [S.l. : s.n.], 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-33391.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Hildebrandt, Ingo Wagner Marc Stützner Carsten. "Evaluierung verschiedener Szenarien zur Anwendung von BPEL und WS-CDL." [S.l. : s.n.], 2005. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB12168120.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Kipp, Alexander. "Ablösung von WS-CDL durch BPEL und WSFL Global Model." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-28964.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Vázquez, Fernandez Javier. "BPEL with explicit data flow model, editor, and partitioning tool /." [S.l. : s.n.], 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-32286.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Wetzstein, Branimir. "Dynamische semantikbasierte Suche nach Web Services in parametrisierten BPEL-Prozessen." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-25791.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Khalaf, Rania Y. "Supporting business process fragmentation while maintaining operational semantics a BPEL perspective." Berlin dissertation.de, 2008. http://d-nb.info/988654547/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Khalaf, Rania. "Supporting business process fragmentation while maintaining operational semantics a BPEL perspective /." [S.l. : s.n.], 2008. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-35145.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Bohn, Hendrik. "Web service composition for embedded systems : WS-BPEL extension for DPWS /." Göttingen : Sierke, 2009. http://d-nb.info/99274900X/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Kopp, Oliver [Verfasser], and Frank [Akademischer Betreuer] Leymann. "Partnerübergreifende Geschäftsprozesse und ihre Realisierung in BPEL / Oliver Kopp. Betreuer: Frank Leymann." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2016. http://d-nb.info/108463564X/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Marks, Michael. "Modellierung und Automatisierung von Web Service Resourcen am Beispiel von BPEL Prozessen." [S.l. : s.n.], 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

Mierzwa, Christof. "Transaktionen zwischen Web Services als Basis der Modellierung verschiedener Anwendungsfälle mit BPEL." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-26538.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Takecian, Pedro Losco. "ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11092008-103831/.

Full text
Abstract:
Recentemente, várias abordagens estão sendo propostas na área de modelagem de processos de negócio. Dentre elas estão as linguagens BPEL e NPDL. BPEL é uma linguagem de representação e execução de processos de negócio que se mostrou bastante expressiva e uma forte candidata a padrão de mercado. NPDL é uma linguagem de definição de processos de negócio baseada em uma extensão de álgebra de processos chamada ACP. NPDL possui uma ferramenta capaz de interpretar e controlar a execução de processos de negócio chamada de NavigationPlanTool. A tradução de processos BPEL para expressões NPDL tem como objetivo fornecer aos processos descritos em BPEL um ambiente de controle e execução baseado em um formalismo algébrico. Entretanto, isso não é uma tarefa fácil. A presença de conceitos em BPEL que não são mapeáveis para NPDL faz com que grande parte da expressividade de BPEL se perca na tradução. Essa perda se dá pela limitação da própria ACP, na qual NPDL se baseia. Para sanar essa dificuldade, surgiu a idéia de estender ou trocar a base algébrica da NPDL. Substituindo a ACP por outro arcabouço algébrico ou incorporando idéias de outras álgebras, seria possível tornar a NPDL mais próxima de BPEL, facilitando, assim, o trabalho de mapeamento. Dentre os arcabouços formais disponíveis, LOTOS tem se mostrado uma interessante alternativa à ACP como base para a NPDL. Para comprovar os benefícios da utilização de conceitos de LOTOS na NPDL ou, até mesmo, de uma troca da base algébrica da NPDL de ACP para LOTOS, este trabalho faz um estudo comparativo entre esses dois formalismos algébricos, buscando encontrar a álgebra com maior expressividade e que represente melhor os conceitos presentes em BPEL. Para essa comparação, serão utilizados os principais conceitos existentes na linguagem BPEL, bem como os Padrões de Controle de Fluxo de Workflow. Não pertence ao escopo deste trabalho a implementação da NPDL usando LOTOS como base formal.<br>Recently, several approaches are being proposed in the business process modeling area. Among them are BPEL and NPDL languages. BPEL is a business process representation and execution language that has showed itself to be very expressive and a strong candidate to market reference. NPDL is a business process definition language based on a process algebra extension called ACP. NPDL has a tool called NavigationPlanTool that is able to interpret and control the business processes execution. The translation from BPEL processes to NPDL expressions aims to provide to BPEL processes a control and execution environment based on an algebraic foundation. However, this is not an easy task. Due to the translation, the presence of BPEL concepts that can´t be mapped to NPDL results in a heavy BPEL expressiveness loss. This loss occurs by the limitation of ACP, in which NPDL is based on. To solve this problem, the idea of extending or replacing the NPDL algebraic base has appeared. Replacing ACP with other algebraic framework or incorporating ideas from other algebras, could make NPDL closer to BPEL, turning the mapping work easier. Among the formal frameworks available, LOTOS has showed itself an interesting alternative to ACP as an NPDL basis. To prove the benefits of using LOTOS concepts in NPDL, or even exchanging the NPDL algebraic base from ACP to LOTOS, this work presents a comparative study between these two algebraic foundations, trying to find the most expressive algebra and the one that best represents the BPEL concepts. For this comparison, the BPEL main concepts and the Workflow Control-Flow Patterns will be used. The NPDL implementation using LOTOS as formal foundation is out of the scope of this work.
APA, Harvard, Vancouver, ISO, and other styles
34

Souza, Keith Seixas de. "WS&i*-RGPS: uma abordagem de engenharia de requisitos orientada a serviços Web baseada nos metamodelos RGPS." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/100/100131/tde-04022015-133853/.

Full text
Abstract:
Recentemente, por conta do dinamismo existente no ambiente de negócio no qual as organizações devem adequar-se mais rapidamente às mudanças, os Sistemas de Informação (SIs) precisam também adequar-se para continuar agregando valor. Diante desse cenário e do uso de serviços eletrônicos distribuídos na rede para o desenvolvimento de sistemas, faz-se necessário o surgimento de novas abordagens em engenharia de sistemas. Sendo assim, surge a disciplina de Engenharia de Requisitos Orientada a Serviços (EROS) que trata da definição de processos e metodologias para captar os requisitos de serviços tanto do ponto de vista de consumidores de serviço quanto de fornecedores de serviço. No contexto de EROS, este trabalho explora alternativas às descrições sugeridas para os metamodelos RGPS (do inglês: Role, Goal, Process and Service) uma abordagem em EROS propondo uma nova definição que visa, principalmente, incorporar à RGPS as vantagens de outros modelos já estabelecidos na literatura. Sendo assim, a nova abordagem aqui proposta, chamada de WS&i*-RGPS, para a descrição das camadas Papel e Meta, propõe o uso do framework i*. E, para a descrição das camadas Processo e Serviço, a nova abordagem propõe o uso de WS-BPEL/WSDL. Esse trabalho apresenta também uma comparação sistemática entre a abordagem WS&i*-RGPS e outras abordagens semelhantes identificadas na literatura EROS. A comparação sistemática entre as abordagens em EROS, incluindo a nova abordagem aqui proposta, considera três parâmetros comparativos e identifica que a abordagem WS&i*-RGPS cobre mais parâmetros que as abordagens em EROS que se baseiam nos metamodelos RGPS, indicando que WS&i*-RGPS é uma alternativa melhor às soluções inicialmente propostas pelos autores dos metamodelos RGPS.<br>Due to the recent business environment dynamism in which organizations must quickly adapt to the changes, Information Systems also need to adapt to these changes in order to keep adding value. Taking into account this scenario and the use of electronic services distributed on the network to develop systems, the advent of new approaches in Systems Engineering is necessary. Therefore, a new discipline, Service-Oriented Requirements Engineering (SORE), was proposed, which deals with the definition of processes and methodologies in order to capture services requirements beneath two different perspectives: service consumers and service providers. In SORE context, this work aims at exploring some alternatives for those descriptions proposed by the Role, Goal, Process and Service (RGPS) meta-models, proposing a new approach called WS&i*-RGPS in order to incorporate to RGPS the advantages of other models well established in the literature. Accordingly, in order to describe the Role and Goal layers, this new approach proposes the use of the i* framework. Additionally, in order to describe the Process and Service layers, this new approach proposes the use of WS-BPEL/WSDL languages. This work also presents a systematic comparison among SORE approaches, including WS&i*-RGPS. This comparison considers three comparative parameters and identifies that WS&i*-RGPS covers more parameters than other approaches in SORE that uses RGPS metamodels. These results indicates WS&i*-RGPS as a better alternative comparing it to other RGPS approaches.
APA, Harvard, Vancouver, ISO, and other styles
35

Lechuga, Thiago Alvarenga. "Uma proposta de meta-escalonamento e execução de workflows WS-BPEL em ambientes multi-cluster." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275772.

Full text
Abstract:
Orientador: Maria Beatriz Felgar de Toledo<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-08-17T08:15:54Z (GMT). No. of bitstreams: 1 Lechuga_ThiagoAlvarenga_M.pdf: 1783434 bytes, checksum: c19e879d7401bcc97b40a2a822df8bf1 (MD5) Previous issue date: 2010<br>Resumo: A utilização de sistemas distribuídos heterogêneos, tais como os Multi-Clusters, também chamados de Clusters de Clusters (CoC), e as grades computacionais, permite o desenvolvimento de sistemas computacionais mais complexos. No entanto, alguns desses sistemas requerem que os serviços sejam facilmente compostos e executados, mantendo as dependências entre eles; ambos, serviços e dependências, podem ser representados como workflows. Ainda, os serviços Web foram adotados na estrutura desses sistemas distribuídos, e WS-BPEL é o padrão para a sua composição. Portanto, o objetivo deste trabalho é permitir a execução de workflows escritos em WS-BPEL em Multi-Clusters. Para alcançar esse objetivo, uma extensão da linguagem WS-BPEL é apresentada incluindo a especificação de qualidade de serviço (QoS), juntamente com os recursos necessários para execução dos serviços no CoC. Além disso, este trabalho apresenta uma infraestrutura que permite a execução de workflows em CoC, e um estudo de caso utilizando a SHARCNET, afim de avaliar a abordagem proposta. Finalmente, um workflow científico real para gerar mosaicos personalizados do céu é implementado usando o ambiente criado<br>Abstract: The use of heterogeneous distributed systems, such as Multi-Clusters, as known as Cluster of Clusters (CoC), and computational grids, enables the development of complex computational systems. However some of these systems require services to be easily composed and executed while maintaining the dependencies among them; both the services and the dependencies can be represented as workflows. Moreover, Web Services have been adopted in distributed systems, and WS-BPEL is the standard for Web Services composition. Accordingly, the objective of this work is to enable the execution of WS-BPEL workflows in a CoC. In order to achieve this execution, an extension to the WS-BPEL language is presented that includes the speciçation of Quality of Services (QoS), along with the required computational resources for service execution in CoCs. Additionally, this paper presents an infrastructure that enables the execution of such workflows in CoCs, and a case study using SHARCNET is discussed in order to evaluate the proposed approach. Finally, a real scientiç workflow to generate custom mosaics of the sky is implemented using the criated environment<br>Mestrado<br>Sistemas de Informação<br>Mestre em Ciência da Computação
APA, Harvard, Vancouver, ISO, and other styles
36

Marcelino, Sidney Soares. "Gera??o de processos WS-BPEL com base em um algoritmo de reescrita de regras." Universidade Federal do Rio Grande do Norte, 2013. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18101.

Full text
Abstract:
Made available in DSpace on 2014-12-17T15:48:10Z (GMT). No. of bitstreams: 1 SidneySM_DISSERT.pdf: 1456214 bytes, checksum: c5c3a8fc051effaff1597d26ba83ee87 (MD5) Previous issue date: 2013-12-12<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies<br>Os servi?os web s?o solu??es computacionais criadas de acordo com os princ?pios da Com- puta??o Orientada a Servi?os e disponibilizadas via Internet. Novos servi?os web podem surgir a partir outros pr?-existentes, utilizando linguagens de composi??o. Considerando orquestra??es de servi?os, onde existe um processo central que coordena todas as opera- ??es da aplica??o, propomos um m?todo para gera??o de processos WS-BPEL, a partir de especifica??es abstratas dotadas de informa??es de controle. O m?todo proposto permite ao projetista da composi??o se concentrar em especifica??es de alto n?vel, aumentando sua produtividade e gerando especifica??es independentes de servi?os web espec?ficos. O processo de gera??o de composi??es se baseia em um algoritmo de reescrita de regras, que foi estendido para dar suporte a informa??es de controle b?sicas. Criamos um prot?tipo do m?todo de refinamento estendido e realizamos experimentos sobre estudos de caso simples
APA, Harvard, Vancouver, ISO, and other styles
37

Monakova, Ganna. "Ontology based partner service discovery using a first-order logic representation for BPEL process models." [S.l. : s.n.], 2008. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-34953.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Costa, Rui Filipe Vital Guerreiro da. "Web services recovery mechanisms." Master's thesis, Faculdade de Ciências e Tecnologia, 2009. http://hdl.handle.net/10362/3929.

Full text
Abstract:
Dissertação de Mestrado em Engenharia Informática<br>In web services context it is not possible to use the usual concept of ACID transactions because of several factors. For instance, business transaction in general have a long duration that can be extended to several months or can involve the coordination and interaction of activities executed by different partners. In these cases, atomicity is not preserved, therefore the usual recovery mechanisms cannot be used, like the rollback. In business transaction, failure treatment can be made by compensation mechanisms in which are defined actions of compensation for the actions that cannot be reverted automatically. The goal of this dissertation is to define a set of patterns that represent the common use of the recovery mechanisms at business level. A graphical notation of easy comprehension will be developed to show how the recovery mechanisms work to all kind of people with different background formation.
APA, Harvard, Vancouver, ISO, and other styles
39

Boumlik, Laila. "Renforcement formel et automatique de politiques de sécurité dans la composition des services Web." Doctoral thesis, Université Laval, 2021. http://hdl.handle.net/20.500.11794/69595.

Full text
Abstract:
L'orchestration des services Web décrite par le Web Service-Business Process Execution Language (WS-BPEL), fait désormais partie intégrante du Web moderne, comme le cloud computing, le Big Data, l'Internet des objets (IoT) et les réseaux sociaux. En effet, elle est au centre de nombreux systèmes d'information liés à une variété de domaines tels que le commerce électronique, les institutions financières et les systèmes de santé, etc. où des données sensibles sont partagées, ce qui pose d'importants problèmes de sécurité. WS- BPEL appelé aussi BPEL, est le langage standard pour construire des services Web complexes d'une manière pratique. Cependant, BPEL n'est pas rigoureusement défini comme un langage formel entrainant ainsi des problèmes d'ambiguïté et de confusion lors de sa compréhension. Par ailleurs, sans fondement formel, il ne serait pas possible de fournir des preuves garantissant le bon fonctionnement de services. Cette thèse adresse la formalisation de BPEL et présente une approche formelle basée sur la réécriture de programmes permettant d'appliquer des politiques de sécurité au niveau de ce langage. Plus précisément, étant donné une composition de services Web spécifiée en BPEL et une politique de sécurité décrite dans une logique temporelle comme LTL, notre approche vise à générer une nouvelle version de service Web qui respecte cette politique de sécurité. La nouvelle version du service se comporte exactement comme l'originale excepté quand la politique est sur le point d'être violée. Dans ce cas le processus pourrait accomplir d'autres actions ou tout simplement être arrêté. La formalisation de BPEL a été aussi traduite dans l'environnement K-Framework, ce qui ouvre la porte à l'utilisation de ses nombreux outils formels incluant un évaluateur de modèles pour l'analyse de services Web.<br>The Web services orchestration approach described by the Web Service-Business Process Execution Language (WS-BPEL), is now an integral part of the modern Web, such as cloud computing, Big Data, the Internet of Things (IoT) and social networks. Indeed, it is at the center of many information systems related to a variety of domains such as e-commerce, financial institutions and healthcare systems, etc. where sensitive data is shared, which creates significant security issues. WS-BPEL, also called BPEL, is the standard language for building complex Web services in a practical way. However, BPEL is not rigorously defined as a formal language thus leading to problems of ambiguity and confusion when understanding it. Moreover, without a formal basis, it would not be possible to provide any proof guaranteeing the proper functioning of services. This thesis addresses the formalization of BPEL and presents a formal approach based on the rewriting of programs allowing the enforcement of security policies on this language. More precisely, given a composition of Web services specified in BPEL and a security policy described in a temporal logic like LTL, our approach aims to generate a new version of the Web service which respects the given security policy. The new version of the service behaves exactly like the original one except when the policy is about to be violated. In this case the process could take other actions or simply be stopped. The formalization of BPEL has also been translated into the K-Framework environment, which opens the door to the use of its many formal tools including a model checker for the analysis of Web services.
APA, Harvard, Vancouver, ISO, and other styles
40

Martin, Daniel [Verfasser]. "A tuplespace based execution model for decentralized workflow enactment : applied for BPEL / vorgelegt von Daniel Martin." Berlin : dissertation.de, 2010. http://d-nb.info/1006915893/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Khalaf, Rania Y. [Verfasser]. "Supporting business process fragmentation while maintaining operational semantics : a BPEL perspective / vorgelegt von Rania Y. Khalaf." Berlin : dissertation.de, 2008. http://d-nb.info/997164751/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Ma, Zhilei [Verfasser], and Frank [Akademischer Betreuer] Leymann. "Process fragments: enhancing reuse of process logic in BPEL process models / Zhilei Ma. Betreuer: Frank Leymann." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2013. http://d-nb.info/1031667067/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Michael, Sabine. "Generierung von BPEL mit Hilfe von koordinierten Kommunikations-Graphen auf Basis transaktionaler Protokolle für Web Services." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-27010.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Roller, Dieter [Verfasser], and Frank [Akademischer Betreuer] Leymann. "Throughput improvements for BPEL engines : implementation techniques and measurements applied to SWoM / Dieter Roller. Betreuer: Frank Leymann." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2013. http://d-nb.info/1042442428/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Paluszek, Michael. "Coordinating distributed loops and fault handling, transactional scopes using WS-coordination protocols layered on WS-BPEL services." [S.l. : s.n.], 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-31446.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Pašilskytė, Inga. "Išplėstoji UML notacija verslo procesams modeliuoti ir specifikuoti." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050524_111957-63519.

Full text
Abstract:
Visual languages are used for understandability of business analysis, modeling and computerization processes for business analysts as soon as system developers. The advantages of visual modeling are standard notation, unified concepts, and intuitive use. There is no single language suitable for all phases of business process evolution. Three languages were analyzed: UML 2.0, BPMN and BPEL4WS, with regards to their possibilities to represent and execute e-business processes. It is proposed to extend UML 2.0 with BPMN stereotypes for e-business process modeling with succeeding transformation to execution language BPEL. The exclusive feature of proposed way of modeling lies in integration of business process model with object types of problem domain. In order to test the proposed method, scenario for modeling was prepared and three models were designed: two models using UML 2.0 notation, and one model using UML extended with BPMN stereotypes. Models were compared to show new method advantages. For implementation of proposed method, UML CASE tool MagicDraw was extended with stereotypes required for the proposed method of modeling. Extended user interface was proposed for specification of business rules governing the e-business process.
APA, Harvard, Vancouver, ISO, and other styles
47

Thivolle, Damien. "Langages modernes pour la modélisation et la vérification des systèmes asynchrones." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00685209.

Full text
Abstract:
Cette thèse se situe à l'intersection de deux domaines-clés : l'ingénierie dirigée par les modèles (IDM) et les méthodes formelles, avec différents champs d'application. Elle porte sur la vérification formelle d'applications parallèles modélisées selon l'approche IDM. Dans cette approche, les modèles tiennent un rôle central et permettent de développer une application par transformations successives (automatisées ou non) entre modèles intermédiaires à différents niveaux d'abstraction, jusqu'à la production de code exécutable. Lorsque les modèles ont une sémantique formelle, il est possible d'effectuer une vérification automatisée ou semi-automatisée de l'application. Ces principes sont mis en oeuvre dans TOPCASED, un environnement de développement d'applications critiques embarquées basé sur ECLIPSE, qui permet la vérification formelle par connexion à des boîtes à outils existantes. Cette thèse met en oeuvre l'approche TOPCASED en s'appuyant sur la boîte à outils CADP pour la vérification et sur son plus récent formalisme d'entrée : LOTOS NT. Elle aborde la vérification formelle d'applications IDM à travers deux problèmes concrets : 1) Pour les systèmes GALS (Globalement Asynchrone Localement Synchrone), une méthode de vérification générique par transformation en LOTOS NT est proposée, puis illustrée sur une étude de cas industrielle fournie par AIRBUS : un protocole pour les communications entre un avion et le sol décrit dans le langage synchrone SAM conçu par AIRBUS. 2) Pour les services Web décrits à l'aide de la norme BPEL (Business Process Execution Language), une méthode de vérification est proposée, qui est basée sur une transformation en LOTOS NT des modèles BPEL, en prenant en compte les sous-langages XML Schema, XPath et WSDL sur lesquels repose la norme BPEL.
APA, Harvard, Vancouver, ISO, and other styles
48

Urbonas, Vytautas. "Organizacijos žinių valdymo informacinių sistemų integracija." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2005. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050530_154828-31289.

Full text
Abstract:
This work is aimed to analyze enterprise knowledge management system integration assumptions, problems and their solutions at different complexity and quality levels. In the beginning, brief description of application classification is provided. Assuming large number of specialized applications usage enterprise-wide, we come up with the need to integrate data, contained by those applications, as well as applications themselves. Data level, message level and process level integration principles and their application analysis is made. Enterprise application integration refers to the plans, methods, and tools aimed at modernizing, consolidating, and coordinating the computer applications in an enterprise. Portals presented as tools for federating information in different sources and providing commonly used services (search engine or directory, news, email, forums and options for customization). Portal frameworks from different vendors was observed. SOA (Service Oriented Architecture) and BPEL (Business Process Execution Language) integration capabilities were analyzed. Human Capital Resource Management information system is intended to store and process data, related to human capital across organization. Three layer logical implementation and web service interface usage makes integration possible at data, message and process levels.
APA, Harvard, Vancouver, ISO, and other styles
49

Cesar, Damasceno Julio. "SecMosc-Engine: um ambiente de suporte à execução segura de composição de serviços." Universidade Federal de Pernambuco, 2010. https://repositorio.ufpe.br/handle/123456789/2325.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:56:46Z (GMT). No. of bitstreams: 2 arquivo2988_1.pdf: 2842413 bytes, checksum: d963a6e447928b61911d961e05157164 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010<br>Associação para Promoção da Excelência do Software Brasileiro<br>A composição de serviços é uma das áreas de maior interesse de pesquisa da atualidade. A motivação geral para composição de serviços está relacionada a dois pontos principais: possibilidade de criação de serviços mais elaborados a partir de serviços já existentes e a possibilidade de integração de negócios. Na prática, a composição permite que serviços de diferentes provedores sejam colocados juntos para criar serviços mais sofisticados. A importância da composição de serviços tem sido reconhecida na comunidade de pesquisa da Internet devido a sua flexibilidade na construção de aplicações a partir de serviços primitivos e de uma forma plug-and-play. A composição expressa em WS-BPEL ou qualquer outra linguagem para a execução de processo de negócio requer um ambiente específico para executar. Este ambiente é fornecido pelas engines de execução de processo de negócio. A engine é responsável pelo controle dos web services que formam uma composição e pela coordenação das diversas transações entre eles. Devido à crescente necessidade de incorporar requisitos não funcionais na composição de serviços, em especial requisitos de segurança, foi demandado uma nova necessidade de suporte à estes requisitos nas engines de orquestração. O suporte fornecido pelas engines existentes pode variar, sendo que para cada requisito de segurança em especial (e.g. Criptografia) a engine pode fornecer suporte completo, parcial ou até nenhum suporte para realizar este requisito. Este trabalho propõe uma engine para prover requisitos de segurança para composição de serviços em tempo de execução. A engine proposta, chamada SecMosc-Engine, é responsável por fornecer mecanismos de segurança que não sejam disponibilizados pelos módulos de segurança integrados nas engines de orquestração, sendo que este suporte pode ser total ou parcial. O grande diferencial desta proposta é o fato dela ser baseada numa abordagem não intrusiva visando manter o código fonte das engines de orquestração inalterado o máximo possível. Por fim, e não menos importante, a SecMosc- Engine também é responsável por gerar, a partir de artefatos independentes de plataforma, o código executável (WS-BPEL) de um processo de negócio originalmente expresso em BPMN com anotações de segurança
APA, Harvard, Vancouver, ISO, and other styles
50

Leonardo, Barros Silva Bruno. "Sec-MoSC Translation Framework: An approach to transform business process models into executable process considering security requirements." Universidade Federal de Pernambuco, 2011. https://repositorio.ufpe.br/handle/123456789/2837.

Full text
Abstract:
Made available in DSpace on 2014-06-12T16:01:30Z (GMT). No. of bitstreams: 2 arquivo9415_1.pdf: 2190260 bytes, checksum: 2972a41af6edc33657e680fccdd03a29 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011<br>O surgimento da Computação Orientada a Serviços (COS) como um novo paradigm de programação trouxe muitas características boas, como permitir a programação em massa, integração mais fácil entre sistemas de empresas diferentes, escalabilidade, mas, principalmente, o foco na lógica de mais alto nível do negócio. Mas, enquanto este foco na lógica do negócio é mais produtivo e muito crucial aos usuários de negócio que não possuem conhecimento tecnológico (e de fato, não precisam dele), ainda há uma brecha semântica entre o que o usuário descreve na lógica de negócio e no que realmente é executado na máquina. Neste contexto, apresentamos a Ferramenta de Tradução Sec-MoSC, uma abordagem proposta para evitar esta brecha, responsável por fazer a tradução entre modelos de processo de negócio alto-nível e processos executáveis. Dois avanços principais são extraídos deste trabalho: uma forma mais fácil e reusável de criar novos artefatos de tradução e a incorporação de requisitos não-funcionais (como segurança) no processo de tradução modelagem-para-execução, especificamente, com uma implementação para as duas linguagens mais usadas para modelar e executar processos de negócio, respectivamente, BPMN e BPEL
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Bpel' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography