Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Design Templates for Collective Behavior
| |
|
Design Templates for Collective Behavior
Pertti Kellomäki5  and Tommi Mikkonen6
| (5) |
Software Systems Laboratory, Tampere University of Technology, P.O Box 553, FIN-33101 Tampere, Finland |
| (6) |
Nokia Mobile Phones, Tieteenkatu 1, FIN-33720 Tampere, Finland |
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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|