Artículo

Bruni, R.; Melgratti, H.; Montanari, U. "Behaviour, interaction and dynamics" (2014) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8373:382-401
El editor solo permite decargar el artículo en su versión post-print desde el repositorio. Por favor, si usted posee dicha versión, enviela a
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

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