Abstract:
The growth and diffusion of reconfigurable and adaptive systems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood notion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP component framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1) reconfigurable BI(P) allows to reconfigure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new components and interactions during execution. Our main technical results show that reconfigurable BI(P) is as expressive as BI(P), while dynamic BI(P) allows to deal with infinite state systems. Still, we show that reachability remains decidable for dynamic BI(P). © 2014 Springer-Verlag Berlin Heidelberg.
Registro:
Documento: |
Artículo
|
Título: | Behaviour, interaction and dynamics |
Autor: | Bruni, R.; Melgratti, H.; Montanari, U. |
Filiación: | Dipartimento di Informatica, Università di Pisa, Italy Departamento de Computación, FCEyN, Universidad de Buenos Aires, Conicet, Argentina
|
Palabras clave: | Computer science; Computers; Component framework; Infinite state systems; New components; Reachability; Reconfigurable; Software connectors; Artificial intelligence |
Año: | 2014
|
Volumen: | 8373
|
Página de inicio: | 382
|
Página de fin: | 401
|
DOI: |
http://dx.doi.org/10.1007/978-3-642-54624-2_19 |
Título revista: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
Título revista abreviado: | Lect. Notes Comput. Sci.
|
ISSN: | 03029743
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8373_n_p382_Bruni |
Referencias:
- Arbab, F., Bruni, R., Clarke, D., Lanese, I., Montanari, U., Tiles for reo (2009) LNCS, 5486, pp. 37-55. , In: Corradini, A., Montanari, U. (eds.), WADT 2008 Springer, Heidelberg
- Basu, A., Bozga, M., Sifakis, J., Modeling heterogeneous real-time components in BIP (2006) Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006, pp. 3-12. , IEEE Computer Society
- Bliudze, S., Sifakis, J., A notion of glue expressiveness for component-based systems (2008) LNCS, 5201, pp. 508-522. , In: van Breugel, F., Chechik, M. (eds.), CONCUR 2008 Springer, Heidelberg
- Bliudze, S., Sifakis, J., Causal semantics for the algebra of connectors (2010) Formal Methods in System Design, 36 (2), pp. 167-194
- Bliudze, S., Sifakis, J., Synthesizing glue operators from glue constraints for the construction of component-based systems (2011) LNCS, 6708, pp. 51-67. , In: Apel, S., Jackson, E. (eds.), SC 2011 Springer, Heidelberg
- Bozga, M., Jaber, M., Maris, N., Sifakis, J., Modeling dynamic architectures using Dy-BIP (2012) LNCS, 7306, pp. 1-16. , In: Gschwind, T., De Paoli, F., Gruhn, V., Book, M. (eds.), SC 2012 Springer, Heidelberg
- Bruni, R., Lanese, I., Montanari, U., A basic algebra of stateless connectors (2006) Theor. Comput. Sci., 366 (1-2), pp. 98-120
- Bruni, R., Melgratti, H., Montanari, U., Connector algebras, Petri nets, and BIP LNCS, 7162 (2012), pp. 19-38. , In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.), PSI 2011 Springer, Heidelberg
- Bruni, R., Melgratti, H., Montanari, U., Sobocínski, P., Connector algebras for C/E and P/T nets' interactions (2013) Logical Methods in Comp. Sci., 9 (3)
- Bruni, R., Melgratti, H., Montanari, U., A connector algebra for P/T nets interactions (2011) LNCS, 6901, pp. 312-326. , In: Katoen, J.-P., K̈onig, B. (eds.), CONCUR 2011 Springer, Heidelberg
- Esparza, J., Nielsen, M., Decidability issues for Petri nets (1994) Petri Nets Newsletter, 94, pp. 5-23
- Gadducci, F., Montanari, U., The tile model (2000) In Proof, Language, and Interaction, pp. 133-166. , The MIT Press
- Lapadula, A., Pugliese, R., Tiezzi, F., A formal account of ws-bpel (2008) LNCS, 5052, pp. 199-215. , In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008 Springer, Heidelberg
- Milner, R., Parrow, J., Walker, D., A calculus of mobile processes, I-II (1992) Inf. Comput., 100 (1), pp. 1-77
- Perry, D.E., Wolf, E.L., Foundations for the study of software architecture (1992) ACM SIGSOFT Software Engineering Notes, 17, pp. 40-52
- Sobocínski, P., Representations of petri net interactions (2010) LNCS, 6269, pp. 554-568. , In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010 Springer, Heidelberg
- Viroli, M., A core calculus for correlation in orchestration languages (2007) J. Log. Algebr. Program., 70 (1), pp. 74-95
Citas:
---------- APA ----------
Bruni, R., Melgratti, H. & Montanari, U.
(2014)
. Behaviour, interaction and dynamics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8373, 382-401.
http://dx.doi.org/10.1007/978-3-642-54624-2_19---------- CHICAGO ----------
Bruni, R., Melgratti, H., Montanari, U.
"Behaviour, interaction and dynamics"
. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8373
(2014) : 382-401.
http://dx.doi.org/10.1007/978-3-642-54624-2_19---------- MLA ----------
Bruni, R., Melgratti, H., Montanari, U.
"Behaviour, interaction and dynamics"
. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8373, 2014, pp. 382-401.
http://dx.doi.org/10.1007/978-3-642-54624-2_19---------- VANCOUVER ----------
Bruni, R., Melgratti, H., Montanari, U. Behaviour, interaction and dynamics. Lect. Notes Comput. Sci. 2014;8373:382-401.
http://dx.doi.org/10.1007/978-3-642-54624-2_19