Carlos Monsalve

Carlos Monsalve
Escuela Superior Politécnica del Litoral (ESPOL) · Facultad de Ingeniería en Electricidad y Computación

Doctor of Philosophy

About

26
Publications
7,621
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
107
Citations
Citations since 2016
8 Research Items
51 Citations
201620172018201920202021202202468101214
201620172018201920202021202202468101214
201620172018201920202021202202468101214
201620172018201920202021202202468101214
Introduction
Carlos Monsalve currently works at the Facultad de Ingeniería en Electricidad y Computación, Escuela Superior Politécnica del Litoral (ESPOL). Carlos does research in Software Engineering. One of his current projects is 'Modeling and verification of the behavior of a business process'.
Additional affiliations
February 2009 - present
Escuela Superior Politécnica del Litoral (ESPOL)
Position
  • Business Process Modeling & Software Requirements
May 1990 - present
Escuela Superior Politécnica del Litoral (ESPOL)
Position
  • Professor
Education
February 2009 - December 2012
École de Technologie Supérieure
Field of study
  • Software Engineering
October 1993 - April 1995
Purdue University
Field of study
  • Digital Communications
January 1984 - November 1990
Escuela Superior Politécnica del Litoral (ESPOL)
Field of study
  • Computer Engineering

Publications

Publications (26)
Article
Full-text available
With the deployment of new devices, protocols and applications, network traffic is changing to adapt to these trends. Therefore, it is necessary to analyze the impact over services and resources in data networks. Traffic classification of network is an important requirement to optimize traffic engineering and adequately provision quality of service...
Article
Nowadays, the traffic over the networks is changing because of new protocols, devices and applications. Therefore, it is necessary to analyze the impact over services and resources. Traffic Classification of network is a very important prerequisite for tasks such as traffic engineering and provisioning quality of service. In this paper, we analyze...
Article
Full-text available
Nowadays, the traffic over the networks is changing because of new protocols, devices and applications. Therefore, it is necessary to analyze the impact over services and resources. Traffic Classification of network is a very important prerequisite for tasks such as traffic engineering and provisioning quality of service. In this paper, we analyze...
Article
Full-text available
Decision trees are among the best-known decision-making techniques and have been used extensively for both data analysis and predictive modeling. BPM+ is a novel process modeling approach that helps represent business process models in a consistent and structured way to meet different stakeholders' process representation needs. This paper reports o...
Conference Paper
Formal specifications and modeling languages can be used to provide support for Business Process (BP) analysts and designers to verify the behavior of BPs with respect to business performance indicators (i.e., service time, waiting time or queue size). This article presents the application of the Timed Automata (TA) formal language to check BPs mod...
Conference Paper
Full-text available
La inspección de documentos de requerimientos de software es una técnica que asegura calidad y reducción de costos en el ciclo de vida del desa-rrollo de software. Por otro lado, es crucial en la planificación de proyectos de software contar con métodos que permitan estimar esfuerzo basados en métri-cas y no únicamente en el juicio de expertos. Pes...
Presentation
eGovernment aims to put digital public services at the disposal of citizens, companies, and organizations. Events like this hackathon to write applications, liberate data, create visualizations, and publish analyses using open public data is a strong support for and encourages the adoption of open data policies by the local, regional, aand national...
Conference Paper
Full-text available
The success of a software project depends on the quality of the software requirements specifications. Business process models are frequently used for eliciting software requirements; therefore, it is critical to produce high-quality business process models. To achieve this, the use of multiple levels of abstraction has been suggested in the literat...
Thesis
Full-text available
This thesis aims at helping software engineers and business analysts to better model business processes when those models are meant to be used: for software requirements specification, and for functional size measurement purposes. The research goal of this thesis is to contribute to the representation of business processes for its use during the re...
Conference Paper
Full-text available
Business process models have proved to be useful for requirements elicitation. Since software development depends on the quality of the requirements specifications, generating high-quality business process models is therefore critical. A key factor for achieving this is the expressiveness in terms of completeness and clarity of the modeling notatio...
Article
Full-text available
ISO 14143-1 specifies that a functional size measurement (FSM) method must provide measurement procedures to quantify the functional user requirements (FURs) of software. Such quantitative information, functional size, is typically used, for instance, in software estimation. One of the international standards for FSM is the COSMIC FSM method — ISO...
Conference Paper
Full-text available
Business process models can be useful for requirements elicitation, among other things. Software development depends on the quality of the requirements elicitation activities, and so adequately modeling business processes (BPs) is critical. A key factor in achieving this is the active participation of all the stakeholders in the development of a sh...
Article
Full-text available
Business process models (BPM) can be useful for requirements elicitation, among other uses. Since the active participation of all stakeholders is a key factor for successful requirements engineering, it is important that BPM be shared by all stakeholders. Unfortunately, organizations may end up with inconsistent BPM not covering all stakeholders' n...
Conference Paper
Full-text available
Functional size measurement (FSM) is an important component of a software project, as it provides information for estimating the effort required to develop the measured software. For planning purposes, FSM should be performed during the early stages of the project. Considering that a common use of business process models is to gather requirements f...
Conference Paper
Full-text available
Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeling perspectives required by each stakeholder. This paper presents a method to identify the specific notation construct requirements, at multiple levels of abstraction, which...
Article
Full-text available
En este documento se propone una metodología automatizada para la asignación de frecuencias fijas en una red celular GSM, con el objetivo de mejorar la calidad del enlace de radio en las capas BCCH y Regular, reduciendo la interferencia entre celdas provocada por el reuso de frecuencias. La metodología propuesta consiste en la implementación del al...
Conference Paper
La idea principal de la construcción de un microrobot surge de la necesidad de solucionar algún problema específico, que en nuestro caso el campo inicial de aplicación consistirá en integrarlo en un sistema multiagente aplicado al fútbol robótico. Cuatro módulo principales son propuestos para la implementación del microrobot. Estos módulos son: rec...
Article
Full-text available
De todos los parámetros que conforman el plan de frecuencias para la capa de saltos de una red GSM, el Número de Secuencia de Saltos (HSN) es el que mayor controversia genera. Hasta la actualidad no se ha unificado un criterio para asignarlo entre las celdas de una red debido a dos razones potenciales, por un lado es una entrada al algoritmo seudo...
Article
Full-text available
Este artículo reseña los aspectos más importantes del proceso de diseño e implementación de un sistema integrado encargado de controlar las puertas de acceso a los laboratorios de la FIEC. Este sistema es la más reciente contribución a una estrategia de seguridad que se ha venido desarrollando desde hace varios años, la cual consiste en la implemen...
Article
Full-text available
SE DESCRIBE EL PROCESO DE DISEÑO E IMPLEMENTACION DEL PROTOTIPO DE UN CONTROLADOR DE ACCESO INTEGRADO PARA UTILIZARSE EN EL ESQUEMA DE SEGURIDAD DE LOS LABORATORIOS DE LA FIEC. ESTE TRABAJO SE COMPONE DE CINCO CAPITULOS, LOS CUALES DESCRIBEN DE FORMA SISTEMATICA LOS SIGUIENTES PASOS DEL PROCESO DE DISEÑO DEL EQUIPO MENCIONADO: * DEFINICION DE REQUI...
Article
Full-text available
ESTA TESIS CONSTA DE LAS SECCIONES ORDENADAS CRONOLOGICAMENTE: 1.- RIESGO DE LAS REDES DE LA ESPOL 2- ESTRATEGIAS DE SEGURIDAD, DISEÑO DE POLITICAS, TECNOLOGIAS Y ARQUITECTURA DE SISTEMAS DE FIREWALLS. 3- NECESIDADES DE DISTRIBUCION Y FUNCIONAMIENTO DE LOS RECURSOS CONECTADOS AL BACKBONE DE LA ESPOL; DISEÑO DE POLITICAS DE SEGURIDAD DE REDES PARA L...

Network

Cited By

Projects

Projects (3)
Project
Sentar las bases conceptuales y técnicas para el modelado, la especificación y la verificación de Procesos de Negocio de interés para el sector productivo y gubernamental del Ecuador, con la finalidad de minimizar posibles omisiones o inconsistencias con respecto a lo que se espera de los procesos críticos de una industria y del estado, tanto a nivel funcional como a nivel de rendimiento de acuerdo a restricciones temporales.