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:

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 ([log in to unmask]) and Bénédicte LE GRAND ([log in to unmask] )

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])

No application will be considered after 01/07/2013


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 pour des virus ou des polluriels et rien de suspect n'a été trouvé.

Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé.

To unsubscribe from the MM-INTEREST list, click the following link: