Implementing rigorous web services with process algebra: navigation plan for web services (2009)
- Authors:
- USP affiliated authors: FERREIRA, JOÃO EDUARDO - IME ; RODRIGUES, MAURICIO CHUI - IME
- Unidade: IME
- DOI: 10.1145/1529282.1529413
- Subjects: SISTEMAS DE INFORMAÇÃO; WORLD WIDE WEB
- Keywords: BPEL; Process Algebra; Web Services; Workflow
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Symposium on Applied Computing - SAC
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
RODRIGUES, Mauricio Chui e MALKOWSKI, Simon e FERREIRA, João Eduardo. Implementing rigorous web services with process algebra: navigation plan for web services. 2009, Anais.. New York: ACM, 2009. Disponível em: https://doi.org/10.1145/1529282.1529413. Acesso em: 09 jan. 2026. -
APA
Rodrigues, M. C., Malkowski, S., & Ferreira, J. E. (2009). Implementing rigorous web services with process algebra: navigation plan for web services. In Proceedings. New York: ACM. doi:10.1145/1529282.1529413 -
NLM
Rodrigues MC, Malkowski S, Ferreira JE. Implementing rigorous web services with process algebra: navigation plan for web services [Internet]. Proceedings. 2009 ;[citado 2026 jan. 09 ] Available from: https://doi.org/10.1145/1529282.1529413 -
Vancouver
Rodrigues MC, Malkowski S, Ferreira JE. Implementing rigorous web services with process algebra: navigation plan for web services [Internet]. Proceedings. 2009 ;[citado 2026 jan. 09 ] Available from: https://doi.org/10.1145/1529282.1529413 - Tratamento de eventos aplicado à composição de serviços web
- P-SaMI: a data-flow pattern to perform massively-parallel molecular docking experiments using a fully-flexible receptor model
- Application configuration repository for adaptive service-based systems: overcoming challenges in an evolutionary online advertising environment
- Principais componentes na ordenação de anúncios: um experimento em ambiente real de publicidade computacional
- Towards flexible event-handling in workflows through data states
- Um padrão canônico para controle de paralelização em aplicações de e-Science
- Towards algorithmic generation of business processes: from business step dependencies to process algebra expressions
- Integration of business processes with autonomous information systems: a case study in government services
- Services Computing – SCC 2019: 16th International Conference, held as part of the Services Conference Federation, SCF 2019
- International Conference on Distributed Computing Systems Workshops, 37: proceedings
Informações sobre o DOI: 10.1145/1529282.1529413 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3035751.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
