Desarrollo de un modelo de prestación de servicios de TI tipo SaaS en infraestructura cloud para la gestión de admisión y matrícula en instituciones de educación primaria y secundaria: Una revisión de literatura

El presente trabajo de investigación presenta una revisión de literatura sobre el desarrollo de un modelo de prestación de servicios de TI tipo SaaS en infraestructura cloud para la gestión de admisión y matrícula en instituciones de educación primaria y secundaria. Este trabajo está dividido en cuatro secciones, la introducción, el método, las conclusiones y las referencias. En la introducción se presenta el contexto del problema que se busca resolver, describiendo el actual modelo de prestación de servicios de TI que ofrece un deficiente sistema de gestión educativa a las entidades educativas del nivel primaria y secundaria. En este sentido, el problema principal formulado es que el modelo actual de prestación de servicios de TI presenta deficiencias en la operatividad y soporte del sistema de información para la gestión de los procesos de admisión y matrícula en las entidades educativas del nivel primaria y secundaria. En la sección del método se desarrolló la revisión sistemática. Primero, se presentan las preguntas de revisión planteadas en base a los criterios del método PICOC. Luego, se describe el proceso de búsqueda que se siguió y se presentan los motores de búsqueda utilizados. Después, se presenta la cadena de búsqueda formulada y su adaptación a cada motor de búsqueda. Asimismo, se presentan los criterios de inclusión y exclusión que permitieron filtrar los artículos encontrados y los campos que permitieron extraer información de los artículos. Una vez que se aplicaron los criterios establecidos, se obtuvo la lista de artículos primarios seleccionados, de los cuales se pudo extraer y analizar la información necesaria para responder las preguntas de revisión planteadas. Finalmente, en la sección de las conclusiones, se presenta una breve conclusión de los hallazgos con respecto a cada pregunta de revisión formulada. Asimismo, en la sección referencias, se presentan las referencias bibliográficas utilizadas en la descripción de la problemática y el desarrollo de la revisión sistemática.Trabajo de investigació

Desarrollo de un modelo de prestación de servicios de TI tipo SaaS en infraestructura cloud para la gestión de admisión y matrícula en instituciones de educación primaria y secundaria

Actualmente, en el sector educativo existe el modelo tradicional de prestación de servicios de TI, que depende de un equipo humano para gestionar tanto su infraestructura tecnológica, como sus aplicaciones. Sin embargo, este modelo no funciona correctamente en un escenario real con alta demanda y concurrencia. Existen informes que indican la deficiencia del sistema de gestión educativa SIAGIE, el cual es el sistema provisto por el Ministerio de Educación del Perú, para la gestión de procesos clave en las entidades educativas, como los procesos de admisión y matrícula. Esta deficiencia radica, principalmente, en la baja disponibilidad del servicio en periodos de alta demanda y las vulnerabilidades en el sistema. Ante esta problemática, se plantea el desarrollo de un modelo de prestación de servicios de TI tipo SaaS en infraestructura cloud para la gestión de los procesos de admisión y matrícula en instituciones de educación primaria y secundaria. Con este nuevo modelo se busca ofrecer una alta disponibilidad del servicio y un sistema escalable en funcionalidades. Además, se propone ofrecer un servicio que no requiera de un equipo humano para el aprovisionamiento y mantenimiento de la infraestructura tecnológica, ya que ello será gestionado por el proveedor de la nube. Asimismo, el servicio propuesto se enfoca en la automatización de procesos tradicionalmente operativos, como el aprovisionamiento de la infraestructura tecnológica

Synthesizing stream control

For the management of reactive systems, controllers must coordinate time, data streams, and data transformations, all joint by the high level perspective of their control flow. This control flow is required to drive the system correctly and continuously, which turns the development into a challenge. The process is error-prone, time consuming, unintuitive, and costly. An attractive alternative is to synthesize the system instead, where the developer only needs to specify the desired behavior. The synthesis engine then automatically takes care of all the technical details. However, while current algorithms for the synthesis of reactive systems are well-suited to handle control, they fail on complex data transformations due to the complexity of the comparably large data space. Thus, to overcome the challenge of explicitly handling the data we must separate data and control. We introduce Temporal Stream Logic (TSL), a logic which exclusively argues about the control of the controller, while treating data and functional transformations as interchangeable black-boxes. In TSL it is possible to specify control flow properties independently of the complexity of the handled data. Furthermore, with TSL at hand a synthesis engine can check for realizability, even without a concrete implementation of the data transformations. We present a modular development framework that first uses synthesis to identify the high level control flow of a program. If successful, the created control flow then is extended with concrete data transformations in order to be compiled into a final executable. Our results also show that the current synthesis approaches cannot replace existing manual development work flows immediately. During the development of a reactive system, the developer still may use incomplete or faulty specifications at first, that need the be refined after a subsequent inspection. In the worst case, constraints are contradictory or miss important assumptions, which leads to unrealizable specifications. In both scenarios, the developer needs additional feedback from the synthesis engine to debug errors for finally improving the system specification. To this end, we explore two further possible improvements. On the one hand, we consider output sensitive synthesis metrics, which allow to synthesize simple and well structured solutions that help the developer to understand and verify the underlying behavior quickly. On the other hand, we consider the extension of delay, whose requirement is a frequent reason for unrealizability. With both methods at hand, we resolve the aforementioned problems and therefore help the developer in the development phase with the effective creation of a safe and correct reactive system.Um reaktive Systeme zu regeln müssen Steuergeräte Zeit, Datenströme und Datentransformationen koordinieren, die durch den übergeordneten Kontrollfluss zusammengefasst werden. Die Aufgabe des Kontrollflusses ist es das System korrekt und dauerhaft zu betreiben. Die Entwicklung solcher Systeme wird dadurch zu einer Herausforderung, denn der Prozess ist fehleranfällig, zeitraubend, unintuitiv und kostspielig. Eine attraktive Alternative ist es stattdessen das System zu synthetisieren, wobei der Entwickler nur das gewünschte Verhalten des Systems festlegt. Der Syntheseapparat kümmert sich dann automatisch um alle technischen Details. Während aktuelle Algorithmen für die Synthese von reaktiven Systemen erfolgreich mit dem Kontrollanteil umgehen können, versagen sie jedoch, sobald komplexe Datentransformationen hinzukommen, aufgrund der Komplexität des vergleichsweise großen Datenraums. Daten und Kontrolle müssen demnach getrennt behandelt werden, um auch große Datenräumen effizient handhaben zu können. Wir präsentieren Temporal Stream Logic (TSL), eine Logik die ausschließlich die Kontrolle einer Steuerung betrachtet, wohingegen Daten und funktionale Datentransformationen als austauschbare Blackboxen gehandhabt werden. In TSL ist es möglich Kontrollflusseigenschaften unabhängig von der Komplexität der zugrunde liegenden Daten zu beschreiben. Des Weiteren kann ein auf TSL beruhender Syntheseapparat die Realisierbarkeit einer Spezifikation prüfen, selbst ohne die konkreten Implementierungen der Datentransformationen zu kennen. Wir präsentieren ein modulares Grundgerüst für die Entwicklung. Es verwendet zunächst den Syntheseapparat um den übergeordneten Kontrollfluss zu erzeugen. Ist dies erfolgreich, so wird der resultierende Kontrollfluss um die konkreten Implementierungen der Datentransformationen erweitert und anschließend zu einer ausführbare Anwendung kompiliert. Wir zeigen auch auf, dass bisherige Syntheseverfahren bereits existierende manuelle Entwicklungsprozesse noch nicht instantan ersetzen können. Im Verlauf der Entwicklung ist es auch weiterhin möglich, dass der Entwickler zunächst unvollständige oder fehlerhafte Spezifikationen erstellt, welche dann erst nach genauerer Betrachtung des synthetisierten Systems weiter verbessert werden können. Im schlimmsten Fall sind Anforderungen inkonsistent oder wichtige Annahmen über das Verhalten fehlen, was zu unrealisierbaren Spezifikationen führt. In beiden Fällen benötigt der Entwickler zusätzliche Rückmeldungen vom Syntheseapparat, um Fehler zu identifizieren und die Spezifikation schlussendlich zu verbessern. In diesem Zusammenhang untersuchen wir zwei mögliche Erweiterungen. Zum einen betrachten wir ausgabeabhängige Metriken, die es dem Entwickler erlauben einfache und wohlstrukturierte Lösungen zu synthetisieren die verständlich sind und deren Verhalten einfach zu verifizieren ist. Zum anderen betrachten wir die Erweiterung um Verzögerungen, welche eine der Hauptursachen für Unrealisierbarkeit darstellen. Mit beiden Methoden beheben wir die jeweils zuvor genannten Probleme und helfen damit dem Entwickler während der Entwicklungsphase auch wirklich das reaktive System zu kreieren, dass er sich auch tatsächlich vorstellt