-------- Weitergeleitete Nachricht -------- Betreff: [AISWorld] Call for Papers -- PRAISE at BPM 2016 Datum: Thu, 17 Mar 2016 23:49:49 +0100 Von: Huy Tran huy.tran@univie.ac.at An: aisworld@lists.aisnet.org

The First International Workshop on Runtime Analysis of Process-Aware Information Systems (PRAISE) at BPM 2016

Rio de Janeiro, Brazil, 19th September, 2016

http://www.defeasible.org/praise2016

Call for Papers ========================

Modern process-aware information systems (PAISs) are increasingly large and can encompass or connect with numerous other systems ranging from traditional software systems to social networks, clouds, Internet of Things (IoT), and so on. Apart from the intrinsic complexity of integrated systems, the variability and dynamicity of the surrounding environments make it extremely challenging to ensure the correctness of such complex and large scale PAISs, especially at runtime.

Given many decades of research and development in PAISs, many existing methods and techniques have been successful in addressing software system properties at design time. Unfortunately, less attention has been drawn to the analysis of systems at runtime. The workshop aims at raising the awareness of the analysis of systems functional and non-functional properties at runtime and providing a forum for researchers and practitioners who are interested in methods and techniques for runtime verification and compliance checking, quantitative analysis (e.g. prediction and optimization of temporal performance) and their applications and validating in experimental and industrial settings.

Co-located with BPM 2016 conference., PRAISE'16 will offer an excellent venue to bring together researchers from both business process management and compliance management research communities. The workshop will be held on 19th September, 2016 in Rio de Janeiro, Brazil.

1. Topics of Interest

The workshop aims to attract the original submissions on the following topics (but not limited to):

+ Approaches to runtime analysis and verification of functional and non-functional properties of systems; + Verification techniques for compliance checking of business process at runtime; + Mathematical foundations, languages and specifications for supporting runtime consistency checking of PAISs; + Methods and techniques for checking and monitoring business process consistency properties and constraints at runtime; + Inconsistency analysis and assisting the PAIS stakeholders in resolving the corresponding problems; + Enabling techniques for facilitating system adaptation and/or evolution to resolve or compensate runtime inconsistencies; + Novel architectural designs for dealing with the complexity of PAISs and their surrounding runtime environments and the sheer amount of runtime data to support large scale consistency checking / monitoring; + Quantitative analysis techniques/methods for prediction and optimization of temporal performance at runtime; + Reports on applications, experiments, or case studies in quasi-real or real settings for ensuring consistencies of PAISs at runtime; + Analytics and visualization techniques for run-time monitoring of PAISs;

2. Formatting Guidelines

Authors are encouraged to submit original, previously unpublished papers prepared at the highest level of quality for inclusion in the workshop proceedings following the submission guidelines:

+ All submission must be written in standard English, and must comply with the paper formatting requirements for Springer LNBIP series; style sheets for Word and LaTeX are available on the Springer site under http://www.springer.de/comp/lncs/authors.html

+ The following types of submissions are accepted:

a) Full Papers: with a maximum page limit of 12 pages, including figures, references, and appendices.

b) Short Papers: must be 6 pages long, including figures, references, and appendices.

Failure to comply with the formatting and paper length instructions for submitted paper will lead to the outright rejection of the paper without review.

All submissions must be made in PDF format using the workshop’s electronic submission system, which is available at: https://easychair.org/conferences/?conf=praise2016.

Parallel submissions of the paper to other conference/workshop is not permitted.

All submission will be reviewed, for their originality, rigor, technical quality and contribution, relevance to workshop (and BPM conference), significance and exposition, by at least three members of the program committee.

Accepted papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). The proceedings will be made available to all authors of accepted papers approximately four months after the workshop, while preliminary proceedings will be provided during the workshop.

At least one author of each accepted paper must register and present in the workshop. Failure to commit to presentation at the workshop will lead to the exclusion of the paper from the proceedings. Registration to the workshop is subject to the procedure and policies of the main BPM 2016 conference.

For any further information please contact us at: praise2016@easychair.org

Registration to the workshop is subject to the procedure and policies of the main BPM 2016 conference.

3. Program Committee =================

* Rafael Accorsi, University of Freiburg, Germany * Ahmed Awad, Cairo University, Egypt * Claudio Bartolini, Hewlett–Packard, United States * Schahram Dustdar, Vienna University of Technology, Austria * Amal Elgammal, Trinity College Dublin, Ireland * Rik Eshuis, Eindhoven University of Technology, Netherlands * João Eduardo Ferreira, Universidade de São Paulo at São Carlos, Brazil * Aditya Ghose, University of Wollongong, Australia * Oscar González Rojas, Universidad de los Andes, Colombia * Guido Governatori, Data61 | CSIRO, Australia * Mustafa Hashmi, Data61 | CSIRO, Australia * Priotr Kulicki, The John Paul II Catholic University of Lublin, Poland * Akhil Kumar, Penn State Smeal College of Business, United States * Ho-Pun Lam, Data61 | CSIRO, Australia * Ricardo Massa, Centre for Informatics at Federal University of Pernambuco, Brazil * Jorge Munoz–Gama, Pontificia Univesidad Catolica de Chile, Chile * César A. L. Oliveira, Inter–American Development Bank, United States * Cesare Pautasso, University of Lugano, Switzerland * Manfred Reichert, Ulm University, Germany * Stephanie Rinderle-Ma, University of Vienna, Austria * Regis Riveret, Data61 | CSIRO, Australia * Sherif Sakr, University of New South Wales, Australia * Fernando Schapachnik, Cuidad Universitaria Intendente Guiraldes, Argentina * Markus Stumptner, University of South Australia, Australia * Jianwen Su, UC Santa Barbara, United States * Suriadi Suriadi, Massey University, New Zealand * Huy Tran, University of Vienna, Austria * Uwe Zdun, University of Vienna, Austria

4. Organizing Committee ====================

Huy Tran Research Group Software Architecture University of Vienna Waehringer Str. 29, 1090 Vienna, Austria Email: huy.tran@univie.ac.at

Mustafa Hashmi Data61 (formally, NICTA) 70-72 Bowen Street Brisbane Queensland-4000, Australia Email: mustafa.hashmi@nicta.com.au

Guido Governatori Data61 (formally, NICTA) 70-72 Bowen Street Brisbane Queensland-4000, Australia Email: guido.governatori@nicta.com.au

Uwe Zdun Research Group Software Architecture University of Vienna Waehringer Str. 29, 1090 Vienna, Austria Email: uwe.zdun@univie.ac.at

_______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org