Starting date: between September and November 2013
Location:
Université Paris 1 Panthéon-Sorbonne, Centre de Recherche
en Informatique, 90, rue de Tolbiac 75013 Paris, France
To apply: send a detailed CV (in English), a motivation
letter (in English), copy of official transcript of
student record (B.Sc and M.Sc) and letters of reference to
Irina Rychkova ([log in to unmask])
The subject of this PhD thesis lies on the
intersection of the three research areas: business
process modeling, formal methods and formal concept
analysis. We propose to explore formal methods and
formal concept analysis (FCA) and to build a novel
approach for agile process modelling, simulation and
analysis. In particular we propose to apply these
techniques for unstructured processes such as case
management processes (CMP). Case management processes have
multiple applications, including licensing and permitting
in government, insurance application and claim processing
in insurance, patient care and medical diagnosis in
healthcare, etc.
The first challenge related to this PhD thesis is to find an
appropriate (mathematical) formalism for representation
and reasoning about case management processes (CMP) while
ensuring an appropriate level of agility. We suggest that, instead of following a
predefined execution scenario, a process navigates in the
process “state space”, dynamically adjusting its path
based on the current state, current situation and
navigation rules. Initial navigation rules for process
guidance based on Formal Concept Analysis and Galois
lattices need to be defined.
The second challenge related to this PhD thesis is to explore the
opportunities provided by automated model checking,
theorem proving and formal concept analysis for process
model validation and for guided process execution.
To unsubscribe from the MM-INTEREST list, click the following link:
http://listserv.acm.org/scripts/wa-ACMLPX.exe?SUBED1=MM-INTEREST&A=1