ACM SIGMM Interest List


Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: ACM SIGMM Interest List <[log in to unmask]>
Date: Fri, 10 May 2013 22:43:26 +0200
Reply-To: Irina Rychkova <[log in to unmask]>
MIME-Version: 1.0
Message-ID: <[log in to unmask]>
In-Reply-To: <[log in to unmask]>
Content-Type: multipart/alternative; boundary="------------020402080700070601070602"
From: Irina Rychkova <[log in to unmask]>
Parts/Attachments: text/plain (3121 bytes) , text/html (9 kB)
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] 
<mailto:[log in to unmask]>) and Bénédicte LE GRAND 
([log in to unmask] 
<mailto:[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] <mailto:[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 

*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 ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.


To unsubscribe from the MM-INTEREST list:
write to: mailto:[log in to unmask]
or click the following link: