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
- Status:
- Nenhuma versão em acesso aberto identificada
-
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: 15 abr. 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 abr. 15 ] 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 abr. 15 ] Available from: https://doi.org/10.1145/1529282.1529413 - Tratamento de eventos aplicado à composição de serviços web
- Data analysis workflow for experiments in sugarcane precision agriculture
- Using visual-interactive properties to support data quality visual assessment on abstract and timeless data
- Data quality assessment of very large database through visualization system
- Projeto e modelagem de bancos de dados
- Services 2020: 16th World Congress, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings
- Abordagem transacional para padrões de controle de fluxo de processos científicos e de negócios
- Reducing exception handling complexity in business process modeling and implementation: the WED-Flow approach
- International Conference on Distributed Computing Systems Workshops, 37: proceedings
- Um padrão canônico para controle de paralelização em aplicações de e-Science
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
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
