MANIFOLD

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 29 articles , 1 standard article )

Showing results 1 to 20 of 29.
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. Díaz, Manuel; Rubio, Bartolomé; Troya, José M.: A tuple channel-based coordination model for parallel and distributed programming (2007)
  5. Linden, I.; Jacquet, J.-M.; De Bosschere, K.; Brogi, A.: On the expressiveness of timed coordination models (2006)
  6. Omicini, Andrea; Ricci, Alessandro; Viroli, Mirko: Agent coordination contexts for the formal specification and enactment of coordination and security policies (2006)
  7. Arbab, Farhad: Abstract behavior types: a foundation model for components and their composition (2005)
  8. Bracciali, Andrea; Brogi, Antonio; Turini, Franco: A framework for specifying and verifying the behaviour of open systems (2005)
  9. Campa, Sonia: A formal framework for orthogonal data and control parallelism handling (2005)
  10. Pattinson, Dirk; Wirsing, Martin: A coordination approach to mobile components (2005)
  11. Arbab, Farhad: Reo: a channel-based coordination model for component composition (2004)
  12. Linden, I.; Jacquet, J.-M.: On the expressiveness of absolute-time coordination languages (2004)
  13. Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi: Comparing coordination models and architectures using embeddings (2003)
  14. Moran, Andrew; Sands, David; Carlsson, Magnus: Erratic Fudgets: A semantic theory for an embedded coordination language (2003)
  15. Bracciali, Andrea; Brogi, Antonio; Canal, Carlos: Dynamically adapting the behaviour of software components (2002)
  16. Browne, James C.; Kane, Kevin; Tian, Hongxia: An associative broadcast based coordination model for distributed processes (2002)
  17. Groenewegen, Luuk; de Vink, Erik: Operational semantics for coordination in Paradigm (2002)
  18. Viroli, Mirko; Omicini, Andrea: Tuple-based models in the observation framework (2002)
  19. Schumacher, Michael: Objective coordination in multi-agent system engineering. Design and implementation (2001)
  20. Bonsangue, M.M.; Arbab, F.; de Bakker, J.W.; Rutten, J.J.M.M.; Scutellà, A.: A transition system semantics for the control-driven coordination language MANIFOLD (2000)

1 2 next