An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints-Reference-Cited by-同舟云学术

An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints

Author:

Armando Alessandro,Giunchiglia Enrico,Maratea Marco,Ponta Serena Elisa

Publisher

Elsevier BV

Subject

Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science

Reference57 articles.

1. Formal specification and automatic analysis of business processes under authorization constraints: An action-based approach;Armando,2009

2. Petri Net Theory and the Modeling of Systems;Peterson,1981

4. A model-checking approach to analysing organisational controls in a loan origination process;Schaad,2006

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analyzing Security Requirements in Timed Workflow Processes;IEEE Transactions on Dependable and Secure Computing;2022-01-01

4. Modeling and Enactment of Business Agents Using Jason;Proceedings of the 9th Hellenic Conference on Artificial Intelligence;2016-05-18

5. The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services;2013 IEEE Sixth International Conference on Software Testing, Verification and Validation;2013-03