ReSpecT Foundations

Before ReSpecT: The ACLT coordination model

The ReSpecT language derives from the work on the ACLT coordination model, where the notion of reaction was first defined, and the notion of programmability of tuple spaces was proposed for the first time.

• An Extensible Framework for the Development of Coordinated Applications (paper in proceedings, 1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
• Logic Tuple Spaces for the Coordination of Heterogeneous Agents (paper in proceedings, 1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
• Programmable Coordination Media (paper in proceedings, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini

The definition of ReSpecT

• On the Expressive Power of a Language for Programming Coordination Media (paper in proceedings, 1998) — Enrico Denti, Antonio Natali, Andrea Omicini
• Formal ReSpecT (paper in proceedings, 2001) — Andrea Omicini, Enrico Denti
• From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti

Extending ReSpecT

• Linkability
  • Extending ReSpecT for Multiple Coordination Flows (paper in proceedings, 2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
  • Distributed Workflow upon Linkable Coordination Artifacts (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
  • Linkable Coordination Artifacts for Inter-Organisational Workflow (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
• A&A meta-model
  • Formal ReSpecT in the A&A Perspective (paper in proceedings, 2007) — Andrea Omicini
  • Prototyping A&A ReSpecT in Maude (paper in proceedings, 2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
• Time
  • Time-Aware Coordination in ReSpecT (paper in proceedings, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
  • Timed Environment for Web Agents (article in journal, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
• Situatedness
  • Situating A&A ReSpecT for Pervasive Environment Applications (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini
  • Situated Tuple Centres in ReSpecT (paper in proceedings, 2009) — Matteo Casadei, Andrea Omicini