Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Modellazione, Analisi e Implementazione di Processi di Business |
---|---|
Titolo del progetto di ricerca in inglese | Modelling, Analysis and Implementation of Business Processes |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Il progetto di ricerca si pone l’obiettivo di definire un framework di supporto al ciclo di vita dei processi organizzativi (processi di business) di organizzazioni complesse.A partire dalla modellazione di tali processi, il framework permetterà di effettuarne l'analisi e la generazione del codice necessario all’implementazione dei relativi sistemi process-aware. Il linguaggio di modellazione alla base del framework sarà lo standard BPMN. L’attività iniziale di ricerca consiste nella definizione di una semantica formale di BPMN, che dovrà poi essere implementata, per mezzo di opportuni strumenti, così da abilitare l’analisi dei modelli tramite l’utilizzo di tecniche di verifica basate su sistemi di transizioni etichettate.Ulteriori attività sono mirate all'integrazione con altri strumenti di specifica e alla validazione dei risultati rispetto a casi di studio reali. |
Descrizione sintetica in inglese | The research project aims at defining a framework to support the life cycle of organizational processes(Business Processes) of complex organisations. From the models of these processes, the framework will permit to analyse them and to generate the code necessary to implement the related process-aware systems. The modelling language at the basis of the framework will be the standard BPMN. The initial research activity concerns the definition of a formal semantics of BPMN, which will be then implemented, by means of appropriate tools, in order to enable the analysis of the models via verification techniques based on labelled transition systems. Additional activities will aim at integrating the verification environment with other specification tools and at validating the achieved results with respect to real case studies. |
Data del bando | 15/06/2016 |
Numero di assegnazioni per anno | 1 |
E' richiesta mobilità internazionale? | no |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
OCEANIA NORTH AMERICA SOUTH AMERICA ASIA AFRICA EUROPE |
Nazionalità dei candidati |
OCEANIA NORTH AMERICA SOUTH AMERICA ASIA AFRICA EUROPE |
Sito web del bando | http://www.unicam.it/bandi |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Importo annuale | 19367 |
Valuta | Euro |
Massima durata dell'assegno (mesi) | 24 |
Nome dell'Ente finanziatore | Università degli Studi di Camerino |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Camerino |
Sito web | http://www.unicam.it |
laura.lesti@unicam.it | |
annamaria.antonini@unicam.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 22/08/2016 - alle ore 00:00 |
---|---|
Come candidarsi | Other |