A transition system semantics for the control-driven coordination language MANIFOLD Coordination languages are a new class of parallel programming languages which manage the interactions among concurrent programs. Basically, coordination is achieved either by manipulating data values shared among all active processes or by dynamically evolving the interconnections among the processes as a consequence of observations of their state changes. The latter, also called control-driven coordination, is supported by MANIFOLD. We present the formal semantics of a kernel of MANIFOLD, based on a two-level transition system model: the first level is used to specify the ideal behavior of each single component in a MANIFOLD system, whereas the second level captures their interactions. Although we apply our two-level model in this paper to define the semantics of a control-oriented coordination language, this approach is useful for the formal studies of other coordination models and languages as well.

References in zbMATH (referenced in 39 articles , 1 standard article )

Showing results 1 to 20 of 39.
Sorted by year (citations)

1 2 next

  1. Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra: A model of context-dependent component connectors (2012)
  2. Silva, Alexandra: A specification language for Reo connectors (2012)
  3. Busi, Nadia; Zavattaro, Gianluigi: A process algebraic view of shared dataspace coordination (2008)
  4. Ciobanu, Gabriel; Prisacariu, Cristian: Coordination by timers for channel-based anonymous communications. (2007)
  5. Díaz, Manuel; Rubio, Bartolomé; Troya, José M.: A tuple channel-based coordination model for parallel and distributed programming (2007)
  6. Fuentes, Lidia; Sánchez, Pablo: Aspect-oriented coordination. (2007)
  7. Arbab, Farhad: Coordination for component composition. (2006)
  8. Busi, Nadia; Zavattaro, Gianluigi: A process algebraic view of coordination. (2006)
  9. Clarke, Dave; Costa, David; Arbab, Farhad: Connector colouring I: Synchronisation and context dependency. (2006)
  10. Linden, I.; Jacquet, J.-M.; De Bosschere, K.; Brogi, A.: On the expressiveness of timed coordination models (2006)
  11. Omicini, Andrea; Ricci, Alessandro; Viroli, Mirko: Agent coordination contexts for the formal specification and enactment of coordination and security policies (2006)
  12. Arbab, Farhad: Abstract behavior types: a foundation model for components and their composition (2005)
  13. Bracciali, Andrea; Brogi, Antonio; Turini, Franco: A framework for specifying and verifying the behaviour of open systems (2005)
  14. Campa, Sonia: A formal framework for orthogonal data and control parallelism handling (2005)
  15. Pattinson, Dirk; Wirsing, Martin: A coordination approach to mobile components (2005)
  16. Arbab, Farhad: Reo: a channel-based coordination model for component composition (2004)
  17. Linden, I.; Jacquet, J.-M.: On the expressiveness of absolute-time coordination languages (2004)
  18. Viroli, Mirko: Towards a formal foundation to orchestration languages. (2004)
  19. Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi: Comparing coordination models and architectures using embeddings (2003)
  20. Moran, Andrew; Sands, David; Carlsson, Magnus: Erratic Fudgets: A semantic theory for an embedded coordination language (2003)

1 2 next