首页> 外文OA文献 >Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach?

【2h】

Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach?

机译：授权约束下业务流程的形式化规范和自动分析：基于行动的方法？

页面导航

著录项
相似文献
相关主题

著录项

作者
Ro Arm; Enrico Giunchiglia; Serena Elisa Ponta;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints [J] . Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Journal of computer and system sciences . 2012,第1期

机译：在授权约束下基于动作的形式规范和业务流程的自动分析方法
2. Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach [J] . Angel Jesus Varela-Vaca, Rafael M. Gasca Information and software technology . 2013,第11期

机译：使用约束编程方法实现业务流程风险处理的自动和最佳选择
3. Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach [J] . Alfonso Rodriguez, Ignacio Garcia-Rodriguez de Guzman, Eduardo Fernandez-Medina, Information and software technology . 2010,第9期

机译：将安全业务流程半正式转换为分析类和用例模型：MDA方法
4. Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach [C] . Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta Trust privacy and security in digital business . 2009

机译：授权约束下的业务流程的形式化规范和自动分析：基于动作的方法
5. Combining semi-formal and formal notations in software specification: An approach to modelling time-constrained systems. [D] . Dascalu, Sergiu-Mihai. 2001

机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
6. Enforcement of entailment constraints in distributed service-based business processes [O] . Waldemar Hummer, Patrick Gaubatz, Mark Strembeck, -1

机译：在基于分布式服务的业务流程中强制包含约束
7. An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints [O] . Armando Alessandro, Giunchiglia Enrico, Maratea Marco, 2012

机译：在授权约束下基于动作的形式规范和业务流程的自动分析方法

Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach?

著录项

相似文献

相关主题

期刊订阅