Design Templates for Collective Behavior

Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues to be a challenging task. This is especially true for distributed reactive systems. The joint action paradigm is a design methodology that concentrates on the collective behavior of objects. Aspects of collective behavior are gradually introduced in a controlled manner in a specification. This paper presents how such aspects can be archived as generic templates, and instantiated in such a way that formal properties verified for a template become properties of its application. Both design and verification effort are reused when a template is applied.

• Type: Conference
• Year: 2000
• Where: ECOOP
• Authors: Pertti Kellomäki, Tommi Mikkonen
• Keywords: Collective Behavior, ECOOP 2000, Joint Action Paradigm, Programming Languages, Sequential Behavior