Call for Papers on Compositional Verification of UML Models
frb
F.S.de.Boer@cwi.nl
Fri, 06 Jun 2003 16:18:51 +0200
This is a multi-part message in MIME format.
--------------798FE07AD2686CD9D438F559
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Call for Papers
Compositional Verification of UML Models
Workshop of the UML 2003 Conference
The definition of UML has been motivated by the need for a standard
notation for modelling system architectures and behaviours at
functional and implementation level. The main fqocus has been
essentially on terminology, notation and syntax without addressing
semantic, validation and methodology issues which are important for
formal design and verification techniques. This workshop addresses the
application of formal methods and techniques that exploit the
architectural structure of UML models in a compositional manner.
TOPICS
The workshop topics include (but are not limited to):
* semantic foundations of architectural and component-based design
within UML
* compositional techniques for the analysis embedded and real-time
systems in UML
* compositional model checking of UML behavioural models
* compositional deductive methods based on OCL
* methodologies based on compositional formal techniques
FORMAT OF THE WORKSHOP
The workshop will consist of presentations of the accepted papers,
which will be the basis for an intensive discussion on the workshop
topics. Extended abstracts of the presentations will be published
after the workshop by Elsevier Science as a volume of the Electronic
Notes in Theoretical Computer Science.
For an up-to-date program and invited talks see the workshop web-site
http://fmco.liacs.nl/compuml.html
SUBMISSIONS
Authors are invited to submit by August 25th an extended abstract not
exceeding 20 pages electronically to F.S.de.Boer@cwi.nl. Submissions
must be either in Postscript or PDF format and prepared for USLetter
or A4 page sizes.
Submissions will be evaluated by the program committee for inclusion
in the proceedings, which will be published by Electronic Notes in
Theoretical Computer Science series. Papers must contain original
contributions, be clearly written, and include appropriate reference
to and comparison with related work. Simultaneous submissions to other
conferences are not allowed.
IMPORTANT DATES
25 August Submission deadline
10 September Notification to authors
1 October Deadline for preliminary version
21 October Workshop date
21 November Deadline for final version
PROGRAM COMMITTEE
Frank de Boer (CWI, NL)
Marcello Bonsangue (LIACS, NL)
Werner Damm (OFFIS, DE)
Susanne Graf (Verimag, France)
David Harel (Weizmann Institute, Israel)
Jozef Hooman (University of Nijmegen, NL)
Bernhard Josko (OFFIS, DE)
Amir Pnueli (Weizmann Institute, ISR)
Willem-Paul de Roever (Kiel University, DE)
Joseph Sifakis (Verimag, FR)
ORGANIZERS
Frank de Boer (CWI, NL)
Marcello Bonsangue (LIACS, NL)
Bernhard Josko (OFFIS, DE)
SPONSORS
This workshop is sponsored by the European R&D project OMEGA - Correct
Development of Real-time Embedded Systems (http://www-omega.imag.fr),
and the German-Dutch project Mobi-J (main sponsor of FMCO,
http://fmco.liacs.nl).
--------------798FE07AD2686CD9D438F559
Content-Type: text/plain; charset=us-ascii;
name="uml_cfp2.txt"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline;
filename="uml_cfp2.txt"
Call for Papers
Compositional Verification of UML Models
Workshop of the UML 2003 Conference
The definition of UML has been motivated by the need for a standard
notation for modelling system architectures and behaviours at
functional and implementation level. The main fqocus has been
essentially on terminology, notation and syntax without addressing
semantic, validation and methodology issues which are important for
formal design and verification techniques. This workshop addresses the
application of formal methods and techniques that exploit the
architectural structure of UML models in a compositional manner.
TOPICS
The workshop topics include (but are not limited to):
* semantic foundations of architectural and
component-based design within UML
* compositional techniques for the analysis embedded and
real-time systems in UML
* compositional model checking of UML behavioural models
* compositional deductive methods based on OCL
* methodologies based on compositional formal techniques
FORMAT OF THE WORKSHOP
The workshop will consist of presentations of the accepted papers,
which will be the basis for an intensive discussion on the workshop
topics. Extended abstracts of the presentations will be published
after the workshop by Elsevier Science as a volume of the Electronic
Notes in Theoretical Computer Science.
For an up-to-date program and invited talks see the workshop web-site
http://fmco.liacs.nl/compuml.html
SUBMISSIONS
Authors are invited to submit by August 25th an extended abstract not
exceeding 20 pages electronically to F.S.de.Boer@cwi.nl. Submissions
must be either in Postscript or PDF format and prepared for USLetter
or A4 page sizes.
Submissions will be evaluated by the program committee for inclusion
in the proceedings, which will be published by Electronic Notes in
Theoretical Computer Science series. Papers must contain original
contributions, be clearly written, and include appropriate reference
to and comparison with related work. Simultaneous submissions to other
conferences are not allowed.
IMPORTANT DATES
25 August Submission deadline
10 September Notification to authors
1 October Deadline for preliminary version
21 October Workshop date
21 November Deadline for final version
PROGRAM COMMITTEE
Frank de Boer (CWI, NL)
Marcello Bonsangue (LIACS, NL)
Werner Damm (OFFIS, DE)
Susanne Graf (Verimag, France)
David Harel (Weizmann Institute, Israel)
Jozef Hooman (University of Nijmegen, NL)
Bernhard Josko (OFFIS, DE)
Amir Pnueli (Weizmann Institute, ISR)
Willem-Paul de Roever (Kiel University, DE)
Joseph Sifakis (Verimag, FR)
ORGANIZERS
Frank de Boer (CWI, NL)
Marcello Bonsangue (LIACS, NL)
Bernhard Josko (OFFIS, DE)
SPONSORS
This workshop is sponsored by the European R&D project OMEGA - Correct
Development of Real-time Embedded Systems (http://www-omega.imag.fr),
and the German-Dutch project Mobi-J (main sponsor of FMCO,
http://fmco.liacs.nl).
--------------798FE07AD2686CD9D438F559--