Print this Page

Publications

Publications HAL de Oquendo;Borne;Fleurquin;Sadou;Buisson;Leroux;Moguerou du labo/EPI 203130;20437

2017

Journal articles

titre
Preserving architectural pattern composition information through explicit merging operators
auteur
Minh Tu Thon That, S Sadou, F Oquendo, I Borne
article
Future Generation Computer Systems, Elsevier, 2017, pp.1-32. <10.1016/j.future.2014.09.002>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102209/file/main.pdf BibTex
titre
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Elena Leroux, Katia Romero Felizardo, Flavio Oquendo, Elisa Yumi Nakagawa
article
The Computer Journal (Oxford), Oxford, 2017, <http://comjnl.oxfordjournals.org/>
Accès au bibtex
BibTex

Conference papers

titre
A Process to Establish, Model and Validate Missions of Systems-of-Systems in Reference Architectures.
auteur
Lina Garcés, Flavio Oquendo, Elisa Yumi Nakagawa
article
The 32nd ACM Symposium on Applied Computing, Apr 2017, Marrakesh, Morocco. The 32nd ACM Symposium on Applied Computing, pp.1-8, 2017, <http://www.sigapp.org/sac/sac2017/>
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of the 1st ACM SAC Conference Track on Software-intensive Systems-of-Systems (SiSoS 2017)
auteur
Flavio Oquendo, Khalil Drira, Axel Legay, Thais Batista
article
Apr 2017, Marrakesh, Morocco. ACM, 2017
Accès au bibtex
BibTex

2016

Journal articles

titre
A Genetic Algorithm for Automated Refactoring of Component-Based Softwre
auteur
Salim Kebir, Isabelle Borne, Djamel Meslati
article
EAI Endorsed Transactions on Creative Technologies, 2016, 3 (9), <10.4108/eai.3-12-2015.2262353>
Accès au bibtex
BibTex
titre
Preserving Architectural Decisions through Architectural Patterns
auteur
Tu Minh Ton That, Salah Sadou, Flavio Oquendo, Régis Fleurquin
article
Journal of Automated Software Engineering, Springer, 2016, 23 (3), pp.427-467. <http://link.springer.com/article/10.1007/s10515-014-0172-0>
Accès au bibtex
BibTex
titre
Software Architecture Constraint Reuse-by-Composition
auteur
Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony
article
Future Generation Computer Systems, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276796/file/tibermacineelal.pdf BibTex
titre
Opening Web Applications for Third Party Development: a Service-Oriented Solution
auteur
Mohamed Lamine Kerdoudi, Chouki Tibermacine, Salah Sadou
article
Service Oriented Computing and Applications, Springer, 2016
Accès au bibtex
BibTex

Conference papers

titre
Automatic Refactoring of Component-based Software by Detecting and Eliminating Bad Smells – A Search-based Approach
auteur
Salim Kebir, Isabelle Borne, Djamel Meslati
article
ENASE 2016, Apr 2016, Rome, Italy. <http://www.enase.org/?y=2016>. <10.5220/0005891602100215>
Accès au bibtex
BibTex
titre
A Logic for the Statistical Model Checking of Dynamic Software Architectures
auteur
Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay
article
ISoLA, Oct 2016, Corfou, Greece. Springer, 9952, pp.806 – 820, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. <10.1007/978-3-319-47166-2_56>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01387429/file/main.pdf BibTex
titre
The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL
auteur
Flavio Oquendo, Jeremy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf
article
Proceedings of the ECSA International Colloquium on Software-intensive Systems-of-Systems (SiSoS), Nov 2016, Copenhagen, Denmark
Accès au bibtex
BibTex
titre
Statistical Model Checking of Dynamic Software Architectures
auteur
Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay
article
ECSA 2016 – 10th European Conference on Software Architecture, Nov 2016, Copenhague, Denmark. Proceedings of the 2016 European Conference of Software Architecture, Proceedings of the 2016 European Conference of Software Architecture
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390707/file/2016-ECSA.pdf BibTex
titre
π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems
auteur
Flavio Oquendo
article
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. IEEE, pp.1-6, 2016, <http://www.sose2016.org/>. <10.1109/SYSOSE.2016.7542925>
Accès au bibtex
BibTex
titre
Formally describing the software architecture of Systems-of-Systems with SosADL
auteur
Flavio Oquendo
article
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. 2016, <http://www.sose2016.org/>. <10.1109/SYSOSE.2016.7542926>
Accès au bibtex
BibTex
titre
π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems
auteur
Flavio Oquendo
article
38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark. 2016, <http://www.wotug.org/cpa2016/>
Accès au bibtex
BibTex
titre
Case Study on Formally Describing the Architecture of a Software-intensive System-of-Systems with SosADL
auteur
Flavio Oquendo
article
15th IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Oct 2016, Budapest, Hungary. 2016, <http://smc2016.org/>
Accès au bibtex
BibTex
titre
Specifying Architecture Behavior with SysADL
auteur
Flavio Oquendo, Jair Leite, Thaís Batista
article
13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016), Apr 2016, Venice, Italy. <http://www.wicsa.deib.polimi.it/>. <10.1109/WICSA.2016.40>
Accès au bibtex
BibTex
titre
Executing Software Architecture Descriptions with SysADL
auteur
Flavio Oquendo, Jair Leite, Thais Batista
article
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. Springer, LNCS (9839), pp.129-137, <http://ecsa2016.ecsa-conferences.org/>
Accès au bibtex
BibTex
titre
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems
auteur
Flavio Oquendo
article
Springer. Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. Springer, LNCS (9839), pp.3-21, <http://ecsa2016.ecsa-conferences.org/>. <10.1007/978-3-319-48992-6_1>
Accès au bibtex
BibTex
titre
Assisting the evolutionary development of SoS with reconfiguration patterns
auteur
Franck Petitdemange, Isabelle Borne, Jeremy Buisson
article
Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA), Nov 2016, Copenhagen, Denmark. ACM, Proccedings of the 10th European Conference on Software Architecture Workshops, pp.9, 2016, <https://sagra2016.wordpress.com/>. <10.1145/2993412.3004845>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01421487/file/main.pdf BibTex
titre
A Quality Model for AAL Software Systems
auteur
Lina Garcés, Flavio Oquendo, Elisa Yumi Nakagawa
article
IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS), Jun 2016, Belfast, Nothern Ireland, United Kingdom. IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS), pp.175-180, 2016, <http://ieeexplore.ieee.org/document/7545979/>. <10.1109/CBMS.2016.46>
Accès au bibtex
BibTex
titre
Checking the architectural feasibility of Systems-of-Systems using formal descriptions
auteur
Milena Guessi, Flavio Oquendo, Elisa Nakagawa
article
11th System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. pp.1-6, 2016, <10.1109/SYSOSE.2016.7542939>
Accès au bibtex
BibTex
titre
Bridging Missions and Architecture in Software-intensive Systems-of-Systems
auteur
Eduardo Silva, Everton Cavalcante, Thais Batista, Flavio Oquendo
article
Proceedings of the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubai, United Arab Emirates. IEEE, pp.201-206, <https://www.computer.org/csdl/proceedings/iceccs/2016/5526/00/index.html>
Accès au bibtex
BibTex
titre
Thinking Smart Cities as Systems-of-Systems: A Perspective Study
auteur
Everton Cavalcante, Nelio Cacho, Frederico Lopes, Thais Batista, Flavio Oquendo
article
Proceedings of the 2nd International Workshop on Smart Cities (SmartCities 2016) at ACM/IFIP/USENIX Middleware 2016, Dec 2016, Trento, Italy. ACM, pp.9:1-9:4, <http://dl.acm.org/citation.cfm?id=3009918>. <10.1145/3009912.3009918>
Accès au bibtex
BibTex
titre
Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL
auteur
Flavio Oquendo
article
Proceedings of the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubai, United Arab Emirates. IEEE, pp.13-22, <10.1109/ICECCS.2016.012>
Accès au bibtex
BibTex
titre
Experience Report and Challenges for Systems-of-Systems Engineering: A Real Case in the Brazilian Defense Domain
auteur
Carlos Paes, Valdemar Neto, Flavio Oquendo, Elisa Nakagawa
article
SBC. Proceedings of the 10th CBSOFT Workshop on Distributed Development of Software, Software Ecosystems, and Systems-of-Systems (WDES), Sep 2016, Maringa, Brazil. 2016
Accès au bibtex
BibTex
titre
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams
auteur
Soraya Mesli, Djamal Kesraoui, Flavio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet
article
Proceedings of the 10th European Conference on Software Architecture (ECSA 2016), Nov 2016, Copenhagen, Denmark. Springer, LNCS (9839), pp.210-226, <http://ecsa2016.ecsa-conferences.org/>
Accès au bibtex
BibTex
titre
Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
auteur
Soraya Mesli, Armand Toguyéni, Alain Bignon, Flavio Oquendo, Djamal Kesraoui, Pascal Berruet
article
Proceedings of the 13th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems (HMS 2016), Aug 2016, Kyoto, Japan. IFAC, Journal IFAC PapersOnLine (Elsevier), pp.427-467, <http://www.sciencedirect.com/science/journal/24058963/49/19>
Accès au bibtex
BibTex
titre
Vérification formelle de chaines de contrôle-commande d’éléments de conception standardisés
auteur
Soraya Mesli, Alain Bignon, Djamal Kesraoui, Armand Toguyeni, Flavio Oquendo, Pascal Berruet
article
Proceedings of the 11th International Conference on Modeling, Optimization & Simulation (MOSIM 2016), Aug 2016, Montréal, Canada. 2016
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of the European Colloquium on Software-intensive Systems-of-Systems (ECSoS 2016)
auteur
Flavio Oquendo, Muhammad Ali Babar, Khalil Drira, Axel Legay
article
Copenhagen, Denmark. ACM DL, 2016
Accès au bibtex
BibTex
titre
Proceedings of the 4th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2016)
auteur
Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, Elisa Nakagawa, Andrea Zisman
article
Austin, Texas, United States. 2016
Accès au bibtex
BibTex
titre
Special Issue on Adaptive and Reconfigurable Service-Oriented and Component-Based Applications
auteur
Ismael Bouassida Rodriguez, Slim Kallel, Flavio Oquendo
article
Switzerland. 9 (3/4), Inderscience, 2016, International Journal of Autonomous and Adaptive Communications Systems (IJAACS)
Accès au bibtex
BibTex

Other publications

titre
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)
auteur
Ismael Bouassida Rodriguez, Slim Kallel, Flavio Oquendo
article
International Journal of Autonomous and Adaptive Communications Systems (Inderscience), Vol. 9, N.. 2016
Accès au bibtex
BibTex

Books

titre
Software Architecture in Action
auteur
Flavio Oquendo, Jair Leite, Thais Batista
article
Springer, 253 p., 2016, 978-3-319-44339-3. <10.1007/978-3-319-44339-3>. <http://www.springer.com/us/book/9783319443379>
Accès au bibtex
BibTex

2015

Journal articles

titre
Preserving architectural pattern composition information through explicit merging operators
auteur
Tu Minh Ton That, Salah Sadou, Flavio Oquendo, Isabelle Borne
article
Future Generation Computer Systems, Elsevier, 2015, 47, pp.97-112
Accès au bibtex
BibTex
titre
RoboSeT: A Tool to Support Cataloging and Discovery of Services for Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Felipe Amaral, Diogo Martins, Flavio Oquendo, Elisa Nakagawa
article
Communications in Computer and Information Science, Springer Verlag, 2015, Robotics, pp.114-132. <10.1007/978-3-662-48134-9_7>
Accès au bibtex
BibTex
titre
Verifying Systems-of-Systems with Statistical Model Checking
auteur
Axel Legay, Jean Quilbeuf, Flavio Oquendo
article
ERCIM News, ERCIM, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242652/file/verif.pdf BibTex
titre
Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL
auteur
Flavio Oquendo, Axel Legay
article
ERCIM News, ERCIM, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242649/file/formal_architecture.pdf BibTex
titre
GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems
auteur
Flavio Oquendo, Axel Legay, Khalil Drira
article
ERCIM News, ERCIM, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242651/file/gt_sos%20%281%29.pdf BibTex
titre
Safe reconfiguration of Coqcots and Pycots components
auteur
Jérémy Buisson, Fabien Dagnat, Elena Leroux, Sébastien Martinez
article
Journal of Systems and Software, Elsevier, 2015, <http://www.sciencedirect.com/science/article/pii/S0164121215002630>. <10.1016/j.jss.2015.11.039>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01235602/file/main.pdf BibTex

Conference papers

titre
A Systematic Literature Review on the Description of Software Architectures for Systems of Systems
auteur
Milena Guessi, Valdemar Neto, Thiago Bianchi, Katia Romero Felizardo, Flavio Oquendo, Elisa Yumi Nakagawa
article
30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1-8, 2015
Accès au bibtex
BibTex
titre
OntolAD: a Formal Ontology for Architectural Descriptions
auteur
Milena Guessi, Dilvan A. Moreira, Gabriel Abdalla, Flavio Oquendo, Elisa Yumi Nakagawa
article
30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1–8, 2015
Accès au bibtex
BibTex
titre
A Meta-Process to Construct SoS Software Architectures
auteur
Marcelo Gonçalves, Flavio Oquendo, Elisa Yumi Nakagawa
article
30th ACM Symposium on Applied Computing (ACM/SAC’2015), Apr 2015, Salamanca, Spain. pp.1-6, 2015
Accès au bibtex
BibTex
titre
Approach Based Patterns for System-of-Systems Reconfiguration
auteur
Franck Petitdemange, Isabelle Borne, Jeremy Buisson
article
International Workshop on Software Engineering for Systems-of-Systems, May 2015, Florence, Italy. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01142539/file/PID3582051.pdf BibTex
titre
Towards a View-Based Process for Designing and Documenting RESTful Service Architectures
auteur
Bruno Costa, Paulo F. Pires, Flávia C. Delicato, Flavio Oquendo
article
Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia. <http://ecsa-conference.org/2015/>
Accès au bibtex
BibTex
titre
Self-Adaptive Middleware for Wireless Sensor Networks: A Reference Architecture
auteur
Jesús Portocarrero, Flavia C. Delicato, Paulo F. Pires, Elisa Nakagawa, Flavio Oquendo
article
Proceedings of the 2015 European Conference on Software Architecture Workshops, Sep 2015, Dubrovnik/Cavtat, Croatia. ACM, <http://ecsa-conference.org/2015/>. <10.1145/2797433.2797445>
Accès au bibtex
BibTex
titre
A meta-process to construct software architectures for system-of-systems
auteur
Marcelo Gonçalves, Flavio Oquendo, Elisa Nakagawa
article
Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC 2015), Apr 2015, Salamanca, Spain. <10.1145/2695664.2695737>
Accès au bibtex
BibTex
titre
A mission-oriented approach for designing system-of-systems
auteur
Eduardo Silva, Thais Batista, Flavio Oquendo
article
Proceedings of the 10th IEEE System-of-Systems Engineering Conference (SoSE 2015), May 2015, San Antonio, Texas, United States. IEEE, pp.346-351, <10.1109/SYSOSE.2015.7151951>
Accès au bibtex
BibTex
titre
Une Approche Orientée Pattern pour la Reconfiguration de Système de Systèmes
auteur
Franck Petitdemange, Jérémy Buisson, Isabelle Borne
article
CIEL 2015, Jun 2015, Bordeaux, France. <http://gdr-gpl2015.labri.fr/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01421540/file/ciel2015.pdf BibTex
titre
Towards a Formal Description of Reference Architectures for Embedded Systems
auteur
Milena Guessi, Lucas Bueno Ruas de Oliveira, Lina Garcés, Flavio Oquendo
article
1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA 2015), May 2015, Montreal, Canada. pp.17-20
Accès au bibtex
BibTex
titre
A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems
auteur
Gabriel Abdalla, Carlos Damasceno, Milena Guessi, Flavio Oquendo, Elisa Nakagawa
article
9th Brazilian Symposium on Components, Architectures and Reuse Software (SBCARS 2015), Sep 2015, Belo Horizonte, Brazil. pp.70-79, 2015, <10.1109/SBCARS.2015.18>
Accès au bibtex
BibTex
titre
Supporting Dynamic Software Architectures: From Architectural Description to Implementation
auteur
Everton Cavalcante, Thais Batista, Flavio Oquendo
article
Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA 2015), May 2015, Montreal, Canada. IEEE, pp.31-40, <http://ieeexplore.ieee.org/document/7158501/>. <10.1109/WICSA.2015.21>
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Software Engineering for Systems-of-Systems: Proceedings of the ACM Sigsoft/Sigplan International Workshop SESoS’2015
auteur
Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, Elisa Nakagawa, Andrea Zisman
article
Italy. IEEE, 2015, Proceedings of the 2015 International Conference on Software Engineering Workshops, Florence, Italy
Accès au bibtex
BibTex
titre
Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems
auteur
Khalil Drira, Flavio Oquendo
article
France. 47, 2015, International Journal on Future Generation Computer Systems (FGCS)
Accès au bibtex
BibTex
titre
Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems (SESoS 2015)
auteur
Paris Avgeriou, Carlos Cuesta, Khalil Drira, Elisa Nakagawa, José Carlos Maldonado, Flavio Oquendo, Andrea Zisman
article
Florence, Italy. ACM, 2015, <https://www.computer.org/csdl/proceedings/sesos/2015/7091/00/index.html>
Accès au bibtex
BibTex

Other publications

titre
Guest Editorial of the Special Issue on Advanced Architectures for the Future Generation of Software-Intensive Systems
auteur
Khalil Drira, Flavio Oquendo
article
Editorial of Special Issue. 2015, pp.60-61
Accès au bibtex
BibTex
titre
Foreword: Towards Reference Architectures for Systems-of-Systems
auteur
Elisa Nakagawa, Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, Andrea Zisman
article
Rapport LAAS n° 15737. Proceedings of the 3rd ACM/IEEE International Workshop on Software Engineering for Systems-of-Sys.. 2015, pp.1-4
Accès au bibtex
BibTex

2014

Journal articles

titre
Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
auteur
Marcelo Fantinato, Uira Kulesza, Flavio Oquendo
article
Journal of Universal Computer Science, Springer, 2014, 20 (5), pp.586
Accès au bibtex
BibTex
titre
Preserving Architectural Decisions through Architectural Patterns
auteur
Minh Tu Thon That, Salah Sadou, F Oquendo, R Fleurquin
article
Journal of Automated Software Engineering, Springer, 2014, pp.1-41. <10.1007/s10515-014-0172-0>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102187/file/main.pdf BibTex

Conference papers

titre
Enactment of Components Extracted from an Object-Oriented Application
auteur
Abderrahmane Seriai, Salah Sadou, Houari Sahraoui
article
European Conference on Software Architecture (ECSA), Aug 2014, Viena, Austria. pp.234 – 249, 2014, <10.1007/978-3-319-09970-5_22>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102158/file/SeriaiAndAll.pdf BibTex
titre
Automating the Discovery of Services for Service-Oriented Robotic Systems
auteur
Lucas Oliveira, Diogo Martins, Felipe Amaral, Flavio Oquendo, Elisa Nakagawa
article
11th Latin-American Robotics Symposium (LARS’2014), Oct 2014, São Carlos, Brazil. 2014
Accès au bibtex
BibTex
titre
Towards the Evaluation of System-of-Systems Software Architectures
auteur
Daniel Santos, Brauner Oliveira, Milena Guessi, Flavio Oquendo, Marcio Delamaro, Elisa Yumi Nakagawa
article
6th Workshop on Distributed Development of Software, Ecosystems and Systems-of-Systems (WDES co-located with CBSoft), Sep 2014, Maceió, Brazil
Accès au bibtex
BibTex
titre
Consolidating a Process for the Design, Representation, and Evaluation of Reference Architectures
auteur
Elisa Yumi Nakagawa, Milena Guessi, José Carlos Maldonado, Daniel Feitosa, Flavio Oquendo
article
Working IEEE/IFIP Conference on Software Architecture (WICSA), Apr 2014, Sydney, Canada. pp.143-152
Accès au bibtex
BibTex
titre
Investigating the Model-Driven Development for Systems-of-Systems
auteur
Valdemar Neto, Milena Guessi, Lucas Bueno Ruas de Oliveira, Flavio Oquendo, Elisa Yumi Nakagawa
article
Proceedings of the 2014 European Conference on Software Architecture Workshops (ECSAW), Aug 2014, Vienna, Austria. pp.8
Accès au bibtex
BibTex
titre
Variability Viewpoint to Describe Reference Architectures
auteur
Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa
article
3rd International Workshop on Variability in Software Architecture (VARSA co-located with WICSA), Apr 2014, Sydney, Australia. pp.6
Accès au bibtex
BibTex
titre
An Approach for Capturing and Documenting Architectural Decisions of Reference Architectures
auteur
Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa
article
26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2014, Vancouver, Canada. pp.162-167
Accès au bibtex
BibTex
titre
Towards a Conceptual Model for Software-Intensive System-of-Systems
auteur
Marcelo Gonçalves, Everton Calvacante, Thais Batista, Flavio Oquendo, Elisa Nakagawa
article
IEEE. 2014 IEEE International Conference on Systems, Man and Cybernetics (SMC 2014), Oct 2014, San Diego, United States. pp.1605-1610, <http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6974145>. <10.1109/SMC.2014.6974145>
Accès au bibtex
BibTex
titre
On the Characterization of Missions of Systems-of-Systems
auteur
Eduardo Silva, Everton Calvacante, Thais Batista, Flavio Oquendo, Flavia Delicato, Paulo Pires
article
ACM. Proceedings of the 2014 European Conference on Software Architecture Workshops, Aug 2014, Vienna, Austria. <http://dl.acm.org/citation.cfm?doid=2642803.2642829>. <10.1145/2642803.2642829>
Accès au bibtex
BibTex
titre
Towards a Process to Design Architectures of Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Elena Leroux, Katia Romero Felizardo, Flavio Oquendo, Elisa Yumi Nakagawa
article
ECSA, 2014, Vienna, Austria. 8627, pp.218-225, 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01067337/file/978-3-319-09970-5_20.pdf BibTex
titre
Deriving Component Interfaces after a Restructuring of a Legacy System
auteur
Abderrahmane Seriai, Salah Sadou, Houari Sahraoui, Salma Hamza
article
Working IEEE/IFIP Conference on Software Architecture (WICSA), Apr 2014, Sydney, Australia. pp.31 – 40, 2014, <10.1109/WICSA.2014.27>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01102164/file/seriaiEtAll.pdf BibTex
titre
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language
auteur
Everton Calvacante, Flavio Oquendo, Thais Batista
article
Springer International Publishing. 8th European Conference on Software Architecture (ECSA 2014), Aug 2014, Vienna, Austria. 8627, pp.130-145, 2014, Lecture Notes in Computer Science. <http://www.springer.com/computer/swe/book/978-3-319-09969-9>. <10.1007/978-3-319-09970-5_13>
Accès au bibtex
BibTex
titre
Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Fernando Santos Osorio, Flavio Oquendo, Elisa Yumi Nakagawa
article
26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2014, Vancouver, Canada. pp.344-349
Accès au bibtex
BibTex
titre
Towards the Dynamic Evolution of Context-based Systems-of-Systems
auteur
Elisa Yumi Nakagawa, Rafael Capilla, Francisco J. Díaz, Flavio Oquendo
article
6th Workshop em Desenvolvimento Distribuído de Software, Ecossistemas de Software e Sistemas de Sistemas (WDES co-located with CBSoft), Sep 2014, Maceió, Brazil. pp.45-52
Accès au bibtex
BibTex
titre
Coqcots & Pycots: non-stopping components for safe dynamic reconfiguration
auteur
Jérémy Buisson, Everton Calvacante, Fabien Dagnat, Elena Leroux, Sébastien Martinez
article
CBSE 2014 : proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, Jun 2014, Lille, France. pp.1, 2014, <10.1145/2602458.2602459>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00984365/file/hal.pdf BibTex

Book sections

titre
Reference Architectures
auteur
Elisa Yumi Nakagawa, Flavio Oquendo, José Carlos Maldonado
article
Software Architecture: Principles, Techniques, and Tool, John Wiley & Sons, pp.101-122, 2014
Accès au bibtex
BibTex
titre
Architectures de référence : concepts et processus
auteur
Elisa Nakagawa, Flavio Oquendo, José Carlos Maldonado
article
Architectures logicielles : principes, techniques et outils, Hermès Sciences, pp.1-34, 2014, 978-2-7462-4517-4
Accès au bibtex
BibTex
titre
Assistance à l’évolution du logiciel dirigée par la qualité
auteur
Tarek Zernadji, Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
Évolution et maintenance des systèmes logiciels, 2014, Chapitre 9, 9782746245549
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01104196/file/TZetAl_ChapitreSeriai_2014.pdf BibTex

Directions of work or proceedings

titre
Proceedings of the 2nd ACM SIGSOFT/SIGPLAN International Workshop on Software Engineering for Systems-of-Systems (SESoS 2014)
auteur
Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, Khalil Drira, José Carlos Maldonado, Elisa Nakagawa, Andrea Zisman
article
Vienna, Austria. ACM, 2014, Proceedings of the 2014 European Conference on Software Architecture Workshops, Vienna, Austria, <http://dl.acm.org/citation.cfm?id=2642803>
Accès au bibtex
BibTex
titre
Special Issue on Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
auteur
Marcelo Fantinato, Uira Kulesza, Flavio Oquendo
article
Germany. 20 (5), Springer, 2014, International Journal of Universal Computer Science (J.UCS), <http://www.jucs.org/jucs_20_5/software_components_architectures_and/abstract.html>
Accès au bibtex
BibTex

Lectures

titre
Automating Cataloging and Discovery of Services for Service-Oriented Robotic Systems
auteur
Lucas Bueno Ruas de Oliveira, Diogo Martins, Felipe Amaral, Flavio Oquendo, Elisa Yumi Nakagawa
article
Doctoral. 11th Latin American Robotics Symposium (LARS), São Carlos, Brazil. 2014, pp.20
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/cel-01113218/file/Oliveira_LARS_2014.pdf BibTex

Other publications

titre
Guest Editorial of the Special Issue on Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements of the International Journal of Universal Computer Science
auteur
Marcelo Fantinato, Uira Kulesza, Flavio Oquendo
article
International Journal of Universal Computer Science. 2014
Accès au bibtex
BibTex

2013

Journal articles

titre
Building European Software Architecture Community: How far have we come?
auteur
Muhammad Ali Babar, Ian Gorton, Flavio Oquendo
article
Journal on Software and System Modeling, 2013, 12 (2), pp.435-438
Accès au bibtex
BibTex
titre
An MDE Approach to Develop Mobile-Agents Applications
auteur
Tahar Gherbi, Isabelle Borne, Djamel Meslati
article
Communications in Computer and Information Science, Springer Verlag, 2013, Evaluation of Novel Approaches to Software Engineering, 417 (1), pp.64-80. <http://www.springer.com/fr/book/9783642540912>. <10.1007/978-3-642-54092-9>
Accès au bibtex
BibTex
titre
Test de conformité basé sur l’architecture logicielle
auteur
Elena Leroux, Flavio Oquendo, Qin Xiong
article
Revue des Nouvelles Technologies de l’Information, Hermann, 2013, pp.??-??
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00908580/file/rnti2013_34.pdf BibTex

Conference papers

titre
Architecture-Based Conformance Testing
auteur
Elena Leroux, Flavio Oquendo, Qin Xiong
article
The Eighth International Conference on Software Engineering Advances (ICSEA’13), Oct 2013, Venice, Italy. pp.55-64, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00874942/file/icsea2013.pdf BibTex
titre
Measuring Qualities for OSGi Component-Based Applications
auteur
Salma Hamza, Salah Sadou, Régis Fleurquin
article
13th International Conference on Quality Software, Jul 2013, France. pp.25-34, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00912086/file/HamzaAndAll.pdf BibTex
titre
SysADL: A SysML Profile for Software Architecture Description
auteur
Jair Leite, Flavio Oquendo, Thaís Batista
article
7th European Conference on Software Architecture (ECSA 2013), Jul 2013, Montpellier, France. Springer, pp.106-113, 2013, LNCS
Accès au bibtex
BibTex
titre
SyMPLES: A SysML-based Approach for Developing Embedded Systems Software Product Lines
auteur
Rogerio Silva, Vanderson Fragal, Edson Oliveira-Junior, Itana Gimenes, Flavio Oquendo
article
15th International Conference on Enterprise Information Systems (ICEIS 2013), Jul 2013, Angers, France. pp.257-264, 2013
Accès au bibtex
BibTex
titre
Perspectives and Challenges of Reference Architectures in Multi Software Product Line
auteur
Elisa Nakagawa, Flavio Oquendo
article
ACM. 1st International Workshop on Multi Product Line Engineering (MultiPLE 2013), Aug 2013, Tokyo, Japan. ACM, pp.100-103, 2013
Accès au bibtex
BibTex
titre
Systems-of-Systems: A New Frontier for Information Systems in an Open World
auteur
Flavio Oquendo
article
9th Conference on Information Systems (SBSI 2013), May 2013, Joao Pessoa, Brazil
Accès au bibtex
BibTex
titre
Software-intensive Systems-of-Systems: Emerging Paradigm for Smarter Cities
auteur
Flavio Oquendo
article
33rd Congress of SBC (CSBC 2013), Jul 2013, Maceio, Brazil
Accès au bibtex
BibTex
titre
Composition-centered architectural pattern description language
auteur
Tu Minh Ton That, Salah Sadou, Flavio Oquendo, Isabelle Borne
article
7th European Conference on Software Architecture – ECSA, Jul 2013, Montpellier, France. 7957, pp.1-16, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00912032/file/main.pdf BibTex
titre
The State-of-the-Art and Future Perspectives in Systems-of-Systems Software Architectures
auteur
Elisa Nakagawa, Marcelo Gonçalves, Milena Guessi, Lucas Oliveira, Flavio Oquendo
article
First International Workshop on Software Engineering for Systems-of-Systems (SESoS 2013), Jul 2013, France. pp.13-20, 2013
Accès au bibtex
BibTex
titre
Prototyping DSU techniques using Python
auteur
Sébastien Martinez, Fabien Dagnat, Jérémy Buisson
article
USENIX. HotSWUp’13, Jun 2013, San José, United States. https://www.usenix.org/conference/hotswup13/prototyping-dsu-techniques-using-python, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00907744/file/pymoult.pdf BibTex
titre
Towards an MDE Methodology to Develop Multi-Agents Systems Including Mobile Agents
auteur
Tahar Gherbi, Isabelle Borne, Djamel Meslati
article
8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Jul 2013, Angers, France. SciTePress, pp.45-55, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00908558/file/ENASE_2013.pdf BibTex
titre
Test de conformité basé sur l’architecture logicielle
auteur
Elena Leroux, Flavio Oquendo, Qin Xiong
article
7ème Conférence francophone sur les architectures logicielles (CAL’2013), May 2013, Toulouse, France. pp.??-??, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00875283/file/cal2013.pdf BibTex

Directions of work or proceedings

titre
Special Issue on Software Components, Architectures and Reuse: Modeling, Customization and Evaluation
auteur
Eduardo Almeida, Flavio Oquendo
article
Germany. 19 (2), Springer, 2013, International Journal of Universal Computer Science (J.UCS), <http://www.jucs.org/jucs_19_2/software_components_architectures_and/abstract.html>
Accès au bibtex
BibTex
titre
Proceedings of the 1st ACM SIGSOFT/SIGPLAN International Workshop on Software Engineering for Systems-of-Systems (SESoS 2013)
auteur
Flavio Oquendo, Paris Avgeriou, Carlos Cuesta, José Carlos Maldonado, Elisa Nakagawa, Khalil Drira, Andrea Zisman
article
Montpellier, France. ACM, 2013, <http://dl.acm.org/citation.cfm?id=2489850>
Accès au bibtex
BibTex
titre
Special Issue on Software Architecture
auteur
Muhammad Ali Babar, Ian Gorton, Flavio Oquendo
article
Germany. 12 (2), Springer, 2013, International Journal on Software and System Modeling (SoSyM), 1619-1366
Accès au bibtex
BibTex

Other publications

titre
Guest Editorial of the SoSyM Special Issue on Software Architecture
auteur
Muhammad Ali Babar, Ian Gorton, Flavio Oquendo
article
Software and System Modeling, Vol. 12, No. 2. 2013
Accès au bibtex
BibTex
titre
Guest Editorial of the Special Issue on Software Components, Architectures and Reuse: Modeling, Customization and Evaluation
auteur
Eduardo Almeida, Flavio Oquendo
article
Special Issue, J.UCS, Vol. 19, No. 2. 2013
Accès au bibtex
BibTex

Reports

titre
Catalogue of architectural patterns characterized by constraint components, Version 1.0
auteur
Tu Minh Ton That, Chouki Tibermacine, Salah Sadou
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00844514/file/IRISA-ArchWare-2013-TR-01.pdf BibTex

2012

Conference papers

titre
ACME vs PDDL: support for dynamic reconfiguration of software architectures
auteur
Jean-Eudes Méhus, Thais Batista, Jérémy Buisson
article
6ème édition de la Conférence Francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France. pp.48-57, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00703176/file/mehus.pdf BibTex
titre
Architectural Description of Embedded Systems: a Systematic Review
auteur
Milena Guessi, Elisa Yumi Nakagawa, Flavio Oquendo, José Carlos Maldonado
article
International ACM Symposium on Architecting Critical Systems (ISARCS), Jun 2012, Italy. pp.31-40, 2012
Accès au bibtex
BibTex
titre
RAModel: A Reference Model for Reference Architectures
auteur
Elisa Yumi Nakagawa, Flavio Oquendo, Martin Becker
article
Joint 2012 Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, Aug 2012, Helsinki, Finland. pp.297-301, 2012
Accès au bibtex
BibTex
titre
Issues of Architectural Description Languages for Handling Dynamic Reconfiguration
auteur
Leonardo Minora, Jérémy Buisson, Flavio Oquendo, Thais Batista
article
Djamal Beslimane and Adbelhak-Djamel Seriai. 6ème Conférence francophone sur les architectures logicielles (CAL’2012), May 2012, Montpellier, France. pp.69-80, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00699895/file/cal_2012-issues_dynamic_reconfiguration-v_final.pdf BibTex
titre
Using Architectural Patterns to Define Architectural Decisions
auteur
Tu Minh Ton That, Salah Sadou, Flavio Oquendo
article
Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, Aug 2012, Helsinki, Finland. pp.196-200, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00758792/file/wicsa12.pdf BibTex

2011

Conference papers

titre
An Investigation into the Representation of Software Architectures and Reference Architectures of Embedded Systems
auteur
Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa
article
Workshop do Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (IW INCT-SEC’2011), Dec 2011, Águas de Lindóia, Brazil. pp.406-415, 2011
Accès au bibtex
BibTex
titre
Assistance System for OCL Constraints Adaptation during Metamodel Evolution.
auteur
Kahina Hassam, Salah Sadou, Vincent Le Gloahec, Régis Fleurquin
article
15th European Conference on Software Maintenance and Reengineering (CSMR), 2011, Mar 2011, Oldenburg, Germany. pp.151 – 160, 2011, <10.1109/CSMR.2011.21>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00664786/file/CSMR2011-1.pdf BibTex
titre
From Object-Oriented Applications to Component-Oriented Applications via Component-Oriented Architecture
auteur
Simon Allier, Salah Sadou, Houari Sahraoui, Régis Fleurquin
article
IEEE Computer Society. 9th Working IEEE/IFIP Conference on Software Architecture (WICSA’11), Jun 2011, Boulder, United States. pp.214-223, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00664851/file/wicsa11.pdf BibTex
titre
Component-Based Specification of Software Architecture Constraints
auteur
Chouki Tibermacine, Salah Sadou, Christophe Dony, Luc Fabresse
article
CBSE: Component-Based Software Engineering, Jun 2011, Boulder, Colorado, United States. 14th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2011, <http://cbse-conferences.org/2011/>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00596332/file/CTetAl_CBSE_2011.pdf BibTex

2010

Journal articles

titre
Formal Modelling and Analysis of HLA Architectural Style
auteur
Jie Chen, Di Wu, Flavio Oquendo, Juan Zhang
article
International Journal of Modelling Identification and Control, 2010, 9 (1-2), pp.71-82
Accès au bibtex
BibTex
titre
From Business Process Models to Service-Oriented Architectures: Formal Development of Dynamic Service Compositions with π-ADL
auteur
Flavio Oquendo
article
Journal of the Brazilian Computer Society, Springer Verlag, 2010, To Appear in 2010
Accès au bibtex
BibTex
titre
A family of languages for architecture constraint specification
auteur
Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
Journal of Systems and Software, Elsevier, 2010, 83 (5), pp.815-831
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498761/file/tibermacineEtAlJSS.pdf BibTex

Conference papers

titre
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces
auteur
Simon Allier, Houari Sahraoui, Salah Sadou, Stéphane Vaucher
article
Springer. Component-Based Software Engineering, Jun 2010, Prague, Czech Republic. 6092, pp.216-231, 2010, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00502294/file/allierEtAll.pdf BibTex
titre
Negotiation in Heterogeneous Environments
auteur
Maruf Pasha, Flavio Oquendo, Hafiz Farook Ahmad
article
Seventh International Conference on Information Technology – New Generations (ITNG 2010), IEEE Computer Society, Apr 2010, Las Vegas, Nevada, United States. IEEE Computer Society, pp.290-295, 2010
Accès au bibtex
BibTex
titre
Good Architecture = Good (ADL + Practices)
auteur
Vincent Le Gloahec, Régis Fleurquin, Salah Sadou
article
6th International Conference on the Quality of Software Architectures (QoSA’10), Jun 2010, Prague, Czech Republic. Springer, 6093, pp.167-182, 2010, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498782/file/qosa10-2.pdf BibTex
titre
Adapting OCL Constraints After a Refactoring of their Model Using an MDE Process
auteur
Kahina Hassam, Salah Sadou, Régis Fleurquin
article
9th edition of the BElgian-NEtherlands software eVOLution seminar (BENEVOL 2010), Dec 2010, Lille, France. pp.16-27, 2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00664877/file/BENEVOL2010-1.pdf BibTex
titre
Good Practices as a Quality-Oriented Modeling Assistant
auteur
Vincent Le Gloahec, Régis Fleurquin, Salah Sadou
article
QSIC’10: Proceedings of the 10th International Conference on Quality Software, 2010, Zhangjiajie, China, China. IEEE, pp.345-348, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504665/file/LeGloahec10a.pdf BibTex
titre
Towards an Automation of Software Evolution Good Practices
auteur
Chouki Tibermacine, Soraya Sakhraoui, Vincent Le Gloahec, Régis Fleurquin, Salah Sadou
article
SEKE’10: Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering, 2010, Redwood City, USA, United States. Knowledge Systems Institute, pp.1-6, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504663/file/Tibermacine10b.pdf BibTex

Directions of work or proceedings

titre
Special Issue on Software Architecture Modeling, International Journal on Software and System Modeling, Springer
auteur
Muhammad Ali Babar, Flavio Oquendo
article
International Journal on Software and System Modeling, To Appear in 2010, 2010
Accès au bibtex
BibTex
titre
Special Issue on Software Components, Architectures and Reuse, International Journal of Universal Computer Science
auteur
Paulo Pires, Flavio Oquendo, Ana Paula Bacelo
article
Journal of Universal Computer Science, To Appear in 2010, 2010
Accès au bibtex
BibTex
titre
Special Issue on Software Architecture, International Journal of Systems and Software, Elsevier
auteur
Flavio Oquendo, Eltjo Poort, Judith Stafford
article
Journal of Systems and Software, To Appear in 2010, 2010
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Des langages pour améliorer le développement et la maintenance des logiciels à base de composants
auteur
Régis Fleurquin
article
Génie logiciel [cs.SE]. Université de Bretagne Sud; Université Européenne de Bretagne, 2010
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00511595/file/HDR.pdf BibTex

2009

Journal articles

titre
A Formal Model-Driven Engineering Approach for Composable Simulations
auteur
Di Wu, Jie Chen, Flavio Oquendo
article
Journal of System Simulation, ISSN 1004-731X, 2009, 21 (18), pp.1-10
Accès au bibtex
BibTex
titre
Un processus à base de modèles pour les systèmes auto-adaptatifs
auteur
Franck Chauvel, Olivier Barais, Jean-Marc Jézéquel, Isabelle Borne
article
REE – Revue de l’électricité électronique, See, 2009, pp.38–44
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468653/file/ree_chauvel_et_al.pdf BibTex
titre
A delegation-based approach for the unanticipated dynamic evolution of distributed objects
auteur
Salah Sadou, Hafedh Mili
article
Journal of Systems and Software, Elsevier, 2009, 82 (6), pp.932-946
Accès au bibtex
BibTex

Conference papers

titre
MDE and Mobile Agents : another reflexion on the agent migration
auteur
Tahar Gherbi, Isabelle Borne, Djamel Meslati
article
11th International Conference on Computer Modelling and Simulation (UKSim 2009), Mar 2009, Cambridge, United Kingdom. IEEE Computer Society, pp.468-473, 2009, <10.1109/UKSIM.2009.99>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00501630/file/PID817389.pdf BibTex
titre
MDE between Promises and Challenges
auteur
Tahar Gherbi, Djamel Meslati, Isabelle Borne
article
11th International Conference on Computer Modelling and Simulation (UKSim 2009), Mar 2009, Cambridge, United Kingdom. IEEE Computer Society, pp.152-155, 2009, <10.1109/UKSIM.2009.13>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00501636/file/UKSIM-2009a.pdf BibTex
titre
Architecture des IHM
auteur
Nicolas Ferry, Jean-Bernard Crampes, Salah Sadou
article
Hermes Science. 3ème Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.20-35, 2009
Accès au bibtex
BibTex
titre
Identifying Components in Object-Oriented Programs using Dynamic Analysis and Clustering
auteur
Simon Allier, Houari Sahraoui, Salah Sadou
article
19th international conference on computer science and software engineering (CASCON 2009), Nov 2009, Canada. ACM, pp.136-148, 2009
Accès au bibtex
BibTex
titre
Formal Specification and Verification of Multi-Agent Robotics Software Systems – a Case Study
auteur
Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo
article
First International Conference on Agents and Artificial Intelligence (ICAART 2008), Jan 2009, Porto, Portugal. INSTICC, pp.475-482, 2009
Accès au bibtex
BibTex
titre
On the Correctness of Software Architectures: Formal Specification of Correctness Properties using π-AAL
auteur
Flavio Oquendo
article
Fifth International Conference on Software and Data Technologies (ICSOFT 2009), Jul 2009, Sofia, Bulgaria. INSTICC, pp.208-217, 2009
Accès au bibtex
BibTex
titre
Composition et expression qualitative de politiques d’adaptation pour les composants Fractal
auteur
Franck Chauvel, Olivier Barais, Noël Plouzeau, Isabelle Borne, Jean-Marc Jézéquel
article
Actes des Journées nationales du GDR GPL 2009, 2009, Toulouse, France, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542773/file/Chauvel09b.pdf BibTex
titre
EntiMid : un middleware aux services de la maison
auteur
Grégory Nain, Olivier Barais, Régis Fleurquin, Jean-Marc Jézéquel
article
3ème Conférence Francophone sur les Architectures Logicielles (CAL’O9), 2009, Nancy, France, France. pp.59-72, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00468521/file/Nain09a.pdf BibTex
titre
Formalisation de bonnes pratiques dans les procédés de développement logiciels
auteur
Vincent Le Gloahec, Régis Fleurquin, Salah Sadou
article
5èmes Journées de l’Ingénierie dirigée par les modèles (IDM 2009), 2009, Nancy, France, France. pp.95-100, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00504679/file/legloahec09a.pdf BibTex

Directions of work or proceedings

titre
Special Issue on Software Components, Architectures and Reuse, International Journal of Universal Computer Science
auteur
Claudia Werner, Flavio Oquendo
article
Journal of Universal Computer Science, pp.144, 2009
Accès au bibtex
BibTex
titre
Software Architecture: Proceedings of the Eighth IEEE/IFIP Working International Conference, IEEE Computer Society
auteur
Flavio Oquendo, Eltjo Poort, Judith Stafford
article
IEEE Computer Society, pp.340, 2009
Accès au bibtex
BibTex

2008

Journal articles

titre
The π-ADL.NET project: An Inclusive Approach to ADL Compiler Design
auteur
Zawar Qayyum, Flavio Oquendo
article
WSEAS Transactions on Computers, 2008, 7 (5), pp.414-423
Accès au bibtex
BibTex
titre
Un mécanisme de sélection de composants logiciels
auteur
Bart George, Régis Fleurquin, Salah Sadou, Houari Sahraoui
article
Revue des Sciences et Technologies de l’Information – Série L’Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2008, 14 (1-2), pp.139-163
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00499521/file/lObjetBart08.pdf BibTex

Conference papers

titre
A Model-Driven Process for Self-Adaptive Software
auteur
Franck Chauvel, Isabelle Borne, Jean-Marc Jézéquel, Olivier Barais
article
4th European Congress ERTS Embedded Real-Time Software, Jan 2008, Toulouse, France, France. pp.CD-ROM, 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00455764/file/Chauvel08b.pdf BibTex
titre
Composition of Qualitative Adaptation Policies
auteur
Franck Chauvel, Olivier Barais, Isabelle Borne, Jean-Marc Jézéquel
article
23rd IEEE/ACM International Conference on Automated Software Engineering – ASE’08, 2008, L’Aquila, Italy, Italy. pp.455 – 458, 2008, <10.1109/ASE.2008.72>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00477536/file/Chauvel08c.pdf BibTex
titre
Utilisation de la transformation de modeles pour faciliter la sélection de composants logiciels
auteur
Kahina Hassam, Bart George, Régis Fleurquin, Salah Sadou
article
4èmes Journées de l’Ingénierie dirigée par les modeles, Jun 2008, Mulhouse, France. pp.33-48, 2008
Accès au bibtex
BibTex
titre
π-ADL.NET: a High Level Architecture Description Language Compiler for the .NET Platform
auteur
Zawar Qayyum, Flavio Oquendo
article
Seventh International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2008), Feb 2008, Cambridge, United Kingdom. pp.163-168, 2008
Accès au bibtex
BibTex
titre
The BPMSOA: Evaluating the Enactment of a Business Process using Application Domain Specific Grid Services
auteur
Zaheer Abbas Khan, Mohammed Odeh, Tony Solomonides, Flavio Oquendo
article
Tenth International Conference on Information Integration and Web-based Applications & Services (iiWAS2008), ACM Computing Society, Nov 2008, Linz, Austria. ACM Computing Society, pp.232-239, 2008
Accès au bibtex
BibTex
titre
Formal Modeling and Analysis of HLA Architectural Style
auteur
Di Wu, Jie Chen, Flavio Oquendo
article
First International Conference on Modelling, Identification and Control (ICMIC 2008), IEEE Systems, Man, and Cybernetics Society, Jun 2008, Shanghai, China. pp.201-206, 2008
Accès au bibtex
BibTex
titre
π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions
auteur
Flavio Oquendo
article
Second Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2008), Aug 2008, Porto Alegre, Brazil. pp.1-14, 2008
Accès au bibtex
BibTex
titre
Representing Service-Oriented Architectural Models Using π-ADL
auteur
Marcos López Sanz, Zawar Qayyum, Carlos Cuesta, Esperanza Marcos, Flavio Oquendo
article
Second European Conference on Software Architecture (ECSA 2008), Springer LNCS 5292, Sep 2008, Paphos, Cyprus. Springer LNCS 5292, pp.273-280, 2008
Accès au bibtex
BibTex
titre
Formal Model-Driven Engineering for HLA Systems
auteur
Di Wu, Jie Chen, Flavio Oquendo
article
Simulation Interoperability Standards Organization – SISO Simulation Interoperability Workshop (SIW’08), ACM Computing Society, Apr 2008, Providence, Rhode Island, United States. pp.101-108, 2008
Accès au bibtex
BibTex
titre
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with π-ADL
auteur
Flavio Oquendo
article
Third International Conference on Software Engineering Advances (ICSEA 2008), IEEE Computer Society, Oct 2008, Sliema, Malta. IEEE Computer Society, pp.352-359, 2008
Accès au bibtex
BibTex
titre
Formal Approach for the Development of Business Processes in terms of Service-Oriented Architectures using π-ADL
auteur
Flavio Oquendo
article
Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), IEEE Computer Society, Dec 2008, Jhongli, Taiwan. IEEE Computer Society, pp.154-159, 2008
Accès au bibtex
BibTex
titre
.NET Extensions to the π-Architecture Description Language
auteur
Zawar Qayyum, Flavio Oquendo
article
Twentieth International Conference on Software Engineering and Knowledge Engineering (SEKE’08), Jul 2008, Redwood City, San Francisco Bay, United States. pp.244-249, 2008
Accès au bibtex
BibTex
titre
A Component Selection Framework for COTS Libraries
auteur
Bart George, Régis Fleurquin, Salah Sadou
article
11th International Symposium on Component-Based Software Engineering (CBSE’08), Oct 2008, Karlsruhe, Germany. Springer, 5282, pp.286-301, 2008, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498788/file/cbseBart08.pdf BibTex
titre
Expression qualitative de politiques d’adaptation pour Fractal
auteur
Franck Chauvel, Olivier Barais, Noël Plouzeau, Isabelle Borne, Jean-Marc Jézéquel
article
Langages Modèles et Objets (LMO’08), 2008, Montréal, Québec, Canada. Cepadués, pp.5–20, 2008, RNTI
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456478/file/Chauvel08a.pdf BibTex
titre
AlkoWeb: Un outil pour modéliser l’architecture des applications Web riches
auteur
Reda Kadri, Chouki Tibermacine, Régis Fleurquin, Salah Sadou, François Merciol
article
CAL’08: 2ème Conférence Francophone sur les Architectures Logicielles, Mar 2008, Montréal, Canada, Editions Cépaduès, pp.12, 2008, Revue des Nouvelles Technologies de l’Information (RNTI). <http://cal08.iro.umontreal.ca/>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00199033/file/kadri.pdf BibTex

2007

Journal articles

titre
Method overloading and overriding cause distribution transparency and encapsulation flaws
auteur
Antoine Beugnard, Salah Sadou
article
The Journal of Object Technology, Chair of Software Engineering, 2007, 6 (2), pp.31-46
Accès au bibtex
BibTex
titre
Towards the Software Engineering Core
auteur
Esperanza Marcos, Carlos Cuesta, Flavio Oquendo
article
International Journal of Cooperative Information Systems, World Scientific Publishing, 2007, 16 (3-4), pp.333-340
Accès au bibtex
BibTex
titre
A Methodological Approach to Choose Components in Development and Evolution Processes
auteur
Bart George, Régis Fleurquin, Salah Sadou
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, 166 (2), pp.27-46
Accès au bibtex
BibTex
titre
Une assistance pour l’évolution des logiciels à base de composants
auteur
Régis Fleurquin, Chouki Tibermacine
article
Revue des Sciences et Technologies de l’Information – Série L’Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (1), pp.9-44
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00499524/file/RF_CT_Objet_2007.pdf BibTex

Conference papers

titre
Supporting Adaptable Applications in Grid Resource Management Systems
auteur
Jérémy Buisson, Françoise André, Jean-Louis Pazat
article
8th IEEE/ACM International Conference on Grid Computing, Sep 2007, Austin, United States. pp.58, 2007, <10.1109/GRID.2007.4354116>
Accès au bibtex
BibTex
titre
Formal Model-Driven Engineering Approach for Distributed Interactive Simulation Systems
auteur
Di Wu, Flavio Oquendo
article
Twentieth International Conference on Software and Systems Engineering and their Applications (ICSSEA’07), Dec 2007, Paris, France. pp.101-110, 2007
Accès au bibtex
BibTex
titre
An Active Architecture Approach to Dynamic Systems Co-evolution, Invited Paper
auteur
Ron Morrison, Dharini Balasubramaniam, Flavio Oquendo, Brian Warboys, R. Mark Greenwood
article
First European Conference on Software Architecture (ECSA’07), Springer LNCS 4758, Sep 2007, Madrid (Aranjuez), Spain. Springer, pp.2-10, 2007, LNCS
Accès au bibtex
BibTex
titre
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach
auteur
Di Wu, Jie Chen, Flavio Oquendo
article
Fourteenth Asia-Pacific Software Engineering Conference (APSEC’07), Dec 2007, Nagoya, Japan. pp.568-568, 2007
Accès au bibtex
BibTex
titre
Applying Contract Based Built-in Testing (CBBT) to Java Language
auteur
Daniel Deveaux, Gersan Moguérou
article
Software Engineering Today (SET 2007), May 2007, Zurich, Switzerland
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Évolution du logiciel
auteur
Salah Sadou
article
Hermes – l’Objet, pp.169, 2007
Accès au bibtex
BibTex
titre
Software Architecture: Proceedings of the First European Conference, Springer LNCS 4758
auteur
Flavio Oquendo
article
Springer LNCS 4758, pp.340, 2007
Accès au bibtex
BibTex
titre
Special Issue on Software Architecture, International Journal of Cooperative Information Systems
auteur
Esperanza Marcos, Carlos Cuesta, Flavio Oquendo
article
International Journal of Cooperative Information Systems, pp.134, 2007
Accès au bibtex
BibTex

2006

Journal articles

titre
π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures
auteur
Radu Mateescu, Flavio Oquendo
article
ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (2), pp.1-19
Accès au bibtex
BibTex
titre
π-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering
auteur
Flavio Oquendo
article
ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (3), pp.1-13
Accès au bibtex
BibTex
titre
Formally Modelling Software Architectures with the UML 2.0 Profile for π-ADL
auteur
Flavio Oquendo
article
ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (1), pp.1-13
Accès au bibtex
BibTex
titre
Approach for Multi-Agent Metamodelling
auteur
Selma Azaiez, Marc-Philippe Huget, Flavio Oquendo
article
Multiagent and Grid Systems – An International Journal of Cloud Computing , IOS Press, 2006, 2 (4), pp.435-454
Accès au bibtex
BibTex

Conference papers

titre
Une expérience d’intégration d’une architecture à base de composants
auteur
Reda Kadri, François Merciol, Salah Sadou
article
Hermes Science. 1er Conférence francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.132-140, 2006
Accès au bibtex
BibTex
titre
CBSE in Small and Medium-Sized Enterprise: Experience Report
auteur
Reda Kadri, François Merciol, Salah Sadou
article
Springer-Verlag. 9th ACM SIGSOFT International Symposium on Component-Based Software Engineering, Jun 2006, Vasteras, Sweden. 4063, pp.154-165, 2006
Accès au bibtex
BibTex
titre
L’évolution du logiciel dirigée par les contraintes architecturales
auteur
Salah Sadou
article
Hermes Science. Conférence sur les Architectures Logicielles, Sep 2006, Nantes, France
Accès au bibtex
BibTex
titre
π-Diapason : un langage pour la formalisation des architectures orientées services Web
auteur
Frédéric Pourraz, Hervé Verjus, Flavio Oquendo
article
Première Conférence Francophone sur les Architectures Logicielles (CAL 2006), Hermès Sciences/Lavoisier, Sep 2006, Nantes, France. Hermès Sciences/Lavoisier, pp.119-127, 2006
Accès au bibtex
BibTex
titre
Gestion des architectures évolutives dans ArchWare
auteur
Hervé Verjus, Sorana Cimpan, Ilham Alloui, Flavio Oquendo
article
Première Conférence Francophone sur les Architectures Logicielles (CAL 2006), Hermès Sciences/Lavoisier, Sep 2006, Nantes, France. Hermès Sciences/Lavoisier, pp.41-57, 2006
Accès au bibtex
BibTex
titre
Intelligent Instrument Design with ArchWare ADL
auteur
Jérôme Revillard, Sorana Cîmpan, Eric Benoit, Flavio Oquendo
article
Joint Meeting of the Fourth Workshop on Model-Based Development of Computer-Based Systems and the Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MBD/MOMPES 2006), IEEE Computer Society, Mar 2006, Potsdam, Germany. IEEE Computer Society, pp.63-74, 2006
Accès au bibtex
BibTex
titre
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications
auteur
David Manset, Hervé Verjus, Richard Mcclatchey, Flavio Oquendo
article
Eighth International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus. pp.322-330, 2006
Accès au bibtex
BibTex
titre
π-ADL Visual Notation and its Application to Formally Modelling the High Level Architecture
auteur
Zawar Qayyum, Di Wu, Flavio Oquendo
article
Nineteenth International Conference on Software and Systems Engineering and their Applications (ICSSEA 2006), Dec 2006, Paris, France. pp.1-10, 2006
Accès au bibtex
BibTex
titre
An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture
auteur
Frédéric Pourraz, Hervé Verjus, Flavio Oquendo
article
Eighth International Conference on Enterprise Information Systems (ICEIS 2006), May 2006, Paphos, Cyprus. pp.234-241, 2006
Accès au bibtex
BibTex
titre
A Component-Oriented Substitution Model
auteur
Bart George, Régis Fleurquin, Salah Sadou
article
9th International Conference on Software Reuse (ICSR’06), Jun 2006, Turin, Italy. Springer, 4039, pp.340-353, 2006, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00499527/file/icsr2006.pdf BibTex
titre
Simplifying transformation of software architecture constraints
auteur
Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
ACM symposium on Applied computing, Apr 2006, Dijon, France. ACM, pp.1240-1244, 2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00498769/file/CTetAl_MT_SAC_2006.pdf BibTex
titre
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution
auteur
Chouki Tibermacine, Régis Fleurquin, Salah Sadou
article
9th International Symposium on Component-Based Software Engineering (CBSE’06), Jun 2006, Västerås, Sweden. Springer, 4063, pp.294-309, 2006, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00499531/file/CTetAl_CBSE_2006.pdf BibTex

Book sections

titre
Les architectures logicielles
auteur
Flavio Oquendo
article
Encyclopédie de l’informatique et des systèmes d’information, Vuibert, Editions Vuibert, pp.1085-1096, 2006
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Software Architecture: Proceedings of the Third European Workshop, Springer LNCS 4344
auteur
Volker Gruhn, Flavio Oquendo
article
Springer LNCS 4344, pp.245, 2006
Accès au bibtex
BibTex
titre
Architectures Logicielles : Actes de la Première Conférence Francophone, Hermès Sciences/Lavoisier
auteur
Mourad Oussalah, Flavio Oquendo, Dalila Tamzalit, Tahar Khammaci
article
Hermès Sciences/Lavoisier, pp.200, 2006
Accès au bibtex
BibTex


Permanent link to this article: http://www-archware.irisa.fr/publications/