[Tccc] PhD position at Université Paris 1 Panthéon-Sorbonne / Centre de Recherche en Informatique
Irina Rychkova
irina.rychkovaatuniv-paris1.fr
Tue May 14 08:38:39 EDT 2013
Dear Colleagues,
One PhD position opens at University Paris 1 Panthon-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 Panthon-Sorbonne, Centre de Recherche en
Informatique, 90, rue de Tolbiac 75013 Paris, France
*Directors*: Irina RYCHKOVA (irina.rychk... at univ-paris1.fr
<mailto:irina.rychk... at univ-paris1.fr>) and Bndicte LE GRAND
(benedicte.le-gr... at univ-paris1.fr
<mailto:benedicte.le-gr... 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.rychk... at univ-paris1.fr <mailto:irina.rychk... 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 vrifi 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.
_______________________________________________
IEEE Communications Society Tech. Committee on Computer Communications
(TCCC) - for discussions on computer networking and communication.
Tccc at lists.cs.columbia.edu
https://lists.cs.columbia.edu/cucslists/listinfo/tccc
More information about the TCCC
mailing list