- Boulevard Louis Pasteur, 35
Campus de Teatinos
29071 Malaga
Spain - +34 952 13 1396
Research Interests: Cognitive Science, Computer Science, Software Engineering, Web Services, Service Composition, and 12 moreInteroperability, Computer Software, Decision support tool, Experimental Study, Model-Based Adaptation, Web service orchestration, Adaptation Contracts, Interactive Learning Environment, Contract Design, Automatic code generation, Notation, and Adaptive Behaviour
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present here a formal methodology for the soft adaptation of components presenting mismatching interaction... more
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present here a formal methodology for the soft adaptation of components presenting mismatching interaction behaviours. The ...
ABSTRACT Abstract Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present here a formal methodology for the soft adaptation of components presenting... more
ABSTRACT Abstract Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering (CBSE). We present here a formal methodology for the soft adaptation of components presenting mismatching interaction behaviour. The notions of access rights (associating components with the services they are allowed to use) and subservicing (providing alternative services in place of those requested by components lacking the required access rights) are exploited to feature a secure and flexible adaptation of third-party components.
Research Interests:
Abstract: Using pre-existing software components (COTS) to develop software systems requires the composition and adaptation of the component interfaces to solve mismatch problems. These mismatches may appear at different interoperability... more
Abstract: Using pre-existing software components (COTS) to develop software systems requires the composition and adaptation of the component interfaces to solve mismatch problems. These mismatches may appear at different interoperability levels (signature, behavioural, quality of service and semantic). In this article, we define an approach which supports composition and adaptation of software components based on model transformation by taking into account the four levels. Signature and behavioural levels are ...
Research Interests:
Research Interests:
Research Interests:
Component-based Software Development is an emerging discipline in the field of Software Engineering. In this context, coordination languages may be used to specify the interactive behavior of software components. Our proposal is oriented... more
Component-based Software Development is an emerging discipline in the field of Software Engineering. In this context, coordination languages may be used to specify the interactive behavior of software components. Our proposal is oriented towards defining a framework for describing the behavior of components in terms of coordination models. In particular, we define a way to complement interface descrip- tion languages
Research Interests:
Resumen En el desarrollo de sistemas distribuidos a partir de componentes existentes, los requisitos funcionales y nofuncionales están situados, tradicionalmente, en el servidor. Esto dificulta la reutilización de componentes y la... more
Resumen En el desarrollo de sistemas distribuidos a partir de componentes existentes, los requisitos funcionales y nofuncionales están situados, tradicionalmente, en el servidor. Esto dificulta la reutilización de componentes y la posibilidad de componer o agregar componentes en tiempo de ejecución. Este trabajo muestra cómo partiendo de la metáfora de" Diseño por Contrato" se ha desarrollado una metodología y una herramienta, para la composición, coordinación y adaptación de componentes. La idea central es:" El Cliente ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Abstract Process algebras are widely accepted for the specification of software systems. In particular,-calculus addresses the description of dynamic systems, and permits their analysis for bisimilarity and other interesting properties.... more
Abstract Process algebras are widely accepted for the specification of software systems. In particular,-calculus addresses the description of dynamic systems, and permits their analysis for bisimilarity and other interesting properties. Though bisimilarity determines the equivalence of behavior, more flexible relations are required in the context of Software Engineering. In this paper we present a relation of compatibility in the context of-calculus which formalizes the notion of conformance of behavior between software components. ...
Linear logic provides a logical framework to express fundamental computational concepts in a declarative style. As a consequence, it has been used as a sound foundation for the design of expressive programming and specification languages.... more
Linear logic provides a logical framework to express fundamental computational concepts in a declarative style. As a consequence, it has been used as a sound foundation for the design of expressive programming and specification languages. Unfortunately, linearity is as convenient for specifying as difficult to implement. In particular, the successful implementation of linear logic languages and provers involving context splitting strongly depends on the efficiency of the method computing a suitable split. A number of solutions ...
Research Interests:
ABSTRACT We describe new techniques for model checking in the counterexample guided abstraction/refinement framework. The abstraction phase 'hides' the logic of various variables, hence considering them as inputs. This... more
ABSTRACT We describe new techniques for model checking in the counterexample guided abstraction/refinement framework. The abstraction phase 'hides' the logic of various variables, hence considering them as inputs. This type of abstraction may lead to 'spurious' ...
Abstract Architectural specifications of software systems show them as a collection of interrelated components, and constitute what has been called the Software Architecture level of software design. It is at this level where the... more
Abstract Architectural specifications of software systems show them as a collection of interrelated components, and constitute what has been called the Software Architecture level of software design. It is at this level where the description and verification of structural properties of the system are naturally addressed. Besides, the use of explicit descriptions of the architecture of software systems enhances system comprehension and promotes software reuse. Several notations and languages for architectural specification have been ...
Abstract Nowadays Internet is evolving into the vision of the Internet of Things where everyday life objects, devices or things are identifiable, readable, recognizable, addressable, and even controllable via the Internet. Future... more
Abstract Nowadays Internet is evolving into the vision of the Internet of Things where everyday life objects, devices or things are identifiable, readable, recognizable, addressable, and even controllable via the Internet. Future service-oriented Internet things will offer their functionality via service-enabled interfaces. The new emergent OASIS standard DPWS has been designed as a set of guidelines based on WS-* specifications to provide interoperability among heterogeneous things in a networked environment. But ...
Research Interests:
El siguiente trabajo, enmarcado en el contexto de objetos y componentes, presenta una propuesta para la implementación y sincronización de objetos separate en Java basada en la metáfora de Diseño por Contrato, introducida por Meyer. A lo... more
El siguiente trabajo, enmarcado en el contexto de objetos y componentes, presenta una propuesta para la implementación y sincronización de objetos separate en Java basada en la metáfora de Diseño por Contrato, introducida por Meyer. A lo largo del mismo se expondrán las características de la propuesta, así como determinados detalles de implementación y su posible aplicación en lenguajes de definición de interfaces (IDL) para permitir el desarrollo de componentes más robustos, correctos y tolerantes a fallos.