|
|
|
Concurrency metHods: Issues
aNd Applications
June 24, 2008 - Xi'an, China
A satellite
workshop of PETRI
NETS 2008 co-located with ACSD
2008
Important
Dates
|
Deadline for submission of informal contributions Notification about full (formal) papers Deadline for pre-proceedings Workshop |
|
May 1, 2008 May 1, 2008 June 1, 2008 June 24, 2008 |
Invited
Speakers
Zhenhua Duan (Xidian University, China)
Alex Yakovlev (
Organisers
|
Jetty Kleijn LIACS The |
|
Maciej Koutny School of
Computing Science |
Background
|
Concurrent
and distributed systems (software, hardware and middleware) are increasingly
important for a successful functioning of organisations and individuals. The
use of such systems is rapidly growing in many areas of industry, commerce,
sciences, engineering and socio-technical environments. In the coming years,
effective formal methods for their design, analysis and verification will
become even more important. Such methods crucially depend on adequate
abstractions especially in a dynamic setting, when one considers issues of
behaviour, reconfigurations or mobility. |
Formal models should on the one hand be
abstract in the sense that details irrelevant for the questions at hand are
omitted, while on the other hand they should be realistic and provide a
faithful reflection of the modus operandi (structure or behaviour) of the
system that is supposedly represented. In
general, there will be a trade off between the features incorporated in
abstract models and the feasibility of their analysis. |
Objective
|
The
main objective of the workshop is to be a meeting place, in two ways. It is
intended to be a forum to exchange ideas and experiences with different
methods for the study of concurrent and distributed systems. In
addition, it will also be a meeting place for researchers from |
Therefore,
in addition to the formal submissions, informal contributions are still most
welcome, in particular: presentations
of ongoing work like Ph.D. research or significantly based on already
published work -possibly in a language other than English- for which the
authors seek feedback. (The
latter under the condition that the prior work is adequately referenced, and
there are no publisher's restrictions.) Also posters presenting initial ideas
are solicited. Extended
abstracts of the accepted informal contributions will be included in the
workshop proceedings and available at the meeting. |
Scope
|
The scope of the workshop is broad.
Its goal is to discuss models of concurrency with an emphasis on issues
relevant to certain application domains which have led or could lead to the
addition of structural enhancements. The focus of the workshop will be on
qualitative rather than quantitative aspects of concurrent systems. |
For the (enhanced) models under
discussion, also analysis techniques, extended or even completely new, are to
be considered. The meeting is deliberately not focussed on any particular
model of concurrency, issue or application. Fundamental approaches as well as
interdisciplinary applications may be discussed. |
Topics
|
Aspects
which are of interest to the workshop (in combination with techniques for
analysis, verification and synthesis) include: |
|
Concurrency models Petri
nets process
algebras cooperating
automata coordination
languages rewriting
systems discrete
event systems message
sequence charts temporal
logics |
Issues synchrony
/ asynchrony mobility
and security locality
and components supervisory
control dynamic
reconfiguration resource
access / testing collaboration
schemes behavioural
equivalence |
Application areas asynchronous
circuits GALS
systems biological
systems membrane
systems mobile
process networks communication
protocols component
based software workflow
systems |
Submission
|
Prospective
participants are asked to submit by email (to the email addresses given
below) an extended abstract of at most 15 pages as PDF or PS and using the
Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html) Submissions
should include a title and the authors' contact addresses and email. At
least one of the authors of each accepted contribution should register and
take part in the workshop to give the presentation. Contact - Jetty Kleijn (The Netherlands),
kleijn@liacs.nl -
Maciej Koutny ( |
Programme
Committee
|
M.Bednarczyk
( M.ter
Beek ( Y.Bin
( M.Bonsangue
( J.Carmona
( T.Chothia
( S.Christensen
( G.Ciobanu
( J.-M.Colom
( P.Darondeau
( Z.Duan
( |
S.Gnesi
(Italy) L.Gomes
(Portugal) A.Gordon
( S.Haddad
( K.Hao
( H.Hong
( R.Janicki
( E.Kindler
( H.Klaudel
( J.Kleijn
( A.Kondratyev
( |
M.Koutny
( Z.Liu
( R.Lorenz
( H.Miao
( M.Mukund
( G.Pappalardo
( G.Paun
( L.Pomello
( W.Vogler
( K.Wolf
( A.Yakovlev
( |
