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
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
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: 09 abr. 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 abr. 09 ] 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 abr. 09 ] Available from: https://doi.org/10.4108/icst.collaboratecom.2010.57 - ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo
- Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses
- Modular framework for cluster analysis in surveillance cameras
- 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
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
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
