(apologies for multiple copies)
====================
Dear colleagues,
We are organizing a special session on «Modeling, verification and
performance evaluation of complex information systems» at WODES 2016
(http://wodes2016.diee.unica.it/) that will be held in Xi'an, China,
from May 30th to June 1st, 2016.
*Description and aim of the proposed session*:
Business Process Model and Notation (BPMN) and Unified Modeling Language
(UML) are two of the most used standardized modeling languages for
complex information systems. They reproduce the behavior of a complex
process in terms of the involved participants, the
causality/concurrence/conflict of the activities carried out by the
formers as well as the data flow generated by the process. These models
can be used for performing simulation experiments to better understand
the behavior of processes. Since both of them are semi-formal languages,
in order to perform verification and performance evaluation these models
should be transformed to formal discrete event systems, for example in
Petri nets models.
The objective of this special session is to gather original and recent
approaches and applications that are based BPMN and UML and the
corresponding models obtained by their transformation. The goal is to
share new methods for model to model transformation, simulation,
analysis, verification, performance evaluation, etc., that can be
applied in practical information systems including healthcare,
transportation, communication, robotics and to present interesting
applications, case studies and tools.
The topics include but are not limited to: Business Process Modeling,
Unified Modeling Language, workflow nets, discrete event systems,
verification, modeling, performance evaluation
Organizers:
Kamel Barkaoui
Conservatoire National des Arts et Métiers
E-mail: [email protected]
Ecole SITI - Cedric - Département Informatique
2, Rue Conté - 75141 Paris Cedex 03, France
Phone: +33-672542247
Cristian Mahulea
University of Zaragoza
E-mail: [email protected]
c/ Maria de Luna 1, 50018 Zaragoza, Spain
Phone: +34 - 976762517
-----------------------------------------------------------------------------------------------------
SUBMISSION OF PAPERS
We cordially invite you to submit a contribution to this special
session. Please let us know as soon as possible if you want to submit a
paper, and if so, please send us a title, a list of authors, and a short
abstract of your paper with indication of the relationship to the
session theme by December 1, 2015.
Papers in the accepted special session should be submitted via the
regular paper submission procedure. For further details, please consult
the conference web pages (http://wodes2016.diee.unica.it/).
-----------------------------------------------------------------------------------------------------
AUTHOR'S SCHEDULE
Deadline for submission of papers: January 8, 2016
Notification of papers acceptance: March 15, 2016
Final manuscripts due: April 10, 2016
-----------------------------------------------------------------------------------------------------
We look forward to receiving your contribution.
Best regards,
Kamel Barkaoui and Cristian Mahulea
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
