Mostrando 7 resultados de: 7
Filtros aplicados
Publisher
Iberian Conference on Information Systems and Technologies, CISTI(2)
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(1)
Information and Software Technology(1)
Lecture Notes in Business Information Processing(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Programación informática, programas, datos, seguridad(4)
Dirección general(3)
Gestión y servicios auxiliares(3)
Economía(2)
Administración pública y ciencia militar(1)
Compositional verification of business processes modelled with BPMN
Conference ObjectAbstract: A specific check that is required to be performed as part of the Business Process Modelling (BPM) isPalabras claves:Business process modelling, Compositional verification, Formal specification, Model-checking, Task modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusAutomatic compositional verification of business processes
Conference ObjectAbstract: Nowadays the Business Process Modelling Notation (BPMN) has become a standard to provide a notationPalabras claves:Business process modelling, Formal Methods, Model-checking, Task model, VerificationAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusBusiness process verification using a Formal Compositional Approach and Timed Automata
Conference ObjectAbstract: Several firms are defining their Business Processes (BPs) using the standard Business Process ModelPalabras claves:Compositional verification, Critical Business Process, Model checking, Task model, Timed AutomataAutores:Luis Eduardo Mendoza MoralesFuentes:googlescopusConceptual framework for business processes compositional verification
ArticleAbstract: Context: To guarantee the success of Business Process Modelling (BPM) it is necessary to check whethPalabras claves:Business process modelling, Compositional verification, Formal specification, Model-checking, Task modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.Fuentes:googlescopusApplication of formal methods to verify business processes
Conference ObjectAbstract: Formal specifications and modeling languages can be used to provide support for Business Process (BPPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusFormal verification of business processes as timed automata
Conference ObjectAbstract: Despite the representation of a business process (BP) with Business Process Model and Notation (BPMNPalabras claves:BUSINESS PROCESS, Model checking, qualitative analysis, Task model, Timed AutomataAutores:Carlos Monsalve, Carlos Teodoro Monsalve Artega, Luis Eduardo Mendoza Morales, Monica VillavicencioFuentes:googlescopusSpecifying BPMN diagrams with Timed Automata: Proposal of some mapping rules
Conference ObjectAbstract: The Business Process Model and Notation (BPMN) has come to be the most important result to standardiPalabras claves:BUSINESS PROCESS, mapping rules, qualitative analysis, Task model, Timed AutomataAutores:Luis Eduardo Mendoza MoralesFuentes:googlescopus