Using LOTOS for rigorous specifications of workflow patterns (2010)
- Authors:
- USP affiliated authors: FERREIRA, JOÃO EDUARDO - IME ; TAKECIAN, PEDRO LOSCO - IME
- Unidade: IME
- DOI: 10.4108/icst.collaboratecom.2010.57
- Assunto: ENGENHARIA DE SOFTWARE
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Proceedings
- Conference titles: International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom
- Este periódico é de assinatura
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: bronze
-
ABNT
TAKECIAN, Pedro Losco et al. Using LOTOS for rigorous specifications of workflow patterns. 2010, Anais.. New york: ACM, 2010. Disponível em: https://doi.org/10.4108/icst.collaboratecom.2010.57. Acesso em: 30 abr. 2024. -
APA
Takecian, P. L., Ferreira, J. E., Malkowski, S., & Pu, C. (2010). Using LOTOS for rigorous specifications of workflow patterns. In Proceedings. New york: ACM. doi:10.4108/icst.collaboratecom.2010.57 -
NLM
Takecian PL, Ferreira JE, Malkowski S, Pu C. Using LOTOS for rigorous specifications of workflow patterns [Internet]. Proceedings. 2010 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.4108/icst.collaboratecom.2010.57 -
Vancouver
Takecian PL, Ferreira JE, Malkowski S, Pu C. Using LOTOS for rigorous specifications of workflow patterns [Internet]. Proceedings. 2010 ;[citado 2024 abr. 30 ] Available from: https://doi.org/10.4108/icst.collaboratecom.2010.57 - Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses
- ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo
- Metricam: fast and reliable social distancing analysis in online security cameras
- Long Lived Transaction Processing for Business Processes and Scientific Workflows
- A partial persistent data structure to support consistency in real-time collaborative editing
- Number of recent sexual partners among blood donors in Brazil: associations with donor demographics, donation characteristics, and infectious disease markers
- 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
Informações sobre o DOI: 10.4108/icst.collaboratecom.2010.57 (Fonte: oaDOI API)
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
3033972.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas