Navegar

Colección

Datos Estadísticas

Artículo

Bruni, R.; Melgratti, H.; Montanari, U. "A connector algebra for P/T nets interactions" (2011) 22nd Conference on Concurrency Theory, CONCUR 2011. 6901 LNCS:312-326
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:

A quite flourishing research thread in the recent literature on component-based system is concerned with the algebraic properties of various kinds of connectors for defining well-engineered systems. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, plus their duals. The connectors can be composed in series or in parallel and employing a simple 1-state buffer they can model the coordination language Reo. Pawel Sobocinski employed essentially the same stateful extension of connector algebra to provide semantics-preserving mutual encoding with some sort of elementary Petri nets with boundaries. In this paper we show how the tile model can be used to extend Sobocinski's approach to deal with P/T nets, thus paving the way towards more expressive connector models. © 2011 Springer-Verlag.

Registro:

Documento: Artículo
Título:A connector algebra for P/T nets interactions
Autor:Bruni, R.; Melgratti, H.; Montanari, U.
Ciudad:Aachen
Filiación:Dipartimento di Informatica, Università di Pisa, Italy
Departamento de Computación, Universidad de Buenos Aires - Conicet, Argentina
Palabras clave:Algebraic properties; Component based systems; Coordination language; P/T net; Stateless connectors; Tile models; Petri nets; Semantics; Software engineering; Algebra
Año:2011
Volumen:6901 LNCS
Página de inicio:312
Página de fin:326
DOI: http://dx.doi.org/10.1007/978-3-642-23217-6_21
Título revista:22nd Conference on Concurrency Theory, CONCUR 2011
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6901LNCS_n_p312_Bruni

Referencias:

  • Arbab, F., Reo: A channel-based coordination model for component composition (2004) Math. Struct. in Comp. Science, 14 (3), pp. 329-366
  • Arbab, F., Bruni, R., Clarke, D., Lanese, I., Montanari, U., Tiles for reo (2009) LNCS, 5486, pp. 37-55. , Corradini, A., Montanari, U. (eds.) WADT 2008. Springer, Heidelberg
  • Baldan, P., Corradini, A., Ehrig, H., Heckel, R., Compositional semantics for open Petri nets based on deterministic processe (2005) Math. Struct. in Comp. Science, 15 (1), pp. 1-35
  • Barbosa, M.A., Barbosa, L.S., Specifying software connectors (2005) LNCS, 3407, pp. 52-67. , Liu, Z., Araki, K. (eds.) ICTAC 2004. Springer, Heidelberg
  • Bliudze, S., Sifakis, J., The algebra of connectors - Structuring interaction in BIP (2008) IEEE Trans. Computers, 57 (10), pp. 1315-1330
  • Bliudze, S., Sifakis, J., Causal semantics for the algebra of connectors (2010) Formal Methods in System Design, 36 (2), pp. 167-194
  • Bruni, R., Gadducci, F., Montanari, U., Normal forms for algebras of connection (2002) Theor. Comput. Sci., 286 (2), pp. 247-292
  • Bruni, R., Lanese, I., Montanari, U., A basic algebra of stateless connectors (2006) Theor. Comput. Sci., 366 (1-2), pp. 98-120
  • Bruni, R., Montanari, U., Dynamic connectors for concurrency (2002) Theor. Comput. Sci., 281 (1-2), pp. 131-176
  • Bruni, R., Montanari, U., Rossi, F., An interactive semantics of logic programming (2001) TPLP, 1 (6), pp. 647-690
  • Corradini, A., Montanari, U., An algebraic semantics for structured transition systems and its application to logic programs (1992) Theoret. Comput. Sci., 103, pp. 51-106
  • Ferrari, G.L., Montanari, U., Tile formats for located and mobile systems (2000) Inf. Comput., 156 (1-2), pp. 173-235
  • Fiadeiro, J.L., Maibaum, T.S.E., 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, Cambridge
  • Larsen, K.G., Xinxin, L., Compositionality through an operational semantics of contexts (1990) LNCS, 443, pp. 526-539. , Paterson, M. (ed.) ICALP 1990. Springer, Heidelberg
  • Meseguer, J., Conditional rewriting logic as a unified model of concurrency (1992) Theoret. Comput. Sci., 96, pp. 73-155
  • Montanari, U., Rossi, F., Graph rewriting, constraint solving and tiles for coordinating distributed systems (1999) Applied Categorical Structures, 7 (4), pp. 333-370
  • Perry, D.E., Wolf, E.L., Foundations for the study of software architecture (1992) ACM SIGSOFT Software Engineering Notes, 17, pp. 40-52
  • Petri, C., (1962) Kommunikation Mit Automaten, , PhD thesis, Institut für Instrumentelle Mathematik, Bonn
  • Plotkin, G.D., A structural approach to operational semantics (2004) J. Log. Algebr. Program., 60-61, pp. 17-139
  • Sobocinski, P., A non-interleaving process calculus for multi-party synchronisation (2009) EPTCS, 12, pp. 87-98. , ICE 2009
  • Sobocínski, P., Representations of petri net interactions (2010) LNCS, 6269, pp. 554-568. , Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. Springer, Heidelberg
  • Stefanescu, G., Reaction and control i. Mixing additive and multiplicative network algebras (1998) Logic Journal of the IGPL, 6 (2), pp. 348-369

Citas:

---------- APA ----------
Bruni, R., Melgratti, H. & Montanari, U. (2011) . A connector algebra for P/T nets interactions. 22nd Conference on Concurrency Theory, CONCUR 2011, 6901 LNCS, 312-326.
http://dx.doi.org/10.1007/978-3-642-23217-6_21
---------- CHICAGO ----------
Bruni, R., Melgratti, H., Montanari, U. "A connector algebra for P/T nets interactions" . 22nd Conference on Concurrency Theory, CONCUR 2011 6901 LNCS (2011) : 312-326.
http://dx.doi.org/10.1007/978-3-642-23217-6_21
---------- MLA ----------
Bruni, R., Melgratti, H., Montanari, U. "A connector algebra for P/T nets interactions" . 22nd Conference on Concurrency Theory, CONCUR 2011, vol. 6901 LNCS, 2011, pp. 312-326.
http://dx.doi.org/10.1007/978-3-642-23217-6_21
---------- VANCOUVER ----------
Bruni, R., Melgratti, H., Montanari, U. A connector algebra for P/T nets interactions. Lect. Notes Comput. Sci. 2011;6901 LNCS:312-326.
http://dx.doi.org/10.1007/978-3-642-23217-6_21