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: 04 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. 04 ] 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. 04 ] Available from: https://doi.org/10.1145/1529282.1529413 - Tratamento de eventos aplicado à composição de serviços web
- A partial persistent data structure to support consistency in real-time collaborative editing
- Integration of business processes with autonomous information systems: a case study in government services
- Principais componentes na ordenação de anúncios: um experimento em ambiente real de publicidade computacional
- Reducing exception handling complexity in business process modeling and implementation: the WED-Flow approach
- Padrões para controle de fluxo e sua execução em grade
- Abordagem transacional para padrões de controle de fluxo de processos científicos e de negócios
- Number of recent sexual partners among blood donors in Brazil: associations with donor demographics, donation characteristics, and infectious disease markers
- Mineral particles in sugar cane bagasse: localization and morphometry using microtomography analysis
- Robust and reliable process-aware information systems
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
