Buscar
Mostrando ítems 1-9 de 9
Ponencia
Improving the Diagnosability of Business Process Management Systems Using Test Points
(Springer, 2010)
The management and automation of business processes have become an essential task within IT organizations, where the diagnosis is a very important issue, since it enables fault isolation in a business process. The ...
Artículo
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach
(Elsevier, 2013)
Context: The use of Business Process Management Systems (BPMS) has emerged in the IT arena for the automation of business processes. In the majority of cases, the issue of security is overlooked by default in these systems, ...
Artículo
Compliance validation and diagnosis of business data constraints in business processes at runtime
(Elsevier, 2015)
Business processes involve data that can be modified and updated by various activities at any time. The data involved in a business process can be associated with flow elements or data stored. These data must satisfy the ...
Artículo
Formalization of security patterns as a means to infer security controls in business processes
(Oxford University Press, 2015)
The growing trend towards the automation and externalization of business processes by means of Technology Infrastructure (TI), such as Business Process Management Systems, has increased the security risks in the organizations. ...
Ponencia
Run-Time Auditing for Business Processes Data Using Constraints
(Springer, 2010)
Business processes involve data that can be modified or up dated by various activities. These data must satisfy the business rules associated to the process. These data are normally stored in a rela tional database, and ...
Ponencia
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
(PHM Society, 2010)
In order to increase the quality of business pro cesses when they are automated, the correctness of the activities can be checked by means of an analysis of the corresponding business compli ance rules. By analyzing the ...
Ponencia
Contract-based test generation for data flow of business processes using constraint programming
(IEEE Computer Society, 2011)
The verification of the properties of a business process (BP) has become a significant research topic in recent years. In the early stages of development, the BP model (e.g. BPMN, EPC), the BP contract (task ...
Ponencia
VaryLATEX: Learning Paper Variants That Meet Constraints
(ACM: Association for Computing Machinery, 2018)
How to submit a research paper, a technical report, a grant pro posal, or a curriculum vitae that respect imposed constraints such as formatting instructions and page limits? It is a challenging task, especially when ...
Artículo
Using Constraint Programming in Selection Operators for Constraint Databases
(Elsevier, 2014)
Constraint Databases represent complex data by means of formulas described by constraints (equations, inequations or Boolean combinations of both). Commercial database management systems allow the storage and efficient ...