Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software

Abstract

En este trabajo se realizan aportes a la ingeniería de software, más precisamente a la ingeniería de software orientada a servicios. Se analizan distintos paradigmas de la orientación a servicios como service-oriented computing (SOC), service-oriented programming (SOP), web services y service-oriented architecture (SOA) que es la arquitectura de software sobre la cual se basan los otros paradigmas. Del análisis minucioso de estos conceptos, se realiza una ontología de la cual se deriva un modelo de orientación a servicios que luego se especificará formalmente a través de la utilización de distintos lenguajes para tal fin (RSL, MAUDE). Una vez realizado este trabajo, se validará el modelo propuesto a través de un caso específico: una arquitectura abierta y estándar de servicios web de GIS, también especificada formalmente en RSL. La necesidad de contar con un modelo de estas características surge debido a la gran diversidad existente de paradigmas y de enfoque acerca de la orientación a servicios, que a su vez permita el desarrollo de sistemas orientados a servicios en forma rápida y sencilla, siguiendo modelos establecidos y probados. Este modelo permitirá la construcción de sistemas a partir de modelos probados y de utilización directa.

In this paper we make contributions to software engineering, more specifically to the engineering service-oriented software. Different paradigms about service orientation are analyzed like service-oriented computing (SOC), service-oriented programming (SOP), web services and service-oriented architecture (SOA) - the software architecture upon which other paradigms are based on-. After analized in proof these concepts, an ontology is made, deriving a service oriented model which is then formally specified through the use of different languages for this purpose (RSL, MAUDE). After this work, the proposed model is validated through a specific case: an open architecture and standard GIS web services, also formally specified in RSL. The need for a model of this kind arises due to the great diversity of paradigms and focus on service orientation, which in turn enables the development of service-oriented systems quickly and easily, by following tested and established models. This model will allow the construction of systems from proven models and direct use.