Transactional Service Level Agreement ⋆ (2009)
Maria Grazia Buscemi, Hernán Melgratti
Abstract. Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service oriented...
Event Structure Semantics for Dynamic Graph Grammars (2009)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, Paolo Baldan, Hartmut Ehrig, Julia Padberg, ...
Abstract: Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction....
Multiparty sessions in SOC ⋆ (2008)
Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been proposed in the...
Transactional Service Level Agreement ⋆ (2008)
Maria Grazia Buscemi, Hernán Melgratti
Abstract. Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service oriented...
Event Structure Semantics for Dynamic Contextual Nets ⋆ (2008)
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Petri nets and Graph Transformation Systems (GTSs) are two well-known models for concurrent systems. Petri nets, conceptually simpler, had became a reference model for experimenting with and...
Testing Service Composition (2008)
Antonio Bucchiarone, Hernán Melgratti, Francesco Severoni
Abstract. Service Oriented Computing (SOC) is aimed at providing the bases for building software by assembling independent, loosely coupled services. As any software development activity, also...
Non-sequential behaviour of dynamic nets (2008)
Roberto Bruni, Hernán Melgratti
Abstract. Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as data), (ii)...
Abstract Flat Committed Join in Join 1 (2008)
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Committed Join (cJoin) is an extension of Join with high-level primitives for programming dynamic nested negotiations with compensations. In this paper we show that flat cJoin processes (i.e....
Non-sequential behaviour of dynamic nets (2008)
Roberto Bruni, Hernán Melgratti
Abstract. Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as data), (ii)...
Event Structure Semantics for Dynamic Graph Grammars (2008)
Roberto Bruni, Hernán Melgratti, Ugo Montanari, Paolo Baldan, Hartmut Ehrig, Julia Padberg, ...
Abstract: Dynamic graph grammars (DGGs) are a reflexive extension of Graph Grammars that have been introduced to represent mobile reflexive systems and calculi at a convenient level of abstraction....
Flat Committed Join in Join 1 (2008)
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Committed Join (cJoin) is an extension of Join with high-level primitives for programming dynamic nested negotiations with compensations. In this paper we show that flat cJoin processes (i.e....
A fuzzy approach for negotiating quality of services (2007)
Davide Bacciu, Alessio Botta, Hernán Melgratti
Abstract. A central point when integrating services concerns to the description, agreement and enforcement of the quality aspect of service interaction, usually known as Service Level Agreement...
Modelling Dynamic Software Architectures using Typed Graph Grammars Abstract (2007)
Antonio Bucchiarone, Hernán Melgratti, Stefania Gnesi, Roberto Bruni
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of the structure of a...
Event structure semantics for nominal calculi (2006)
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Abstract. Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal calculi have...
Dynamic Graph Transformation Systems (2006)
Roberto Bruni, Hernán Melgratti
Abstract. We introduce an extension of Graph Grammars (GGs), called Dynamic Graph Grammars (DynGGs), where the right-hand side of a production can spawn fresh parts of the type graph and fresh...
Translating Orc features into petri nets and the join calculus (2006)
Roberto Bruni, Hernán Melgratti, Emilio Tuosto
Abstract. Cook and Misra’s Orc is an elegant language for orchestrating distributed services, able to cover e.g. van der Aalst’s workflow patterns. We aim to understand the key novel features of...
Comparing two approaches to compensable flow composition (2005)
Roberto Bruni, Michael Butler, Carla Ferreira, Tony Hoare, Hernán Melgratti, Ugo Montanari
Abstract. Web services composition is an emerging paradigm for the integration of long running business processes, attracting the interest of both Industry, in terms of XML-based standards for...
From theory to practice in transactional composition of web services (2005)
Roberto Bruni, Gianluigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
Abstract We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. The framework presented in this paper...
Comparing two approaches to compensable flow composition (2005)
Roberto Bruni, Michael Butler, Carla Ferreira, Tony Hoare, Hernán Melgratti, Ugo Montanari
Abstract. Web services composition is an emerging paradigm for the integration of long running business processes, attracting the interest of both Industry, in terms of XML-based standards for...
From theory to practice in transactional composition of web services (2005)
Roberto Bruni, Gianluigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
Abstract We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. Long-running transactions differ from...
Nested commits for mobile calculi: extending Join (2004)
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Abstract In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distributed...