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: Proceedings
- Conference titles: International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 13 fev. 2026. -
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 2026 fev. 13 ] 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 2026 fev. 13 ] 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
- 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
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
