Mostrando 10 resultados de: 69
Filtros aplicados
Publisher
ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems(3)
Revista de la Facultad de Ingenieria(3)
ESPOL. FIEC(2)
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings(2)
ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems(2)
Área temáticas
Ciencias de la computación(30)
Programación informática, programas, datos, seguridad(26)
Gestión y servicios auxiliares(9)
Métodos informáticos especiales(7)
Derecho privado(3)
Choreography modeling compliance for timed business models
ArticleAbstract: Business Process Modeling (BPM) is a conceptual activity for embodying the functioning and complex sPalabras claves:BPMN 2.0, Business process modeling, Choreography, Choreography modeling conformance, Timed business processes, Transformation rulesAutores:Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusCompositional 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 verification of business process integrity
ArticleAbstract: Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improviPalabras claves:BP, BUSINESS PROCESS, Formal Methods, MC, Model-checking, modelling, VerificationAutores:Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Tuñón M.I.C.Fuentes:googlescopusBusiness process automatic verification with a compositional approach
ArticleAbstract: Currently, complex Business Processes (BP) are implemented by Enterprise Information Systems (EIS).Palabras claves:Business processes, Compositional verification, Formal specification, Model checking, Tasks modelAutores:Luis Eduardo Mendoza Morales, Pérez M.A., 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:googlescopusANÁLISIS DEL DESEMPEÑO DE UN ENFOQUE ARQUITECTÓNICO DATA WAREHOUSE DE INTEGRACIÓN DE SISTEMAS
OtherAbstract: La integración de sistemas de software está afectada por: la demanda de operaciones en tiempo real,Palabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleA model for productivity and systemic quality for systems development process
Conference ObjectAbstract: Many authors in the manufacturing industry have affirmed that "high quality levels promote high prodPalabras claves:IT projects, Productivity, Software systemic quality, Systems development processAutores:Grimánk A., Luis Eduardo Mendoza Morales, Mendez E., Pérez M.A.Fuentes:googlescopusConceptual model for the specification of the quality properties of the Critical Business Process
OtherAbstract: Critical Business Processes (CBP) and the study of the aspects that allow to specify formally theirPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleCriterios para la selección de herramientas de ingeniería de software en PYMES
OtherAbstract: Las pequeñas y medianas empresas (PYMEs) aportan importantes recursos a la industria del software. SPalabras claves:Autores:Luis Eduardo Mendoza MoralesFuentes:googleCritical Success Factors Proposal to Evaluate Conditions for eHealth Services
Conference ObjectAbstract: The application of information and communication technologies (ICT) in health, eHealth, has demonstrPalabras claves:Critical success factors, eHealth, eHealth servicesAutores:Ganvini C., Luis Eduardo Mendoza Morales, Rivas L.Fuentes:googlescopus