Filters








10 Hits in 6.6 sec

Structured Co-spans: An Algebra of Interaction Protocols [chapter]

José Luiz Fiadeiro, Vincent Schmitt
Algebra and Coalgebra in Computer Science  
We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems.  ...  of (co-)span in which the arms are structured morphisms -the head (the glue of the protocol) and the hands (the interfaces of the protocol) belong to different categories, the category of glues being coordinated  ...  Acknowledgments We would like to acknowledge the contribution of Antónia Lopes with whom much of the work around coordinated categories in general, and interaction protocols in particular, has been developed  ... 
doi:10.1007/978-3-540-73859-6_14 dblp:conf/calco/FiadeiroS07 fatcat:633gmlfvlffdlhrfmxvte4ka2q

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling [chapter]

João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2007 Lecture Notes in Computer Science  
We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems.  ...  Our approach is based on a novel language and logic of interactions, and a mathematical semantics of composition based on graphs.  ...  Another important aspect of our model is an algebraic semantics that accounts for interaction protocols as structured co-spans, the full mathematical characterisation of which can be found in [8] .  ... 
doi:10.1007/978-3-540-73196-2_23 fatcat:afbo4ug3gncq5hy5mjqabonpeq

An abstract model of service discovery and binding

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2010 Formal Aspects of Computing  
Discovery, ranking and selection are based on compliance with required business and interaction protocols and optimisation of quality-of-service constraints.  ...  Binding and reconfiguration are captured as algebraic operations on configuration graphs.  ...  We also received very useful feedback from reviewers of earlier versions of the paper.  ... 
doi:10.1007/s00165-010-0166-z fatcat:qzdbh4f4prbhbn2ebc4km5zemu

Algebraic Theories for Contextual Pre-nets [chapter]

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
2003 Lecture Notes in Computer Science  
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious behaviors that must be somewhat  ...  In this paper, we exploit partial membership equational logic to define a suitable theory of models, where the meaningful concurrent computations can be selected by means of membership predicates.  ...  Acknowledgment We warmfully thank Paolo Baldan for many interesting discussions on the semantics of contextual nets.  ... 
doi:10.1007/978-3-540-45208-9_21 fatcat:pajxytx5wve35jl7gvqp7cbkbe

Dynamic connectors for concurrency

Roberto Bruni, Ugo Montanari
2002 Theoretical Computer Science  
The former allow for the modeling of various kinds of graph-like and term-like structures, which can be useful in representing system distribution and causal histories.  ...  The main ingredients of our framework are connectors and tile logic.  ...  of relations introduced by Carboni and Walters [23, 24] , and to the (co)span categories considered in [13] by Gadducci (in joint work with the ÿrst author).  ... 
doi:10.1016/s0304-3975(02)00011-7 fatcat:yyxcjj72pvdvng3jbdqglb2ena

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)

Anthony Cleve, Ekkart Kindler, Perdita Stevens, Vadim Zaytsev, Michael Wagner
2019 Dagstuhl Reports  
The report contains an executive summary of the seminar, reports from its working groups, as well as descriptions of industrial and academic case studies that motivated the discussions.  ...  However, so far, most efforts have been focused on the case where exactly two information sources must be kept consistent; the case of more than two has usually been considered as an afterthought.  ...  As a proof object, an additional protocol is required that tracks the sequence of rule applications.  ... 
doi:10.4230/dagrep.8.12.1 dblp:journals/dagstuhl-reports/CleveKSZ18 fatcat:mdln6uhtojam3gjmyqxr4wxmoq

Formal Modeling, Simulation, and Validation of Communication Platforms [article]

Tony Modica, Technische Universität Berlin, Technische Universität Berlin, Hartmut Ehrig
2012
On the theoretical side, this requires to develop a theory of algebraic high-level nets with individual tokens, such that the corresponding high-level replacement systems satisfy the requirements of M-adhesive  ...  In this thesis, we propose a suitable integration of algebraic high-level Petri nets and high-level replacement systems, based on well-known graph transformation techniques, in order to close this gap.  ...  ., the co-span of user actions in the bottom of Fig. 6 .3 from the span in the top (for parallel independent actions) or the right sequence from the left sequence (for sequentially independent actions  ... 
doi:10.14279/depositonce-3404 fatcat:utcq2qztdjdb3pfgz5fvi57li4

Interaction on human-centric communication platforms

Karsten Gabriel, Technische Universität Berlin, Technische Universität Berlin, Hartmut Ehrig
2014
In this thesis, in order to close this gap, we present a modelling framework for communication platforms and scenarios that is an integration of Petri net, algebraic data type, process and graph transformation  ...  Within this framework, we obtain main conceptual results concerning communication platforms and scenarios of interactions that rely on technical results concerning the modelling and evolution of algebraic  ...  construction also to pullbacks over co-spans of functors.  ... 
doi:10.14279/depositonce-3999 fatcat:vbrnd4kuqned3kem3r2m4e4gy4

Dagstuhl Reports, Volume 8, Issue 12, December 2018, Complete Issue [article]

2019
there are substantial benefits to be obtained from co-spans [1, 3] -small systems that capture the essential shared data among other systems, rather than spans which seem to correspond to large federated  ...  As a proof object, an additional protocol is required that tracks the sequence of rule applications.  ...  Network reconstruction: We wish to reconstruct a network given some information from each of the nodes (e.g. the structure of a network of friends on social media), where a node or some subset of nodes  ... 
doi:10.4230/dagrep.8.12 fatcat:qrcl4gshijhall66baekyzzmg4

EXPERIMENTAL AND THEORETICAL He-BROADENED LINE PARAMETERS OF CARBON MONOXIDE IN THE FUNDAMENTAL BAND

Mary Smith, Arlan Mantz, V. Devi, Franck Thibault, Hossein Naseri, Shamria Latif, Koorosh Esteki, Hoimonti Rosario, Adriana Predoi-Cross
2016 Proceedings of the 71st International Symposium on Molecular Spectroscopy   unpublished
I will further highlight significant applications in functional analysis of single cells and in label-free detection of diseases.  ...  In this presentation, I will discuss the most recent efforts that have pushed the physical limits of spectroscopic imaging in terms of spectral acquisition speed, detection sensitivity, spatial resolution  ...  Each cell in the grid is assigned an independent set of DM equations, and thus acts as an independent source of induced polarization.  ... 
doi:10.15278/isms.2016.wb02 fatcat:oblsm3g4g5aqxjaz63feslacay