期刊名称:iSys - Revista Brasileira de Sistemas de Informação
印刷版ISSN:1984-2902
出版年度:2019
卷号:12
期号:1
页码:76-99
出版社:iSys - Revista Brasileira de Sistemas de Informação
摘要:Com o recente avanço da pesquisa e prática em Gestão de Processos de Negócio (Business Process Management – BPM), organizações vêm mudando o seu foco para processos críticos que tipicamente são pouco estruturados, dinâmicos e de alta complexidade, denominados Processos intensivos em Conhecimento (Knowledge-intensive Processes – KiP). Em função de tais características, atividades típicas de BPM como modelagem, instanciação, validação e simulação de processos apresentam muitos desafios. Este artigo propõe uma estratégia baseada em regras para instanciar, validar e simular modelos de KiPs. A proposta considera a ontologia de processos intensivos em conhecimento (KiPO) como um metamodelo para modelar um KiP, e transforma as suas regras em especificações na linguagem Alloy. A aplicabilidade de proposta foi avaliada em um estudo de caso com 4 cenários, e os resultados evidenciam os benefícios para modeladores de processos. Palavras-Chave. Validação de Modelos; Processos intensivos em Conhecimento; Modelagem Conceitual; BPM.
关键词:Validação de Modelos;Processos intensivos em Conhecimento;Modelagem Conceitual;BPM