$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital

Avançada


Estatísticas |



Título: A NOTE ON PROCESS MODELLING: COMBINING SITUATION CALCULUS AND PETRI NETS
Autor: EDIRLEI EVERSON SOARES DE LIMA
ANTONIO LUZ FURTADO
BRUNO FEIJO
MARCO ANTONIO CASANOVA
Instituição:  -
Colaborador(es):  -
Nº do Conteudo: 59758
Catalogação:  27/06/2022 Liberação: 27/06/2022 Idioma(s):  ENGLISH - UNITED STATES
Tipo:  TEXT Subtipo:  RESEARCH REPORT
Natureza:  SCHOLARLY PUBLICATION
Nota:  This report was originally published as 1/2022.
Nota:  Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [en]:  https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=59758@2
Referência DOI:  https://doi.org/10.17771/PUCRio.DImcc.59758

Resumo:
The situation calculus logic model is most convenient for modelling the actions that can occur in an information system application. The interplay of pre-conditions and post-conditions not only determines a semantically justified partial order of the defined actions, but also serves to enforce integrity constraints. This form of specification allows the use of plan-generation algorithms to investigate, before the system is liberated for official usage, whether the proposed specification allows all desirable use cases, and effectively disallows the illegal or, for some reason, undesirable ones. On the other hand, especially for legacy applications, implemented without a prior specification, Process Mining techniques have been employed to derive an implicit Petri net model from the analysis of a large enough number of traces registered in an execution log. However, as a system just begins to be used, with a still empty execution log, this sort of process mining discovery would not be feasible. We shall explain in this paper how the Petri net model can be directly derived from the situation calculus specification rules. The main gist of the present research is to provide evidence that the two models are complementary, not only because the Petri net model is derivable from the situation calculus model, but also in view of the distinct advantages of the two models. While the situation calculus model leads to planning and simulated execution prior to implementation, the Petri net model, like other workflow engines, can be designed to run in a tightly restrictive mode, with the additional asset of intuitive visualization of the workable sequences. As proof of concept, we developed a prototype to demonstrate our methods, and tried it on two example cases: 1. a published request processing application used to introduce process mining notions, and 2. an analogously structured trial by combat application taken from a popular movie. The prototype includes an interactive dramatization component, which serves -as a mandatory requirement for digital entertainment pieces -to enact the second application.

Descrição Arquivo
COMPLETE  PDF
Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
Fechar Janela



* Esqueceu a senha:
Senha SAU, clique aqui
Senha Maxwell, clique aqui