Behaviour specification of active objects in open generative communication environments

Coordination models based on generative communication are well established for modelling interactions between agents in open systems. Because such models focus on shared data spaces and not on the active agents operating on them, they lack adequate modelling power for specifying agent behaviour. Our work is based on the Objective Linda coordination model (Kielman, 1996) which exploits generative communication and object-based modelling in order to meet the requirements of open systems. For Objective Linda, we present a high-level Petri net formalism for agent behaviour specification that combines an easily understandable, visual representation with the applicability of formal reasoning on agent behaviour. Based on this formalism, we introduce a notion of types and subtyping for active agents. We illustrate the benefits of our work on an example from open systems design.

[1]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[2]  Bertrand Meyer,et al.  Systematic concurrent object-oriented programming , 1993, CACM.

[3]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[4]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[5]  Thilo Kielmann,et al.  Designing a Coordination Model for Open Systems , 1996, COORDINATION.

[6]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.

[7]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[8]  Louchka Popova-Zeugmann,et al.  On Time Petri Nets , 1991, J. Inf. Process. Cybern..

[9]  Paolo Ciancarini.  Coordination languages for open system design , 1990, Proceedings. 1990 International Conference on Computer Languages.

[10]  Jens Palsberg,et al.  Object-oriented type systems , 1994, Wiley professional computing.

[11]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[12]  Paolo Ciancarini,et al.  On the Operational Sematics of a Coordination Language , 1994, ECOOP Workshop.

[13]  Wil M. P. van der Aalst.  Interval Timed Coloured Petri Nets and their Analysis , 1993, Application and Theory of Petri Nets.

[14]  Kurt Jensen,et al.  Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .

[15]  Stanley B. Zdonik,et al.  Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like , 1988, ECOOP.

[16]  Oscar Nierstrasz,et al.  Regular types for active objects , 1993, OOPSLA '93.