Call for Papers

The Second Workshop on Object-Oriented Programming and Models of Concurrency

A workshop within the XVII International Conference on Applications and Theory of Petri Nets Osaka, June 24, 1996

Organizers:
Gul Agha, Univ. of Illinois at Urbana-Champaign Fiorella De Cindio, DSI, Univ. of Milano Akinori Yonezawa, Univ. of Tokyo

Objects provide natural parallelism and have proved of increasing practical importance in software. The semantics of object systems remains an active area of research. In particular, a number of concurrency theories, including Petri nets, have been used to provide a formal model of concurrent objects. Moreover, both Petri nets and object-oriented design methods are in use for software modelling in real systems.

The workshop will focus on the relation between different models of concurrency and their applications to software engineering. Specific areas of interest include but are not limited to:

formalisms to model concurrent object-oriented languages and systems;
object-orientation and net models for system specification, development and verification;
software development tools based on nets or objects;
experiences in using Petri Nets or concurrent object-oriented methods in specific application domains.

Researchers interested in the relation between objects, Petri nets and related formalisms are invited to submit an extended abstact (up to 6000 words) or a position paper (up to 3 pages). The workshop will include time for presentations and discussion. A summary of the first workshop is available through WWW at the following site: http://www.dsi.unimi.it/Users/Labs/PetriLab/ws95/home.html.

To enhance the effectiveness of comparisons between different formalisms, authors will be encouraged to consider a small canonical set of examples. A case study proposed by Remi Bastide et al. (available at http://www.dsi.unimi.it/Users/Labs/PetriLab/ws96/home.html) is currently available. If you would like to propose other examples to illustrate something different, please forward it to petrilab@hermes.mc.dsi.unimi.it.

The workshop will be held in conjunction with the XVII Petri Net conference. A special volume based on the two workshops (Advances in Petri Nets, LNCS) is planned.

Important Dates

Submission of the abstract:: March 1, 1996 (1 hardcopy mailed to Lab. Reti di Petri, c/o DSI, Univ. Milano, via Comelico 39/41, 20135, Milano, ITALY, or postscript file to petrilab@hermes.mc.dsi.unimi.it)
Notification of acceptance:: April 15, 1996
Final copy of the paper is due:: May 17, 1996

The maintainers of this page