Nome |
# |
A Guidelines Framework for Understandable BPMN Models, file e0ff0073-0044-9bac-e053-1705fe0af019
|
351
|
A Classification of BPMN Collaborations based on Safeness and Soundness Notions, file e0ff0073-4eb4-9bac-e053-1705fe0af019
|
170
|
A systematic literature review on IoT-aware business process modeling views, requirements and notations, file 1b28730f-58ab-4d05-aa2f-8567c3cc01d4
|
110
|
Life-saving Furniture System. Il sistema di arredi salva-vita in caso di sisma., file 3f7c1671-1209-46ae-89d3-c133961df0e4
|
76
|
Case studies for a new IoT programming paradigm: Fluidware, file e0ff0073-ec75-9bac-e053-1705fe0af019
|
46
|
A formal approach for the analysis of BPMN collaboration models, file 3c470a6a-72cf-4b6b-929c-f193045252b8
|
31
|
A Flexible Approach to Multi-party Business Process Execution on Blockchain, file cbec284d-6536-4ba5-88e7-ab231c4df128
|
31
|
Cloud for eGov: the state of the art, file e0ff0072-d3c7-9bac-e053-1705fe0af019
|
30
|
BProVe: a Formal Verification Framework for Business Process Models, file e0ff0075-0af3-9bac-e053-1705fe0af019
|
27
|
A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models, file 9087bda7-8080-4bb3-adaf-33b28d869ad6
|
24
|
Process-oriented knowledge management and learning in public administrations, file 4c203ffb-c571-4e41-9de9-5f5a04de69d9
|
13
|
Livelock and Deadlock Detection for PA Inter-organizational Business Processes., file e0ff0072-5fef-9bac-e053-1705fe0af019
|
13
|
Collaboration vs. choreography conformance in BPMN, file e0ff0074-899e-9bac-e053-1705fe0af019
|
13
|
Smart housing and mobility for the third age
Progetto S.I.A.M.A.D.A, file e0ff0074-b27c-9bac-e053-1705fe0af019
|
13
|
MIDA: Multiple Instances and Data Animator, file e0ff0073-4eb2-9bac-e053-1705fe0af019
|
12
|
Formalising and animating multiple instances in BPMN collaborations, file e0ff0074-3a64-9bac-e053-1705fe0af019
|
12
|
Digital Identity into Practice: The Case of UniCam, file e0ff0072-5db7-9bac-e053-1705fe0af019
|
11
|
FedCohesion: Federated Identity Management in the Marche Region, file e0ff0072-6273-9bac-e053-1705fe0af019
|
11
|
Direct Verification of BPMN Processes through an Optimized Unfolding Technique, file e0ff0072-5fee-9bac-e053-1705fe0af019
|
10
|
Industrial Design, Structural Engineering, Computer Science and Chemistry for the development of life-saving furniture systems in seismic areas, file e0ff0073-f524-9bac-e053-1705fe0af019
|
10
|
Consistent modelling of hierarchical BPMN collaborations, file e0ff0074-e9e1-9bac-e053-1705fe0af019
|
8
|
Lessons learned from a participatory design project in e-health, file e0ff0072-46dd-9bac-e053-1705fe0af019
|
7
|
Engineering Trustable Choreography-based Systems Using Blockchain, file e0ff0074-32d2-9bac-e053-1705fe0af019
|
7
|
Business process flexibility - a systematic literature review with a software systems perspective, file e0ff0072-9fbd-9bac-e053-1705fe0af019
|
6
|
Correctness checking for BPMN collaborations with sub-processes, file e0ff0074-32d0-9bac-e053-1705fe0af019
|
6
|
A formal approach for the analysis of BPMN collaboration models, file e0ff0074-cd86-9bac-e053-1705fe0af019
|
6
|
BPMN 2.0 OR-Join Semantics: Global and local characterisation, file e0ff0074-d9cc-9bac-e053-1705fe0af019
|
6
|
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain, file e0ff0074-e314-9bac-e053-1705fe0af019
|
6
|
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems, file 57d056ba-79a1-41fa-8b85-62be4cb8902a
|
5
|
X-IoT: a model-driven approach to support IoT application portability across IoT platforms, file 7c956d85-ca93-443c-af99-6ab6355106b9
|
4
|
Formal methods to improve public administration business processes, file e0ff0073-a13c-9bac-e053-1705fe0af019
|
4
|
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations, file e0ff0074-9a21-9bac-e053-1705fe0af019
|
4
|
Runtime Computation of Optimal Offloading Scheduling , file e0ff0073-19f7-9bac-e053-1705fe0af019
|
3
|
RePROSitory: a Repository Platform for Sharing Business PROcess modelS, file e0ff0073-dfbc-9bac-e053-1705fe0af019
|
3
|
A BPMN-driven framework for Multi-Robot System development, file 866efcdf-32c5-4fa9-bf2b-6bf17f7692e4
|
2
|
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development, file af661717-84b6-4127-ac34-ae9e6733e4ef
|
2
|
Lessons learnt from Federate Identity Management into practice, file e0ff0072-6274-9bac-e053-1705fe0af019
|
2
|
Inter-organizational business process verification in public administration, file e0ff0072-66fb-9bac-e053-1705fe0af019
|
2
|
A Formal Approach to Modelling and Verification of Business Process Collaborations, file e0ff0073-1fc0-9bac-e053-1705fe0af019
|
2
|
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support, file e0ff0073-5388-9bac-e053-1705fe0af019
|
2
|
Model-driven Engineering for Multi-party Business Processes on Multiple Blockchains, file fd37796b-f42f-4781-9d41-77780afb43f5
|
2
|
An Integration Platform for Private Assisted Houses, file e0ff0072-89b3-9bac-e053-1705fe0af019
|
1
|
Process Variability Modeling for Complex Organizations, file e0ff0072-8cd2-9bac-e053-1705fe0af019
|
1
|
The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises, file e0ff0072-b523-9bac-e053-1705fe0af019
|
1
|
BProVe: Tool Support for Business Process Verification, file e0ff0072-f7ae-9bac-e053-1705fe0af019
|
1
|
Checking Business Process Correctness in Apromore, file e0ff0073-159b-9bac-e053-1705fe0af019
|
1
|
null, file e0ff0073-7627-9bac-e053-1705fe0af019
|
1
|
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies, file e0ff0074-945d-9bac-e053-1705fe0af019
|
1
|
ChorChain: A model-driven framework for choreography-based systems using blockchain, file e0ff0074-f086-9bac-e053-1705fe0af019
|
1
|
Totale |
1.111 |