Biología reproductiva de la tagua común (Fulica armillata) y la tagua de frente roja (F. rufi frons) en un área agroforestal del centro-sur de Chile Breeding biology of red-gartered coot (Fulica armillata) and red-fronted coot (F. rufi frons) in an agroforestry area of central-south Chile
Existing approaches for monitoring Service-based Systems assume monitor rules are pre-defined and known in advance. Furthermore, in most of the cases, monitor rules are associated to a set of actions, triggered by the deviations from the expected behaviour, to compensate for an unexpected conduct. Such a reactive strategy, based on pre-defined rules, is not really suitable in dynamic systems where the time require to perform a modification is critical. In this work, we present MORPED, a framework for run-time monitoring and adaptation of Service-based Systems that supports i) the automatic generation of user context-based monitor rules, capable of predicting forthcoming deviations in the system with respect to the user context and ii) the adaptation of the system, based on a proactive service discovery, to compensate the foreseen deviations.
RESUMENLa definición formal de requisitos de software usando especificaciones algebraicas tiene todas las ventajas de las especificaciones formales y su sólida base teórica. Este tipo de especificaciones es generalmente textual. La mayor parte de los lenguajes de especificación modernos tienen una representación gráfica para mejorar su usabilidad. Esto también es el caso de las especificaciones algebraicas. En este artículo presentamos una recopilación de las formas en que los tipos abstractos de datos pueden ser representados gráficamente usando especificaciones algebraicas, proponiendo una notación que incluye el conjunto de todas las facetas encontradas en la literatura. También mostramos un ejemplo de aplicación y algunos resultados experimentales de usar esta notación gráfica en la práctica.Palabras Claves: Ingeniería de software, métodos formales, especificación algebraica, tipos abstractos de datos.
ABSTRACT
Formally specifying software requirements using algebraic specifications has all the advantages of formal specifications. This type of specifications is usually textual. Most modern specification languages have a graphical representation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present a survey on how abstract data types are represented graphically. We propose a structure containing a superset of all elements surveyed. We also show an application example, and we report some experimental results when using this graphical representation.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.