Abstract:
Recent years have witnessed an increasing interest about a rigorous modelling of (different classes of) connectors. Here, the term connector is used to name entities that can regulate the interaction of possibly heterogeneous components. Thus, connectors must take care of exogenous coordination, handling all those aspects that lie outside the scopes of individual components. This has led to the development of different frameworks that are used to specify, design, analyse, compare, prototype and implement connector-based middleware and a rigorous mathematical foundation of connectors is crucial for the analysis of exogenously coordinated systems. In this survey, we overview the main features of some notable theories of connectors, namely the algebra of stateless connectors, the tile model, Reo, BIP, nets with boundaries and the wire calculus. We discuss similarities, differences, mutual embedding and possible enhancements. © 2013 Springer-Verlag Berlin Heidelberg.
Registro:
Documento: |
Artículo
|
Título: | A survey on basic connectors and buffers |
Autor: | Bruni, R.; Melgratti, H.; Montanari, U. |
Ciudad: | Turin |
Filiación: | Dipartimento di Informatica, Università di Pisa, Italy Departamento de Computación, Universidad de Buenos Aires - Conicet, Argentina
|
Palabras clave: | Coordinated system; Different class; Heterogeneous component; Individual components; Mathematical foundations; Stateless connectors; Tile models; Middleware; Surveys |
Año: | 2013
|
Volumen: | 7542 LNCS
|
Página de inicio: | 49
|
Página de fin: | 68
|
DOI: |
http://dx.doi.org/10.1007/978-3-642-35887-6-3 |
Título revista: | 10th International Symposium on Formal Methods for Components and Objects, FMCO 2011
|
Título revista abreviado: | Lect. Notes Comput. Sci.
|
ISSN: | 03029743
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7542LNCS_n_p49_Bruni |
Referencias:
- Arbab, F., (2004) Reo: A Channel-based Coordination Model for Component Composition, 14 (3), pp. 329-366. , Mathematical Structures in Computer Science
- Arbab, F., Bruni, R., Clarke, D., Lanese, I., Montanari, U., Tiles for reo (2009) WADT 2008. LNCS, 5486, pp. 37-55. , In: Corradini, A., Montanari, U. eds Springer, Heidelberg
- Arbab, F., Rutten, M.J.J.M., A coinductive calculus of component connectors (2003) WADT 2002. LNCS, 2755, pp. 34-55. , In: Wirsing, M., Pattinson, D., Hennicker, R. eds. Springer, Heidelberg
- Baier, C., Sirjani, M., Arbab, F., Rutten, J., (2006) Modeling Component Connectors in Reo by Constraint Automata, 61 (2), pp. 75-113. , Sci. Comput. Program
- Baldan, P., Corradini, A., Ehrig, H., Heckel, R., (2005) Compositional Semantics for Open Petri Nets Based on Deterministic Processes, 15 (1), pp. 1-35. , Mathematical Structures in Computer Science
- 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., (2008) The Algebra of Connectors-structuring Interaction in BIP, 57 (10), pp. 1315-1330. , IEEE Trans. Computers
- Bliudze, S., Sifakis, J., Causal semantics for the algebra of connectors (2010) Formal Methods in System Design, 36 (2), pp. 167-194
- Bruni, R., (1999) Tile Logic for Synchronized Rewriting of Concurrent Systems, , PhD Thesis Computer Science Department University of Pisa
- 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 (2012) PSI 2011. LNCS, 7162, pp. 19-38. , In: Clarke, E., Virbitskaite, I., Voronkov, A. eds. Springer, Heidelberg
- Bruni, R., Melgratti, H.C., Montanari, U., A connector algebra for p/t nets interactions (2011) CONCUR 2011. LNCS, 6901, pp. 312-326. , In: Katoen, J.-P., König, B. eds. Springer, Heidelberg
- Bruni, R., Montanari, U., Dynamic connectors for concurrency (2002) Theor. Comput. Sci, 281 (1-2), pp. 131-176
- Clarke, D., Costa, D., Arbab, F., (2007) Connector Colouring I: Synchronisation and Context Dependency Sci. Comput. Program., 66 (3), pp. 205-225
- Ferrari, G.L., Montanari, U., Tile formats for located and mobile systems (2000) Inf. Comput., 1-2 (156), pp. 173-235
- Fiadeiro, J.L., Maibaum, E.T.S., Categorical semantics of parallel program design (1997) Sci. Comput. Program., 28 (2-3), pp. 111-138
- Gadducci, F., Montanari, U., The tile model (2000) Proof, Language, and Interaction, pp. 133-166. , The MIT Press
- Garcia-Molina, H., Salem, S.K., (1987) Proceedings of the ACM Special Interest Group on Management of Data Annual Conference, pp. 249-259
- Jongmans, T.S.-S., Arbab, F., Overview of thirty semantic formalisms for Reo (2012) Scientific Annals of Computer Science, 22 (1), pp. 201-251
- Katis, P., Sabadini, N., Walters, C.R.F., Representing place/transition nets in Span(Graph) (1997) AMAST 1997. LNCS, 1349, pp. 322-336. , In: Johnson, M. ed. Springer, Heidelberg
- Kokash, N., Arbab, F., (2009) Applying Reo to Service Coordination in Long-running Business Transactions, pp. 1381-1382. , In: SAC
- Montanari, U., Rossi, F., Graph rewriting, constraint solving and tiles for coordinating distributed systems (1999) Applied Categorical Structures, 7 (4), pp. 333-370
- Petri, C., Kommunikation mit Automaten (1962) PhD Thesis, , Institut für Instrumentelle Mathematik, Bonn
- Sobocinski, P., A non-interleaving process calculus for multi-party synchronisation (2009) ICE. EPTCS, 12, pp. 87-98
- Sobocinski, P., Representations of petri net interactions (2010) CONCUR 2010. LNCS, 6269, pp. 554-568. , In: Gastin, P., Laroussinie, F. eds. Springer, Heidelberg
- Wohed, P., Van Der Aalst, W.M.P., Dumas, M., Ter Hofstede, A.H.M., Analysis of web services composition languages: The case of bpel4ws (2003) ER 2003. LNCS, 2813, pp. 200-215. , In: Song, I.-Y., Liddle, S. W., Ling, T.-W., Scheuermann, P. eds Springer, HeidelbergA4 - COST Action IC0701; Museo Regionale di Scienze Naturali (MRSN); University of Turin
Citas:
---------- APA ----------
Bruni, R., Melgratti, H. & Montanari, U.
(2013)
. A survey on basic connectors and buffers. 10th International Symposium on Formal Methods for Components and Objects, FMCO 2011, 7542 LNCS, 49-68.
http://dx.doi.org/10.1007/978-3-642-35887-6-3---------- CHICAGO ----------
Bruni, R., Melgratti, H., Montanari, U.
"A survey on basic connectors and buffers"
. 10th International Symposium on Formal Methods for Components and Objects, FMCO 2011 7542 LNCS
(2013) : 49-68.
http://dx.doi.org/10.1007/978-3-642-35887-6-3---------- MLA ----------
Bruni, R., Melgratti, H., Montanari, U.
"A survey on basic connectors and buffers"
. 10th International Symposium on Formal Methods for Components and Objects, FMCO 2011, vol. 7542 LNCS, 2013, pp. 49-68.
http://dx.doi.org/10.1007/978-3-642-35887-6-3---------- VANCOUVER ----------
Bruni, R., Melgratti, H., Montanari, U. A survey on basic connectors and buffers. Lect. Notes Comput. Sci. 2013;7542 LNCS:49-68.
http://dx.doi.org/10.1007/978-3-642-35887-6-3