A. Ait-wakrime, S. Limet, and S. Robert, Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets, Global Journal of Engineering Science and Researches (GJESR), vol.2, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01242592

A. Ait-wakrime, S. Limet, and S. Robert, Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets, the 2nd International Workshop on Software Engineering and Systems Architecture (SESA), Liveness of ComSA Applications, the 11th International Symposium on Formal Aspects of Component Software (FACS), pp.10-12, 2014.

A. A. Wakrime, Deadlock-freedom of component-based approach for scientific applications , Summer School on Modelling and Verification of Parallel Processes, pp.7-11, 2014.

A. Ait-wakrime, S. Limet, and S. Robert, Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives, Revue des Nouvelles Technologies de l'Information (RNTI), 2014.

A. Ait-wakrime, S. Limet, and S. Robert, Modélisation des applications de visualisation scientifique interactives, Conférence francophone sur les Architectures Logicielles (CAL), pp.30-31, 2013.

M. Abadi and A. Gordon, A calculus for cryptographic protocols, Proceedings of the 4th ACM conference on Computer and communications security , CCS '97, 1998.
DOI : 10.1145/266420.266432

F. Abouzaid, Toward a pi-calculus based verification tool for web services orchestrations, Computer Supported Acitivity Coordination, pp.23-34, 2006.

A. Ait-wakrime, S. Limet, and S. Robert, Modélisation des applications de visualisation scientifique interactives, CAL 2013, pp.154-155, 2013.

A. Ait-wakrime, S. Limet, and S. Robert, Modeling Interactive Scientific Visualization Applications with Strict Colored FIFO Nets, SESA 2014, Proceedings of the 2014 International Workshop on Software Engineering and Systems Architecture Cité pages 154 et 155. [11] A. Ait Wakrime, S. Limet, and S. Robert. Place-liveness of ComSA Applications. In FACS, pp.1-18, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01242592

A. Ait-wakrime, S. Limet, and S. Robert, On the fly reconfiguration of interactive scientific visualization applications, 2015 International Conference on High Performance Computing & Simulation (HPCS), 2015.
DOI : 10.1109/HPCSim.2015.7237078
URL : https://hal.archives-ouvertes.fr/hal-01161851

R. Akkiraju, J. Farrell, J. A. Miller, M. Nagarajan, A. Sheth et al., Web service semantics ? wsdl-s, W3C Workshop on Frameworks for Semantic in Web Services, 2005.

D. L. Aksnes, K. B. Ulvestad, B. M. Baliño, J. Berntsen, J. K. Egge et al., Ecological modelling in coastal waters: Towards predictive physical-chemical-biological simulation models, Ophelia, vol.36, issue.1, pp.5-36, 1995.
DOI : 10.1080/00785236.1995.10422035

J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002.
DOI : 10.1145/581339.581365

J. Allard, V. Gouranton, L. Lecointre, S. Limet, E. Melin et al., FlowVR: A Middleware for Large Scale Virtual Reality Applications, Proceedings of Euro-par, pp.47-89, 2004.
DOI : 10.1007/978-3-540-27866-5_65
URL : https://hal.archives-ouvertes.fr/hal-00085302

R. Allen, A Formal Approach to Software Architecture, Carnegie Mellon, School of Computer Science, 1997.

S. Alsairafi, F. Emmanouil, M. Ghanem, N. Giannadakis, Y. Guo et al., The Design of Discovery Net: Towards Open Grid Services for Knowledge Discovery, International Journal of High Performance Computing Applications, vol.17, issue.3, pp.297-315, 2003.
DOI : 10.1177/1094342003173003

I. Altintas, C. Berkley, E. Jaeger, M. Jones, B. Ludascher et al., Kepler: an extensible system for design and execution of scientific workflows, Proceedings. 16th International Conference on Scientific and Statistical Database Management, 2004., pp.423-424, 2004.
DOI : 10.1109/SSDM.2004.1311241

P. Alvarez, J. A. Banares, and J. Ezpeleta, Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm, Service-Oriented Computing-ICSOC 2005, pp.185-197, 2005.
DOI : 10.1007/11596141_15

G. A. Araújo, F. H. Carvalho-jr, and R. C. Corrêa, Implementing endogenous and exogenous connectors with the common component architecture, Proceedings of the 2009 Workshop on Component-Based High Performance Computing, CBHPC '09, p.12, 2009.
DOI : 10.1145/1687774.1687786

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

H. Aref, R. D. Charles, and T. T. Elvins, Frontiers of scientific visualization. chapter Scientific Visualization of Fluid Flow, pp.7-44, 1994.

R. Armstrong, D. Gannon, A. Geist, K. Keahey, S. Kohn et al., Toward a common component architecture for highperformance scientific computing, High Performance Distributed Computing Proceedings. The Eighth International Symposium on, pp.115-124, 1999.

R. Armstrong, G. Kumfert, L. C. Mcinnes, S. Parker, B. Allan et al., The CCA component model for high-performance scientific computing, Concurrency and Computation: Practice and Experience, vol.27, issue.2, pp.215-229, 2006.
DOI : 10.1002/cpe.911

P. C. Attie, S. Bensalem, M. Bozga, M. Jaber, J. Sifakis et al., An Abstract Framework for Deadlock Prevention in BIP, Formal Techniques for Distributed Systems, pp.161-177, 2013.
DOI : 10.1007/978-3-642-38592-6_12
URL : https://hal.archives-ouvertes.fr/hal-00878752

T. Aubonnet, L. Henrio, S. Kessal, O. Kulankhina, F. Lemoine et al., Management of service compositionbased on selfcontrolled components, Journal of Internet Services and Applications, vol.6, issue.1, pp.1-17, 2015.

S. Aukstakalnis and D. Blatner, Silicon Mirage ; The Art and Science of Virtual Reality, 1992.

R. Axelrod, Advancing the art of simulation in the social sciences, Simulating social phenomena, pp.21-40, 1997.

R. Balasubramanian, S. Babak, D. Churches, and T. Cokelaer, GEO 600 online detector characterization system, Classical and Quantum Gravity, vol.22, issue.23, pp.4973-4985, 2005.
DOI : 10.1088/0264-9381/22/23/004

J. Banks, J. Carson, and B. Nelson, DM Nicol, Discrete-Event System Simulation, 2000.

T. Barros, A. Cansado, E. Madelaine, and M. Rivera, Model-checking Distributed Components: The Vercors Platform, Electronic Notes in Theoretical Computer Science, vol.182, pp.3-16, 2007.
DOI : 10.1016/j.entcs.2006.09.028
URL : https://hal.archives-ouvertes.fr/inria-00091569

T. Barros, L. Henrio, and E. Madelaine, Behavioural Models for Hierarchical Components, Model Checking Software, pp.154-168, 2005.
DOI : 10.1007/11537328_14
URL : https://hal.archives-ouvertes.fr/inria-00122933

R. Bastide and E. Barboni, Software Components: a Formal Semantics Based on Coloured Petri Nets, Electronic Notes in Theoretical Computer Science, vol.160, pp.57-73, 2006.
DOI : 10.1016/j.entcs.2006.05.016

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298

A. Basu, L. Mounier, M. Poulhies, J. Pulou, and J. Sifakis, Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.257-260, 2007.
DOI : 10.1109/NCA.2007.52

F. Baude-alexander, P. D. Ambra, A. Belloum, G. Bosilca, M. Cannataro et al., A Perspective on the CoreGRID Grid Component Model, Euro-Par 2011 : Parallel Processing Workshops, pp.115-116
DOI : 10.1007/978-3-642-29737-3_14

P. Behm, P. Desforges, and J. Meynadier, M??T??OR: An industrial success in formal development, B'98 : Recent Advances in the Development and Use of the B Method, pp.26-26, 1998.
DOI : 10.1007/BFb0053352

M. Benalycherif and C. Girault, Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets, Application and Theory of Petri Nets, pp.73-92, 1996.
DOI : 10.1007/3-540-61363-3_5

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verification for component-based systems and application. IET software, pp.181-193, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00568866

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, and D. Peled, Efficient deadlock detection for concurrent systems, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), pp.119-129, 2011.
DOI : 10.1109/MEMCOD.2011.5970518

K. Bergner, A. Rausch, and M. Sihling, Componentware -the big picture, Proceedings of the International Workshop on Component-Based Software Engineering, CBSE 98, 1998.

J. Bigot, Z. Hou, C. Pérez, and V. Pichon, A low level component model easing performance portability of HPC applications, Computing, vol.4, issue.5, pp.1115-1130, 2014.
DOI : 10.1007/s00607-013-0368-3
URL : https://hal.archives-ouvertes.fr/hal-00911231

G. Black and V. Vyatkin, Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499, IEEE Transactions on Automation Science and Engineering, vol.7, issue.2, pp.337-351, 2010.
DOI : 10.1109/TASE.2008.2007216

B. Blanchet, Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif, Foundations of Security Analysis and Design VII, pp.54-87, 2014.
DOI : 10.1007/3-540-48660-7_29
URL : https://hal.archives-ouvertes.fr/hal-01102136

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7

G. Booch, I. Jacobson, and J. Rumbaugh, Omg unified modeling language specification . Object Management Group, pp.15-44, 2000.

M. Boreale and D. Gorla, Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, pp.28-39, 2002.

H. Bouziane, C. Pérez, and T. Priol, A Software Component Model with Spatial and Temporal Compositions for Grid Infrastructures, Euro-Par 2008 ? Parallel Processing, pp.698-708, 2008.
DOI : 10.1007/978-3-540-85451-7_75
URL : https://hal.archives-ouvertes.fr/hal-00690415

H. L. Bouziane, C. Pérez, and T. Priol, A Software Component Model with Spatial and Temporal Compositions for Grid Infrastructures, Euro-Par 2008?Parallel Processing, pp.698-708, 2008.
DOI : 10.1007/978-3-540-85451-7_75
URL : https://hal.archives-ouvertes.fr/hal-00690415

D. A. Bowman, Interaction Techniques for Common Tasks in Immersive Virtual Environments : Design, Evaluation, and Application, 1999.

M. Bozga, J. Fernandez, A. Kerbrat, and L. Mounier, Protocol verification with the ALD??BARAN toolset, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.166-183, 1997.
DOI : 10.1007/s100090050012

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, Formal Methods for the Design of Real-Time Systems, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307

R. Bramley, K. Chiu, S. Diwan, D. Gannon, M. Govindaraju et al., A component based services architecture for building distributed applications, Proceedings the Ninth International Symposium on High-Performance Distributed Computing, pp.51-59, 2000.
DOI : 10.1109/HPDC.2000.868634

M. C. Browne, E. M. Clarke, and O. Grümberg, Characterizing finite Kripke structures in propositional temporal logic, Theoretical Computer Science, vol.59, issue.1-2, pp.115-131, 1988.
DOI : 10.1016/0304-3975(88)90098-9

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006.
DOI : 10.1002/spe.767

J. Buck, S. Ha, E. Lee, and D. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, Int. Journal of Computer Simulation, p.43, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

J. Burkhardt, Immersion, réalisme et présence dans la conception et l'évaluation des environnements virtuels = immersion, realism and presence in the design and evaluation of virtual environments, pp.35-42, 2003.

S. K. Card, J. D. Mackinlay, and B. Shneiderman, Readings in information visualization : using vision to think, p.16, 1999.

Y. Cardinale, J. Haddad, M. Manouvrier, and M. Rukoz, Web Service Composition Based on Petri Nets: Review and Contribution, Resource Discovery, pp.83-122
DOI : 10.1007/978-3-642-45263-5_5
URL : https://hal.archives-ouvertes.fr/hal-01368801

D. Casper, The nuance neutrino physics simulation, and the future, Nuclear Physics B - Proceedings Supplements, vol.112, issue.1-3, pp.161-170, 2002.
DOI : 10.1016/S0920-5632(02)01756-5

R. Chen, M. Sgroi, L. Lavagno, G. Martin, A. Sangiovanni-vincentelli et al., Embedded System Design using UML and Platforms, System Specification & Design Languages, pp.119-128, 2003.
DOI : 10.1007/0-306-48734-9_10

E. M. Clarke, J. , O. Grumberg, and D. A. Peled, Model Checking, 1999.

W. W. Consortium, Extensible markup language (xml) 1.0, W3C XML, 1998.

S. A. Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing , STOC '71, pp.151-158, 1971.
DOI : 10.1145/800157.805047

M. Corporation, Component Object Model Specification (Version 0.9), 1995.

T. Coupaye and J. Stefani, Fractal Component-Based Software Engineering, Proceedings of the 2006 Conference on Object-oriented Technology : ECOOP 2006 Workshop Reader, pp.117-129, 2007.
DOI : 10.1007/978-3-540-71774-4_13

V. Curcin and M. Ghanem, Scientific workflow systems - can one size fit all?, 2008 Cairo International Biomedical Engineering Conference, pp.1-9, 2008.
DOI : 10.1109/CIBEC.2008.4786077

L. D. Da-silva, A. Perkusich, and K. Gorgonio, Petri Nets for Component-Based Software Systems Development, 2008.
DOI : 10.5772/5330

O. J. Dahl, E. W. Dijkstra, C. A. Hoare, P. David, and T. Ledoux, An aspect-oriented approach for developing selfadaptive fractal components, Structured Programming Software Composition, pp.82-97, 1972.

J. Davies, Specification and Proof in Real Time CSP, p.61, 2012.
DOI : 10.1017/CBO9780511569760

M. Davis, G. Logemann, and D. Loveland, A machine program for theorem-proving, Communications of the ACM, vol.5, issue.7, pp.394-397, 1962.
DOI : 10.1145/368273.368557

M. Davis and H. Putnam, A Computing Procedure for Quantification Theory, Journal of the ACM, vol.7, issue.3, pp.201-215, 1960.
DOI : 10.1145/321033.321034

E. Deelman, G. Singh, M. Su, J. Blythe, Y. Gil et al., Pegasus: A Framework for Mapping Complex Scientific Workflows onto Distributed Systems, Scientific Programming, vol.13, issue.3, pp.219-237, 2005.
DOI : 10.1155/2005/128026

E. Deelman, K. Vahi, G. Juve, M. Rynge, S. Callaghan et al., Pegasus, a workflow management system for science automation, Future Generation Computer Systems, vol.46, issue.0, pp.2014-2056
DOI : 10.1016/j.future.2014.10.008

X. Deng, Z. Lin, W. Cheng, R. Xiao, L. Fang et al., Modeling Web Service Choreography and Orchestration with Colored Petri Nets, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), pp.838-843, 2007.
DOI : 10.1109/SNPD.2007.486

J. Dent and P. Thornton, The role of biological simulation models in farming systems research, Agricultural Administration and Extension, vol.29, issue.2, pp.111-122, 1988.
DOI : 10.1016/0269-7475(88)90010-4

M. Diaz, Petri Nets : Fundamental Models, Verification and Applications, 2009.
DOI : 10.1002/9780470611647

K. Dokter, S. Jongmans, F. Arbab, and S. Bliudze, Relating bip and reo. arXiv preprint, pp.2015-2039

J. Dormoy, O. Kouchnarenko, and A. Lanoix, Using Temporal Logic for Dynamic Reconfigurations of Components, Formal Aspects of Component Software, pp.200-217
DOI : 10.1007/3-540-45719-4_23
URL : https://hal.archives-ouvertes.fr/hal-00662875

D. F. Souza and A. C. Wills, Objects, Components, and Frameworks with UML : The Catalysis Approach, 1999.

W. W. Eckerson, Three tier client/server architecture : Achieving scalability, performance , and efficiency in client server applications, Open Information Systems, vol.10, issue.1, 1995.

S. R. Ellis, What are virtual environments?, IEEE Computer Graphics and Applications, vol.14, issue.1, pp.17-22, 1994.
DOI : 10.1109/38.250914

T. Epperly, S. R. Kohn, and G. Kumfert, Component technology for highperformance scientific simulation software, Proceedings of the IFIP TC2

T. Fahringer, J. Qin, and S. Hainzer, Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005., pp.676-685, 2005.
DOI : 10.1109/CCGRID.2005.1558629

P. H. Feiler, D. P. Gluch, and J. J. Hudak, The architecture analysis & design language (AADL) : An introduction, 2006.

A. Finkel and G. Memmi, FIFO nets: A new model of parallel computation, Theoretical Computer Science, pp.111-121, 1982.
DOI : 10.1007/BFb0036474

P. Fuchs, B. Arnaldi, and J. Tisseau, La réalité virtuelle et ses applications, pp.14-15, 2003.

N. Furmento, A. Mayer, S. Mcgough, S. Newhouse, T. Field et al., ICENI: Optimisation of component applications within a Grid environment, Parallel Computing, vol.28, issue.12, pp.1753-1772, 2002.
DOI : 10.1016/S0167-8191(02)00187-4

J. L. Gabbard, D. Hix, and J. E. Swan, User-centered design and evaluation of virtual environments, IEEE Computer Graphics and Applications, vol.19, issue.6, pp.51-59, 1999.
DOI : 10.1109/38.799740

D. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, p.7, 1997.
DOI : 10.1145/1925805.1925814

N. Gaspar, L. Henrio, and E. Madelaine, Formally Reasoning on a Reconfigurable Component-Based System ??? A Case Study for the Industrial World, Formal Aspects of Component Software, pp.137-156
DOI : 10.1007/978-3-319-07602-7_10
URL : https://hal.archives-ouvertes.fr/hal-00916115

K. Geebelen, S. Michiels, and W. Joosen, Dynamic reconfiguration using template based web service composition, Proceedings of the 3rd workshop on Middleware for service oriented computing, MW4SOC '08, pp.49-54, 2008.
DOI : 10.1145/1462802.1462811

N. Gershon, From perception to visualization. Scientific Visualization, 1994.

M. M. Ghanem, Y. Guo, H. Lodhi, and Y. Zhang, Automatic scientific text classification using local patterns, ACM SIGKDD Explorations Newsletter, vol.4, issue.2, pp.95-96, 2002.
DOI : 10.1145/772862.772876

J. J. Gibson, The ecological approach to the visual perception of pictures. Leonardo, pp.227-235, 1978.

A. Girard and G. J. Pappas, Verification Using Simulation, Hybrid Systems : Computation and Control, pp.272-286, 2006.
DOI : 10.1007/11730637_22
URL : https://hal.archives-ouvertes.fr/hal-00171538

P. Godefroid, M. Y. Levin, and D. Molnar, SAGE, Communications of the ACM, vol.55, issue.3, pp.20-2012
DOI : 10.1145/2093548.2093564

J. Goecks, A. Nekrutenko, J. Taylor, and T. G. Team, Galaxy: a comprehensive approach for supporting accessible, reproducible, and transparent computational research in the life sciences, Genome Biology, vol.11, issue.8, p.86, 2010.
DOI : 10.1186/gb-2010-11-8-r86

A. Gokhale and D. C. Schmidt, Principles for optimizing corba internet interorb protocol performance, System Sciences Proceedings of the Thirty-First Hawaii International Conference on, pp.376-385, 1998.

T. Goodale, G. Allen, G. Lanfermann, J. Massó, T. Radke et al., The Cactus Framework and Toolkit: Design and Applications, Proceedings of the 5th International Conference on High Performance Computing for Computational Science, VECPAR'02, pp.197-227, 2003.
DOI : 10.1007/3-540-36569-9_13

G. Gössler and J. Sifakis, Composition for component-based modeling, Science of Computer Programming, vol.55, issue.1-3, pp.161-183, 2005.
DOI : 10.1016/j.scico.2004.05.014

R. Gronmo, D. Skogan, I. Solheim, and J. Oldevik, Model-driven web services development In e-Technology, e-Commerce and e-Service, IEEE International Conference on, pp.42-45, 2004.

G. Guiho and C. Hennebert, SACEM software validation, [1990] Proceedings. 12th International Conference on Software Engineering, pp.186-191, 1990.
DOI : 10.1109/ICSE.1990.63621

Y. Guo, J. G. Liu, M. Ghanem, K. Mish, V. Curcin et al., Bridging the Macro and Micro: A Computing Intensive Earthquake Study Using Discovery Net, ACM/IEEE SC 2005 Conference (SC'05), p.68, 2005.
DOI : 10.1109/SC.2005.16

D. Hagimont, P. Stolf, L. Broto, and N. Palma, Component-Based Autonomic Management for Legacy Software, Autonomic Computing and Networking, pp.83-104, 2009.
DOI : 10.1007/978-0-387-89828-5_4

A. Hall, Seven myths of formal methods. Software, IEEE, vol.7, issue.5, pp.11-19, 1990.

N. Hameurlain, Controllability Preservation and Behavioural Refinement for Service Protocols, 2012 IEEE Asia-Pacific Services Computing Conference, pp.203-210
DOI : 10.1109/APSCC.2012.60
URL : https://hal.archives-ouvertes.fr/hal-01093310

N. Hameurlain, A compositional framework to the specification of service protocols controllability and substitutability, International Journal of Computer Mathematics, vol.31, issue.3, pp.1137-1155
DOI : 10.1145/261640.261641
URL : https://hal.archives-ouvertes.fr/hal-01093288

G. T. Heineman and W. T. , Component-based Software Engineering : Putting the Pieces Together, 2001.
DOI : 10.1007/b136248

C. Heinzemann, C. Priesterjahn, and S. Becker, Towards modeling reconfiguration in hierarchical component architectures, Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, CBSE '12, pp.23-28
DOI : 10.1145/2304736.2304742

S. Herres-pawlis, A. Hoffmann, L. De-la, J. Garza, S. Krüger et al., User-friendly metaworkflows in quantum chemistry Cité page 35. [116] C. Hoare. Algebra and models, Cluster Computing (CLUSTER), 2013 IEEE International Conference on Program Design Calculi, pp.1-3, 1993.

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

D. Hollingsworth, Workflow management coalition -the workflow reference model, 1995.

J. Hooman, H. Kugler, I. Ober, A. Votintseva, and Y. Yushtein, Supporting umlbased development of embedded systems by formal techniques. Software & Systems Modeling, pp.131-155, 2008.

J. Hufflen, Using model-checking techniques for component-based systems with reconfigurations. arXiv preprint, pp.2015-59

. Iso, Information processing systems -open systems interconnection -LOTOS : a formal description technique based on the temporal ordering of observational behaviour = systemes de traitement de l'information -interconnexion de systemes ouverts -LOTOS, 1989.

K. Jensen and L. M. Kristensen, Coloured Petri Nets -Modelling and Validation of Concurrent Systems, 2009.

K. Jensen, L. M. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.213-254, 2007.
DOI : 10.1007/s10009-007-0038-x

G. Kahn, The semantics of simple language for parallel programming, IFIP Congress, pp.471-475, 1974.

M. Khalgui, Distributed Reconfigurations of Autonomous IEC61499 Systems, ACM Transactions on Embedded Computing Systems, vol.12, issue.1, pp.18-2013
DOI : 10.1145/2406336.2406354

J. Kramer and J. Magee, The evolving philosophers problem : Dynamic change management. Software Engineering, IEEE Transactions on, vol.16, issue.11, pp.1293-1306, 1990.

O. Kreylos, A. M. Tesdall, B. Hamann, J. K. Hunter, and K. I. Joy, Interactive visualization and steering of CFD simulations Eurographics Association, Proceedings of the symposium on Data Visualisation 2002, VISSYM '02, pp.25-34, 2002.

P. Kruchten, H. Obbink, and J. Stafford, The Past, Present, and Future for Software Architecture, IEEE Software, vol.23, issue.2, pp.22-30, 2006.
DOI : 10.1109/MS.2006.59

G. Kumfert, J. Leek, and T. Epperly, Babel Remote Method Invocation, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-10, 2007.
DOI : 10.1109/IPDPS.2007.370222

S. Lacour, C. Pérez, and T. Priol, Deploying CORBA Components on a Computational Grid: General Principles and Early Experiments Using the Globus Toolkit, Component Deployment, pp.35-49, 2004.
DOI : 10.1007/978-3-540-24848-4_3
URL : https://hal.archives-ouvertes.fr/inria-00071435

J. Lacouture and P. Aniorté, Self-adaptable discovery and composition of services based on the semantic compaa approach. Innovations and Approaches for Resilient and Adaptive Systems, p.150, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00648616

J. Latta and D. Oberg, A conceptual virtual reality model, IEEE Computer Graphics and Applications, vol.14, issue.1, pp.23-29, 1994.
DOI : 10.1109/38.250915

J. Laviola, J. J. Prabhat, A. S. Forsberg, D. H. Laidlaw, and A. V. Dam, Virtual Reality-Based Interactive Scientific Visualization Environments, Trends in Interactive Visualization , Advanced Information and Knowledge Processing, pp.225-250, 2009.
DOI : 10.1007/978-1-84800-269-2_10

E. Lee and D. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, vol.75, issue.9, pp.1235-1245, 1987.
DOI : 10.1109/PROC.1987.13876

E. A. Lee and S. Neuendorffer, Moml -a modeling markup language in xml version 0, 2000.

C. Li, L. Huang, L. Chen, and W. Luo, Deadlock detection and recovery for component-based systems, Mathematical and Computer Modelling, vol.58, issue.5-6, pp.5-6, 2013.
DOI : 10.1016/j.mcm.2012.12.035

P. Li, J. Castrillo, G. Velarde, I. Wassink, S. Soiland-reyes et al., Performing statistical analyses on quantitative data in taverna workflows : An example using r and maxdbrowse to identify differentially-expressed genes from microarray data FlowVR-SciViz : a component-based framework for interactive scientific visualization, Proceedings of the 2009 Workshop on Component-Based High Performance Computing, CBHPC '09, pp.1-179, 2009.

S. Limet, S. Robert, and A. Turki, Coherence and Performance for Interactive Scientific Visualization Applications, Software Composition -10th International Conference, SC 2011 Proceedings, pp.149-164, 2011.
DOI : 10.1007/s10723-005-9007-3

S. Limet, S. Robert, and A. Turki, Controlling an Iteration-Wise Coherence in Dataflow, Formal Aspects of Component Software, pp.241-258, 2012.
DOI : 10.1007/978-3-642-35743-5_15
URL : https://hal.archives-ouvertes.fr/hal-00657986

R. J. Machado and J. M. Fernandes, A Petri net meta-model to develop software components for embedded systems, Proceedings Second International Conference on Application of Concurrency to System Design, pp.113-122, 2001.
DOI : 10.1109/CSD.2001.981769

J. Magee and J. Kramer, Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996.
DOI : 10.1145/250707.239104

C. Mahulea, L. Mahulea, J. García-soriano, and J. Colom, Petri nets with resources for modeling primary healthcare systems, 2014 18th International Conference on System Theory, Control and Computing (ICSTCC), 2014.
DOI : 10.1109/ICSTCC.2014.6982489

S. Majithia, M. Shields, I. Taylor, and I. Wang, Triana: a graphical Web service composition and execution toolkit, Proceedings. IEEE International Conference on Web Services, 2004., p.514, 2004.
DOI : 10.1109/ICWS.2004.1314777

M. Malawski, J. Meizner, M. Bubak, and P. Gepner, Component Approach to Computational Applications on Clouds, Procedia Computer Science, vol.4, pp.432-441, 2011.
DOI : 10.1016/j.procs.2011.04.045

M. Martens and M. Majster-cederbaum, Deadlock-freedom in component systems with architectural constraints. Formal Methods in System Design, pp.129-177

S. Matougui and A. Beugnard, Two Ways of Implementing Software Connections Among Distributed Components, On the Move to Meaningful Internet Systems 2005 : CoopIS, DOA, and ODBASE, pp.997-1014, 2005.
DOI : 10.1007/11575801_5

B. Mccormick, T. Defanti, and M. Brown, Visualization in scientific computing, ACM SIGBIO Newsletter, vol.10, issue.1, pp.103-111, 1987.
DOI : 10.1145/43965.43966

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

N. R. Mehta, N. Medvidovic, and S. Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.178-187, 2000.
DOI : 10.1145/337180.337201

K. Michalickova, G. Bader, M. Dumontier, H. Lieu, D. Betel et al., Seqhound : biological sequence and structure database as a platform for bioinformatics research, BMC Bioinformatics, vol.3, issue.1, 2002.

R. Milner, A Calculus of Communicating Systems, p.61, 1982.
DOI : 10.1007/3-540-10235-3

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-40, 1992.
DOI : 10.1016/0890-5401(92)90008-4

M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik, Chaff, Proceedings of the 38th conference on Design automation , DAC '01, pp.530-535, 2001.
DOI : 10.1145/378239.379017

G. J. Myers and C. Sandler, The Art of Software Testing, 2004.
DOI : 10.1002/9781119202486

O. Nierstrasz, Research topics in software composition, Actes des journées Langages et Modèles à Objets, LMO'95. Nancy, 12-13 octobre, pp.193-206, 1995.

O. Oanea, H. Wimmel, and K. Wolf, New algorithms for deciding the siphontrap property, Proceedings of the 31st Int. Conf. on Applications and Theory of Petri Bibliographie Nets, pp.267-286, 2010.

T. Oinn, M. Addis, J. Ferris, D. Marvin, M. Greenwood et al., Delivering web service coordination capability to users, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters , WWW Alt. '04, pp.438-439, 2004.
DOI : 10.1145/1013367.1013514

M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, Service-Oriented Computing: State of the Art and Research Challenges, Computer, vol.40, issue.11, pp.38-45, 2007.
DOI : 10.1109/MC.2007.400

P. Parizek and F. Plasil, Modeling Environment for Component Model Checking from Hierarchical Architecture, Electronic Notes in Theoretical Computer Science, vol.182, pp.139-153, 2007.
DOI : 10.1016/j.entcs.2006.09.036

C. Pautasso and G. Alonso, Parallel computing patterns for Grid workflows, 2006 Workshop on Workflows in Support of Large-Scale Science, pp.1-10, 2006.
DOI : 10.1109/WORKS.2006.5282349

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003.
DOI : 10.1109/MC.2003.1236471

C. Pérez, T. Priol, and A. Ribes, A Parallel Corba Component Model for Numerical Code Coupling, International Journal of High Performance Computing Applications, vol.17, issue.4, pp.417-429, 2003.
DOI : 10.1177/10943420030174006

C. Petri, Kommunikation mit Automaten, 1962.

A. Phillips and L. Cardelli, Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus, Computational methods in systems biology, pp.184-199, 2007.
DOI : 10.1007/978-3-540-75140-3_13

S. Pillai, V. Silventoinen, K. Kallio, M. Senger, S. Sobhany et al., SOAP-based services provided by the European Bioinformatics Institute, Nucleic Acids Research, vol.33, issue.Web Server, pp.25-28, 2005.
DOI : 10.1093/nar/gki491

D. Pilone and N. Pitman, UML 2.0 in a Nutshell, 2005.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

I. Poupyrev and T. Ichikawa, Manipulating Objects in Virtual Worlds: Categorization and Empirical Evaluation of Interaction Techniques, Journal of Visual Languages & Computing, vol.10, issue.1, pp.19-35, 1999.
DOI : 10.1006/jvlc.1998.0112

W. Ribarsky and J. D. Foley, Next-generation data visualization tools. Scientific Visualization, 1994.

M. Richards, M. Ghanem, M. Osmond, Y. Guo, and J. Hassard, Grid-based analysis of air pollution data, Ecological Modelling, vol.194, issue.1-3, pp.274-286, 2006.
DOI : 10.1016/j.ecolmodel.2005.10.042

A. Rowe, D. Kalaitzopoulos, M. Osmond, M. Ghanem, and Y. Guo, The discovery net system for high throughput bioinformatics, Proceedings of the Eleventh International Conference on Intelligent Systems for Molecular Biology, pp.225-231, 2003.
DOI : 10.1093/bioinformatics/btg1031

J. Sametinger, Software Engineering with Reusable Components, 1997.
DOI : 10.1007/978-3-662-03345-6

D. Sangiorgi and D. Walker, PI-Calculus : A Theory of Mobile Processes, 2001.

E. B. Shapiro, Network timetable, Cité, vol.20, 1969.
DOI : 10.17487/rfc0004

M. Shaw and D. Garlan, Software Architecture : Perspectives on an Emerging Discipline, 1996.

J. Siegel, CORBA 3 Fundamentals and Programming Cité page 26. [181] J. Sifakis. Rigorous system design, Proceedings of the 2014 ACM symposium on Principles of distributed computing, pp.292-292, 1999.

D. Skogan, R. Grønmo, and I. Solheim, Web service composition in UML, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004., pp.47-57, 2004.
DOI : 10.1109/EDOC.2004.1342504

R. Soley, Model driven architecture, 2000.

J. Sroka, J. Hidders, P. Missier, and C. Goble, A formal semantics for the Taverna 2 workflow model, The 3rd International Workshop on Workflow Management and Applications in Grid En- vironments. Cité page 39, pp.490-508, 2010.
DOI : 10.1016/j.jcss.2009.11.009

J. Syed, M. Ghanem, and Y. Guo, Discovery processes : representation and reuse, Proceedings of First UK e-Science All-hands Conference, p.38, 2002.

C. Szyperski, Component Software : Beyond Object-Oriented Programming, p.23, 2002.

N. Sörensson and N. Een, Open-source SAT solver, 2008.

A. Taherkordi, R. Rouvoy, and F. Eliassen, A component-based approach for service distribution in sensor networks, Proceedings of the 5th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks, MidSens '10, pp.22-28, 2010.
DOI : 10.1145/1890784.1890789
URL : https://hal.archives-ouvertes.fr/inria-00522709

D. Talia, Workflow Systems for Science: Concepts and Tools, ISRN Software Engineering, vol.37, issue.1, pp.2013-2055
DOI : 10.1109/TSC.2009.4

W. Tan, Y. Fan, and M. Zhou, A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language, IEEE Transactions on Automation Science and Engineering, vol.6, issue.1, pp.94-106, 2009.
DOI : 10.1109/TASE.2008.916747

W. Tan, P. Missier, I. Foster, R. Madduri, D. De-roure et al., A comparison of using Taverna and BPEL in building scientific workflows: the case of caGrid, Concurrency and Computation: Practice and Experience, vol.12, issue.10, pp.1098-1117, 2010.
DOI : 10.1002/cpe.1547

I. Taylor, M. Shields, I. Wang, and A. Harrison, The Triana Workflow Environment: Architecture and Applications, Science, pp.320-339, 2007.
DOI : 10.1007/978-1-84628-757-2_20

D. Thain, T. Tannenbaum, and M. Livny, Distributed computing in practice: the Condor experience, Concurrency and Computation: Practice and Experience, vol.11, issue.2-4, pp.323-356, 2005.
DOI : 10.1002/cpe.938

J. Tisseau, Réalité virtuelle : autonomie in virtuo, pp.15-16, 2001.

F. Tricas, F. Garcia-valles, J. M. Colom, and J. Ezpeleta, A petri net structurebased deadlock prevention solution for sequential resource allocation systems, Robotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on, pp.271-277, 2005.

W. Tsai, W. Song, R. Paul, Z. Cao, and H. Huang, Services-oriented dynamic reconfiguration framework for dependable distributed computing, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004., pp.554-559, 2004.
DOI : 10.1109/CMPSAC.2004.1342894

K. J. Turner and M. Sighireanu, (E)-Lotos: (Enhanced) Language of Temporal Ordering Specification, Software specification methods, pp.165-190, 2001.
DOI : 10.1007/978-1-4471-0701-9_10
URL : https://hal.archives-ouvertes.fr/hal-00160467

H. Van-der-aa, H. A. Reijers, and I. T. Vanderfeesten, Composing Workflow Activities on the Basis of Data-Flow Structures, Business Process Management -11th International Conference, BPM 2013, pp.275-282, 2013.
DOI : 10.1007/978-3-642-40176-3_23

A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

W. Vanderaalst and K. Vanhee, Workflow Management : Models, Methods, and Systems, p.36, 2004.

P. Va?eková and I. Cerná, Model Checking of Control-User Component-Based Parametrised Systems, Component-Based Software Engineering, pp.146-162
DOI : 10.1007/978-3-540-87891-9_10

. Springer, Cité page 59. [202] V. Vyatkin. IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, 2007.

V. Vyatkin and V. Dubinin, Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard, IEEE Transactions on Industrial Informatics, vol.6, issue.2, pp.155-165, 2010.
DOI : 10.1109/TII.2009.2033051

A. A. Wakrime, S. Limet, and S. Robert, Réseaux fifo colorés stricts pour la formalisation des applications de visualisation scientifique interactives. Revue des Nouvelles Technologies de l'Information, 6ème Conférence francophone sur les Architectures Logicielles, pp.7-103, 2014.

A. A. Wakrime, S. Limet, and S. Robert, Modeling interactive scientific visualization applications with strict colored fifo nets, Global Journal of Engineering Science and Researches, issue.2, pp.36-39
URL : https://hal.archives-ouvertes.fr/hal-01242592

J. Warnier and B. Flanagan, Logical construction of programs (LCP) Stenfert Kroese, 1974.

P. Wenisch, C. Van-treeck, A. Borrmann, E. Rank, and O. Wenisch, Computational steering on distributed systems: Indoor comfort simulations as a case study of interactive CFD on supercomputers, International Journal of Parallel, Emergent and Distributed Systems, vol.2, issue.4, pp.275-291, 2007.
DOI : 10.1023/A:1011420511667

J. Wing, A specifier's introduction to formal methods, Computer, vol.23, issue.9, pp.8-22, 1990.
DOI : 10.1109/2.58215

P. C. Wong and J. Thomas, Visual Analytics, IEEE Computer Graphics and Applications, vol.24, issue.5, pp.20-21, 2004.
DOI : 10.1109/MCG.2004.39

H. Wu, F. Zhong, and Z. Duan, A ??-calculus based model for web services composition, 2006 First International Symposium on Pervasive Computing and Applications, pp.1-6, 2006.
DOI : 10.1109/SPCA.2006.297495

P. Xiong, Y. Fan, and M. Zhou, A petri net approach to analysis and composition of web services. Systems, Man and Cybernetics, Part A : Systems and Humans, IEEE Transactions on, vol.40, issue.2, pp.376-387, 2010.

J. Yu, Q. Z. Sheng, and J. K. Swee, Model-Driven Development of Adaptive Service-Based Systems with Aspects and Rules, Web Information Systems Engineering?WISE 2010, pp.548-563, 2010.
DOI : 10.1109/TSC.2009.17

Y. Yu, T. Li, Q. Liu, and F. Dai, Approach to Modeling Components in Software Architecture, Journal of Software, vol.6, issue.11, pp.2196-2200, 2011.
DOI : 10.4304/jsw.6.11.2196-2200

M. Zain-ul-abdein, D. Nelias, J. Jullien, and D. Deloison, Prediction of laser beam welding-induced distortions and residual stresses by numerical simulation for aeronautic application, Journal of Materials Processing Technology, vol.209, issue.6, pp.2907-2917, 2009.
DOI : 10.1016/j.jmatprotec.2008.06.051
URL : https://hal.archives-ouvertes.fr/hal-00514530

D. Zeltzer, Autonomy, Interaction, and Presence, Presence: Teleoperators and Virtual Environments, vol.1, issue.1, pp.127-132, 1992.
DOI : 10.1162/pres.1992.1.1.127

H. Zeng and H. Miao, Deadlock Detection for Parallel Composition of Components, Computer and Information Science 2010, pp.23-34, 2010.
DOI : 10.1007/978-3-642-15405-8_3

L. Zhang, C. F. Madigan, M. H. Moskewicz, and S. Malik, Efficient conflict driven learning in a boolean satisfiability solver, Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, pp.279-285, 2001.