DocumentCode :
322505
Title :
Behaviour specification of active objects in open generative communication environments
Author :
Holvoet, Tom ; Kielmann, Thilo
Author_Institution :
Katholieke Univ., Leuven, Belgium
Volume :
1
fYear :
1997
fDate :
7-10 Jan 1997
Firstpage :
349
Abstract :
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
Keywords :
Petri nets; formal specification; object-oriented programming; open systems; parallel languages; parallel programming; type theory; Objective Linda; active agents; active object specification; agent interaction modelling; behaviour specification; coordination model; coordination models; formal reasoning; high-level Petri net; object-based modelling; open generative communication environments; open systems; shared data spaces; subtyping; types; visual representation; Concurrent computing; Formal specifications; Information retrieval; Open systems; Performance evaluation; Petri nets; Power system modeling; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on
Conference_Location :
Wailea, HI
ISSN :
1060-3425
Print_ISBN :
0-8186-7743-0
Type :
conf
DOI :
10.1109/HICSS.1997.667282
Filename :
667282
Link To Document :
بازگشت