Flavio Oquendo - Academia.edu (original) (raw)

Papers by Flavio Oquendo

Research paper thumbnail of Guest Editors' Introduction

International Journal of Cooperative Information Systems, Sep 1, 2007

Research paper thumbnail of Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements

HAL (Le Centre pour la Communication Scientifique Directe), Apr 1, 2014

Research paper thumbnail of A Fuzzy Sets based Mechanism allowing the Tuning of a Software Intensive Process Control System via Multiple Simulations

HAL (Le Centre pour la Communication Scientifique Directe), May 1, 1999

Résumé/Abstract The paper is situated in the domain of software-intensive processes. For such pro... more Résumé/Abstract The paper is situated in the domain of software-intensive processes. For such processes it is often used a Process Support Environment (PSE) in order to guide the participants during the process and to automate part of the tasks. Mostly all of these environments exhibit a lack of flexibility (designed to support certain kind of processes, no means for customisation, etc.). The paper presents the basic modelling concepts in Alliance, a flexible agent-based process support environment, together with the Alliance ...

Research paper thumbnail of Software Architecture: Proceedings of the Eighth IEEE/IFIP Working International Conference, IEEE Computer Society

HAL (Le Centre pour la Communication Scientifique Directe), Sep 1, 2009

Research paper thumbnail of Software Architecture: Proceedings of the First European Conference, Springer LNCS 4758

HAL (Le Centre pour la Communication Scientifique Directe), Sep 1, 2007

Research paper thumbnail of Preserving architectural pattern composition information through explicit merging operators

Future Generation Computer Systems, Jun 1, 2015

Research paper thumbnail of Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL

Software-intensive systems are often independently developed, operated, managed, and evolved. Pro... more Software-intensive systems are often independently developed, operated, managed, and evolved. Progressively, communication networks have enabled these independent systems to interact, yielding a new kind of complex system, i.e. a system that is itself composed of systems, the so-called System-of-Systems (SoS). By its complex nature, SoS exhibits emergent behaviors. Nowadays, none of the Architecture Description Languages (ADLs), which have been developed for modeling the architectural behavior of single software-intensive systems, has the expressive power to formally describe the architectural behavior of Software-intensive SoSs. For addressing this research challenge, we propose a novel ADL, called SosADL, specially conceived for formally describing the architecture of Software-intensive SoSs. It embodies SoS architectural concepts and constructs encompassing the formal description of software architectures from both the structural and behavioral viewpoints. This paper presents SosADL focusing on the description of the architectural behavior of Software-intensive SoSs. It describes SosADL from its behavioral viewpoint enabling to specify independent systems, mediators among these systems, coalitions of mediated systems, and the architectural conditions that enforce the production of emergent SoS behaviors. It illustrates SosADL through an excerpt of a real application for architecting a Flood Monitoring and Emergency Response SoS.

Research paper thumbnail of Special Issue on Software Architecture, International Journal of Systems and Software, Elsevier

HAL (Le Centre pour la Communication Scientifique Directe), 2010

Research paper thumbnail of Proceedings of the IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems

Research paper thumbnail of Architectures Logicielles : Actes de la Première Conférence Francophone, Hermès Sciences/Lavoisier

Research paper thumbnail of Guest Editorial of the Special Issue on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures of the International Journal of Autonomous and Adaptive Communications Systems (Inderscience)

HAL (Le Centre pour la Communication Scientifique Directe), Dec 1, 2016

International audienc

Research paper thumbnail of Towards a Business Process Formalisation Based on an Architecture Centred Approach

Research paper thumbnail of Taming Process Deviations by Logic Based Monitoring

International Conference on Enterprise Information Systems, 2002

Research paper thumbnail of Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams

Lecture Notes in Computer Science, 2016

Socio-technical systems are increasingly becoming software-intensive. The challenge now is to des... more Socio-technical systems are increasingly becoming software-intensive. The challenge now is to design the architecture of such software-intensive systems for guaranteeing not only its correctness, but also the correctness of its implementation. In social-technical systems, the architecture (including software and physical elements) is described in terms of Piping and Instrumentation Diagrams (P&ID). The design of these P&ID is still considered an art for which no rigorous design support exists. In order to detect and eliminate architectural design flaws, this paper proposes a formal-based automated approach for the verification of the essential architecture “total correctness” properties, i.e. compatibility, completeness, consistency, and correctness. This approach is based on the definition of an architectural style for P&ID design in Alloy. We use MDE to automatically generate Alloy models from a P&ID and check their compatibility with the style and its completeness, consistency, and correctness properties. Our approach is presented through an industrial case study: the system of storage and production of freshwater for a ship.

Research paper thumbnail of Etat de l'art sur les styles architecturaux : classification et comparaison des langages de description d'architectures logicielles

HAL (Le Centre pour la Communication Scientifique Directe), Sep 1, 2002

National audienc

Research paper thumbnail of Un systeme inferentiel oriente objet pour des applications en langues naturelles

Research paper thumbnail of PEACE: Describing and managing evolving knowledge in the software process

Springer eBooks, Nov 22, 2005

Without Abstract

Research paper thumbnail of ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems

The Computer Journal, Feb 15, 2017

Robotics has experienced an increasing evolution and interest from the society in recent years. R... more Robotics has experienced an increasing evolution and interest from the society in recent years. Robots are no longer produced exclusively to perform repetitive tasks in factories, they have been designed to collaborate with humans in several important application domains. Robotic systems that control these robots are, therefore, becoming larger, more complex and difficult to develop. In this scenario, Service-Oriented Architecture (SOA) has been investigated as a promising architectural style for the design of robotic systems in a flexible, reusable and productive way. Although a considerable amount of Service-Oriented Robotic Systems (SORS) has already been developed and used, most of them have been designed in an ad hoc manner. The little attention and limited support devoted to the design of SORS software architectures may not only hamper the benefits of SOA adoption but also reduce the overall quality of robotic systems, which are often used in safety-critical contexts. This paper presents Architectural Design of Service-Oriented Robotic System (ArchSORS), a process that supports a systematic design of SORS software architectures. Experimental results show that ArchSORS can lead to software architectures of higher quality, contributing to the robotics area and, as a consequence, to the areas that have benefited from the use of robots.

Research paper thumbnail of A Process to Establish, Model and Validate Missions of Systems-of-Systems in Reference Architectures

HAL (Le Centre pour la Communication Scientifique Directe), Apr 3, 2017

International audienceSystems-of-Systems (SoSs) have risen in response to needs ofachieving compl... more International audienceSystems-of-Systems (SoSs) have risen in response to needs ofachieving complex missions that can be only carried out fromthe cooperation among diverse, independent constituent sys-tems. Understanding of missions and emergent behaviorsin SoSs as well as the complicated interactions among con-stituent systems are a quite time demanding and challengingtasks. In another perspective, reference architectures (RAs)are a special type of software architecture that promotesreuse of knowledge to develop and evolve software systems,and mainly to promote interoperability among software sys-tems. In spite of the relevance of RAs, these architectureshave not still incorporated the concept of missions of SoSsand how to adequately manage them. Hence, such RAs havepresented a limited ability to support SoSs development andevolution. In this scenario, the main contribution of this pa-per is to improve the feasibility of RAs in developing SoSs.For this, we present a systematic process to establish, model,and validate missions of SoSs and also incorporate them intoRAs. To evaluate our process, we applied it in a RA for SoSsin the healthcare domain. Results achieved until now showthat RAs designed considering our process could contributeto decrease expended time and effort at early stages of SoSsengineering

Research paper thumbnail of Architecting IoT Applications with SysADL

HAL (Le Centre pour la Communication Scientifique Directe), Apr 5, 2017

In this paper we present how architecting IoT applications using an Architecture Description Lang... more In this paper we present how architecting IoT applications using an Architecture Description Language (ADL), SysADL, that supports: (i) the architectural modeling of heterogeneous IoT devices, (ii) easy modification of the architectural description, (iii) specifying scalable architectural model to satisfy the scalability non-functional property of the architectural description to allow increasing the number of IoT devices.

Research paper thumbnail of Guest Editors' Introduction

International Journal of Cooperative Information Systems, Sep 1, 2007

Research paper thumbnail of Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements

HAL (Le Centre pour la Communication Scientifique Directe), Apr 1, 2014

Research paper thumbnail of A Fuzzy Sets based Mechanism allowing the Tuning of a Software Intensive Process Control System via Multiple Simulations

HAL (Le Centre pour la Communication Scientifique Directe), May 1, 1999

Résumé/Abstract The paper is situated in the domain of software-intensive processes. For such pro... more Résumé/Abstract The paper is situated in the domain of software-intensive processes. For such processes it is often used a Process Support Environment (PSE) in order to guide the participants during the process and to automate part of the tasks. Mostly all of these environments exhibit a lack of flexibility (designed to support certain kind of processes, no means for customisation, etc.). The paper presents the basic modelling concepts in Alliance, a flexible agent-based process support environment, together with the Alliance ...

Research paper thumbnail of Software Architecture: Proceedings of the Eighth IEEE/IFIP Working International Conference, IEEE Computer Society

HAL (Le Centre pour la Communication Scientifique Directe), Sep 1, 2009

Research paper thumbnail of Software Architecture: Proceedings of the First European Conference, Springer LNCS 4758

HAL (Le Centre pour la Communication Scientifique Directe), Sep 1, 2007

Research paper thumbnail of Preserving architectural pattern composition information through explicit merging operators

Future Generation Computer Systems, Jun 1, 2015

Research paper thumbnail of Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL

Software-intensive systems are often independently developed, operated, managed, and evolved. Pro... more Software-intensive systems are often independently developed, operated, managed, and evolved. Progressively, communication networks have enabled these independent systems to interact, yielding a new kind of complex system, i.e. a system that is itself composed of systems, the so-called System-of-Systems (SoS). By its complex nature, SoS exhibits emergent behaviors. Nowadays, none of the Architecture Description Languages (ADLs), which have been developed for modeling the architectural behavior of single software-intensive systems, has the expressive power to formally describe the architectural behavior of Software-intensive SoSs. For addressing this research challenge, we propose a novel ADL, called SosADL, specially conceived for formally describing the architecture of Software-intensive SoSs. It embodies SoS architectural concepts and constructs encompassing the formal description of software architectures from both the structural and behavioral viewpoints. This paper presents SosADL focusing on the description of the architectural behavior of Software-intensive SoSs. It describes SosADL from its behavioral viewpoint enabling to specify independent systems, mediators among these systems, coalitions of mediated systems, and the architectural conditions that enforce the production of emergent SoS behaviors. It illustrates SosADL through an excerpt of a real application for architecting a Flood Monitoring and Emergency Response SoS.

Research paper thumbnail of Special Issue on Software Architecture, International Journal of Systems and Software, Elsevier

HAL (Le Centre pour la Communication Scientifique Directe), 2010

Research paper thumbnail of Proceedings of the IEEE/ACM Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems

Research paper thumbnail of Architectures Logicielles : Actes de la Première Conférence Francophone, Hermès Sciences/Lavoisier

Research paper thumbnail of Guest Editorial of the Special Issue on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures of the International Journal of Autonomous and Adaptive Communications Systems (Inderscience)

HAL (Le Centre pour la Communication Scientifique Directe), Dec 1, 2016

International audienc

Research paper thumbnail of Towards a Business Process Formalisation Based on an Architecture Centred Approach

Research paper thumbnail of Taming Process Deviations by Logic Based Monitoring

International Conference on Enterprise Information Systems, 2002

Research paper thumbnail of Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams

Lecture Notes in Computer Science, 2016

Socio-technical systems are increasingly becoming software-intensive. The challenge now is to des... more Socio-technical systems are increasingly becoming software-intensive. The challenge now is to design the architecture of such software-intensive systems for guaranteeing not only its correctness, but also the correctness of its implementation. In social-technical systems, the architecture (including software and physical elements) is described in terms of Piping and Instrumentation Diagrams (P&ID). The design of these P&ID is still considered an art for which no rigorous design support exists. In order to detect and eliminate architectural design flaws, this paper proposes a formal-based automated approach for the verification of the essential architecture “total correctness” properties, i.e. compatibility, completeness, consistency, and correctness. This approach is based on the definition of an architectural style for P&ID design in Alloy. We use MDE to automatically generate Alloy models from a P&ID and check their compatibility with the style and its completeness, consistency, and correctness properties. Our approach is presented through an industrial case study: the system of storage and production of freshwater for a ship.

Research paper thumbnail of Etat de l'art sur les styles architecturaux : classification et comparaison des langages de description d'architectures logicielles

HAL (Le Centre pour la Communication Scientifique Directe), Sep 1, 2002

National audienc

Research paper thumbnail of Un systeme inferentiel oriente objet pour des applications en langues naturelles

Research paper thumbnail of PEACE: Describing and managing evolving knowledge in the software process

Springer eBooks, Nov 22, 2005

Without Abstract

Research paper thumbnail of ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems

The Computer Journal, Feb 15, 2017

Robotics has experienced an increasing evolution and interest from the society in recent years. R... more Robotics has experienced an increasing evolution and interest from the society in recent years. Robots are no longer produced exclusively to perform repetitive tasks in factories, they have been designed to collaborate with humans in several important application domains. Robotic systems that control these robots are, therefore, becoming larger, more complex and difficult to develop. In this scenario, Service-Oriented Architecture (SOA) has been investigated as a promising architectural style for the design of robotic systems in a flexible, reusable and productive way. Although a considerable amount of Service-Oriented Robotic Systems (SORS) has already been developed and used, most of them have been designed in an ad hoc manner. The little attention and limited support devoted to the design of SORS software architectures may not only hamper the benefits of SOA adoption but also reduce the overall quality of robotic systems, which are often used in safety-critical contexts. This paper presents Architectural Design of Service-Oriented Robotic System (ArchSORS), a process that supports a systematic design of SORS software architectures. Experimental results show that ArchSORS can lead to software architectures of higher quality, contributing to the robotics area and, as a consequence, to the areas that have benefited from the use of robots.

Research paper thumbnail of A Process to Establish, Model and Validate Missions of Systems-of-Systems in Reference Architectures

HAL (Le Centre pour la Communication Scientifique Directe), Apr 3, 2017

International audienceSystems-of-Systems (SoSs) have risen in response to needs ofachieving compl... more International audienceSystems-of-Systems (SoSs) have risen in response to needs ofachieving complex missions that can be only carried out fromthe cooperation among diverse, independent constituent sys-tems. Understanding of missions and emergent behaviorsin SoSs as well as the complicated interactions among con-stituent systems are a quite time demanding and challengingtasks. In another perspective, reference architectures (RAs)are a special type of software architecture that promotesreuse of knowledge to develop and evolve software systems,and mainly to promote interoperability among software sys-tems. In spite of the relevance of RAs, these architectureshave not still incorporated the concept of missions of SoSsand how to adequately manage them. Hence, such RAs havepresented a limited ability to support SoSs development andevolution. In this scenario, the main contribution of this pa-per is to improve the feasibility of RAs in developing SoSs.For this, we present a systematic process to establish, model,and validate missions of SoSs and also incorporate them intoRAs. To evaluate our process, we applied it in a RA for SoSsin the healthcare domain. Results achieved until now showthat RAs designed considering our process could contributeto decrease expended time and effort at early stages of SoSsengineering

Research paper thumbnail of Architecting IoT Applications with SysADL

HAL (Le Centre pour la Communication Scientifique Directe), Apr 5, 2017

In this paper we present how architecting IoT applications using an Architecture Description Lang... more In this paper we present how architecting IoT applications using an Architecture Description Language (ADL), SysADL, that supports: (i) the architectural modeling of heterogeneous IoT devices, (ii) easy modification of the architectural description, (iii) specifying scalable architectural model to satisfy the scalability non-functional property of the architectural description to allow increasing the number of IoT devices.