Synchronous multiparty synchronizations and transactions
In this paper we analyze how a powerful synchronization mechanism such as synchronous multiparty synchronizations, which is able to specify atomic reconfigurations of large systems, can be implemented using binary synchronizations combined with a transactional mechanism. To this aim we show a mappin...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2008
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 06660caa a22006857a 4500 | ||
|---|---|---|---|
| 001 | PAPER-5861 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203532.0 | ||
| 008 | 190411s2008 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-45849098740 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Lanese, I. | |
| 245 | 1 | 0 | |a Synchronous multiparty synchronizations and transactions |
| 260 | |c 2008 | ||
| 270 | 1 | 0 | |m Lanese, I.; Dipartimento di Scienze dell'Informazione, Università di BolognaItaly; email: lanese@cs.unibo.it |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Hirsch, D., Inverardi, P., Montanari, U., Reconfiguration of software architecture styles with name mobility (2000) LNCS, 1906, pp. 148-163. , Porto, A, Roman, G.-C, eds, COORDINATION 2000, Springer, Heidelberg | ||
| 504 | |a Hirsch, D., (2003) Graph transformation models for software architecture styles, , PhD thesis, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, U.B.A | ||
| 504 | |a Lanese, I., Montanari, U.: Hoare vs Milner: Comparing synchronizations in a graphical framework with mobility. In: Proc. of GT-VC 2005. Elect.Notes in Th.Comput.Sci., 154(2), pp. 55-72. Elsevier Science, Amsterdam (2005); Parrow, J., Victor, B., The fusion calculus: Expressiveness and symmetry in mobile processes (1998) Proc. of LICS, , IEEE Computer Society Press, Los Alamitos | ||
| 504 | |a Milner, R., Parrow, J., Walker, D., A calculus of mobile processes (1992) Inform.and Comput, 100, pp. 1-77 | ||
| 504 | |a Lanese, I., Montanari, U., A graphical fusion calculus (2004) Proc. of the Workshop of the COMETA Project. Elect.Notes in Th.Comput.Sci, 104, pp. 199-215. , Elsevier Science, Amsterdam | ||
| 504 | |a Bruni, R., Montanari, U., Zero-safe nets: Comparing the collective and individual token approaches (2000) Inform.and Comput, 156 (1-2), pp. 46-89 | ||
| 504 | |a Lanese, I., Melgratti, H., Synchronous multiparty synchronizations and transactions, , http://cs.unibo.it/~lanese/work/ugo65-TR.pdf | ||
| 504 | |a Victor, B., (1998) The fusion calculus: Expressiveness and symmetry in mobile processes, , PhD thesis, Dept.of Computer Systems, Uppsala University, Sweden | ||
| 504 | |a Castellani, I., Montanari, U., Graph grammars for distributed systems (1983) LNCS, 153, pp. 20-38. , Ehrig, H, Nagl, M, Rozenberg, G, eds, Graph Grammars 1982, Springer, Heidelberg | ||
| 504 | |a Hirsch, D., Montanari, U., Synchronized hyperedge replacement with name mobility (2001) LNCS, 2154, pp. 121-136. , Larsen, K.G, Nielsen, M, eds, CONCUR 2001, Springer, Heidelberg | ||
| 504 | |a Ferrari, G., Montanari, U., Tuosto, E., A LTS semantics of ambients via graph synchronization with mobility (2001) LNCS, 2202, pp. 1-16. , Restivo, A, Ronchi Della Rocca, S, Roversi, L, eds, ICTCS 2001, Springer, Heidelberg | ||
| 504 | |a Lanese, I., Montanari, U., Synchronization algebras with mobility for graph transformations (2004) Proc. of FGUC 2004. Elect.Notes in Th.Comput.Sci, 138, pp. 43-60. , Elsevier, Amsterdam | ||
| 504 | |a Lanese, I., (2006) Synchronization strategies for global computing models, , PhD thesis, Computer Science Department, University of Pisa, Pisa, Italy | ||
| 504 | |a Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Proc. of POPL 1996, pp. 372-385. ACM Press, New York (1996); Bocchi, L., Wischik, L., A process calculus of atomic commit (2004) Proc. of WS-FM 2004. Elect.Notes in Th.Comput.Sci, 105, pp. 119-132. , Elsevier, Amsterdam | ||
| 504 | |a Bruni, R., Montanari, U.: Concurrent models for linda with transactions. Math.Struct.in Comput.Sci. 14(3), 421-468 (2004); Gorrieri, R., Marchetti, S., Montanari, U., A2CCS: Atomic actions for CCS (1990) Theoret.Comput.Sci, 72 (2-3), pp. 203-223 | ||
| 504 | |a Bruni, R., Melgratti, H., Montanari, U., Nested commits for mobile calculi: Extending Join (2004) Proc. of IFIP-TCS, pp. 569-582. , Kluwer Academic, Dordrecht | ||
| 504 | |a Bocchi, L., Laneve, C., Zavattaro, G., A calculus for long-running transactions (2003) LNCS, 2884, pp. 124-138. , Najm, E, Nestmann, U, Stevens, P, eds, FMOODS 2003, Springer, Heidelberg | ||
| 504 | |a Laneve, C., Zavattaro, G., Foundations of web transactions (2005) LNCS, 3441, pp. 282-298. , Sassone, V, ed, FOSSACS 2005, Springer, Heidelberg | ||
| 520 | 3 | |a In this paper we analyze how a powerful synchronization mechanism such as synchronous multiparty synchronizations, which is able to specify atomic reconfigurations of large systems, can be implemented using binary synchronizations combined with a transactional mechanism. To this aim we show a mapping from SHR, a graph transformation framework allowing multiparty synchronizations, to a generalization of Fusion Calculus featuring a transactional mechanism inspired by the Zero-Safe Petri nets. To complete the correspondence between the two formalisms we also present a mapping in the opposite direction. © 2008 Springer-Verlag Berlin Heidelberg. |l eng | |
| 593 | |a Dipartimento di Scienze dell'Informazione, Università di Bologna | ||
| 593 | |a Departamento de Computación, FCEyN, Universidad de Buenos Aires | ||
| 690 | 1 | 0 | |a (EXTENDED) PETRI NETS |
| 690 | 1 | 0 | |a FUSION CALCULUS |
| 690 | 1 | 0 | |a GRAPH TRANSFORMATIONS |
| 690 | 1 | 0 | |a HEIDELBERG (CO) |
| 690 | 1 | 0 | |a LARGE SYSTEMS |
| 690 | 1 | 0 | |a SPRINGER (CO) |
| 690 | 1 | 0 | |a CONFORMAL MAPPING |
| 690 | 1 | 0 | |a GRAPH THEORY |
| 690 | 1 | 0 | |a MARINE BIOLOGY |
| 690 | 1 | 0 | |a MECHANISMS |
| 690 | 1 | 0 | |a PETRI NETS |
| 690 | 1 | 0 | |a SYNCHRONIZATION |
| 700 | 1 | |a Melgratti, H. | |
| 711 | 2 | |g Código de la conferencia: 72369 | |
| 773 | 0 | |d 2008 |g v. 5065 LNCS |h pp. 76-95 |p Lect. Notes Comput. Sci. |n Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |x 03029743 |w (AR-BaUEN)CENRE-983 |z 3540686762 |z 9783540686767 |t Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-45849098740&doi=10.1007%2f978-3-540-68679-8_6&partnerID=40&md5=096e91ab73c354c4801244ef46c19290 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-540-68679-8_6 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_03029743_v5065LNCS_n_p76_Lanese |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5065LNCS_n_p76_Lanese |y Registro en la Biblioteca Digital |
| 961 | |a paper_03029743_v5065LNCS_n_p76_Lanese |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 963 | |a VARI | ||
| 999 | |c 66814 | ||