Sciweavers

437 search results - page 1 / 88
» A Component Coordination Model Based on Mobile Channels
Sort
View
FUIN
2006
96views more  FUIN 2006»
13 years 4 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
SAC
2005
ACM
13 years 10 months ago
MoCha-pi, an exogenous coordination calculus based on mobile channels
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
ENTCS
2006
109views more  ENTCS 2006»
13 years 4 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
MA
1998
Springer
167views Communications» more  MA 1998»
13 years 9 months ago
Reactive Tuple Spaces for Mobile Agent Coordination
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
COORDINATION
2006
Springer
13 years 8 months ago
Stochastic Reasoning About Channel-Based Component Connectors
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
Christel Baier, Verena Wolf