Stateful requirements monitoring for self-repairing socio-technical systems

Socio-technical systems consist of human, hardware and software components that work in tandem to fulfil stakeholder requirements. By their very nature, such systems operate under uncertainty as components fail, humans act in unpredictable ways, and the environment of the system changes. Self-repair refers to the ability of such systems to restore fulfillment of their requirements by relying on monitoring, reasoning, and diagnosing on the current state of individual requirements. Self-repair is complicated by the multi-agent nature of socio-technical systems, which demands that requirements monitoring and self-repair be done in a decentralised fashion. In this paper, we propose a stateful requirements monitoring approach by maintaining an instance of a state machine for each requirement, represented as a goal, with runtime monitoring and compensation capabilities. By managing the interactions between the state machines, our approach supports hierarchical goal reasoning in both upward and downward directions. We have implemented a customisable Java framework that supports experimentation by simulating a socio-technical system. Results from our experiments suggest effective and precise support for a wide range of self-repairing decisions in a socio-technical setting

Guía para la integración de métodos formales de ingeniería de requerimientos en procesos de desarrollo ágil

Las Metodologías Ágiles se han convertido poco a poco en la principal elección por parte de Ingenieros de Software a la hora de llevar a cabo sus proyectos [1]. Las necesidades actuales, y el constante cambio en los negocios, convierten a este tipo de metodologías en una excelente base para gestionar y desarrollar proyectos de software, sin embargo, al igual que con los métodos más tradicionales, la gestión de proyectos que implican muchos requerimientos, hacen que el trabajo se dificulte [2]. Es por esto que se ha propuesto la adaptación de algunos métodos (normalmente utilizados en procesos formales) de la Ingeniería de Requerimientos, a través de una base teórica proporcionada por el Kernel de SEMAT.Agile methodologies have gradually become the leading choice by software engineers when carrying out their projects [1]. Current needs, and the constant change in businesses, makes this type of methodologies an excellent basis for manage and develop software projects, however, as with more traditional methods, project management involving many requirements makes difficult the software development process [2]. That is why, it is proposed the adaptation of some methods (commonly used in formal processes) of Requirements Engineering, through a theoretical basis provided by the kernel SEMAT.Ingeniero (a) de SistemasPregrad