[DL] PhD position at Université Paris 1 Panthéon-Sorbonne / Centre de Recherche en Informatique

[Irina Rychkova]

Dear Colleagues,

One PhD position opens at University Paris 1 Panthéon-Sorbonne / Centre 
de Recherche en Informatique.


*Title:****Exploring Formal Methods and Formal Concept Analysis for 
Agile Business Process Management***

*Keywords*: Formal specification, model checking, Formal Concept 
Analysis,  Business Process Modeling

*Starting date: *between September and November 2013**

*Full description**: *http://crinfo.univ-paris1.fr/thesisSorbonne2013.pdf**

*Funding*: French Government Research Grant *(gross income: between 1850 
€ and 2000 € per month).*

*Location*: Université Paris 1 Panthéon-Sorbonne, Centre de Recherche en 
Informatique, 90, rue de Tolbiac 75013 Paris, France

*Directors*: Irina RYCHKOVA (irina.rychkova at univ-paris1.fr 
<mailto:irina.rychkova at univ-paris1.fr>) and Bénédicte LE GRAND 
(Benedicte.Le-Grand at univ-paris1.fr 
<mailto:Benedicte.Le-Grand at univ-paris1.fr>)
*
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 
(irina.rychkova at univ-paris1.fr <mailto:irina.rychkova at univ-paris1.fr>)

_*No application will be considered after 01/07/2013*_


    Description

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.


-- 
Ce message a été vérifié par MailScanner <http://www.mailscanner.info/> 
pour des virus ou des polluriels et rien de suspect n'a été trouvé.


-- 
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20130510/81837bed/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: thesisSorbonne--2013.pdf
Type: application/pdf
Size: 256818 bytes
Desc: not available
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20130510/81837bed/attachment.pdf>