SlideShare a Scribd company logo
1 of 28
Download to read offline
images/logo
Democratic process and electronic platforms: concerns
of an engineer
Danilo Pianini
danilo.pianini@unibo.it
Alma Mater Studiorum—Universit`a di Bologna
The future of democracy
November 3rd, 2016 - Bologna, Italy
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 1 / 23
images/logo
Outline
1 Introduction
2 Minimal background on software engineering
3 E-democracy and software engineering
4 Conclusion
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 2 / 23
images/logo
Introduction
Outline
1 Introduction
2 Minimal background on software engineering
3 E-democracy and software engineering
4 Conclusion
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 2 / 23
images/logo
Introduction
Disclaimer
My core work is on aggregate computations and simulation of
complex socio-technical systems
I’m not an expert in democracy processes and tools
This talk will raise questions, I won’t (can’t) provide answers
But maybe others here do :)
Main observation
There are multiple models of democracy
Different models provide different outcomes
It’s not a matter or picking the “right” one
Main question
What’s the relationship between a model of democracy and its
(possibly digital) enabling platform?
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 3 / 23
images/logo
Minimal background on software engineering
Outline
1 Introduction
2 Minimal background on software engineering
3 E-democracy and software engineering
4 Conclusion
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 3 / 23
images/logo
Minimal background on software engineering
Classic (waterfall) software engineering process
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 4 / 23
images/logo
Minimal background on software engineering
Software engineering
Each phase outputs some artifacts
Possibly formalized (machine understandable)
Changes in a phase require a revision on all the subsequent phases
Changes at the requirement level impact on analysis
If the analysis changes, it could impact the whole software design (and
its implementation, as a consequence)
The stabler the initial phases, the better
Notes:
This is a very simplified schema
Verification, deployment, maintenance are completely omitted for
simplicity
Not the only existing development model...
There are normally loops (spiral, incremental)
Lots of approaches on how to actually design a solution for a problem
Still, analysing the problem is a necessary phase
...but a good starting point
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 5 / 23
images/logo
Minimal background on software engineering
Requirements definition Analysis Architectural design Detailed design Implementation
Output
A document stating what it is expected out of the software
Possibly formal
There must be agreement on terminology
Two categories of requirements
Functional: what the software should provide, its specific behaviours
Non functional: further requirements that specifies criteria of quality
Performance constrains
Security
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 6 / 23
images/logo
Minimal background on software engineering
Requirements definition Analysis Architectural design Detailed design Implementation
Output
A formal model of the problem (domain model)
Including at least the entities composing the problem and their
relationships
Very important phase: its outcome impacts dramatically on the
subsequent phases
In developing a software for democratic processes, this phase is where
“what a democratic process is” is described
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 7 / 23
images/logo
Minimal background on software engineering
Requirements definition Analysis Architectural design Detailed design Implementation
Output
The software
After all the phases
Intermediate steps have their artifacts too, but that’s not our main
concern here
We can assume that, if we performed a good analysis, and decided
what we want out of our system, then we have a rather solid
collection of techniques to deliver the final product [ABR09]
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 8 / 23
images/logo
E-democracy and software engineering
Outline
1 Introduction
2 Minimal background on software engineering
3 E-democracy and software engineering
4 Conclusion
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 8 / 23
images/logo
E-democracy and software engineering
Motivation I
Why do we need to follow software engineering principles when designing
E-democracy systems?
Focus on the model
Existing democracy models often fail at capturing many relevant
aspects [Gr3]
Good engineering focuses attention on improving the analysis, rather
than immediately moving forward
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 9 / 23
images/logo
E-democracy and software engineering
Motivation II
Tools must follow a democratic model, not dictate it
The model of democracy should be studied before its implementation
Doing the opposite exposes to the risk that the feature set of the
available tools directs the democratic process
Advanced technology whose scope is not completely grasped by
citizens may become unused [CFP+10]
Separation between tool and process
There is no evidence or guarantee that the E-democracy tool really
implements the democracy model we want
What’s worse, we may be unaware of this fact
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 10 / 23
images/logo
E-democracy and software engineering
Requirements and E-democracy I
Not just a matter of “implementing the math”
The democratic process is composed of multiple phases, that go
beyond the math required for interpreting the outcome of an election
Who can make new proposals?
Who can amend them?
How to decide wether an amendment or a proposal is acceptable?
How does conflict resolution works?
Picking a mathematical model and “coding” it does not provide a
proper tool for E-democracy
Requirements must be provided
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 11 / 23
images/logo
E-democracy and software engineering
Requirements and E-democracy II
Functional requirements over non functional
Very much attention is paid to non functional requirements of
E-democracy
For good reasons: security for instance is a primary concern
So much attention that little is left for functional requirements, that
are arguably more important
They are arguably more important
They should receive (at least) as much attention as security does
How to raise awareness about the importance of functional requisites?
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 12 / 23
images/logo
E-democracy and software engineering
Requirements and E-democracy III
Completeness of requirements
Requirements should be as deep and complete as possible
Which methodologies should be applied to acquire requirements?
Metrics of quality are required to understand how deep and complete
requirements are
Which metrics are adequate?
Which methodologies should be applied to measure them correctly?
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 13 / 23
images/logo
E-democracy and software engineering
Requirements and E-democracy IV
Formal requirements and disambiguation
Without any formal and reproducible requirement collection, there
may be ambiguities
Ambiguities should be dissipated with proper formalisms
Which formalisms are adequate at capturing the complexity and
contemporarily prevent ambiguities?
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 14 / 23
images/logo
E-democracy and software engineering
Analysis and E-democracy I
Completeness
How to make sure that all the relevant aspects of the democratic
process under modelling are taken in account?
Which measures would quantify our success? [Fra07]
Which methodologies would guarantee completeness?
Reproducibility
The approach should be systematic and reproducible
There is need for a methodological approach [YL10, Gr3]
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 15 / 23
images/logo
E-democracy and software engineering
Analysis and E-democracy II
Measurability
How to measure participation, involvement, opinion formation?
Which metrics can be compared across different models?
Comparability
The lack of methodical, quantifiable methods drives to
non-comparable experience
Which methods and measures could provide comparability between
different models of democracy?
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 16 / 23
images/logo
E-democracy and software engineering
Analysis and E-democracy III
Extensibility
Several aspects of the democratic process are not completely clear yet
Which are the requirements for being candidate to some role?
What does it mean to abstain at a referendum?
Is quorum a good mechanism?
...
Analysis should take no stance, but provide a formal model flexible
enough to embrace all possible choices
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 17 / 23
images/logo
E-democracy and software engineering
Analysis and E-democracy IV
Observability
Who can supervise the democratic process?
Which elements are observable, and by who?
Who, if any, can see how somebody voted?
Are there roles? Which ones?
Is there a trade off between observability and security?
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 18 / 23
images/logo
E-democracy and software engineering
Analysis and E-democracy V
Artifacts
Which artifacts should analysis output?
Formal
Quantifiable
Extensible
Complete
Observable
e-government can be a source of inspiration
[CPPR10, LL01, PGPA11]
But a a focused effort is required for e-democracy, as e-government is
not preparatory per se [KS11]
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 19 / 23
images/logo
Conclusion
Outline
1 Introduction
2 Minimal background on software engineering
3 E-democracy and software engineering
4 Conclusion
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 19 / 23
images/logo
Conclusion
Wrap up
I’d like to see more emphasis on requirements and analysis when
discussing E-democracy platforms
We are lacking good metrics and methodologies
The efforts on requirements are disproportionally oriented to the non
functional subset
The analysis phase is hard, and many parts are unclear
We are at risk of letting E-democracy platforms shape the democratic
process, rather than vice-versa
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 20 / 23
images/logo
Conclusion
A research line? I
Considerations
Many insights about how a democratic process should be shaped to
be adequate for an Internet-enabled society won’t be clear for a while
Research is required
Existing tools will contribute with experience and practice
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 21 / 23
images/logo
Conclusion
A research line? II
Proposal
A meta-E-democracy tool, where the specific democratic process could be
plugged in
Basically, abstract away most of the analysis by performing a
meta-analysis instead
Consistent engineering challenge
Multidisciplinary effort required to define which elements are part of
the process
Multidisciplinary effort required to define how such elements are
shaped
Ideally, the democratic process could be (at least partially) built from
well formalized requirements
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 22 / 23
images/logo
References
References I
Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, and Barbara Re.
Designing Quality Business Processes for E-Government Digital Services, pages 424–435.
Springer Berlin Heidelberg, Berlin, Heidelberg, 2010.
Flavio Corradini, Andrea Polini, Alberto Polzonetti, and Barbara Re.
Business processes verification for e-government service delivery.
Information Systems Management, 27(4):293–308, 2010.
Amoretti Francesco.
Benchmarking Electronic Democracy.
2007.
˚Ake Gr¨onlund.
e-democracy: in search of tools and methods for effective participation.
Journal of Multi-Criteria Decision Analysis, 12(2-3):93–100, 2003.
Ahmad A. Kardan and Ayoob Sadeghiani.
Is e-government a way to e-democracy?: A longitudinal study of the iranian situation.
Government Information Quarterly, 28(4):466 – 473, 2011.
Karen Layne and Jungwoo Lee.
Developing fully functional e-government: A four stage model.
Government Information Quarterly, 18(2):122 – 136, 2001.
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 22 / 23
images/logo
References
References II
Panagiotis Panagiotopoulos, George Gionis, John Psarras, and Dimitris Askounis.
Supporting public decision making in policy deliberations: an ontological approach.
Operational Research, 11(3):281–298, 2011.
Lihua Yang and G. Zhiyong Lan.
Internet’s impact on expert–citizen interactions in public policymaking—a meta analysis.
Government Information Quarterly, 27(4):431 – 441, 2010.
Special Issue: Open/Transparent Government.
¨Omer Faruk Aydinli, Sjaak Brinkkemper, and Pascal Ravesteyn.
Business process improvement in organizational design of e-government services.
Electronic Journal of e-Government, 7:123–134, 2009.
Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 23 / 23

More Related Content

Similar to Democratic process and electronic platforms: concerns of an engineer

Dream It 09[1].06.11 Batpurev
Dream It 09[1].06.11 BatpurevDream It 09[1].06.11 Batpurev
Dream It 09[1].06.11 Batpurevpanall2009
 
Fse2011 bettenburg presentation
Fse2011 bettenburg presentationFse2011 bettenburg presentation
Fse2011 bettenburg presentationSAIL_QU
 
Beyond Free/Open Source Software
Beyond Free/Open Source SoftwareBeyond Free/Open Source Software
Beyond Free/Open Source SoftwareMarco Fioretti
 
Gabriel Rissola: "Measuring the impact of eInclusion actors"
Gabriel Rissola: "Measuring the impact of eInclusion actors"Gabriel Rissola: "Measuring the impact of eInclusion actors"
Gabriel Rissola: "Measuring the impact of eInclusion actors"TELECENTRE EUROPE
 
F & A D R E A M I T Baasansuren Burmaa
F &  A  D R E A M  I T  Baasansuren  BurmaaF &  A  D R E A M  I T  Baasansuren  Burmaa
F & A D R E A M I T Baasansuren Burmaapanall2009
 
Engineering the Aggregate - Talk at Software Engineering for Intelligent and ...
Engineering the Aggregate - Talk at Software Engineering for Intelligent and ...Engineering the Aggregate - Talk at Software Engineering for Intelligent and ...
Engineering the Aggregate - Talk at Software Engineering for Intelligent and ...Danilo Pianini
 
Project Management (October - 2014) [CBSGS - Paper Solution] {Mumbai University}
Project Management (October - 2014) [CBSGS - Paper Solution] {Mumbai University}Project Management (October - 2014) [CBSGS - Paper Solution] {Mumbai University}
Project Management (October - 2014) [CBSGS - Paper Solution] {Mumbai University}Mumbai B.Sc.IT Study
 
Performance Measurement and Improvement of Lean Manufacturing Operations: A L...
Performance Measurement and Improvement of Lean Manufacturing Operations: A L...Performance Measurement and Improvement of Lean Manufacturing Operations: A L...
Performance Measurement and Improvement of Lean Manufacturing Operations: A L...Leandro Silvério
 
Software For Software Development Life Cycle
Software For Software Development Life CycleSoftware For Software Development Life Cycle
Software For Software Development Life CycleChristina Padilla
 
How Requirement Engineering And The Saudi Software Firms...
How Requirement Engineering And The Saudi Software Firms...How Requirement Engineering And The Saudi Software Firms...
How Requirement Engineering And The Saudi Software Firms...Liz Sims
 
2016-02-03 research seminar
2016-02-03 research seminar2016-02-03 research seminar
2016-02-03 research seminarifi8106tlu
 
Misra, D.C.(2009): E-government Monitoring and Evaluation_MDI-12.2.2009
Misra, D.C.(2009): E-government Monitoring and Evaluation_MDI-12.2.2009Misra, D.C.(2009): E-government Monitoring and Evaluation_MDI-12.2.2009
Misra, D.C.(2009): E-government Monitoring and Evaluation_MDI-12.2.2009Dr D.C. Misra
 
Managing corruption risks in infrastructure... - Gavin Ugale, OECD
Managing corruption risks in infrastructure... - Gavin Ugale, OECDManaging corruption risks in infrastructure... - Gavin Ugale, OECD
Managing corruption risks in infrastructure... - Gavin Ugale, OECDOECD Governance
 
Modelling the Media Logic of Software Systems
Modelling the Media Logic of Software SystemsModelling the Media Logic of Software Systems
Modelling the Media Logic of Software SystemsJan Schmidt
 
Application Phases for Productivity Improvement through Lean Methods Assessme...
Application Phases for Productivity Improvement through Lean Methods Assessme...Application Phases for Productivity Improvement through Lean Methods Assessme...
Application Phases for Productivity Improvement through Lean Methods Assessme...Leandro Silvério
 
GUI Design by schematic visualization
GUI Design by schematic visualizationGUI Design by schematic visualization
GUI Design by schematic visualizationOmar Sosa-Tzec
 
Need Response 1The subcomponent of crowdsourcing ICT platform.docx
Need Response 1The subcomponent of crowdsourcing ICT platform.docxNeed Response 1The subcomponent of crowdsourcing ICT platform.docx
Need Response 1The subcomponent of crowdsourcing ICT platform.docxvannagoforth
 
Application Phases for Productivity Improvement through Lean Methods Assessme...
Application Phases for Productivity Improvement through Lean Methods Assessme...Application Phases for Productivity Improvement through Lean Methods Assessme...
Application Phases for Productivity Improvement through Lean Methods Assessme...Leandro Silvério
 

Similar to Democratic process and electronic platforms: concerns of an engineer (20)

Dream It 09[1].06.11 Batpurev
Dream It 09[1].06.11 BatpurevDream It 09[1].06.11 Batpurev
Dream It 09[1].06.11 Batpurev
 
Fse2011 bettenburg presentation
Fse2011 bettenburg presentationFse2011 bettenburg presentation
Fse2011 bettenburg presentation
 
Beyond Free/Open Source Software
Beyond Free/Open Source SoftwareBeyond Free/Open Source Software
Beyond Free/Open Source Software
 
Gabriel Rissola: "Measuring the impact of eInclusion actors"
Gabriel Rissola: "Measuring the impact of eInclusion actors"Gabriel Rissola: "Measuring the impact of eInclusion actors"
Gabriel Rissola: "Measuring the impact of eInclusion actors"
 
F & A D R E A M I T Baasansuren Burmaa
F &  A  D R E A M  I T  Baasansuren  BurmaaF &  A  D R E A M  I T  Baasansuren  Burmaa
F & A D R E A M I T Baasansuren Burmaa
 
Engineering the Aggregate - Talk at Software Engineering for Intelligent and ...
Engineering the Aggregate - Talk at Software Engineering for Intelligent and ...Engineering the Aggregate - Talk at Software Engineering for Intelligent and ...
Engineering the Aggregate - Talk at Software Engineering for Intelligent and ...
 
Project Management (October - 2014) [CBSGS - Paper Solution] {Mumbai University}
Project Management (October - 2014) [CBSGS - Paper Solution] {Mumbai University}Project Management (October - 2014) [CBSGS - Paper Solution] {Mumbai University}
Project Management (October - 2014) [CBSGS - Paper Solution] {Mumbai University}
 
Performance Measurement and Improvement of Lean Manufacturing Operations: A L...
Performance Measurement and Improvement of Lean Manufacturing Operations: A L...Performance Measurement and Improvement of Lean Manufacturing Operations: A L...
Performance Measurement and Improvement of Lean Manufacturing Operations: A L...
 
Software For Software Development Life Cycle
Software For Software Development Life CycleSoftware For Software Development Life Cycle
Software For Software Development Life Cycle
 
How Requirement Engineering And The Saudi Software Firms...
How Requirement Engineering And The Saudi Software Firms...How Requirement Engineering And The Saudi Software Firms...
How Requirement Engineering And The Saudi Software Firms...
 
2016-02-03 research seminar
2016-02-03 research seminar2016-02-03 research seminar
2016-02-03 research seminar
 
Misra, D.C.(2009): E-government Monitoring and Evaluation_MDI-12.2.2009
Misra, D.C.(2009): E-government Monitoring and Evaluation_MDI-12.2.2009Misra, D.C.(2009): E-government Monitoring and Evaluation_MDI-12.2.2009
Misra, D.C.(2009): E-government Monitoring and Evaluation_MDI-12.2.2009
 
Making Sense of Goc 2.0 Strategies
Making Sense of Goc 2.0 StrategiesMaking Sense of Goc 2.0 Strategies
Making Sense of Goc 2.0 Strategies
 
Managing corruption risks in infrastructure... - Gavin Ugale, OECD
Managing corruption risks in infrastructure... - Gavin Ugale, OECDManaging corruption risks in infrastructure... - Gavin Ugale, OECD
Managing corruption risks in infrastructure... - Gavin Ugale, OECD
 
Modelling the Media Logic of Software Systems
Modelling the Media Logic of Software SystemsModelling the Media Logic of Software Systems
Modelling the Media Logic of Software Systems
 
ITS Toolkit
ITS ToolkitITS Toolkit
ITS Toolkit
 
Application Phases for Productivity Improvement through Lean Methods Assessme...
Application Phases for Productivity Improvement through Lean Methods Assessme...Application Phases for Productivity Improvement through Lean Methods Assessme...
Application Phases for Productivity Improvement through Lean Methods Assessme...
 
GUI Design by schematic visualization
GUI Design by schematic visualizationGUI Design by schematic visualization
GUI Design by schematic visualization
 
Need Response 1The subcomponent of crowdsourcing ICT platform.docx
Need Response 1The subcomponent of crowdsourcing ICT platform.docxNeed Response 1The subcomponent of crowdsourcing ICT platform.docx
Need Response 1The subcomponent of crowdsourcing ICT platform.docx
 
Application Phases for Productivity Improvement through Lean Methods Assessme...
Application Phases for Productivity Improvement through Lean Methods Assessme...Application Phases for Productivity Improvement through Lean Methods Assessme...
Application Phases for Productivity Improvement through Lean Methods Assessme...
 

More from Danilo Pianini

Time fluid field-based Coordination
Time fluid field-based CoordinationTime fluid field-based Coordination
Time fluid field-based CoordinationDanilo Pianini
 
Versioning and License selection
Versioning and License selectionVersioning and License selection
Versioning and License selectionDanilo Pianini
 
Continuous Integration
Continuous IntegrationContinuous Integration
Continuous IntegrationDanilo Pianini
 
Enforce reproducibility: dependency management and build automation
Enforce reproducibility: dependency management and build automationEnforce reproducibility: dependency management and build automation
Enforce reproducibility: dependency management and build automationDanilo Pianini
 
Productive parallel teamwork: Decentralized Version Control Systems
Productive parallel teamwork: Decentralized Version Control SystemsProductive parallel teamwork: Decentralized Version Control Systems
Productive parallel teamwork: Decentralized Version Control SystemsDanilo Pianini
 
Computational Fields meet Augmented Reality: Perspectives and Challenges
Computational Fields meet Augmented Reality: Perspectives and ChallengesComputational Fields meet Augmented Reality: Perspectives and Challenges
Computational Fields meet Augmented Reality: Perspectives and ChallengesDanilo Pianini
 
Practical Aggregate Programming with Protelis @ SASO2017
Practical Aggregate Programming with Protelis @ SASO2017Practical Aggregate Programming with Protelis @ SASO2017
Practical Aggregate Programming with Protelis @ SASO2017Danilo Pianini
 
Towards a Foundational API for Resilient Distributed Systems Design
Towards a Foundational API for Resilient Distributed Systems DesignTowards a Foundational API for Resilient Distributed Systems Design
Towards a Foundational API for Resilient Distributed Systems DesignDanilo Pianini
 
Continuous integration and delivery
Continuous integration and deliveryContinuous integration and delivery
Continuous integration and deliveryDanilo Pianini
 
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Dis...
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Dis...Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Dis...
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Dis...Danilo Pianini
 
Engineering computational ecosystems (2nd year PhD seminar)
Engineering computational ecosystems (2nd year PhD seminar)Engineering computational ecosystems (2nd year PhD seminar)
Engineering computational ecosystems (2nd year PhD seminar)Danilo Pianini
 
From Engineer to Alchemist, There and Back Again: An Alchemist Tale
From Engineer to Alchemist, There and Back Again: An Alchemist TaleFrom Engineer to Alchemist, There and Back Again: An Alchemist Tale
From Engineer to Alchemist, There and Back Again: An Alchemist TaleDanilo Pianini
 
SAPERE WP1 Alchemist status at 02/2013
SAPERE WP1 Alchemist status at 02/2013SAPERE WP1 Alchemist status at 02/2013
SAPERE WP1 Alchemist status at 02/2013Danilo Pianini
 
Engineering Computational Ecosystems
Engineering Computational EcosystemsEngineering Computational Ecosystems
Engineering Computational EcosystemsDanilo Pianini
 
Recipes for Sabayon: cook your own Linux distro within two hours
Recipes for Sabayon: cook your own Linux distro within two hoursRecipes for Sabayon: cook your own Linux distro within two hours
Recipes for Sabayon: cook your own Linux distro within two hoursDanilo Pianini
 
Towards a comprehensive approach to spontaneous self-composition in pervasive...
Towards a comprehensive approach to spontaneous self-composition in pervasive...Towards a comprehensive approach to spontaneous self-composition in pervasive...
Towards a comprehensive approach to spontaneous self-composition in pervasive...Danilo Pianini
 

More from Danilo Pianini (16)

Time fluid field-based Coordination
Time fluid field-based CoordinationTime fluid field-based Coordination
Time fluid field-based Coordination
 
Versioning and License selection
Versioning and License selectionVersioning and License selection
Versioning and License selection
 
Continuous Integration
Continuous IntegrationContinuous Integration
Continuous Integration
 
Enforce reproducibility: dependency management and build automation
Enforce reproducibility: dependency management and build automationEnforce reproducibility: dependency management and build automation
Enforce reproducibility: dependency management and build automation
 
Productive parallel teamwork: Decentralized Version Control Systems
Productive parallel teamwork: Decentralized Version Control SystemsProductive parallel teamwork: Decentralized Version Control Systems
Productive parallel teamwork: Decentralized Version Control Systems
 
Computational Fields meet Augmented Reality: Perspectives and Challenges
Computational Fields meet Augmented Reality: Perspectives and ChallengesComputational Fields meet Augmented Reality: Perspectives and Challenges
Computational Fields meet Augmented Reality: Perspectives and Challenges
 
Practical Aggregate Programming with Protelis @ SASO2017
Practical Aggregate Programming with Protelis @ SASO2017Practical Aggregate Programming with Protelis @ SASO2017
Practical Aggregate Programming with Protelis @ SASO2017
 
Towards a Foundational API for Resilient Distributed Systems Design
Towards a Foundational API for Resilient Distributed Systems DesignTowards a Foundational API for Resilient Distributed Systems Design
Towards a Foundational API for Resilient Distributed Systems Design
 
Continuous integration and delivery
Continuous integration and deliveryContinuous integration and delivery
Continuous integration and delivery
 
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Dis...
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Dis...Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Dis...
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Dis...
 
Engineering computational ecosystems (2nd year PhD seminar)
Engineering computational ecosystems (2nd year PhD seminar)Engineering computational ecosystems (2nd year PhD seminar)
Engineering computational ecosystems (2nd year PhD seminar)
 
From Engineer to Alchemist, There and Back Again: An Alchemist Tale
From Engineer to Alchemist, There and Back Again: An Alchemist TaleFrom Engineer to Alchemist, There and Back Again: An Alchemist Tale
From Engineer to Alchemist, There and Back Again: An Alchemist Tale
 
SAPERE WP1 Alchemist status at 02/2013
SAPERE WP1 Alchemist status at 02/2013SAPERE WP1 Alchemist status at 02/2013
SAPERE WP1 Alchemist status at 02/2013
 
Engineering Computational Ecosystems
Engineering Computational EcosystemsEngineering Computational Ecosystems
Engineering Computational Ecosystems
 
Recipes for Sabayon: cook your own Linux distro within two hours
Recipes for Sabayon: cook your own Linux distro within two hoursRecipes for Sabayon: cook your own Linux distro within two hours
Recipes for Sabayon: cook your own Linux distro within two hours
 
Towards a comprehensive approach to spontaneous self-composition in pervasive...
Towards a comprehensive approach to spontaneous self-composition in pervasive...Towards a comprehensive approach to spontaneous self-composition in pervasive...
Towards a comprehensive approach to spontaneous self-composition in pervasive...
 

Recently uploaded

Biopesticide (2).pptx .This slides helps to know the different types of biop...
Biopesticide (2).pptx  .This slides helps to know the different types of biop...Biopesticide (2).pptx  .This slides helps to know the different types of biop...
Biopesticide (2).pptx .This slides helps to know the different types of biop...RohitNehra6
 
Work, Energy and Power for class 10 ICSE Physics
Work, Energy and Power for class 10 ICSE PhysicsWork, Energy and Power for class 10 ICSE Physics
Work, Energy and Power for class 10 ICSE Physicsvishikhakeshava1
 
Isotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoIsotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoSérgio Sacani
 
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfAnalytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfSwapnil Therkar
 
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |aasikanpl
 
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Sérgio Sacani
 
Boyles law module in the grade 10 science
Boyles law module in the grade 10 scienceBoyles law module in the grade 10 science
Boyles law module in the grade 10 sciencefloriejanemacaya1
 
Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Nistarini College, Purulia (W.B) India
 
Scheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxScheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxyaramohamed343013
 
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.aasikanpl
 
Dashanga agada a formulation of Agada tantra dealt in 3 Rd year bams agada tanta
Dashanga agada a formulation of Agada tantra dealt in 3 Rd year bams agada tantaDashanga agada a formulation of Agada tantra dealt in 3 Rd year bams agada tanta
Dashanga agada a formulation of Agada tantra dealt in 3 Rd year bams agada tantaPraksha3
 
Luciferase in rDNA technology (biotechnology).pptx
Luciferase in rDNA technology (biotechnology).pptxLuciferase in rDNA technology (biotechnology).pptx
Luciferase in rDNA technology (biotechnology).pptxAleenaTreesaSaji
 
Behavioral Disorder: Schizophrenia & it's Case Study.pdf
Behavioral Disorder: Schizophrenia & it's Case Study.pdfBehavioral Disorder: Schizophrenia & it's Case Study.pdf
Behavioral Disorder: Schizophrenia & it's Case Study.pdfSELF-EXPLANATORY
 
Natural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsNatural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsAArockiyaNisha
 
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsHubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsSérgio Sacani
 
BIOETHICS IN RECOMBINANT DNA TECHNOLOGY.
BIOETHICS IN RECOMBINANT DNA TECHNOLOGY.BIOETHICS IN RECOMBINANT DNA TECHNOLOGY.
BIOETHICS IN RECOMBINANT DNA TECHNOLOGY.PraveenaKalaiselvan1
 
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service 🪡
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service  🪡CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service  🪡
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service 🪡anilsa9823
 
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxAnalytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxSwapnil Therkar
 
Neurodevelopmental disorders according to the dsm 5 tr
Neurodevelopmental disorders according to the dsm 5 trNeurodevelopmental disorders according to the dsm 5 tr
Neurodevelopmental disorders according to the dsm 5 trssuser06f238
 

Recently uploaded (20)

Biopesticide (2).pptx .This slides helps to know the different types of biop...
Biopesticide (2).pptx  .This slides helps to know the different types of biop...Biopesticide (2).pptx  .This slides helps to know the different types of biop...
Biopesticide (2).pptx .This slides helps to know the different types of biop...
 
Work, Energy and Power for class 10 ICSE Physics
Work, Energy and Power for class 10 ICSE PhysicsWork, Energy and Power for class 10 ICSE Physics
Work, Energy and Power for class 10 ICSE Physics
 
Isotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on IoIsotopic evidence of long-lived volcanism on Io
Isotopic evidence of long-lived volcanism on Io
 
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdfAnalytical Profile of Coleus Forskohlii | Forskolin .pdf
Analytical Profile of Coleus Forskohlii | Forskolin .pdf
 
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
Call Us ≽ 9953322196 ≼ Call Girls In Mukherjee Nagar(Delhi) |
 
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
Discovery of an Accretion Streamer and a Slow Wide-angle Outflow around FUOri...
 
Boyles law module in the grade 10 science
Boyles law module in the grade 10 scienceBoyles law module in the grade 10 science
Boyles law module in the grade 10 science
 
Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...
 
Scheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxScheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docx
 
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
 
Dashanga agada a formulation of Agada tantra dealt in 3 Rd year bams agada tanta
Dashanga agada a formulation of Agada tantra dealt in 3 Rd year bams agada tantaDashanga agada a formulation of Agada tantra dealt in 3 Rd year bams agada tanta
Dashanga agada a formulation of Agada tantra dealt in 3 Rd year bams agada tanta
 
Luciferase in rDNA technology (biotechnology).pptx
Luciferase in rDNA technology (biotechnology).pptxLuciferase in rDNA technology (biotechnology).pptx
Luciferase in rDNA technology (biotechnology).pptx
 
Behavioral Disorder: Schizophrenia & it's Case Study.pdf
Behavioral Disorder: Schizophrenia & it's Case Study.pdfBehavioral Disorder: Schizophrenia & it's Case Study.pdf
Behavioral Disorder: Schizophrenia & it's Case Study.pdf
 
Natural Polymer Based Nanomaterials
Natural Polymer Based NanomaterialsNatural Polymer Based Nanomaterials
Natural Polymer Based Nanomaterials
 
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroidsHubble Asteroid Hunter III. Physical properties of newly found asteroids
Hubble Asteroid Hunter III. Physical properties of newly found asteroids
 
BIOETHICS IN RECOMBINANT DNA TECHNOLOGY.
BIOETHICS IN RECOMBINANT DNA TECHNOLOGY.BIOETHICS IN RECOMBINANT DNA TECHNOLOGY.
BIOETHICS IN RECOMBINANT DNA TECHNOLOGY.
 
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service 🪡
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service  🪡CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service  🪡
CALL ON ➥8923113531 🔝Call Girls Kesar Bagh Lucknow best Night Fun service 🪡
 
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptxAnalytical Profile of Coleus Forskohlii | Forskolin .pptx
Analytical Profile of Coleus Forskohlii | Forskolin .pptx
 
Neurodevelopmental disorders according to the dsm 5 tr
Neurodevelopmental disorders according to the dsm 5 trNeurodevelopmental disorders according to the dsm 5 tr
Neurodevelopmental disorders according to the dsm 5 tr
 
The Philosophy of Science
The Philosophy of ScienceThe Philosophy of Science
The Philosophy of Science
 

Democratic process and electronic platforms: concerns of an engineer

  • 1. images/logo Democratic process and electronic platforms: concerns of an engineer Danilo Pianini danilo.pianini@unibo.it Alma Mater Studiorum—Universit`a di Bologna The future of democracy November 3rd, 2016 - Bologna, Italy Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 1 / 23
  • 2. images/logo Outline 1 Introduction 2 Minimal background on software engineering 3 E-democracy and software engineering 4 Conclusion Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 2 / 23
  • 3. images/logo Introduction Outline 1 Introduction 2 Minimal background on software engineering 3 E-democracy and software engineering 4 Conclusion Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 2 / 23
  • 4. images/logo Introduction Disclaimer My core work is on aggregate computations and simulation of complex socio-technical systems I’m not an expert in democracy processes and tools This talk will raise questions, I won’t (can’t) provide answers But maybe others here do :) Main observation There are multiple models of democracy Different models provide different outcomes It’s not a matter or picking the “right” one Main question What’s the relationship between a model of democracy and its (possibly digital) enabling platform? Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 3 / 23
  • 5. images/logo Minimal background on software engineering Outline 1 Introduction 2 Minimal background on software engineering 3 E-democracy and software engineering 4 Conclusion Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 3 / 23
  • 6. images/logo Minimal background on software engineering Classic (waterfall) software engineering process Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 4 / 23
  • 7. images/logo Minimal background on software engineering Software engineering Each phase outputs some artifacts Possibly formalized (machine understandable) Changes in a phase require a revision on all the subsequent phases Changes at the requirement level impact on analysis If the analysis changes, it could impact the whole software design (and its implementation, as a consequence) The stabler the initial phases, the better Notes: This is a very simplified schema Verification, deployment, maintenance are completely omitted for simplicity Not the only existing development model... There are normally loops (spiral, incremental) Lots of approaches on how to actually design a solution for a problem Still, analysing the problem is a necessary phase ...but a good starting point Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 5 / 23
  • 8. images/logo Minimal background on software engineering Requirements definition Analysis Architectural design Detailed design Implementation Output A document stating what it is expected out of the software Possibly formal There must be agreement on terminology Two categories of requirements Functional: what the software should provide, its specific behaviours Non functional: further requirements that specifies criteria of quality Performance constrains Security Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 6 / 23
  • 9. images/logo Minimal background on software engineering Requirements definition Analysis Architectural design Detailed design Implementation Output A formal model of the problem (domain model) Including at least the entities composing the problem and their relationships Very important phase: its outcome impacts dramatically on the subsequent phases In developing a software for democratic processes, this phase is where “what a democratic process is” is described Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 7 / 23
  • 10. images/logo Minimal background on software engineering Requirements definition Analysis Architectural design Detailed design Implementation Output The software After all the phases Intermediate steps have their artifacts too, but that’s not our main concern here We can assume that, if we performed a good analysis, and decided what we want out of our system, then we have a rather solid collection of techniques to deliver the final product [ABR09] Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 8 / 23
  • 11. images/logo E-democracy and software engineering Outline 1 Introduction 2 Minimal background on software engineering 3 E-democracy and software engineering 4 Conclusion Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 8 / 23
  • 12. images/logo E-democracy and software engineering Motivation I Why do we need to follow software engineering principles when designing E-democracy systems? Focus on the model Existing democracy models often fail at capturing many relevant aspects [Gr3] Good engineering focuses attention on improving the analysis, rather than immediately moving forward Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 9 / 23
  • 13. images/logo E-democracy and software engineering Motivation II Tools must follow a democratic model, not dictate it The model of democracy should be studied before its implementation Doing the opposite exposes to the risk that the feature set of the available tools directs the democratic process Advanced technology whose scope is not completely grasped by citizens may become unused [CFP+10] Separation between tool and process There is no evidence or guarantee that the E-democracy tool really implements the democracy model we want What’s worse, we may be unaware of this fact Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 10 / 23
  • 14. images/logo E-democracy and software engineering Requirements and E-democracy I Not just a matter of “implementing the math” The democratic process is composed of multiple phases, that go beyond the math required for interpreting the outcome of an election Who can make new proposals? Who can amend them? How to decide wether an amendment or a proposal is acceptable? How does conflict resolution works? Picking a mathematical model and “coding” it does not provide a proper tool for E-democracy Requirements must be provided Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 11 / 23
  • 15. images/logo E-democracy and software engineering Requirements and E-democracy II Functional requirements over non functional Very much attention is paid to non functional requirements of E-democracy For good reasons: security for instance is a primary concern So much attention that little is left for functional requirements, that are arguably more important They are arguably more important They should receive (at least) as much attention as security does How to raise awareness about the importance of functional requisites? Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 12 / 23
  • 16. images/logo E-democracy and software engineering Requirements and E-democracy III Completeness of requirements Requirements should be as deep and complete as possible Which methodologies should be applied to acquire requirements? Metrics of quality are required to understand how deep and complete requirements are Which metrics are adequate? Which methodologies should be applied to measure them correctly? Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 13 / 23
  • 17. images/logo E-democracy and software engineering Requirements and E-democracy IV Formal requirements and disambiguation Without any formal and reproducible requirement collection, there may be ambiguities Ambiguities should be dissipated with proper formalisms Which formalisms are adequate at capturing the complexity and contemporarily prevent ambiguities? Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 14 / 23
  • 18. images/logo E-democracy and software engineering Analysis and E-democracy I Completeness How to make sure that all the relevant aspects of the democratic process under modelling are taken in account? Which measures would quantify our success? [Fra07] Which methodologies would guarantee completeness? Reproducibility The approach should be systematic and reproducible There is need for a methodological approach [YL10, Gr3] Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 15 / 23
  • 19. images/logo E-democracy and software engineering Analysis and E-democracy II Measurability How to measure participation, involvement, opinion formation? Which metrics can be compared across different models? Comparability The lack of methodical, quantifiable methods drives to non-comparable experience Which methods and measures could provide comparability between different models of democracy? Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 16 / 23
  • 20. images/logo E-democracy and software engineering Analysis and E-democracy III Extensibility Several aspects of the democratic process are not completely clear yet Which are the requirements for being candidate to some role? What does it mean to abstain at a referendum? Is quorum a good mechanism? ... Analysis should take no stance, but provide a formal model flexible enough to embrace all possible choices Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 17 / 23
  • 21. images/logo E-democracy and software engineering Analysis and E-democracy IV Observability Who can supervise the democratic process? Which elements are observable, and by who? Who, if any, can see how somebody voted? Are there roles? Which ones? Is there a trade off between observability and security? Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 18 / 23
  • 22. images/logo E-democracy and software engineering Analysis and E-democracy V Artifacts Which artifacts should analysis output? Formal Quantifiable Extensible Complete Observable e-government can be a source of inspiration [CPPR10, LL01, PGPA11] But a a focused effort is required for e-democracy, as e-government is not preparatory per se [KS11] Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 19 / 23
  • 23. images/logo Conclusion Outline 1 Introduction 2 Minimal background on software engineering 3 E-democracy and software engineering 4 Conclusion Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 19 / 23
  • 24. images/logo Conclusion Wrap up I’d like to see more emphasis on requirements and analysis when discussing E-democracy platforms We are lacking good metrics and methodologies The efforts on requirements are disproportionally oriented to the non functional subset The analysis phase is hard, and many parts are unclear We are at risk of letting E-democracy platforms shape the democratic process, rather than vice-versa Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 20 / 23
  • 25. images/logo Conclusion A research line? I Considerations Many insights about how a democratic process should be shaped to be adequate for an Internet-enabled society won’t be clear for a while Research is required Existing tools will contribute with experience and practice Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 21 / 23
  • 26. images/logo Conclusion A research line? II Proposal A meta-E-democracy tool, where the specific democratic process could be plugged in Basically, abstract away most of the analysis by performing a meta-analysis instead Consistent engineering challenge Multidisciplinary effort required to define which elements are part of the process Multidisciplinary effort required to define how such elements are shaped Ideally, the democratic process could be (at least partially) built from well formalized requirements Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 22 / 23
  • 27. images/logo References References I Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, and Barbara Re. Designing Quality Business Processes for E-Government Digital Services, pages 424–435. Springer Berlin Heidelberg, Berlin, Heidelberg, 2010. Flavio Corradini, Andrea Polini, Alberto Polzonetti, and Barbara Re. Business processes verification for e-government service delivery. Information Systems Management, 27(4):293–308, 2010. Amoretti Francesco. Benchmarking Electronic Democracy. 2007. ˚Ake Gr¨onlund. e-democracy: in search of tools and methods for effective participation. Journal of Multi-Criteria Decision Analysis, 12(2-3):93–100, 2003. Ahmad A. Kardan and Ayoob Sadeghiani. Is e-government a way to e-democracy?: A longitudinal study of the iranian situation. Government Information Quarterly, 28(4):466 – 473, 2011. Karen Layne and Jungwoo Lee. Developing fully functional e-government: A four stage model. Government Information Quarterly, 18(2):122 – 136, 2001. Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 22 / 23
  • 28. images/logo References References II Panagiotis Panagiotopoulos, George Gionis, John Psarras, and Dimitris Askounis. Supporting public decision making in policy deliberations: an ontological approach. Operational Research, 11(3):281–298, 2011. Lihua Yang and G. Zhiyong Lan. Internet’s impact on expert–citizen interactions in public policymaking—a meta analysis. Government Information Quarterly, 27(4):431 – 441, 2010. Special Issue: Open/Transparent Government. ¨Omer Faruk Aydinli, Sjaak Brinkkemper, and Pascal Ravesteyn. Business process improvement in organizational design of e-government services. Electronic Journal of e-Government, 7:123–134, 2009. Danilo Pianini (UniBo) Engineering and democracy 2016-11-03 FoT 23 / 23