Modeling Web Service Choreography and Orchestration with Colored Petri Nets

Dandash, O.; Le, Phu Dung; Srinivasan, Bala

doi:10.1109/snpd.2007.486

Cited by 19 publications

(8 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Dong and X.G. Deng et al use Colored Petri Nnets(CPNs) to model WS choreography and orchestration, and they analyzes and tests BPEL composition business process using HPNs [20,21,22,23]. L. Garcıa-Banuelos proposes an executable transaction model based on ASML that allows seamless add/modify behavior, and extends failure handler in WS-BPEL [24].…”

Section: Alternative Recovery Strategy (Ars)mentioning

confidence: 99%

A Comprehensive Failure Recovery Algorithm for LRTs Based on Paired Net

Mei¹,

Fan²,

Huang

et al. 2012

JSW

View full text Add to dashboard Cite

Failure recovery optimization is an important way for enhancing efficiency of Long Running Transaction (LRT) processing. In this paper, to solve the efficiency problem of LRT failure recovery, a Comprehensive Recovery Model for LRTs (LCRM) is constructed, which divides LRTs into a series of sub-transactions in different levels, and supports versatile transaction properties of LRT. Based on LCRM, a Comprehensive Failure Recovery algorithm for LRTs (LCFR) is proposed. This algorithm uses methods of forward recovery, backward recovery and alternative recovery. It supports auto-recovery of failures during the execution of LRTs. LCFR guarantees LRT’s semantic atomicity property and durability property. By restricting the recovery scope in lower level of complex LRTs, LCFR limits the quantity of sub-transactions to be recovered. Thus, it reduces unnecessary loss of time and enhances the efficiency of failure recovery. Experiment results show that LCFR can reduce the time required for failure recovery and decrease the failure rate of LRT processing.

show abstract

Section: Alternative Recovery Strategy (Ars)mentioning

confidence: 99%

A Comprehensive Failure Recovery Algorithm for LRTs Based on Paired Net

Mei¹,

Fan²,

Huang

et al. 2012

JSW

View full text Add to dashboard Cite

show abstract

“…Particularly, composition and orchestration have been seen as the form of engineering of service-oriented architectures, and the inclusion of these features in industrial devices is still a major effort. The representation of the workplan associated to services, to be interpreted and executed by orchestration engines, can be defined using different methods [5], namely the Business Process Execution Language (BPEL) [6] and the Petri nets formalism (see the work of Hamadi and Benatallah [7] and Deng et al [8]). In this work, the selected modeling language is Petri nets taking advantage of its powerful mathematical foundation that will support, among others, the analysis and validation during the design phase and the decision-making for conflict resolution.…”

Section: Introductionmentioning

confidence: 99%

Process optimization of service-oriented automation devices based on Petri nets

Mendes

Leitão

Restivo

et al. 2010

2010 8th IEEE International Conference on Industrial Informatics

View full text Add to dashboard Cite

This paper introduces a novel method for the specification and selection of criteria-weighted operation modes for the orchestration of services in industrial automation using Petri nets. The objective is to provide to the internal decision support system of a service-oriented automation device or of another applicable computational system the capability to select the best path in a Petri net orchestration model considering different criteria to evaluate the quality of services, such as the time, energy efficiency and reliability. The transition-invariants obtained from the Petri net represent the set of possible modi operandi and these are then weighted with decision criteria. The result will be afterwards evaluated in order to select the optimal modus operandi to be executed by the device. Based on the experiments, this method permits the dynamic optimization of processes in real-time, considering available parameters from devices and other resources.

show abstract

“…A Web Service Choreography Interface(WSCI) (W3C, 2002a) é uma das linguagens para implementação de coreografia de serviços. Ela é uma linguagem de descrição de interface baseada em XML, que descreve o fluxo de mensagens trocadas pelos web services participantes de interações coreografadas com outros serviços (Deng et al, 2007). (Endo, 2007).…”

Section: Coreografiaunclassified

“…ARQUITETURA ORIENTADA A SERVIÇOS adaptações nos dados trocados entre eles, quando necessário. Ela permite uma forma de interação mais sofisticada entre os participantes da colaboração (Deng et al, 2007). Business Process Execution Language for Web Services (BPEL4WS) (Andrews et al, 2003) está se tornando um padrão industrial para modelagem de processos de negócios baseados em web services (Martens et al, 2006 Endo (2007)).…”

Section: Orquestraçãounclassified

“…Embora WS-BPEL e WSCI estejam sendo mais usados que outros padrões na orquestração e coreografia de serviços, respectivamente, outras iniciativas estão sendo pesquisadas na área, tais como: utilização de statecharts (Zeng et al, 2003), redes de petri (Hamadi e Benatallah, 2003) e mais recentemente utilização de redes de petri coloridas (Deng et al, 2007) Fornece estrutura para execução iterativa (laços).…”

Section: Orquestraçãounclassified

See 1 more Smart Citation

Uma abordagem de desenvolvimento de linha de produtos com uma arquitetura orientada a serviços

Queiroz¹

View full text Add to dashboard Cite

A Deus, por me dar oportunidade, capacidade e vontade para realizar este trabalho. A toda minha família, em especial, meus pais Amélia e Paulo, meus avós Rita e Pedro e meus irmãos Pedro, Davi e Rebeca. Não existem palavras suficientes para expressar o quanto amo, admiro e tenho orgulho de vocês. À Professora Dra. Rosana Teresinha Vaccare Braga, pela amizade, conselhos, conhecimento e confiança na orientação deste trabalho. À Professora Dra. Renata P. M. Fortes e ao Prof. Dr. Antonio Francisco do Prado, pelas sugestões apresentadas no exame geral de qualificação. Aos professores tanto da graduação quanto do mestrado que contribuíram para minha formação. Em especial, à Professora Dra. Rossana Andrade, à Professora Dra. Cláudia Linhares, ao Professor Dr. Riverson Rios, ao Professor Dr. Joaquim Bento que foram fonte de inspiração durante a minha graduação e ao Professor Dr. Paulo C. Masiero, que sempre deu apóio ao meu trabalho. A todas as minhas amigas, amantes, paixões e amores que estiveram do meu lado e me fizeram bem mais feliz, ou não. Em especial, a Ana Karinne que sempre apoiou minhas decisões, confiou em mim e participou das principais escolhas que me trouxeram aqui. Aos amigos do LABES/USP, pelo companheirismo, pela hora do café, pelo futebol e pelos churrascos: Andrezinho,

show abstract

Modeling Web Service Choreography and Orchestration with Colored Petri Nets

Cited by 19 publications

References 3 publications

A Comprehensive Failure Recovery Algorithm for LRTs Based on Paired Net

A Comprehensive Failure Recovery Algorithm for LRTs Based on Paired Net

Process optimization of service-oriented automation devices based on Petri nets

Uma abordagem de desenvolvimento de linha de produtos com uma arquitetura orientada a serviços

Contact Info

Product

Resources

About